Dacă tot nu a mai apărut un alt răspuns, îl premiem pe cel oferit.
Felicitări zec!
De altfel, problema era din capitolul second degre binaire iar modul în care se sugera rezolvarea în volumul respectiv era prin transformarea ecuației în congruență mod 3, cam ceea ce ai făcut și tu.
O altă modalitate, zec, ar fi prin analiza parității lui x și y.
Stabilim inițial că y trebuie să fie obligatoriu impar pentru ca ecuația să poată fi posibilă, ceea ce face ca y2 +1 să fie divizibil cu 2, dar nedivizibil cu 4.
Dacă y este impar, 2x(x-y) este divizibil cu 4 indiferent de paritatea lui x și se ajunge la o egalitate cu membrul stâng divizibil cu 4, iar membrul drept nedivizibil cu 4.