Đặt n2 + 2006 = a2 (a thuộc Z)
=> 2006 = a2 - n2 = (a - n)(a + n) (1)
Mà (a + n) - (a - n) = 2n chia hết cho 2
=>a + n và a - n có cùng tính chẵn lẻ
+)TH1: a + n và a - n cùng lẻ => (a - n)(a + n) lẻ, trái với (1)
+)TH2: a + n và a - n cùng chẵn => (a - n)(a + n) chia hết cho 4, trái với (1)
Vậy không có n thỏa mãn n2+2006 là số chính phương
Giả sử n2 + 2006 là số chính phương khi đó ta đặt n2 + 2006 = a2 ( a∈ Z ) ⇔ a2 – n2 = 2006 ⇔ ( a - n ) ( a + n ) = 2006 ( * )
+ Thấy : Nếu a,n khác tính chất chẵn lẻ thì vế trái của ( * ) là số lẻ nên không thỏa mãn ( * )
+ Nếu a,n cùng tính chẵn hoặc lẻ thì ( a - n )chia hết cho 2 và ( a + n ) chia hết cho 2 nên vế trái chia hết cho 4 và vế phải không chia hết cho 4 nên không thỏa mãn ( * ).
Vậy không tồn tại n để n2 + 2006 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)