トレミーの定理の証明を3解法で完全攻略！入試で勝つ幾何と加法定理

高校数学の幾何分野において、知る人ぞ知る強力な定理として受験生を魅了し続けているのが「トレミーの定理」です。円に内接する四角形の辺と対角線の長さをめぐるこの美しい関係式は、マーク式試験の計算を劇的に短縮するだけでなく、数学オリンピックや難関大入試の幾何問題でも鮮やかな威力を発揮します。

一方で、教科書の発展的な扱いに留まることが多いため、「証明が難しそう」「記述試験でそのまま使って減点されないか不安」と悩む受験生も少なくありません。古代ギリシャの天文学者プトレマイオスが導き出したこの定理は、初等幾何の相似、三角関数の加法定理、そして余弦定理という3つのまったく異なるアプローチから驚くほど明快に証明できます。本稿では、定理の本質から入試での実戦的な活用法までを一気に解き明かします。

📌 【この記事の重要ポイントまとめ】

• 要点1：トレミーの定理は「円に内接する四角形の対角線の積＝2組の対辺の積の和」を表す強力な幾何公式。
• 要点2：証明は「相似を利用した初等幾何」「図形と計量の余弦定理」「三角関数の加法定理」の3解法で本質まで理解可能。
• 要点3：共通テストや私大マーク式では圧倒的な時短武器となり、国公立大の記述式でも相似の補助線を添えることで安全に得点源にできる。

【基礎から整理】トレミーの定理とは？円に内接する四角形の美しい対角線公式

トレミーの定理（プトレマイオスの定理）は、円に内接する四角形において、4辺の長さと2本の対角線の長さの間に成り立つ絶対的な関係を示した定理です。

円に内接する四角形$ABCD$において、頂点が円周上に時計回り（または反時計回り）に並んでいるとき、次の等式が成立します。

【トレミーの定理の公式】
$AC \times BD = AB \times CD + AD \times BC$
（対角線の積 ＝ 向かい合う辺の積の和）

この定理の凄さは、通常であれば余弦定理や三平方の定理を何度も連立させて求める対角線の長さを、4本の辺が判明していれば一撃で関係付けられる点にあります。古代ローマ時代の天文学者クラウディオス・プトレマイオスが、天体の運行を計算するために作成した「弦の長さの表（三角関数のルーツ）」を作成する過程で発見したとされています。

【徹底図解】トレミーの定理を証明する3つのアプローチ｜相似・余弦定理・加法定理

トレミーの定理は、異なる分野の知識を使って何通りもの方法で証明できます。ここでは代表的な3つの解法を取り上げ、そのエレガントな論理展開を紐解きます。

解法1：初等幾何の王道「相似三角形を作る補助線法」

最も有名かつ無駄のない解法が、対角線上に1本の絶妙な補助線を引いて相似な三角形を2組作り出すアプローチです。

【証明手順】
1. 対角線$BD$上に、$\angle BAE = \angle CAD$ となるような点$E$をとります。
2. $\triangle ABE$ と $\triangle ACD$ に着目すると、作図より $\angle BAE = \angle CAD$ であり、弧$AD$に対する円周角が等しいため $\angle ABE = \angle ACD$ です。2角がそれぞれ等しいので $\triangle ABE \sim \triangle ACD$ が成り立ちます。
3. 相似比より、$AB : AC = BE : CD$ となり、内項・外項の積から $AB \times CD = AC \times BE$ … ① が得られます。
4. 次に $\triangle ABC$ と $\triangle AED$ に着目します。$\angle BAC = \angle BAE + \angle EAC = \angle CAD + \angle EAC = \angle EAD$ となり、弧$AB$に対する円周角から $\angle BCA = \angle EDA$ です。したがって $\triangle ABC \sim \triangle AED$ が成り立ちます。
5. 相似比より、$BC : ED = AC : AD$ となり、$AD \times BC = AC \times ED$ … ② が得られます。
6. ①と②の両辺を足し合わせると、右辺は $AC \times BE + AC \times ED = AC \times (BE + ED) = AC \times BD$ となり、見事に $AC \times BD = AB \times CD + AD \times BC$ が導かれます。

