Giả sử 2006 + n2 là số chính phương thì 2006 + n2 = m2 (m ∈ N)
Từ đó suy ra m2 - n2 = 2006
<=> (m + n)(m – n) = 2006
Như vậy trong 2 số m và n phải có ít nhất 1 số chẵn (1)
Mặt khác m + n + m – n = 2m
=> 2 số m + n và m – n cùng tính chẵn lẻ (2)
Từ (1) và (2)
=> m + n và m – n là 2 số chẵn.
=> (m + n) (m – n) chia hết cho 4 nhưng 2006 không chia hết cho 4
=> Điều giả sử sai. Vậy không tồn tại số tự nhiên n để 2006 + n2 là số chính phương.
Giả sử n^2 + 2006 = m^2 (m,n la số nguyên)
Suy ra n^2 - m^2 =2006 <==> ( n - m )( n + m ) = 2006
Gọi a = n - m, b = n + m ( a,b cũng là số nguyên)
Vì tích của a và b bằng 2006 la một số chẵn, suy ra trong 2 số a và b phải có ít nhất 1 số chẵn (1)
Mặt khác ta có: a + b = (n - m) + (n + m) = 2n là 1 số chẵn ==> a và b phải cùng chẵn hoặc cùng lẻ(2)
Từ (1) và (2) suy ra a và b đều là số chẵn
Suy ra a = 2k , b= 2l ( với k,l là số nguyên)
Theo như trên ta có a.b = 2006 hay 2k.2l = 2006 hay 4.k.l = 2006
Vì k,l là số nguyên nên suy ra 2006 phải chia hết cho 4 ( điều này vô lý, vì 2006 không chia hết cho 4)
Vậy không tồn tại số nguyên n thỏa mãn đề bài đã cho.(đpcm)