- Nếu y chẵn thì với mọi x thuộc Z có 2008x2009 + 2009y2010 là số chẵn; mà 2011 là số lẻ, (vô lý)
- Nếu y lẻ thì y1005 là số lẻ. Đặt y1005 = 2k + 1 ( k thuộc Z )
2009y2010 = 2009(y1005)2 = 2009(2k + 1)2 = 2009(4k2 + 4k + 1) = 4[2009(k2 + k)] + 2009
Ta có 2009y2010 chia cho 4 dư 1 2008x2009 + 2009y2010 chia cho 4 dư 1; mà 2011 chia cho 4 dư 3, (vô lý)
Vậy không có các số nguyên x, y nào thỏa mãn hệ thức :2008x2009 + 2009y2010 = 2011.