Ta có: [TEX]x^2+2010[/TEX]=[TEX]y^2[/TEX]
Do [TEX]y^2[/TEX] là số chính phương nên [TEX]y^2[/TEX] chia 4 dư 0 hoặc 1
+,Nếu [TEX]y^2 [/TEX][TEX]\equiv[/TEX] 0 (mod 4)\Rightarrow [TEX]x^2+2010[/TEX][TEX] \equiv[/TEX] 0 (mod 4)
\Rightarrow [TEX]x^2[/TEX] [TEX]\equiv[/TEX] 2 (mod 4)
Mà [TEX] x^2[/TEX] chia 4 dư 0 hoặc 1 nên [TEX]x^2+2010[/TEX] [TEX] \neq[/TEX] [TEX]y^2[/TEX]
\Rightarrow Không tồn tại x,y thõa mãn(*)
+,Nếu [TEX]y^2[/TEX] [TEX]\equiv[/TEX] 1 (mod 4) \Rightarrow [TEX]x^2+2010[/TEX] [TEX]\equiv[/TEX] 1 (mod 4)
\Rightarrow [TEX]x^2[/TEX] [TEX] \equiv[/TEX] 3(mod 4)
Mà [TEX] x^2[/TEX] chia 4 dư 0 hoặc 1 nên [TEX]x^2+2010[/TEX] [TEX] \neq[/TEX] [TEX]y^2[/TEX]
\Rightarrow Không tồn tại x,y thõa mãn (**)
Từ (*) và (**) \Rightarrow Không tồn tại x, y thõa mãn