Xét ba số nguyên dương liên tiếp n -1, n, n + 1 (n≥2)
Ta có:
(n−1)n(n+1)=n(n2−1)
Ta thấy n và n2 là hai số nguyên tố cùng nhau (thật vậy nếu n⋮d vaˋ n2−1⋮d thıˋ 1⋮d ne^n d=±1)
Do đó nếu n(n2−1) là số chính phương thì cả hai thừa số n và (n2−1)
đều là số chính phương.
Ta có nhận xét:
Với n≥2 thıˋ n2−1 không là số chính phương vì
(n−1)2<n2−1<n2
Vậy tích của ba số nguyên dương liên tiếp không là số chính phương.