>80
(3)に有理数解がなくても,整数比の無理数解が存在するのならば,(4)や(3')には有理数(整数)解が存在します。
その可能性を【証明】にちゃんと取り入れましょう。

85を見て下さい。