ピタゴラスの定理

初等幾何学におけるは、直角三角形の3辺の長さの間に成り立つ関係について述べた定理である。その関係は、斜辺の長さを , 他の2辺の長さを とすると、
という等式の形で述べられる。
日本ではとも呼ばれていて、という呼称もある。
ピタゴラスの定理によって、直角三角形において2辺の長さが分かっていれば、残りの1辺の長さを計算することができる。例えば、2次元直交座標系において、座標が分かっている2点間の距離を求めることができる。2点間の距離は、2点の各座標の差の 2乗の総和の平方根となる。このことは3次元直交座標系でも成り立つ。このようにして一般の有限次元直交座標系に対して導入される距離はユークリッド距離と呼ばれる。
定理の概要.
直角三角形において、斜辺の長さを 、直角をはさむ 2辺の長さを とすると、次の等式が成り立ち、「ピタゴラスの定理」と呼ばれる：
ここで はいずれも正であるから、2辺の長さから残りの辺の長さを、次のように計算できる：
この定理は、余弦定理によって一般の三角形に拡張される：任意の三角形において、1つの内角の大きさとそれをはさむ2辺の長さから残りの辺（対辺）の長さを計算できる。特にここで考えている内角の大きさが直角の場合、余弦定理はピタゴラスの等式に帰着する。
歴史.
「ピタゴラスが直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」などいくつかの逸話が伝えられているが、実際にピタゴラスが発見したかどうかは正確には判っていない。
ピタゴラスの定理の内容は歴史上の文献にいくつか著されているが、どれだけあるのかは議論がある。ピタゴラスが生まれる前からピタゴラスの定理は広く知られていた。
判明しているもので最初期のものは、ピタゴラスが生まれる1000年以上前のバビロン第1王朝時代ごろ（紀元前20世紀から16世紀の間）とされる。
エジプト数学やバビロニア数学などでもピタゴラス数については記述があるが、定理を発見していたかまでは定かではない。
紀元前2000年から1786年ごろに書かれた古代エジプトエジプト中王国のパピルス『』には定理に関わる部分が欠けている。バビロニアの粘土板『プリンプトン322』には、ピタゴラスの定理に関わる要素が数多く含まれている。
インドの紀元前5-8世紀に書かれた『シュルバ・スートラ』などにも定理に関わる文章が見られる。しかし、これはバビロニア数学の影響を受けた結果ではないかという推測もされているが、結論には至っていない。
紀元前3世紀に書かれたユークリッド原論では、第1巻の命題47で言及されている。
中国古代においては、『周髀算経』（紀元前2世紀前後）や『九章算術』の数学書でもこの定理が取り上げられている。中国ではこの定理を勾股定理、商高定理等と呼んで説明している。
「ピュタゴラス（ピタゴラス）の定理」という呼称が一般的になったのは、西洋においても少なくとも20世紀に入ってからである。
日本での呼称.
日本の和算でも、中国での呼称を用いて等と呼んでいた。
日本の明治時代の中等学校の教科書では「ピュタゴラスの定理」と呼ばれていた。
現在、ピタゴラスの定理は「三平方の定理」とも呼ばれているが、「三平方の定理」と呼ばれるようになったのは1942年（昭和17年）の太平洋戦争開始後のことである。
このときに「鉤股弦の定理」とする案などもあったが、末綱恕一（東大教授）の発案で「三平方の定理」に改められたとされる。
ピタゴラス数.
直角三角形の3辺の具体的な長さで整数のものは、ピタゴラスの定理の項目の中で古くから知られた。例えば、紀元前1800年ごろのバビロニアの粘土板には、3辺の長さの表（例えば のようなもの）が出ている。
 を満たす自然数の組 をピタゴラス数またはピタゴラスの三つ組数 という。特に、 が互いに素であるピタゴラス数 を原始的 あるいは素 であるといい、そのようなピタゴラス数は原始ピタゴラス数 などと呼ばれる。全てのピタゴラス数は原始ピタゴラス数 の正の整数倍 で表されるから、ピタゴラス数のリストを知るには、原始ピタゴラス数が本質的である。
ピタゴラス数 が原始的であるためには、3つのうちある2つが互いに素であれば十分である。原始ピタゴラス数の小さい方のリストは、 で、 とすると次の通りである：
ピタゴラス数の性質.
ピタゴラス数 には、次の性質がある。
自然数の組 が原始ピタゴラス数であるためには、ある自然数 が
を満たすとして、
であることが必要十分である。上記の は無数に存在し重複がないので、原始ピタゴラス数は無数に存在し、すべての原始ピタゴラス数を重複なく列挙できる。
例えば
である。 を満たす原始ピタゴラス数を の昇順に並べた一覧表は以下のようになる。
また、フランスの数学者ピエール・ド・フェルマーは一般のピタゴラス数 に対して、（直角三角形の面積）は平方数でないことを無限降下法により証明した。
Jesmanowicz 予想.
1956年に Jesmanowicz が次の予想を提出した：
一般化.
角の一般化.
第二余弦定理
はピタゴラスの定理を の場合として含む。
つまり、第二余弦定理はピタゴラスの定理を一般の三角形に対して拡張した定理になっている。
指数の一般化.
指数の の部分を一般化すると
となる。 の場合、自明（つまり の少なくとも1つが 0）や既知解（原始ピタゴラス数の定数倍）を除いても、整数解は実質無数に存在するが、 の場合は非自明な整数解は存在しない。
次元の一般化.
3次元空間内に平面があるとき、その閉領域 の面積は、 平面、 平面、 平面への射影の面積 を用いて
と表される。これは高次元へ一般化できる。
ピタゴラスの定理の証明.
この定理には数百通りもの異なる証明がある。
相似による証明.
頂点 から斜辺 に下ろした垂線の足を とする。 と は相似である。ゆえに
であり、同様に
である。したがって
であるから、両辺に を掛けて
を得る。
三角比による証明.
前節の証明は、三角比を用いると簡単に表記できる：
本証明を一般の三角形に拡張すると、第二余弦定理の証明が得られる。
外接円を用いた証明.
 のとき、斜辺 を直径とする円 を描くことができる。
