Question

[buiduytrung]

Tìm n thuộc z để n⁵-n+2 thuộc số chính phương

Answer 1

[Nguyễn Minh Đăng]

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

Answer 2

[Kiệt Nguyễ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