フェルマーの最終定理の簡単な証明その５

>598
x^2+y^2=z^2=(x+3^(1/2))^2が整数比となる無理数解は持たないこと
を導き出せることになるが

x^2+y^2=z^2=(x+3^(1/2))^2は、整数比となる無理数解を持ちます。