解法2：高校数学「図形と計量」の武器「余弦定理」を用いた代数的証明

高校数学の「数学I・図形と計量」で学ぶ余弦定理を用いても証明できます。円に内接する四角形の対角の和が180度（$\cos(180^\circ - \theta) = -\cos\theta$）になる性質を利用します。

【証明の骨子】
四角形$ABCD$の対角線$AC$を共有する2つの三角形$\triangle ABC$と$\triangle ADC$に対し、それぞれ余弦定理を適用します。
$\angle B = \theta$ と置くと $\angle D = 180^\circ - \theta$ となるため、$\cos D = -\cos B$ です。これを利用して対角線の長さ$AC^2$を4辺$a, b, c, d$（$AB=a, BC=b, CD=c, DA=d$）で表すと、以下の式が得られます。

$AC^2 = \frac{(ab + cd)(ac + bd)}{ad + bc}$

同様に対角線$BD$についても同様の計算を行うと、

$BD^2 = \frac{(ad + bc)(ac + bd)}{ab + cd}$

となります。この2式の積をとると分母と分子が鮮やかに相殺され、

$AC^2 \times BD^2 = (ac + bd)^2 \implies AC \times BD = ac + bd = AB \times CD + AD \times BC$

となり、余弦定理の計算力のみでトレミーの定理が証明されます。

解法3：三角関数の「加法定理」による単位円上の証明

トレミーの定理は、三角関数の加法定理と表裏一体の関係にあります。半径1/2の円（直径1の円）に四角形$ABCD$が内接している場合を考えると、正弦定理より各弦の長さは円周角の正弦（$\sin$）そのものになります。

各頂点の中心角に対応する角度パラメータを設定すると、対角線や対辺の長さは $\sin(\alpha+\beta)$ や $\sin\alpha\cos\beta + \cos\alpha\sin\beta$ の形に変形されます。加法定理の展開公式をそのまま幾何学的な線分の長さに対応させることで、「トレミーの定理は加法定理の幾何学的表現そのものである」という深い数学的構造が浮かび上がります。

【発展と厳密性】「逆の証明」と一般化された「トレミーの不等式」

トレミーの定理の理解を深める上で欠かせないのが、「定理の逆」と「不等式への拡張」です。

トレミーの定理 逆の証明

「四角形$ABCD$において $AC \times BD = AB \times CD + AD \times BC$ が成り立つならば、四角形$ABCD$は円に内接する」という命題も真です。

証明には主に反転幾何学（インバージョン）や、同一法（外接円上にない仮想の頂点を置いて矛盾を導く背理法）が用いられます。対角線の積が対辺の積の和に一致することは、4点が共円（同一円周上にある）であるための必要十分条件なのです。

トレミーの不等式とオイラーの定理への広がり

平面上の任意の4点$A, B, C, D$（同一平面上にあれば円に内接していなくてもよい）に対しては、次のトレミーの不等式が成り立ちます。

$AC \times BD \le AB \times CD + AD \times BC$

等号が成立するのは、4点$A, B, C, D$が同一直線上にあるか、または同一円周上にこの順で並んでいるときのみです。この性質は複素数平面における三角不等式 $|(z_1-z_2)(z_3-z_4) + (z_1-z_4)(z_2-z_3)| \ge |(z_1-z_3)(z_2-z_4)|$ からも瞬時に導くことができます。また、幾何学におけるオイラーの定理など、点と直線の位置関係を記述する高度な定理群とも密接に連動しています。

【関連公式マップ】ブラーマグプタの公式・ヘロンの公式との意外な連動性

高校数学の「図形と計量」を俯瞰すると、トレミーの定理は他の有名公式と密接に結びついています。

