$(a,b)=d$ olsun. $a'=a/d$ ve $b'=b/d$ olarak tanimlayalim. Bu durumda $$\sqrt{ab}=d\sqrt{a'b'} \text{ ve } \sqrt{a^2+b^2}=d\sqrt{{a'}^2+{b'}^2}$$ olur.
Yani $d=1$ secebiliriz. Secmesek de sorumuz artik $\sqrt{a'b'}$ ve $\sqrt{{a'}^2+{b'}^2}$ ile ilgilenecegiz.
$\sqrt{a'b'}$ sayisinin bir tam sayi olmasi icin $a'=n^2$ ve $b'=m^2$ olacak sekilde aralarinda asal $n,m$ sayilari olmali.
Bu durumda aralarinda asal $n^4+m^4$ bir adet tam sayinin karesi olmali. Yani bir adet $s$ tam sayisi icin $n^4+m^4=s^2$ olmali.
Fermat'in son teoreminden dolayi (biraz daha is yaparak) bu sistemin pozitif tam sayi uclusu cozumu olamayacagini soyleyebiliriz.
Demek ki bu sekilde $a,b$ pozitif tam sayilari bulamayiz.