Giả sử tồn tại số \(p\)thỏa mãn. 

Ta đặt \(\frac{p^2-p-2}{2}=a^3\).

- \(p=2\)thỏa mãn.

- \(p>2\)do là số nguyên tố nên \(p\)lẻ.

Ta có: \(\frac{p^2-p-2}{2}=a^3\Leftrightarrow p\left(p-1\right)=2\left(a+1\right)\left(a^2-a+1\right)\)suy ra \(p\)là ước của \(a+1\)hoặc \(a^2-a+1\).

+) \(p|a+1\): \(\frac{p^2-p-2}{2}=a^3\)suy ra \(a< p\Rightarrow a+1=p\).

Thế vào cách đặt ban đầu ta được \(\frac{\left(a+1\right)^2-\left(a+1\right)-2}{2}=a^3\Leftrightarrow2a^3-a^2-a+2=0\)

\(\Leftrightarrow a=-1\)không thỏa. 

+) \(p|a^2-a+1\): Đặt \(a^2-a+1=kp\)(1).

\(p\left(p-1\right)=2\left(a+1\right)\left(a^2-a+1\right)=2\left(a+1\right)kp\)

\(\Rightarrow p-1=2\left(a+1\right)k\Leftrightarrow p=2k\left(a+1\right)+1\)thế vào (1): 

\(a^2-a+1=k\left[2k\left(a+1\right)+1\right]\)

\(\Leftrightarrow a^2-\left(2k^2+1\right)a-2k^2-k+1=0\)

\(\Delta=\left(2k^2+1\right)^2-4\left(-2k^2-k+1\right)=4k^4+12k^2+4k-3\).

Ta cần tìm số tự nhiên \(k\)để \(\Delta\)là số chính phương. 

Ta có: \(4k^4+12k^2+4k-3>4k^4+8k^2+4=\left(2k^2+2\right)^2\)

\(4k^4+12k^2+4k-3< 4k^4+16k^2+16=\left(2k^2+4\right)^2\)

Theo nguyên lí kẹp suy ra \(4k^4+12k^2+4k-3=\left(2k^2+3\right)^2\)

\(\Leftrightarrow4k-3=9\Leftrightarrow k=3\).

Với \(k=3\): \(a^2-19a-20=0\Rightarrow a=20\Rightarrow p=127\).

Vậy \(p\in\left\{2,127\right\}\).

A = n². ( n²⁰¹³ - 1) + n.(n²⁰¹³ - 1) + ( n² + n + 1)

Áp dụng hằng đẳng thức aⁿ - bⁿ = (a - b). ( a^n-1 + a^n-2.b + a^n-3.b² + ...+a.b^n-2 + b^n-1)

Ta có: n²⁰¹³ - 1 = (n³)⁶⁷¹ - 1 = (n³ - 1). C  (đặt C là đa thức của n) = (n - 1).(n² + n + 1). C

=> n²⁰¹³ - 1 chia hết cho n² + n + 1

=>  n²;  ( n²⁰¹³ - 1);  n.(n²⁰¹³ - 1) ; ( n² + n + 1) đều chia hết n² + n + 1 

=> A chia hết cho n² + n + 1 hay n² + n + 1 là 1 ước của A

Để A là số nguyên tố <=> n² + n + 1 = 1 hoặc A = n² + n + 1

+) Nếu n² + n + 1 = 1 <=> n² + n = 0 <=> n (n + 1) = 0 <=> n = 0 Vì n là số tự nhiên => A = 1 không là số nguyên tố => Loại

+) Nếu n² + n + 1 = n²⁰¹⁵ + n²⁰¹⁴ + 1 <=> n.(n + 1) = n²⁰¹⁴.( n + 1) <=> n.(n +1). (1 - n²⁰¹³) = 0 

<=> n = 0 hoặc n²⁰¹³ = 1 <=> n = 0 hoặc n = 1 Vì n là số tự nhiên; n = 0 loại

Vậy với n = 1 thì A .............

A = n2. ( n2013 - 1) + n.(n2013 - 1) + ( n2 + n + 1)

Ta có: n2013 - 1 = (n3)671 - 1 = (n3 - 1). C  (đặt C là đa thức của n) = (n - 1).(n2 + n + 1). C

=> n2013 - 1 chia hết cho n2 + n + 1

=>  n2;  ( n2013 - 1);  n.(n2013 - 1) ; ( n2 + n + 1) đều chia hết n2 + n + 1 

=> A chia hết cho n2 + n + 1 hay n2 + n + 1 là 1 ước của A

Để A là số nguyên tố <=> n2 + n + 1 = 1 hoặc A = n2 + n + 1

+) Nếu n2 + n + 1 = 1 <=> n2 + n = 0 <=> n (n + 1) = 0 <=> n = 0 Vì n là số tự nhiên => A = 1 không là số nguyên tố => Loại

