>>382
(4)の無理数解で自然数比になるものを調べていません。証明は間違っています。