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

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