【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+√5)^2…(3)のyに2√5を代入すると、
ピタゴラス数3、4、5を得る。