【定理】x^2+y^2=z^2は自然数解を持つ。

x^2+y^2=(x+2)^2…(3)のyに15を代入する。
x=221/4、y=15、z=229/4
分母を払うとピタゴラス数221、60、229となる