初等幾何や高校数学において、美しい調和を見せる代表格がトレミーの定理（プトレマイオスの定理）です。円に内接する四角形の対角線と4つの辺の間に成り立つこの関係式は、難関大学入試の幾何問題や検算テクニックとして絶大な威力を誇ります。古代天文学者クラウディオス・プトレマイオスが著書『アルマゲスト』で弦の長さを計算するために用いたこの定理は、現代の数学教育でも幾何の美しさと代数の鮮やかさを体現する題材として君臨し続けています。
しかし、受験現場や独学の場において「公式は暗記しているが、なぜ成り立つのか証明できない」「記述試験で無断使用すると減点されるのか不安」という声が後を絶ちません。そこで本稿では、トレミーの定理の基礎から、相似・余弦定理・加法定理を用いた3つの証明アプローチ、さらに複素数平面を用いた「トレミーの不等式」への発展までを徹底的に解明します。
【基本の確認】トレミーの定理とは？公式と直感的な覚え方
トレミーの定理は、幾何学において円に内接する四角形を扱う際の強力な定理です。まずは公式の定義と、試験場でも一瞬で引き出せる視覚的な記憶法を整理します。
円に内接する四角形$ABCD$において、頂点が円周上に時計回りまたは反時計回りに$A, B, C, D$の順で並んでいるとき、以下の等式が必ず成立します。
【トレミーの定理の公式】
$$AC \cdot BD = AB \cdot CD + AD \cdot BC$$
日本語で言語化すると、「対角線の積 ＝ 向かい合う辺（対辺）の積の和」となります。図を描いた際、クロスする2本の対角線を掛け合わせたものが、上下の辺の積と左右の辺の積を足し合わせた値と完全に一致します。
試験中の度忘れを防ぐ覚え方としては、「対角線のクロス積 ＝ 上下 ＋ 左右」という幾何学的イメージを脳内に定着させておくのが最も実戦的です。四角形が円に内接していなければ成り立たないという前提条件は、論述試験における最重要チェックポイントとなります。
【解説】トレミーの定理を証明する3大アプローチ
トレミーの定理の真骨頂は、異なる数学の単元から多彩なアプローチでアプローチできる点にあります。ここでは、大学入試や数学オリンピックの基礎固めとして必須となる3つの証明手法をステップ・バイ・ステップで解説します。
アプローチ①：【相似を用いた幾何的証明】補助線の引き方が鍵初等幾何の枠組みで完結する最もエレガントな証明法です。要点は「巧みな補助線を1本引き、相似な三角形のペアを2組作り出すこと」にあります。
【証明の手順】
1. 対角線$BD$上に、$\angle DAE = \angle CAB$となるような点$E$をとります（これが核心となる補助線の引き方です）。
2. $\triangle ADE$と$\triangle ACB$に着目します。
- 円周角の定理より、弧$AB$に対する円周角は等しいため、$\angle ADE = \angle ACB$。
- 作図の定義より、$\angle DAE = \angle CAB$。
- 2組の角がそれぞれ等しいため、$\triangle ADE \sim \triangle ACB$が成立します。
- 相似比より、$AD : AC = DE : BC \implies AD \cdot BC = AC \cdot DE$ …… ①
3. 続いて、$\triangle ABE$と$\triangle ACD$に着目します。
- $\angle EAB = \angle DAE + \angle EAC = \angle CAB + \angle EAC = \angle DAC$。
- 円周角の定理より、弧$AD$に対する円周角は等しいため、$\angle ABE = \angle ACD$。
- 2組の角がそれぞれ等しいため、$\triangle ABE \sim \triangle ACD$が成立します。
- 相似比より、$AB : AC = BE : CD \implies AB \cdot CD = AC \cdot BE$ …… ②
4. ①式と②式の両辺を足し合わせます。
$$AB \cdot CD + AD \cdot BC = AC \cdot BE + AC \cdot DE = AC(BE + DE)$$
ここで、点$E$は線分$BD$上にあるため、$BE + DE = BD$です。
したがって、$$AC \cdot BD = AB \cdot CD + AD \cdot BC$$が導かれ、証明が完了します。
高校数学の「数学I・A」の知識のみを使い、三角比の計算力でねじ伏せる代数的手法です。円に内接する四角形の対角の和が$180^\circ$（$\pi$）になる性質を利用します。
【証明の手順】
四角形$ABCD$の各辺の長さを$AB=a, BC=b, CD=c, DA=d$、対角線を$AC=x, BD=y$とおきます。
1. $\angle B = \theta$と置くと、内接四角形の性質から$\angle D = 180^\circ - \theta$となり、$\cos D = -\cos\theta$が成り立ちます。
2. $\triangle ABC$と$\triangle ADC$において、それぞれ余弦定理を適用します。
- $\triangle ABC$より：$x^2 = a^2 + b^2 - 2ab\cos\theta$
- $\triangle ADC$より：$x^2 = c^2 + d^2 - 2cd(-\cos\theta) = c^2 + d^2 + 2cd\cos\theta$
3. $\cos\theta$を消去するために、第1式に$cd$、第2式に$ab$を掛けて足し合わせます。
$$(cd + ab)x^2 = cd(a^2 + b^2) + ab(c^2 + d^2)$$
右辺を因数分解すると、$cd(a^2 + b^2) + ab(c^2 + d^2) = (ac + bd)(ad + bc)$となります。
したがって、$$x^2 = \frac{(ac + bd)(ad + bc)}{ab + cd}$$ …… ③
4. 同様に、対角線$BD = y$について$\triangle ABD$と$\triangle CBD$で余弦定理を適用し、$\cos A$を消去すると以下の式が得られます。
$$y^2 = \frac{(ac + bd)(ab + cd)}{ad + bc}$$ …… ④
5. ③式と④式を掛け合わせます。
$$x^2 y^2 = \frac{(ac + bd)(ad + bc)}{ab + cd} \cdot \frac{(ac + bd)(ab + cd)}{ad + bc} = (ac + bd)^2$$
$x, y, a, b, c, d$はすべて正の実数であるため、平方根をとることで$$xy = ac + bd \iff AC \cdot BD = AB \cdot CD + AD \cdot BC$$が示されます。
外接円の半径を$R$とし、各頂点が張る円周角（または中心角）を変数として設定することで、三角関数の加法定理と積和の公式へと帰着させるアプローチです。
【証明の手順】
1. 外接円の中心から見た各弧の円周角を$\alpha, \beta, \gamma, \delta$と設定します。4つの角の和は$\alpha + \beta + \gamma + \delta = 180^\circ$となります。
2. 正弦定理より、各辺および対角線の長さは次のように表せます。
- $AB = 2R\sin\alpha, \quad BC = 2R\sin\beta, \quad CD = 2R\sin\gamma, \quad DA = 2R\sin\delta$
- $AC = 2R\sin(\alpha + \beta), \quad BD = 2R\sin(\beta + \gamma)$
3. 証明すべき等式を$4R^2$で割ると、示すべきは以下の純粋な三角関数の恒等式となります。
$$\sin(\alpha+\beta)\sin(\beta+\gamma) = \sin\alpha\sin\gamma + \sin\beta\sin\delta$$
4. $\delta = 180^\circ - (\alpha + \beta + \gamma)$より、$\sin\delta = \sin(\alpha + \beta + \gamma)$です。
5. 積和の公式および加法定理を展開して整理すると、左辺と右辺は完全に一致します。角度という連続量を媒介にすることで、幾何学的配置に依存しない強固な証明が完成します。
【発展編】複素数平面と「トレミーの不等式」への拡張
トレミーの定理は、四角形が円に内接しない一般の四角形に対しても「トレミーの不等式」として拡張されます。これを最も明快に証明できるのが複素数平面を用いた代数的手法です。
複素数平面上の任意の4点$A(z_1), B(z_2), C(z_3), D(z_4)$に対して、恒等的に以下の式が成り立ちます。
$$(z_1 - z_3)(z_2 - z_4) = (z_1 - z_2)(z_3 - z_4) + (z_1 - z_4)(z_2 - z_3)$$
この両辺の絶対値を取り、複素数の三角不等式（$|u + v| \le |u| + |v|$）を適用します。
$$|(z_1 - z_3)(z_2 - z_4)| \le |(z_1 - z_2)(z_3 - z_4)| + |(z_1 - z_4)(z_2 - z_3)|$$ $$|z_1 - z_3||z_2 - z_4| \le |z_1 - z_2||z_3 - z_4| + |z_1 - z_4||z_2 - z_3|$$
複素数間の距離は線分の長さに一致するため、任意の四角形$ABCD$において以下のトレミーの不等式が成立します。
【トレミーの不等式】
$$AC \cdot BD \le AB \cdot CD + AD \cdot BC$$
三角不等式において等号が成立する条件は、複素数$u$と$v$に対して$u = k v$（$k > 0$）となること、すなわち偏角が一致することです。この幾何学的意味を紐解くと、「4点$A, B, C, D$が同一直線上または同一円周上にこの順序で並ぶこと」と同値になります。トレミーの定理は、トレミーの不等式の等号成立条件そのものなのです。
【データ比較】証明手法ごとの難易度と実戦活用度の検証
4つの証明手法の特徴と、受験対策・数学的探究における位置づけを客観的な指標で比較しました。
| 証明手法 | 必要知識・前提単元 | 計算負荷・論理難易度 | 入試現場での実用性・推奨度 |
|---|---|---|---|
| 相似による証明 | 中学幾何（円周角・三角形の相似） | 計算量：極小 発想難度：中（補助線が必要） |
（記述での再現性が最も高く、時間効率も抜群） |
| 余弦定理による証明 | 数学I（三角比・連立方程式） | 計算量：大（因数分解が煩雑） 発想難度：低（定石通り） |
（幾何的ひらめきが不要なため、泥臭く確実に解ける） |
| 加法定理による証明 | 数学II（三角関数の加法定理・積和） | 計算量：中 発想難度：中（パラメータ設定） |
（三角関数の変形演習として極めて高い学習効果） |
| 複素数による証明 | 数学C（複素数平面・絶対値不等式） | 計算量：極小 発想難度：小（恒等式の変形のみ） |
（トレミーの不等式まで包括して一瞬で証明可能） |
【実態検証】大学入試の記述試験でトレミーの定理を使うと減点される？
予備校や進学校の指導現場で長年議論されるのが、「一般の大学入試（国公立二次試験など）の記述答案でトレミーの定理をことわりなく使ってよいのか」という問題です。
結論から言えば、「学習指導要領の本文に含まれていない発展事項であるため、証明なしで公式として適用すると一部の大学・採点官において減点されるリスクを完全には排除できない」というのが2026年時点の確実な情勢です。
東大・京大・医学部をはじめとする難関校の採点基準では、論理の飛躍に対して厳格です。トレミーの定理を記述試験で扱う際は、以下の3つの戦略的優先順位を持つことが推奨されます。
- 最善策（検算用）：通常通り余弦定理や初等幾何で答案を作成し、トレミーの定理は計算ミスがないかの「検算ツール」として活用する。
- 次善策（証明を併記）：どうしてもトレミーの定理で時短したい場合、相似を用いた3行程度の略証を答案内に添えてから公式を適用する。
- マーク式（共通テスト等）：思考プロセスが問われない共通テストや私立大マークシート試験では、迷わず最速で適用して時間短縮を図る。
一般に知られていない盲点と受験生の誤解
受験生がトレミーの定理を扱う際に陥りやすい最大の罠は、「円に内接するという条件を見落として適用してしまう誤用」です。四角形の問題を見たら反射的に対角線と対辺の積を計算してしまうミスが散見されます。
また、頂点の配置順序を誤り、掛け合わせる辺のペア（対辺同士）を間違えて隣り合う辺を掛けてしまう失点パターンも少なくありません。必ず円を描き、対向する辺同士が平行線や向かい合う位置にあるかを視覚的に確認する習慣が不可欠です。
【プロの結論】トレミーの定理を習得すべき人・見送るべき人の境界線【今すぐ習得すべき人】
・難関大（旧帝大・早慶・医学部）志望で、幾何問題の解法スピードを底上げしたい受験生
・共通テストの「数学I・A」で幾何分野の解答時間を1分でも削りたい受験生
・数学オリンピック（JMO）や各種コンテストを目指す中高生
【深追いを避けるべき人】
・教科書の標準的な余弦定理や正弦定理の運用がまだ定着していない基礎構築期の学習者（まずは王道の三角比・幾何解法を固めることが最優先です）
【トレミーの定理の証明】に関するよくある質問（FAQ）
Q1：トレミーの定理は高校の教科書に載っていますか？
A1：多くの検定教科書（数学Aの図形の性質や数学Iの三角比）では、「研究」「発展」「コラム」といった枠外の発展的学習事項として掲載されています。必須の基本定理扱いではないため、大学入試の記述答案での扱いには配慮が必要です。
Q2：相似を使った証明で補助線を引く際、どちらの対角線に点を取っても成り立ちますか？
A2：成り立ちます。本稿では対角線$BD$上に$\angle DAE = \angle CAB$となる点$E$をとりましたが、対角線$AC$上に$\angle ABE = \angle DBC$となる点をとっても全く同様の論理展開で証明が可能です。
Q3：トレミーの定理の逆（$AC \cdot BD = AB \cdot CD + AD \cdot BC$が成り立つなら四角形は円に内接する）も真ですか？
A3：真です。複素数平面を用いたトレミーの不等式において、等号成立条件が「4点が同一円周上（または一直線上）にあること」であるため、四角形の対角線と辺の関係式が等号を満たすならば、その四角形は必ず同一円周上に存在します。
トレミーの定理は、初等幾何の相似、三角比の余弦定理、三角関数の加法定理、そして複素数平面の三角不等式に至るまで、高校数学の主要分野が美しく交差する結節点です。
単に「便利な公式」として丸暗記するにとどまらず、複数の証明アプローチを自力で再現できるように訓練することは、論理的思考力と計算力を同時に引き上げる最高の演習となります。まずは最も手軽で美しい「相似三角形を作る補助線の引き方」をマスターし、幾何学の奥深い魅力を実感してください。
