Ta thấy [TEX]4n^3-5n-1=(n+1)[4(n-2)(n+1)+7][/TEX]
Nhận thấy [TEX](n+1,4(n-2)(n+1)+7)=(n+1,7)=1[/TEX] (do [TEX]n+1 \not \vdots 7[/TEX]) nên [TEX]n+1,4(n-2)(n+1)+7[/TEX] là số chính phương.
Mà số chính phương chia 4 dư 0,1 nên [TEX]4(n-1)(n+2)+7[/TEX] không là số chính phương, dẫn tới mâu thuẫn. Vậy ta có đpcm.