Ta thấy:
8(x-2009)^2\geq o\forallx
\Rightarrow25-y^2\geq0\Rightarrowy^2 bằng 0, 1, 4, 9, 16, 25 (1)
Mặt khác do 8(x-2009)^2 chia hết cho 8
\Rightarrow 25-y^2 chia hết cho 8 (2)
Từ (1) và (2)\Rightarrowy^2=1 hoặc 25.
Xét y^2=1\Rightarrow không tìm được x.
Xét y^2=25\Rightarrowy=-5 hoặc 5 và x=2009
Vậy x=2009 và y=5 hoặc -5.