やさしいフェルマーの最終定理の証明

>414
このyが有理数かどうかも証明出来ないんじゃない？
xが、有理数なので、yは無理数となります。