CM định lý nhỏ Fermat:
Ta có: \(n^5-n=n\left(n^4-1\right)=n\left(n^2-1\right)\left(n^2+1\right)\)
\(=n\left(n-1\right)\left(n+1\right)\left[\left(n^2-4\right)+5\right]\)
\(=n\left(n-1\right)\left(n+1\right)\left(n-2\right)\left(n+2\right)+5n\left(n-1\right)\left(n+1\right)\)
Ta thấy \(n\left(n-1\right)\left(n+1\right)\left(n-2\right)\left(n+2\right)\) là tích 5 STN nhỏ
=> \(n\left(n-1\right)\left(n+1\right)\left(n-2\right)\left(n+2\right)\) chia hết cho 5
Mà \(5n\left(n-1\right)\left(n+1\right)\) chia hết cho 5
=> \(n^5-n\) chia hết cho 5
=> \(n^5-n+2\) chia 5 dư 2, mà không tồn tại SCP nào chia 5 dư 2
=> \(n^5-n+2\) không là số chính phương với mọi số nguyên n
Xét biểu thức \(n^5-n=n\left(n^4-1\right)=n\left(n^2-1\right)\left(n^2+1\right)=n\left(n+1\right)\left(n-1\right)\left(n^2-4+5\right)=\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)+5\left(n-1\right)n\left(n+1\right)\)Dễ thấy \(\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)\)là tích của 5 số nguyên liên tiếp nên tồn tại 1 số chia hết cho 2, một số chia hết cho 5 suy ra \(\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)⋮10\)(*)
\(\left(n-1\right)n\left(n+1\right)\)là tích 3 số nguyên liên tiếp nên tồn tại 1 số chia hết cho 2 suy ra \(5\left(n-1\right)n\left(n+1\right)⋮10\)(**)
Từ (*) và (**) suy ra \(\left(n-2\right)\left(n-1\right)n\left(n+1\right)\left(n+2\right)+5\left(n-1\right)n\left(n+1\right)⋮10\)nên \(n^5-n\) có tận cùng bằng 0
Do đó \(n^5-n+2\)tận cùng bằng 2 mà số chính phương không tận cùng bằng 2 nên không tồn tại n để \(n^5-n+2\)là số chính phương