>>409
> >>405
> それでは証明にならない。
>
> なぜでしょうか？

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