Ta sẽ chứng minh \(n\)chia hết cho \(4\)và chia hết cho \(3\).
- Chứng minh \(n⋮4\):
Với \(n=2k+1\)ta có:
\(m=5^{2k+1}+3^{2k+1}+1=3^{2k+1}+5.25^k+1\)
\(25\equiv1\left(mod3\right)\Rightarrow25^k\equiv1\left(mod3\right)\Rightarrow5.25^k\equiv2\left(mod3\right)\)
\(\Rightarrow m⋮3\).
Với \(n=4k+2\):
\(m=5^{4k+2}+3^{4k+2}+1=5^{4k+2}+9.81^k+1⋮5\)
(vì \(81\equiv1\left(mod5\right)\Rightarrow81^k\equiv1\left(mod5\right)\Rightarrow9.81^k+1⋮5\).
Do đó \(n⋮4\).
- Chứng minh \(n⋮3\):
Với \(n=6k+2\):
\(m=5^{6k+2}+3^{6k+2}+1=25.15625^k+9.729^k+1⋮7\)
(vì \(15625\equiv1\left(mod7\right)\Rightarrow15625^k\equiv1\left(mod7\right)\Rightarrow25.15625^k\equiv4\left(mod7\right)\)
\(729\equiv1\left(mod7\right)\Rightarrow729^k\equiv1\left(mod7\right)\Rightarrow9.729^k\equiv2\left(mod7\right)\))
Với \(n=6k+4\):
\(m=5^{6k+4}+3^{6k+4}+1=625.15625^k+81.729^k+1⋮7\)
(vì \(15625\equiv1\left(mod7\right)\Rightarrow15625^k\equiv1\left(mod7\right)\Rightarrow625.15625^k\equiv2\left(mod7\right)\)
\(729\equiv1\left(mod7\right)\Rightarrow729^k\equiv1\left(mod7\right)\Rightarrow81.729^k\equiv4\left(mod7\right)\))
mà \(n\)chẵn suy ra \(n=6k\Rightarrow n⋮3\).
Do đó \(n⋮\left[3,4\right]\Rightarrow n⋮12\).
