タレスの定理

とは、円周上の2つの点を結ぶ線分が円の中心を含むなら、その2点と円周上の別の点とを結ぶ2つの線分のなす角（円周角）は必ず直角であるという幾何学の定理である。逆の命題も正しい。つまり、直角三角形の3頂点を通る円（外接円）はただ一つ存在する。これは直角三角形に限らなくても真なる命題である。特に、直角三角形の場合、斜辺の中点が外接円の中心である。

歴史
古代ギリシャの哲学者、数学者タレスにちなんで名付けられた。
その前にもこの定理は発見されていたが、タレスが初めてピラミッドの高さを求めた事からこの名前が生まれた。
タレスの定理は円周角の定理の特例の1つでもある。
タレスの「幾何学の五定理」ともいわれ石井郁男『はじめての哲学』、画・ヨシタケシンスケ、あすなろ書房、ISBN 978-4-7515-2764-1、以下の5つで構成される。
 円は中心点を通る直線で二等分される。
 二等辺三角形の両底角は等しい。
 交差する直線の対頂角は等しい。
 三角形は底辺と両底角で定められる。
 半円に内接する三角形は直角三角形である。

証明
OA, OB, OCは円の半径であるから、OA=OB=OC. それで∆OAB, ∆OBCは二等辺三角形である : 

2つの等式を合計すると:

三角形の内角の和は 180 度より
°

したがって
°

 関連項目 
 円周角

 外部リンク 
 ユークリッド『原論』命題Ⅲ-31

 出典 

Category:直角三角形に関する定理
Category:三角形と円に関する定理
Category:タレス
Category:数学に関する記事
Category:数学のエポニム
Category:証明を含む記事