>>810を見習おう。

n=3のとき、854X^n+Y^n=Z^nは自然数解を持たない。
854X^3+Y^3=Z^3を、854X^3+Y^3=(Y+m)^3…(1)とおく。
(1)を854x^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を{(854x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(3)と変形する。
x,yが有理数で、解を持つならば、x,yが整数でも、解を持つ。
(3)のxに任意の整数を代入する。その左辺の整数部をyに代入する。
右辺は、左辺よりもy+0.5に近い値となる。
∴n=3のとき、854X^n+Y^n=Z^nは自然数解を持たない。
例
x=3759…{(854*3759^3-1)/3}^(1/2)=6734997.2683784363952214735994732
6734997をyに代入…(6734997*6734998)^(1/2)=133060.6734997.4999999814402306756609528

日高さん、この議論は正しいですか？