[mathjax]
三平方の定理の一般解
三平方の定理（ピタゴラスの定理）を満たす自然数の一般解を求めていきます。
方法1
以下の有名等式を利用します。
\((ad-bc)^2+(ac+bd)^2=(a^2+b^2)(c^2+d^2)\)
三平方の形を考えるので、右辺を二乗の形にしたい。→
\((a^2+b^2)=(c^2+d^2)\) となるように変数を取ってみよう。
結論から言うと \(a=d=m\)、\(b=c=n\)を代入するとうまくいく。（\(ad-bc\)が\(0\)になってほしくないからこの組み合わせ。）
この時、\((ad-bc)^2+(ac+bd)^2=(a^2+b^2)(c^2+d^2)\)は
\((m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2\)
\(x^2+y^2=z^2\) と比較すると
\(x=m^2-n^2\)、\(y=2mn\)、\(z=m^2+n^2\) （ただし、\(x,y,z\)は自然数）
これが三平方の定理の一般解。この方法は簡潔ですが、これだけでは全ての解を表したかどうかは分からないので、方法2を考える。
方法2
上の図のように設定。（\(\theta\)は鋭角）
\(t=\tan\displaystyle\frac{\theta}{2}\)とおき、次のように考える。
直線は\(y=tx+t\)、円は\(x^2+y^2=1\)
と書けて、これを解くと交点が求まる。交点の座標は
\(\left(\displaystyle\frac{1-t^2}{1+t^2},\displaystyle\frac{2t}{1+t^2}\right)\)。
また、交点の座標は\( (\cos \theta,\sin \theta)\) ともかけるので
\( (\cos \theta,\sin \theta)=\left(\displaystyle\frac{1-t^2}{1+t^2},\displaystyle\frac{2t}{1+t^2}\right)\)
つまり、\( (\cos \theta,\sin \theta)\) の有理点は無数に存在。
\(\cos \theta=\displaystyle\frac{x}{z}\)
\(\sin \theta=\displaystyle\frac{y}{z}\)
とすると\( (x , y , z)\) の組は無数に存在。
\(\biggl(\displaystyle\frac{x}{z}\biggr)^2+\biggl(\displaystyle\frac{y}{z}\biggr)^2=1\)
\(x^2+y^2=z^2\) は無数に存在。
次にここからも一般解を求める。\(t=\displaystyle\frac{n}{m}\) （\(n<m\)）として、これを代入。
\(\displaystyle\frac{x}{z}=\displaystyle\frac{m^2-n^2}{m^2+n^2}\)
\(\displaystyle\frac{y}{z}=\displaystyle\frac{2mn}{m^2+n^2}\)
よって答えは
\(x=m^2-n^2\)、\(y=2mn\)、\(z=m^2+n^2\) （ただし、\(x,y,z\)は自然数）
