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

>643
x^2+y^2=(x+r)^2なら
rが有理数ならば整数比となる無理数解を持たない
rが無理数ならば有理数解を持たない

rが有理数ならば有理数解を持ちます。
rが無理数ならば整数比となる無理数解を持ちます。