Ta có:\(p^{2016}-1=\left(p^4\right)^{504}-1^{504}=\left(p^4-1\right)\cdot M=\left[\left(p^2\right)^2-1^2\right]\cdot M=\left(p^2-1\right)\left(p^2+1\right)\cdot M\)
\(=\left(p-1\right)\left(p+1\right)\left(p^2+1\right)\cdot M\)
Do p là số nguyên tố lớn hơn 5 nên p lẻ.
\(\Rightarrow\) p-1 và p+1 chẵn
\(\Rightarrow\left(p-1\right)\left(p+1\right)⋮4\)
Lại có: \(\left(p-1\right)p\left(p+1\right)⋮3\) mà p là số nguyên tố lớn hơn 5 nên \(\left(p-1\right)\left(p+1\right)⋮3\)
Do \(\left(3,4\right)=1\Rightarrow\left(p-1\right)\left(p+1\right)⋮12\)
Do p không chia hết cho 5 nên p có các dạng:\(5k\pm1;5k\pm2\)
Nếu \(p=5k\pm1\Rightarrow p^2=25k\pm10+1=5m+1\)
Nếu \(p=5k\pm2\Rightarrow p^2=25k\pm20k+4=5n-1\)
\(\Rightarrow p^4\) chia 5 dư 1
\(\Rightarrow p^4-1⋮5\)
Do \(\left(5,12\right)=1\Rightarrow\left(p^4-1\right)\cdot M⋮60^{đpcm}\)
