ピタゴラスの定理
初等幾何学におけるピタゴラスの定理（ピタゴラスのていり、）は、直角三角形の3辺の長さの関係を表す。斜辺の長さを , 他の2辺の長さを とすると、定理は
が成り立つという等式の形で述べられる。三平方の定理（さんへいほうのていり）、勾股弦の定理（こうこげんのていり）とも呼ばれる。
ピタゴラスの定理によって、直角三角形をなす3辺の内、2辺の長さを知ることができれば、残りの1辺の長さを知ることができる。例えば、直交座標系において原点と任意の点を結ぶ線分の長さは、ピタゴラスの定理に従って、その点の座標成分を2乗したものの総和の平方根として表すことができる。このことは2次元の座標系に限らず、3次元の系やより大きな次元の系についても成り立つ。この事実から、ピタゴラスの定理を用いて任意の2点の間の距離を測ることができる。このようにして導入される距離はユークリッド距離と呼ばれる。
「ピタゴラスが直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」など幾つかの逸話が知られているものの、この定理はピタゴラスが発見したかどうかは分からない。バビロニア数学のプリンプトン322や古代エジプトなどでもピタゴラス数については知られていたが、彼らが定理を発見していたかどうかは定かではない。
中国古代の数学書『九章算術』や『周髀算経』でもこの定理が取り上げられている。中国ではこの定理を勾股定理、商高定理等と呼び、日本の和算でも中国での名称を用いて鉤股弦の法（こうこげんのほう）等と呼んだ。三平方の定理という名称は、敵性語が禁じられていた第二次世界大戦中に文部省の図書監修官であった塩野直道の依頼を受けて、数学者末綱恕一が命名したものである。
を満たす自然数の組 をピタゴラス数またはピタゴラスの三つ組数 という。特に、 が互いに素であるピタゴラス数 を原始的 あるいは素 であるといい、そのようなピタゴラス数は原始ピタゴラス数 などと呼ばれる。全てのピタゴラス数は、原始ピタゴラス数の正の整数倍により得られる。
ピタゴラス数 が原始的であるためには、3つのうち2つが互いに素であることが必要十分である。
原始ピタゴラス数の具体例は "a" < "b" とすると以下の数となる。ただし同じ数値が重複している場合は重複の数だけ異なる数で表せることを示している。
自然数の組 が原始ピタゴラス数であるためには、ある自然数 が
を満たすとして、
であることが必要十分である。上記の は無数に存在し、 は重複しないから、原始ピタゴラス数は無数に存在する。これにより、すべての原始ピタゴラス数を重複なく見つけ出すことができる。
例えば
である。
原始ピタゴラス数 について、次のような性質も成り立つ。
また、一般のピタゴラス数 に対して、（直角三角形の面積）は平方数でない。
1956年に Jesmanowicz が以下の予想を提出した。
で自然数解を持つには、
であることが必要である。
第二余弦定理
はピタゴラスの定理を の場合として含む。
つまり、第二余弦定理はピタゴラスの定理を一般の角度について拡張した定理になっている。
指数の の部分を一般化すると
となる。 の場合は自明でない（つまり のいずれも 0 でない）整数解は実質原始ピタゴラス数であり、無数に存在するが、 の場合には自明でない整数解は存在しない（詳細はフェルマーの最終定理を参照）。
3次元空間内に平面があるとき、その閉領域 の面積は、 平面、 平面、 平面への射影の面積 を用いて
と表される。これは高次元へ一般化できる。
この定理には数百通りもの異なる証明が知られている。ここにいくつかの代表的な証明を挙げる。
以下では頂点 からなる三角形を と表す。また、各辺 に向かい合う角をそれぞれ と表し、各頂点 の対辺 の長さをそれぞれ と表す。
頂点の記号は直角三角形 の直角が になるように与える。
頂点 から斜辺 に下ろした垂線の足を とする。 は互いに相似である。よって と の相似比より
であり、同様に と の相似比より
である。したがって
であるから、両辺にformula_8 を掛けて
を得る。
直径ABの半円Oで、円周上に置いた点Cから直径ABに下した垂線の足をHとする。
このときOA=OB=OC=c、HC=a、HO=b、とする。
すると△OCHで、
△AHC∽△BHC
なので、
HA:HC=HC:HB
OA±HO:HC=HC:OB∓HO
c±b:a=a:c∓b
c²-b²=a²
c²=a²+b²
と合同な4個の三角形を図のように並べると、外側に一辺が の正方形（以下「大正方形」）が、内側に一辺が の正方形（以下「小正方形」）ができる。
である。大正方形の面積は , 小正方形の面積は , 直角三角形4個の面積の合計は
である。これらを代入すると、
整理して
を得る。
Ｃ
の面積 は
である。また の内接円の半径を とすると
であり、これを半径 について解くと
となる。一方、三角形の面積 を内接円の半径 を用いて表すと
となる。 に , を代入すると
となり、整理すると
が得られる。
三角関数と指数関数は冪級数によって定義されているものとする。（指数法則やオイラーの公式の証明に本定理が使用されない定義であればよい。）まず が任意の複素数 に対して成り立つことを（3通りの方法で）示す。
オイラーの公式より
または
もしくは、オイラーの公式から三角関数の半角の公式を導出する。
さて、前提とした について考え、 とおけば
したがって
, より
, より
が得られる。
正弦および余弦関数を微分すれば
, および微分公式より
したがって
ここで は定数である。 を代入すると であるので、 が得られる。よって
が得られる。
ここで、前提とした について考え、 とおいて、 および、三角関数と直角三角形の関係を考慮すれば
が得られる。
下記のように関数を定める。
上記を漸化式を利用して不定積分すると
である。微分積分学の基本定理を考慮し、これを微分すると
である。したがって
ゆえに、ピタゴラスの定理は成立する。
三角関数は級数など（幾何以外の原理）によって定義されているものとし、オイラーの公式など（証明に本定理を使用しない方法）によって導出された三角関数の加法定理を用いれば
または
が得られる。
また、加法定理を応用した三角関数の積和公式を用いて
したがって
が得られる。
両辺に を乗算して
ここで、前提とした について考え、 とおいて、三角関数と直角三角形の関係を考慮すれば
よって
が得られる。
三角関数は級数によって定義されているものとし、 と の自乗をそれぞれ計算すると
となる。ここで二項定理より
である。したがって
が得られる。
ここで、前提とした について考え、 とおいて、三角関数と直角三角形の関係を考慮し、各辺の比を考えれば
であるから
が得られる。
平面の原点を中心とする角 の回転は
で表される。
となる。したがって
が得られる。
ここで、前提とした について考え、 とおいて、三角関数と直角三角形の関係を考慮すれば、正弦定理より
であるから
が得られる。
任意の に対し
である。よって任意の に対して
が成り立つ。
ここで、前提とした について考え、 とおいて、三角関数と直角三角形の関係を考慮すれば、連比関係より
であるから
が得られる。
ピタゴラスの定理の逆とは、 に対して
が成立すれば、 は の直角三角形であるというものである。以下に証明を示す。
を満たす において、線分 を の比に内分する点を とすると
である。これより、△ABC と △ACD において
であるから
が成り立つ。ここで
であるから、2辺比夾角相等より
が成り立つ。したがって
である。
同様に △ABC と △CBD において
であるから
が成り立つ。ここで
であるから、2辺比夾角相等より
が成り立つ。したがって
である。ここで
であるから
である。したがって
である。ゆえに、 は の直角三角形である。
である直角三角形 において、 とすれば、ピタゴラスの定理より
が成り立つ。
一方、仮定から において
が成り立っている。 、 より
したがって、3辺相等から
よって、 である。
ゆえに、 は の直角三角形である。
において であると仮定する。頂点 から直線 に下した垂線の足を とし、 とする。
であり、同様に直角三角形 では
である。よって
となる。
ゆえに
となる。
よっていずれの場合も
である。対偶を取って、 ならば である。
なお、この証明から分かるように、
という対応がある。
ピタゴラスの定理は既に証明されているとする。 において、, とおくと、余弦定理より
である。仮定より
であるから
である。三角形の内角の和は であるから、 である。
したがって
である。ゆえに、△ABC は ∠C の直角三角形である。
ピタゴラスの定理は既に証明されているとする。 において
であり
である。
ここで
である。したがって
である。よって
である。ゆえに、ピタゴラスの定理の逆が証明された。