ピタゴラスの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索
レオナルド・ダ・ヴィンチによるピタゴラスの定理の証明。橙色のついた部分を90度回転し、緑色の部分は裏返して橙色に重ねる。

ピタゴラスの定理(ピタゴラスのていり、英語: Pythagorean theorem)は、直角三角形の3の長さの関係を表す等式である。三平方の定理(さんへいほうのていり)、勾股弦の定理(こうこげんのていり)、商高の定理(シャンガオのていり)とも呼ばれる。

概要[編集]

平面幾何学において直角三角形斜辺の長さを c、他の2辺の長さを a, b とすると、

a2 + b2 = c2

が成り立つという定理である[1]

ピタゴラス直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」など幾つかの逸話が知られているものの、この定理はピタゴラスが発見したかどうかは分からない。バビロニア数学プリンプトン322古代エジプト[2]などでもピタゴラス数については知られていたが定理を発見していたかどうかは定かではない。

証明[編集]

この定理には数百通りもの異なる証明が知られている。ここにいくつかの代表的な証明を挙げる。

いずれも ABC を ∠C が直角とし、頂点 A, B, C の対辺の長さをそれぞれ a, b, c とする。

相似による証明[編集]

相似を用いた証明

頂点 C から斜辺 AB に下ろした垂線の足を H とする。△ABC, △ACH, △CBH は互いに相似である。よって △ABC と △ACH の相似比より

\text{AC}:\text{AH} = \text{AB}:\text{AC} \Longrightarrow \text{AH} = { \text{AC} \times \text{AC} \over \text{AB} } = {b^2 \over c}

であり、同様に △ABC と △CBH の相似比より

\text{BH} = {a^2 \over c}

である。したがって

c = \text{AB} = \text{AH} + \text{BH} = {b^2 \over c} + {a^2 \over c}

であるから、両辺にc を掛けて

c^2=a^2+b^2

を得る。

正方形を用いた証明[編集]

正方形を用いた証明

△ABC と合同な4個の三角形を図のように並べると、外側に一辺が a + b正方形(以下「大正方形」)が、内側に一辺が c の正方形(以下「小正方形」)ができる。

(大正方形の面積)=(小正方形の面積)+(直角三角形の面積)× 4

である。大正方形の面積は (a + b)2、小正方形の面積は c2、直角三角形4個の面積の合計は

{ab \over 2} \times 4 = 2ab

である。これらを代入すると、

(a+b)^2=c^2+2ab

整理して

a^2+b^2=c^2

を得る。

幾何学的な証明
Teorema de Pitágoras.Pappus1.svg
Pythagorean proof.png
周髀算経』におけるピタゴラスの定理の証明(中国語: 句股冪合以成弦冪

内接円を用いた証明[編集]

△ABC の面積 S

S={ab \over 2} …(1)

また △ABC の内接円半径r とすると

c=(a-r)+(b-r)

であり、r について解くと

r={a+b-c \over 2} …(2)

となる。Sr を用いて表すと

S={r(a+b+c) \over 2}

これに (1), (2) を代入すると

{ab \over 2}={(a+b-c)(a+b+c) \over 4}

これを整理すると

a^2+b^2=c^2

が得られる。

オイラーの公式を用いた証明[編集]

三角関数級数など(幾何以外の原理)によって定義されていると仮定し、級数や微分方程式など(証明に本定理を使用しない方法)によって導出されたオイラーの公式を用いれば

1=e^{ix}e^{-ix} =(\cos x+i\sin x)(\cos x-i\sin x)=\sin^2 x+\cos^2 x

\therefore \sin^2 x+\cos^2 x=1[3][4][5]

 

 

 

 

(1)

(1)の式は「ピタゴラスの基本三角関数公式(Fundamental Pythagorean trigonometric identity)」と呼ばれている[6]
(1)の時点ですでに単位円上において本定理の成立が明らかである。
∵本定理の逆は本定理を用いずに証明可能であるし、半径1の円(単位円)上の任意の点の座標は(\cos x,\sin x)で表せる[7]
さらに、(1)は複素平面の全領域での解析結果であり、複素平面上でも本定理は成立する[8]
ここで、前提とした △ABC について考え、∠A = x とおけば

a = c \times \sin x
b = c \times \cos x

したがって

a^2 = c^2\sin^2 x

 

 

 

 

(2)

b^2 = c^2\cos^2 x

 

 

 

 

(3)

(2),(3) より

a^2+b^2=c^2(\sin^2 x + \cos^2 x)

 

 

 

 

(4)

(1),(4) より

a^2+b^2=c^2

が得られる[5][9]

三角関数の微分公式を用いた証明[編集]

正弦及び余弦関数を微分すれば

\frac{\mathrm {d}}{\mathrm{d}x}\sin x=\cos x

 

 

 

 

(1)

\frac{\mathrm {d}}{\mathrm{d}x}\cos x=- \sin x

 

 

 

 

(2)

(1),(2) 及び微分公式より

\frac{\mathrm {d}}{\mathrm{d}x}(\sin^2 x + \cos^2 x)= 2 \sin x \cos x + 2 \cos x (-\sin x) = 0

したがって

\sin^2 x + \cos^2 x = C

ここで C は定数である。x = 0 を代入すると sin 0 = 0、 cos 0 = 1 であるので、 C = 1 が得られる。よって

\sin^2 x + \cos^2 x = 1

 

 

 

 

(3)

が得られる[4]
(3) および、三角関数と直角三角形の関係より、∠A = x とおけば、

a^2+b^2={a^2+b^2 \over 1}={a^2+b^2 \over \sin^2 x + \cos^2 x}={a^2+b^2 \over {a^2+b^2 \over c^2}}=c^2

が得られる。

三角関数の加法定理を用いた証明[編集]

三角関数は級数など(幾何以外の原理)によって定義されていると仮定し、オイラーの公式など(証明に本定理を使用しない方法)によって導出された三角関数の加法定理を用いれば

1 = \cos 0 = \cos( x - x ) = \cos x \cos x + \sin x \sin x = \cos^2 x + \sin^2 x
\therefore \sin^2 x + \cos^2 x = 1

が得られる[10]
両辺に c^2 を乗算して

c^2\sin^2 x + c^2\cos^2 x = c^2

三角関数と直角三角形の関係より、∠A = x とおけば、

c^2 \times \left({a \over c}\right)^2 + c^2 \times \left({b \over c}\right)^2 = c^2

よって

a^2+b^2=c^2

が得られる[10]

ピタゴラス数[編集]

a2 + b2 = c2 を満たす自然数の組 (a, b, c) をピタゴラス数という。特に、a, b, c が互いに素であるピタゴラス数 (a, b, c) を原始的(げんしてき、primitive)、、あるいは原始ピタゴラス数などという。全てのピタゴラス数は、原始ピタゴラス数の正の整数倍により得られる。

ピタゴラス数 (a, b, c) が原始的であるためには、3つのうち2つが互いに素であることが必要十分である。

性質[編集]

自然数の組 (a, b, c) が原始ピタゴラス数であるためには、ある自然数 m, nmn は互いに素,m > n, mn は奇数)を取ると

