Comme d’habitude,posons pgcd(x,y)=d.
Alors il existe m et n premiers entre eux tel
que x=dm et y=dn.
xy/(x²+y²-x) è
d²mn/(d²m²+d²n²-dm) èd²/dm
è
d/m.
Il existe donc r tel que m=dr
Ainsi pgcd(m,r)=1.
D’où x=d²r ...remplaçons encore une fois dans la
condition…
On obtient d^3*r*m/(d^4*r²+d²n²-d²r²) è
d*r*m/(dr²+n²-r² è
r divise q² ie r=1 car p^r=1
D’où x=d².
D’où x=d² ce qui signifie que x est un carré parfait.