>>368
>(3)はrが無理数なので、yを有理数とするとxは無理数となる。よって、有理数解を持たない。

それでは(4)を持ち出さず，(3)のみでyが無理数の場合の証明を上の文(【証明】の最終行)に続けて下さい。
yが無理数の場合が取り扱われていないこと，従って証明が完結していないことは理解されていますよね。