>>767
> >752
> > s^n+t^n=u^n…(C) は成立しない。」は、
> > 「(3) に整数比の無理数解があれば、 (3) に有理数解がある」が成り立つとする。
> > とは、関係ありません。
> と言ったので、
> 「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
> は証明の理由にならないのでは? と聞いています。
>
> n≧3のとき、 s^n+t^n=u^n…(C) は成立しない。」は
> 「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
> ことに、なります。

うーん、よく分かりません。
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」が成り立てば、
「n≧3のとき、 s^n+t^n=u^n…(C) は成立しない。」が言えるという事でしょうか。