>>1 日高 のもじり。

【定理】pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
z^2=z^2×1=(z^2/a)×aなので、z^2=x^p+y^pとz^2×1=x^p+y^pと(z^2/a)×a=x^p+y^pのx,y,zの比は等しい。
したがって、z^2×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考える。
z^2=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^2=(x+y)を共に満たす有理数は、(x,y)=(0,1)、(x,y)=(1,0)のみである。
∴pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。