ピタゴラスの定理
ピタゴラスの定理（ピタゴラスのていり、テンプレート:Lang-en）は、直角三角形の3辺の長さの関係を表す等式である。三平方の定理（さんへいほうのていり）、勾股弦の定理（こうこげんのていり）とも呼ばれる。
目次
概要
平面幾何学において直角三角形の斜辺の長さを c、他の2辺の長さを a, b とすると、
- a2 + b2 = c2
「ピタゴラスが直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」など幾つかの逸話が知られているものの、この定理はピタゴラスが発見したかどうかは分からない。バビロニア数学のプリンプトン322や古代エジプト[2]などでもピタゴラス数について知られていたが定理を発見していたかどうかは定かではない。
証明
この定理には数百通りもの異なる証明が知られている。ここにいくつかの代表的な証明を挙げる。
いずれも △ABC を ∠C が直角とし、頂点 A, B, C の対辺の長さをそれぞれ a, b, c とする。
相似による証明
頂点 C から斜辺 AB に下ろした垂線の足を H とする。△ABC, △ACH, △CBH は互いに相似である。よって △ABC と △ACH の相似比より
- <math>\text{AC}:\text{AH} = \text{AB}:\text{AC} \Longrightarrow \text{AH} = { \text{AC} \times \text{AC} \over \text{AB} } = {b^2 \over c}</math>
であり、同様に △ABC と △CBH の相似比より
- <math>\text{BH} = {a^2 \over c}</math>
である。したがって
- <math>c = \text{AB} = \text{AH} + \text{BH} = {b^2 \over c} + {a^2 \over c}</math>
であるから、両辺に<math>c</math> を掛けて
- <math>c^2=a^2+b^2</math>
を得る。
正方形を用いた証明
△ABC と合同な4個の三角形を図のように並べると、外側に一辺が a + b の正方形（以下「大正方形」）が、内側に一辺が c の正方形（以下「小正方形」）ができる。
- （大正方形の面積）=（小正方形の面積）+（直角三角形の面積）× 4
である。大正方形の面積は (a + b)2、小正方形の面積は c2</sup>、直角三角形4個の面積の合計は
- <math>{ab \over 2} \times 4 = 2ab</math>
である。これらを代入すると、
- <math>(a+b)^2=c^2+2ab</math>
整理して
- <math>a^2+b^2=c^2</math>
を得る。
内接円を用いた証明
△ABC の面積 S は
- <math>S={ab \over 2}</math> …(1)
- <math>c=(a-r)+(b-r)</math>
であり、r について解くと
- <math>r={a+b-c \over 2}</math> …(2)
となる。S を r を用いて表すと
- <math>S={r(a+b+c) \over 2}</math>
これに (1), (2) を代入すると
- <math>{ab \over 2}={(a+b-c)(a+b+c) \over 4}</math>
これを整理すると
- <math>a^2+b^2=c^2</math>
が得られる。
ピタゴラス数
a2 + b2 = c2 を満たす自然数の組 (a, b, c) をピタゴラス数という。特に、a, b, c が互いに素であるピタゴラス数 (a, b, c) を原始的（げんしてき、primitive）、素、あるいは原始ピタゴラス数などという。全てのピタゴラス数は、原始ピタゴラス数の正の整数倍により得られる。
ピタゴラス数 (a, b, c) が原始的であるためには、3つのうち2つが互いに素であることが必要十分である。
性質
自然数の組 (a, b, c) が原始ピタゴラス数であるためには、ある自然数 m, n（m と n は互いに素，m > n, m − n は奇数）を取ると
- (a, b, c) = (m2 − n2, 2mn, m2 + n2) or (2mn, m2 − n2, m2 + n2)
であることが必要十分である。上記の (m, n) は無数に存在し、2mn は重複しないから、原始ピタゴラス数は無数に存在する。これにより原始ピタゴラス数を漏れ・重複なく見つけ出すことができる。
例えば
- (m, n) = (2, 1) のとき (a, b, c) = (3, 4, 5)
- (m, n) = (3, 2) のとき (a, b, c) = (5, 12, 13)
- (m, n) = (4, 1) のとき (a, b, c) = (8, 15, 17)
である。
原始ピタゴラス数 (a, b, c) について、次のような性質も成り立つ。
- a または b は 4 の倍数
- a または b は 3 の倍数
- a または b または c は 5 の倍数
また、一般のピタゴラス数 (a, b, c) に対して、<math>S=\frac{1}{2} ab</math>（直角三角形の面積）は平方数でない。
Jesmanowicz 予想
1956年に Jesmanowicz が以下の予想を提出した。
(a, b, c) を原始ピタゴラス数、n を自然数とする。x, y, z が
- <math>(an)^x+(bn)^y=(cn)^z</math>
で自然数解を持つには、
- <math>x=y=z=2</math>
であることが必要である。
一般化
角の一般化
- c2 = a2 + b2 − 2ab cos C
はピタゴラスの定理を <math>C=\frac\pi2=90^\circ \Leftrightarrow \cos C=0</math> の場合として含む。
指数の一般化
指数 2 を一般化すると
- an + bn = cn
となる。n = 2 の場合は自明でない (abc ≠ 0) 整数解は実質原始ピタゴラス数であり、無数に存在するが、n ≧ 3 の場合には自明でない整数解は存在しない（フェルマーの最終定理）。
次元の一般化
3次元空間内に平面があるとき、その閉領域 S の面積は、yz 平面，zx 平面，xy 平面への射影の面積 Sx, Sy, Sz を用いて
- <math>S^2={S_x}^2+{S_y}^2+{S_z}^2</math>
と表される。これは高次元へ一般化できる。
脚注
参考文献
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Cite book - 原タイトル：Hidden harmonies。
- テンプレート:Cite book - 原タイトル：A friendly introduction to number theory。(2nd ed.)
- テンプレート:Cite book - 原タイトル：A friendly introduction to number theory。(3rd ed.)
- テンプレート:Cite book - 原タイトル：The Pythagorean theorem。
- テンプレート:Cite book - 発売：現代数学社。
- テンプレート:Cite book
関連項目
外部リンク
テンプレート:Link GA テンプレート:Link GA テンプレート:Link GA
テンプレート:Link GA
