【定理】n=4のとき、x^n+y^n=z^nは自然数解を持たない。
x^4+y^4=z^4を、x^4+y^4=(y+1)^4…(1)とおく。(x,yは有理数)
(1)が整数解を持つならば、必ず有理数解を持つので、x,yは整数とする。
(1)を(x^4-1)/4=y^3+(3/2)y^2+y…(2)と変形する。
(2)の左辺をA,右辺をBとおく。A=Bならば、A^(1/3)=B^(1/3)となる。
B^(1/3)は、yの増加につれて、限りなくy+0.5000000…に近づく。
A^(1/3)は、xの増加につれて、限りなくy+0.5000000…に近づかない。
∴n=4のとき、x^n+y^n=z^nは自然数解を持たない。