このとき点 から直径 に下ろした垂線の足を とし、 に対して三平方の定理を証明する。 とする。
 なので、
正方形を用いた証明.
 と合同な4個の三角形を右図のように並べると、外側に一辺が の正方形（以下「大正方形」）が、内側に一辺が の正方形（以下「小正方形」）ができる。
である。大正方形の面積は , 小正方形の面積は , 直角三角形1個の面積は formula_14 である。これらを代入すると、
整理して
を得る。
内接円を用いた証明.
 において、内接円の半径 を用いて面積 を表すと
となるが、より、
となるから、 に , を代入すると
整理すると
が得られる。
オイラーの公式を用いた証明.
三角関数と指数関数は冪級数によって定義されているものとする。（指数法則やオイラーの公式の証明に本定理が使用されない定義であればよい。）まず が任意の複素数 に対して成り立つことを（3通りの方法で）示す。
オイラーの公式より
または
もしくは、オイラーの公式から三角関数の半角の公式を導出する。
 の式はピタゴラスの基本三角関数公式 と呼ばれている。
 の時点ですでに単位円上において本定理の成立が明らかである。なぜならば、実数の範囲では、単位円上の偏角 の点の座標として定義した と上記の冪級数による定義は一致するからである。
前提とした について、 とおけば
, , より
ゆえに
が得られる。
三角関数の微分公式を用いた証明.
正弦および余弦関数を微分すれば
, および微分公式より
したがって
ここで は定数である。 を代入すると であるので、 が得られる。よって
が得られる。
あとは前節と同様にして
が得られる。
三角関数の不定積分を用いた証明.
下記のように関数を定める。
上記を漸化式を利用して不定積分すると
である。微分積分学の基本定理を考慮し、これを微分すると
である。したがって
ゆえに、ピタゴラスの定理は成立する。
三角関数の加法定理を用いた証明.
三角関数の加法定理は、三平方の定理を使わないで証明できる。本定理を使わないで証明した、三角関数の加法定理を使うと、
または
が得られる。
また、加法定理から導かれる半角公式を適用すると
したがって
が得られる。
あとはこれまでと同様にして
が得られる。
冪級数展開を用いた証明.
三角関数は級数によって定義されているものとし、 と の自乗をそれぞれ計算すると
となる。ここで二項定理より
である。したがって
が得られる。
あとはこれまでと同様にして
が得られる。
回転行列を用いた証明.
平面において原点を中心とする角 の回転の表現行列は
であるが、このことも三平方の定理を用いないで証明が可能である。
（単位行列）であるが、この式の左辺を直接計算すると
となる。したがって
が得られる。
あとはこれまでと同様にして
が得られる。
三角関数と双曲線関数を用いた証明.
任意の に対し
である。よって任意の に対して
が成り立つ。
あとはこれまでと同様にして
が得られる。
ピタゴラスの定理の逆.
ピタゴラスの定理は、逆も真となる。すなわち、 に対して
が成立すれば、 は の直角三角形となる。
証明.
ピタゴラスの定理に依存しない証明.
 が を満たすとする。線分 を に内分する点を とすると
である。これより
であるから2辺比夾角相等より formula_51。
同様に
となるから
となる。
 より
一方
であるから、, より
, より
ゆえに は の直角三角形である。
同一法を用いた証明.
 である直角三角形 において、 とすれば、ピタゴラスの定理より
が成り立つ。
一方、仮定から において
が成り立っている。, より
 より
したがって、3辺相等から
。ゆえに は の直角三角形である。
対偶を用いた証明.
 において であると仮定する。頂点 から直線 に下ろした垂線の足を とし、 とする。
 の場合、直角三角形 においてピタゴラスの定理より
であり、同様に直角三角形 では
である。よって
となる。
 の場合も同様に考えて
ゆえに
となる。
よっていずれの場合も
である。対偶を取って、 ならば である。
なお、この証明から分かるように、
という対応がある。
余弦定理を用いた証明.
ピタゴラスの定理は既知とすると、それより導かれる余弦定理を用いることができる。 において、 とおくと、余弦定理より
一方、仮定より
であるから
となる。三角形の内角の和は であるから より、
ゆえに は の直角三角形である。
ベクトルを用いた証明.
 において
であり
である。
ここで
である。したがって
である。よって
である。ゆえに、ピタゴラスの定理の逆が証明された。