トレミーの定理

テンプレート:出典の明記 トレミーの定理（トレミーのていり、テンプレート:Lang-en-short）とは、円に内接する四角形 ABCD において、辺の長さに関する等式：

$AC\cdot BD=AD\cdot BC+AB\cdot DC$

が成り立つという幾何学の定理。トレミーは古代ローマの天文学者クラウディオス・プトレマイオスの姓プトレマイオスの英語表記Ptolemyの音訳である。プトレマイオスの定理とも呼ばれる。

トレミーの定理を一般化したオイラーの定理（オイラーのていり）とは、必ずしも円に内接しない四角形 ABCD において、辺の長さに関するトレミーの不等式（テンプレート:Lang-en-short）：

$AC\cdot BD\leqq AD\cdot BC+AB\cdot DC$

が成り立つという幾何学の定理のことである。逆に、必ずしも同一平面上にない4点 A, B, C, D に関して、辺の長さに関する等式：

$AC\cdot BD=AD\cdot BC+AB\cdot DC$

が成り立つならば、4点 A, B, C, D は同一直線上にあるか、または同一平面上にあり、かつ四角形 ABCD は同一の円に内接する。

証明

計算の便宜をはかり、a = AD, b = AB, c = BC, d = DC とおくことにする。また、A = ∠A = ∠DAB, B = ∠B = ∠ABC, C = ∠C = ∠BCD, D = ∠D = ∠CDA のこととする。

余弦定理および内接四角形の性質より、

$B{D}^2=a^2+b^2-2ab\cos A$、

$B{D}^2=c^2+d^2-2cd\cos C=c^2+d^2+2cd\cos A$

が成り立つ。ここから cos A を消去して、

$(ab+cd)B{D}^2=(ad+bc)(ac+bd)$

を得る。また AC について同様にして

$(ad+bc)A{C}^2=(ab+cd)(ac+bd)$

となるから、2 式を掛けて

$(ab+cd)(bc+ad)A{C}^2\cdot B{D}^2=(ac+bd{)}^2(ad+bc)(ab+cd)$

を得る。これを整理すれば、

$AC\cdot BD=ac+bd$

となる。すなわち、

$AC\cdot BD=AD\cdot BC+AB\cdot DC$

が示された。

円に関する反転を用いた証明

円に関する反転を用いた証明

Dを中心とする適当な円 $\mathrm{\Gamma }$ に関する反転 によってABCDの外接円が直線に移されるようにする。 このとき $A^{\prime }{B}^{\prime }+B^{\prime }{C}^{\prime }=A^{\prime }{C}^{\prime }$ が成り立つ。 このとき、一般性を失わずに $\mathrm{\Gamma }$ の半径を1と置くことができる。 このとき $A^{\prime }{B}^{\prime },B^{\prime }{C}^{\prime },A^{\prime }{C}^{\prime }$はそれぞれ以下のように表される。

$\frac{AB}{DA\cdot DB},\frac{BC}{DB\cdot DC},\frac{AC}{DA\cdot DC}$

この式の両辺に $DA\cdot DB\cdot DC$ をかけて最初の式に代入するとトレミーの定理が得られる。

一般化

一般化にケイシーの定理がある。

参考文献

• テンプレート:Cite book

関連項目

• ケイシーの定理
• トレミーの不等式
• ファン・スコーテンの定理
• フールマンの定理

外部リンク

• テンプレート:Kotobank
• テンプレート:Kotobank
• テンプレート:高校数学の美しい物語
• テンプレート:PDFlink
• テンプレート:MathWorld