フェルマーの最終定理のよくある簡易的証明のポイントをご紹介します。 X^n + Y^n = Z^nで、 X,Y,Zが互いに素、n≧3が素数の自然数として 矛盾を導きます。 流れは、次の[1][2][3][4]です。 [1] E=X+Y-Z と A+B=C ⇒ n|E, n*A*B|E^n, n*C|E^n [2] E'=Z+(-Y)-X と C'+B'=A' ⇒ n|E', n*C'*B'|E'^n [3] E"=Z+(-X)-Y と C"+A"=B" ⇒ n|E", n*C"*A"|E"^n A,B,CおよびA',B',C'およびA”,B”,C”で、 (E^n)/n, (E'^n)/n, (…