>>321
> x^n+y^n=(y+1)^nが整数解以外の解を持つことは簡単に分かる
>
> それは、有理数解でしょうか、無理数解でしょうか？
日高による証明が完了していない現時点では日高は整数解以外の解を持つとしか言えない

> それは、有理数解でしょうか、無理数解でしょうか？
これらを区別するのにフェルマーの最終定理を使う必要がある
つまりこれらを区別できる証明がフェルマーの最終定理の証明そのもの