(a, b, c) = (m2n2, 2mn, m2 + n2) or (2mn, m2n2, 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) に対して、S=\frac{1}{2} ab(直角三角形の面積)は平方数でない。

Jesmanowicz 予想[編集]

1956年に Jesmanowicz が以下の予想を提出した。

(a, b, c) を原始ピタゴラス数、n を自然数とする。x, y, z

(an)^x+(bn)^y=(cn)^z

で自然数解を持つには、

x=y=z=2

であることが必要である。

一般化[編集]

角の一般化[編集]

余弦定理

c2 = a2 + b2 − 2ab cos C

はピタゴラスの定理を C=\frac\pi2=90^\circ \Leftrightarrow \cos C=0 の場合として含む。

指数の一般化[編集]

指数 2 を一般化すると

an + bn = cn

となる。n = 2 の場合は自明でない (abc ≠ 0) 整数解は実質原始ピタゴラス数であり、無数に存在するが、n ≧ 3 の場合には自明でない整数解は存在しない(フェルマーの最終定理)。

次元の一般化[編集]

3次元空間内に平面があるとき、その閉領域 S の面積は、yz 平面,zx 平面,xy 平面への射影の面積 Sx, Sy, Sz を用いて

S^2={S_x}^2+{S_y}^2+{S_z}^2

と表される。これは高次元へ一般化できる。

脚注[編集]

[ヘルプ]

参照[編集]

  1. ^ 大矢 2001
  2. ^ 亀井喜久男. “エジプトひもで古代文明に挑戦しよう”. 2008年3月3日閲覧。
  3. ^ 稲津 將(北海道大学大学院理学研究院). “オイラーの公式”. 2014年10月4日閲覧。
  4. ^ a b 新関章三(元高知大学),矢野 忠(元愛媛大学). “数学・物理通信”. 2014年10月4日閲覧。
  5. ^ a b 複素数と三角関数”. 2014年10月6日閲覧。
  6. ^ Lawrence S. Leff (2005). PreCalculus the Easy Way (7th ed.). Barron's Educational Series. p. 296. ISBN 0-7641-2892-2. http://books.google.com/books?id=y_7yrqrHTb4C&pg=PA296. 
  7. ^ 三平方の定理の逆の証明”. 2014年10月8日閲覧。
  8. ^ 山本哲生(北海道大学). “複素解析”. 2014年10月4日閲覧。
  9. ^ 三角関数の基本を学ぼう”. 2014年10月4日閲覧。
  10. ^ a b 三平方の定理の証明”. 2014年10月5日閲覧。

注釈[編集]

参考文献[編集]

関連項目[編集]

外部リンク[編集]