giả sư tồn tại n sao cho n2+2002 là số chính phương
Đặt n2+2002=m2 (m thuộc N )
=> m2-n2 = 2002 => (m+n)(m-n) = 2002 (bất đẳng thức)
vì m-n+m+n = 2m là một số chẵn; mặt khác 2002 chia hết cho 2
=> (m+n)(m-n) chia hết cho 4 mà 2002 không chia hết cho 4 nên không tồn tại n sao cho n2+2002 là số chính phương.