タレスの定理

とは、円周上の2つの点を結ぶ線分が円の中心を含むなら、その2点と円周上の別の点とを結ぶ2つの線分のなす角（円周角）は必ず直角であるという幾何学の定理である。言い換えると、直角三角形の斜辺は必ずその外接円の中心を含む。
歴史.
古代ギリシャの哲学者、数学者タレスにちなんで名付けられた。
その前にもこの定理は発見されていたが、タレスが初めてピラミッドの高さを発見した事からこの名前が生まれた。
タレスの定理は円周角の定理の特例の1つでもある。
タレスの「幾何学の五定理」ともいわれ、以下の5つで構成される。
証明.
OA, OB, OCは円の半径であるから、OA=OB=OC. それで∆OAB, ∆OBCは二等辺三角形である : 
2つの等式を合計すると:
三角形の内角の和は 180 度より
したがって