>800
> (3)の有理数解が、整数比とならないからです。

それだとなぜ(3)の無理数解が整数比とならないのですか？

(3)の無理数解が整数比となるならば、共通の無理数で割ると
有理数解となるからです。