>>197
> >>195
>
> (4)が有理数解を持たないので、(3)も有理数解を持たない。よって、xは無理数となる。
> が言えます。

それはm=y/2の場合だけ