>871
「(3) に整数比の無理数解がない」事の説明をお願いします。

872を見てください。
「(3) の整数比の無理数解」部分を、削除します。
865で、(3)のx,yが無理数の場合を、見てください。