n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
x^3+y^3=(y+1)^3を展開、移項して積の形にする。
{(x^3)-1}/3=y(y+1)
左辺の分子が偶数のときは、右辺の分母は無理数となる。
左辺の分子が奇数のときも、右辺の分母は無理数となる。
(左辺の分子が奇数の場合は、yをその有理数に最も近い有理数とする。)
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
この意味が理解できますか?
それとも、意味不明ですか?
意味不明ならば、どの部分が、意味不明でしょうか?