Y a pas de mal à poster une autre solution non?
On a facilement x|y² donc y²=ux ,
On pose d = (x,u) on a y²=xu et xy|x²+y²-1=x²+ux-x donc y|x+u-1
on a d | x et d| u donc d²|y² donc d|y donc d|x+u-1 donc d|1 alors d=1
ET facile de démontrer que si u et x sont premier entre eux et leur produit est un carré alors u et x sont des carrés aussi !!
CQFD !!
NB : (a,b) signifie pgcd(a,b)