ｸｲｽﾞ大陸

修正しました。

X^n+2Y^n=4Z^nが自然数で成立していると仮定する。
3つの数すべての共通の約数を持たない(X,Y,Z)の組が存在するはずである。

で、先ほどの証明になって、、、、

2はX,Y,Z共通の約数である。
したがって、最初の仮定が誤りである。

こんなものですかね。