human
あなたが選んだ数学的定理を書き留めて、それを詳細に証明してください。
gpt
Pythagorean定理は、長さ$ a、b $、および長さ$ c $のカテティ（脚）を備えた直角三角形の場合、

$$
a^2 + b^2 = c^2。
$$

証拠：
直角三角形の4つのコピーから、陽子が内側に、カテティが外側にあるようにコピーを回転および翻訳することにより、正方形を構築できます。このような正方形の総面積は$（a + b）^2 $です。一方、hypotenusは、$ c^2 $の面積を持つ前述の正方形内に小さな正方形を形成します。直角三角形の各コピーには、$ \ frac {a b} {2} $の領域があります。内側の正方形の領域は、正方形の面積を引いた領域に等しく、直角三角形の4つのコピーの領域に等しくなければなりません。これは得られます：

$$
（a + b）^2-4 \ frac {a b} {2} = a^2 + 2 a b + b^2-2 a b = a^2 + b^2 \ overset {！} {=} c^2。
$$

Q.E.D.