giả sử n^2+n+2=k^2=> k^2>n^2<==>k>n (1)
ta có n^2+n-2=k^2-4
<==>(n-1)(n+2)=(k-2)(k+2) (2)
@ nếu n=1 , k=2, đúng
@ nếu n khác 1
ta có n+2<k+2 (từ (1))
==> để (2) xẩy ra thì: n-1>k-2
mà từ (1) ta có k-1>n-1
nên: k-1>n-1>k-2
do k-1 và k-2 hai hai số tự nhiên liên tiếp nên không thể tồn tại số tự nhiên nằm giữa chúng (n-1)
vậy chỉ có n=1 là nghiệm!