>479
いずれにしても、証明の文章では(3)の解のyが無理数の場合について何も書いてないので、

整数比の無理数解と、整数比の有理数解は、同じです。