>>411
有理数解があると仮定して有理数解があることを示して、何になる？

それが、証明するということではないでしょうか？