1. ブラーマグプタの公式との連携
円に内接する四角形の4辺の長さを $a, b, c, d$、半周長を $s = \frac{a+b+c+d}{2}$ とするとき、四角形の面積$S$は次のブラーマグプタの公式で求められます。
$S = \sqrt{(s-a)(s-b)(s-c)(s-d)}$
対角線の長さをトレミーの定理で迅速に特定し、面積公式と組み合わせることで、内接四角形に関するあらゆる計量問題が一網打尽になります。

2. 三角形のヘロンの公式への退化
ブラーマグプタの公式において、4辺のうち1辺の長さ（例えば$d$）を0に極限まで縮めると、三角形の面積を求めるヘロンの公式 $S = \sqrt{s(s-a)(s-b)(s-c)}$ に一致します。幾何公式の階層構造を意識することで、図形問題への視野が一気に広がります。

【大学入試の実戦テクニック】トレミーの定理の使い方と記述試験での裏ワザ注意点

大学入試の現場において、トレミーの定理は強力な武器であると同時に、扱い方に注意が必要な道具でもあります。

共通テスト・私大マーク式での圧倒的なスピード

共通テストや私立大学のマーク式試験では、過程を書く必要がありません。例えば「円に内接する等脚台形」や「正三角形・正五角形が外接円に内接する問題」において、対角線や未知の線分を求める際、トレミーの定理を使えばわずか数秒で答えを算出できます。

典型的な例として、正三角形$ABC$の外接円の弧$BC$上に点$P$をとる問題では、四角形$ABPC$にトレミーの定理を適用すると $AP \times BC = BP \times AC + CP \times AB$ となり、$AB=BC=CA$ で割ることで一瞬にして $AP = BP + CP$ が導かれます。

国公立大の記述試験で減点を防ぐ「安全な書き方」

国公立大の2次試験など記述式試験において、「トレミーの定理より」とだけ書いて結果を使うと、採点基準によっては減点対象となるリスクがあります。学習指導要領の本文で明示されていない発展定理であるためです。

減点を完全に回避する最もスマートな記述方法は、証明の補助線を1行添える手法です。「対角線$BD$上に $\angle BAE = \angle CAD$ となる点$E$をとると、$\triangle ABE \sim \triangle ACD$ および $\triangle ABC \sim \triangle AED$ より」と2組の相似の関係式を2行ほど記述すれば、採点官に非の打ち所がない完全な解答として満点が与えられます。

【トレミーの定理の証明】に関するよくある質問（FAQ）

Q1：大学入試の記述問題で「トレミーの定理より」と断りなく使っても大丈夫ですか？
A1：大学や採点基準により対応が分かれます。配点の高い大問で無用な減点リスクを避けるため、解法1で紹介した「相似な三角形を2組作る補助線」を記述の過程に2〜3行書き添えて、実質的に証明しながら適用するのが最も安全です。

Q2：トレミーの定理は四角形が円に内接していない場合でも使えますか？
A2：内接していない一般的な四角形では等号が成り立たず、「トレミーの不等式（$AC \cdot BD < AB \cdot CD + AD \cdot BC$）」になります。等号（＝）が成立するのは、四角形が円に内接している場合に限られます。

Q3：トレミーの定理の証明で一番覚えやすい解法はどれですか？
A3：初等幾何の「相似法」が最も視覚的で記憶に残りやすく、記述試験での再現性も抜群です。「対角線上に角が等しくなる補助線を1本引き、左右の相似比を足し合わせる」というワンアクションを覚えておくだけで、いつでもその場で証明を再現できます。

まとめ：本質的な幾何センスを磨いて入試数学を制する

トレミーの定理は、単なる暗記用のスピード公式ではありません。その背景には、幾何学の相似、三角関数の加法定理、そして余弦定理といった高校数学の重要テーマが縦横無尽に交差する豊かな数学の世界が広がっています。

定理の成り立ちと3つの証明アプローチを深く理解しておくことは、図形問題に対する発想力を鍛える最良のトレーニングになります。公式を使いこなす計算力と、論理的に記述を組み立てる論証力の双方を身につけ、2026年の大学入試を有利に突破していきましょう。 （出典: トレミー の 定理 証明（Yahoo!ニュース））