+) Nếu n2 + n + 1 = n2015 + n2014 + 1 <=> n.(n + 1) = n2014.( n + 1) <=> n.(n +1). (1 - n2013) = 0 

<=> n = 0 hoặc n2013 = 1 <=> n = 0 hoặc n = 1 Vì n là số tự nhiên; n = 0 loại

Vậy với n = 1 thì A .............

Vì 1 luôn bằng 1. Nên ta thay x =1;p=0. Vào biểu thức ta có:

x=2p+1

=>1=2.0+1=0+1=1

Vậy x=1 khi p=0.

Do 2p là số chẵn nên 2p+1 là số lẻ

=>x³ là số lẻ

=>x là số lẻ

Đặt x=2a+1. Ta có:

(2a+1)³=2p+1

<=>8a³+12a²+6a+1=2p+1

<=>8a³+12a²+6a=2p

<=>2a(4a²+6a+3)=2p

<=>a(4a²+6a+3)=p

Mà p là số nguyên tố nên suy ra a=1.

=>x=2a+1=2.1+1=2+1=3

Vậy x=3

Bài 1 : 

Phương trình <=> 2^x . x² = ( 3y + 1 ) ² + 15

Vì \(\hept{\begin{cases}3y+1\equiv1\left(mod3\right)\\15\equiv0\left(mod3\right)\end{cases}\Rightarrow\left(3y+1\right)^2+15\equiv1\left(mod3\right)}\)

\(\Rightarrow2^x.x^2\equiv1\left(mod3\right)\Rightarrow x^2\equiv1\left(mod3\right)\)

( Vì số  chính phương chia 3 dư 0 hoặc 1 ) 

\(\Rightarrow2^x\equiv1\left(mod3\right)\Rightarrow x\equiv2k\left(k\inℕ\right)\)

Vậy \(2^{2k}.\left(2k\right)^2-\left(3y+1\right)^2=15\Leftrightarrow\left(2^k.2.k-3y-1\right).\left(2^k.2k+3y+1\right)=15\)

Vì y ,k \(\inℕ\)nên 2^k . 2k + 3y + 1 > 2^k .2k - 3y-1>0

Vậy ta có các trường hợp: 

\(+\hept{\begin{cases}2k.2k-3y-1=1\\2k.2k+3y+1=15\end{cases}\Leftrightarrow\hept{\begin{cases}2k.2k=8\\3y+1=7\end{cases}\Rightarrow}k\notinℕ\left(L\right)}\)

\(+,\hept{\begin{cases}2k.2k-3y-1=3\\2k.2k+3y+1=5\end{cases}\Leftrightarrow\hept{\begin{cases}2k.2k=4\\3y+1=1\end{cases}\Rightarrow}\hept{\begin{cases}k=1\\y=0\end{cases}\left(TM\right)}}\)

Vậy ( x ; y ) =( 2 ; 0 ) 

Bài 3: 

Giả sử \(5^p-2^p=a^m\)    \(\left(a;m\inℕ,a,m\ge2\right)\)

Với \(p=2\Rightarrow a^m=21\left(l\right)\)

Với \(p=3\Rightarrow a^m=117\left(l\right)\)

Với \(p>3\)nên p lẻ, ta có

\(5^p-2^p=3\left(5^{p-1}+2.5^{p-2}+...+2^{p-1}\right)\Rightarrow5^p-2^p=3^k\left(1\right)\)    \(\left(k\inℕ,k\ge2\right)\)

Mà \(5\equiv2\left(mod3\right)\Rightarrow5^x.2^{p-1-x}\equiv2^{p-1}\left(mod3\right),x=\overline{1,p-1}\)

\(\Rightarrow5^{p-1}+2.5^{p-2}+...+2^{p-1}\equiv p.2^{p-1}\left(mod3\right)\)

Vì p và \(2^{p-1}\)không chia hết cho 3 nên \(5^{p-1}+2.5^{p-2}+...+2^{p-1}⋮̸3\)

Do đó: \(5^p-2^p\ne3^k\), mâu thuẫn với (1). Suy ra giả sử là điều vô lý

\(\rightarrowĐPCM\)

a) Ta có: \(2018^n-1964^n⋮3\)

\(2032^n-1984^n⋮3\)

nên An chia hết cho 3

Mà \(2018^n-1984^n⋮17\)

\(2032^n-1964^n⋮17\)

nên An chia hết cho 17

Vậy A chia hết cho 51

b) Ta có: An đồng dư 3^n +2^n-2.4^n (mod5)

và An đồng dư 2^n + 7^n -2^n-4^n (mod9)

Vậy An chia hết cho 45 khi n có dạng 12k