Với 0≠y<1, ta có 2y∉ZVới y=0⇒2y=1⇒x=√2014∉Z
Với y=1⇒2y≡1(mod8)
Với y=2⇒2y≡4(mod8)
Với y≥3⇒2y≡0(mod8)
Từ đầu bài dễ suy ra x lẻ ⇒x2 là số chính phương lẻ ⇒x2≡1(mod8)
Ta lại có 2013≡−3(mod8)⇒2y chỉ có thể có số dư là 4
⇒y=2. Thay vào nhận đc x=√2017∉Z
Vậy pt ko có nghiệm nguyên