幾何問題で圧倒的な威力を発揮する幾何学の傑作「トレミーの定理」。対角線の積が対辺の積の和に等しいという美しい性質を持つこの定理は、難関大受験生の間で強力な武器として知られています。しかし、「証明なしで答案に使っても良いのか」「なぜこの関係式が成り立つのか」と疑問を抱く受験生や数学ファンは後を絶ちません。
実はトレミーの定理の証明は、補助線1本を用いた初等幾何の相似から、高校数学の余弦定理や三角関数の加法定理、さらには反転幾何学に至るまで驚くほど多彩なアプローチが存在します。本記事では、数学専門ライターが図解レベルで分かりやすく証明手法を整理し、入試における実践的な活用リスクや拡張公式の真相まで徹底的に掘り下げます。
【基本公式と図解】円に内接する四角形が持つ驚異の性質とは？
トレミーの定理（プトレマイオスの定理）は、円に内接する四角形において、対角線の長さの積が「2組の対辺の積の和」に等しくなるという幾何学の基本定理です。四角形ABCDが同一円周上にあるとき、頂点を順番に並べると以下の関係式が常に成立します。
【トレミーの定理の公式】
$$AC \times BD = AB \times CD + AD \times BC$$
（対角線の積 ＝ 向かい合う辺の積の合計）
古代ギリシャの天文学者・数学者クラウディオス・プトレマイオスが天体観測の計算（現在の三角比の表の作成）のために考案したとされ、一見複雑に見える四角形の計量問題を劇的に短縮するパワーを秘めています。直感的に覚えやすく計算の短縮効果も抜群なため、算数オリンピックから難関大入試まで頻出のトピックとなっています。
【中学数学でもわかる】相似を用いた王道のトレミーの定理証明テクニック
「トレミーの定理の証明は難しい」と思われがちですが、最もエレガントな王道ルートは中学数学範囲の「三角形の相似」だけで鮮やかに証明できます。要点は、対角線上に適切な「補助線」を1本引くことです。
【証明手順：相似アプローチ】
① 対角線AC上に点Eを、$\angle ABD = \angle CBE$ となるように取ります（補助線の作図）。
② 弧ADに対する円周角より $\angle ABD = \angle ACD$、また作図より $\angle ABE = \angle DBC$（共通部分 $\angle EBD$ を差し引いた角）が成り立ちます。
③ まず $\triangle ABE$ と $\triangle DBC$ に注目すると、円周角の定理（$\angle BAE = \angle BDC$）と合わせて2角が等しいため、$\triangle ABE \sim \triangle DBC$ が成立します。対応する辺の比から、$AB : DB = AE : DC$ となり、以下の式が導かれます。
$$AB \times CD = BD \times AE \quad \cdots ①$$
④ 次に $\triangle ABD$ と $\triangle EBC$ に注目します。作図から $\angle ABD = \angle EBC$ であり、弧ABに対する円周角より $\angle BDA = \angle BCE$ です。したがって $\triangle ABD \sim \triangle EBC$ となり、辺の比から $AD : EC = BD : BC$、すなわち以下の式が得られます。
$$AD \times BC = BD \times EC \quad \cdots ②$$
⑤ 式①と式②を両辺足し合わせると、右辺は $BD \times (AE + EC)$ となり、$AE + EC = AC$ であるため、見事に $AC \times BD = AB \times CD + AD \times BC$ が導出されます。
【高校数学で解き明かす】余弦定理と三角関数の加法定理による導出アプローチ
初等幾何の補助線を見抜くのが苦手な場合でも、高校数学の計算力でねじ伏せる証明方法が存在します。代表的なのが余弦定理と三角関数の加法定理を用いる手法です。
余弦定理を用いた証明では、円に内接する四角形の対角の和が180度（$\cos(180^\circ - \theta) = -\cos\theta$）になる性質を利用します。対角線AC、BDで四角形をそれぞれ2つの三角形に分割して余弦定理を適用し、対角線の長さを4辺の長さだけで表す「対角線の公式」を導き出します。両対角線の積を計算して式を整理すれば、代数的にトレミーの定理が証明されます。
さらに興味深いのが加法定理との関係です。四角形の外接円の半径を $R$、各辺が張る中心角をそれぞれ $2\alpha, 2\beta, 2\gamma, 2\delta$ と置くと、各辺の長さは $2R\sin\alpha$ などの形で表せます。このとき、対角線の積を展開した関係式は、まさに $\sin(\alpha + \beta)$ や $\sin(\beta + \gamma)$ といった三角関数の加法定理の展開公式そのものへと帰着します。プトレマイオスが三角関数の前身としてこの定理を活用した歴史的背景を実感できる美しい証明です。
【入試のリアル】記述試験でそのまま使っても減点されない？共通テストでの裏技活用法
受験生が最も気になるのは「実際の入試本番で使えるのか」という点でしょう。結論から言うと、試験の形式によって明確な使い分けが大切です。
最初に、マーク式の共通テスト（旧センター試験）や私立大学の穴埋め問題においては、文句なしの「最強の裏技」となります。円に内接する四角形の対角線や辺の長さを求める問題が出題された際、トレミーの定理を使えば、通常なら余弦定理を連立させて数分かかる計算をわずか10秒で完結させることが可能です。
一方、国公立大学の二次試験など記述試験では注意が必要です。トレミーの定理は高校の学習指導要領の本文で明記された公式ではないため、採点官によっては「証明なしの適用」を減点対象とするリスクがゼロではありません。記述答案で安全に使う場合は、公式名を唐突に書くのではなく、「前述の相似を用いた補助線の証明略図を数行添える」か、時間がない場合の最終手段として利用するのが鉄則です。
【発展と数学の深淵】ベクトル・反転幾何学・定理の逆からブラーマグプタやオイラーの定理へ
トレミーの定理の魅力は、初等幾何にとどまらず高度な現代数学の概念へと広く拡張できる点にあります。
① ベクトルと複素数平面による証明
複素数平面上で4頂点を複素数 $a, b, c, d$ で表すと、複素数の恒等式 $(a-b)(c-d) + (a-d)(b-c) = (a-c)(b-d)$ が成り立ちます。これに三角不等式を適用することで、「トレミーの不等式」が導かれ、等号成立条件（4点が同一円周上にあること）から定理が示されます。
② 反転幾何学（Inversion）による鮮やかな証明
円に関する「反転」を用いると、頂点Aを中心とする反転によって外接円は直線へと写り、内接四角形の関係は直線上の3点の距離関係（$B'C' + C'D' = B'D'$）へと完全に変換されます。高等幾何学の力を借りることで、計算をほぼ使わずに1行で定理を導くことが可能です。
③ トレミーの定理の「逆」とオイラーの定理・ブラーマグプタの公式
四角形において $AC \times BD = AB \times CD + AD \times BC$ が成り立つならば、その四角形は円に内接します（トレミーの定理の逆の証明）。また、四角形の面積を求めるブラーマグプタの公式や、三角形の多心関係を示すオイラーの定理の証明プロセスにもトレミーの構造が深く関わっており、幾何学の重要なハブとして機能しています。
【トレミー の 定理 証明】に関するよくある質問（FAQ）
Q1：トレミーの定理の証明は中学生でも理解できますか？
A1：はい、十分に理解可能です。円周角の定理と三角形の相似条件さえ理解していれば、対角線上に補助線を引いて2組の相似な三角形を作る王道証明を自力で再現できます。
Q2：大学入試の記述答案でトレミーの定理を無断使用すると不合格になりますか？
A2：即座に不合格になるわけではありませんが、学習指導要領外の公式とみなされて部分点にとどまるリスクがあります。記述式では余弦定理等で正規に解くか、相似による簡単な証明を添えて記述するのが確実です。
Q3：トレミーの定理が成り立たない四角形ではどうなりますか？
A3：円に内接しない一般的な四角形では「トレミーの不等式（$AC \times BD \le AB \times CD + AD \times BC$）」が成立します。等号が成立するのは、4頂点が同一円周上（または一直線上）に並ぶ場合に限られます。
トレミーの定理は、単なる暗記用のスピード公式ではなく、初等幾何の相似から加法定理、複素数、反転幾何学まで、数学のあらゆる美しい概念が交差する結節点です。
証明の手順を一度自分で手を動かして追っておくことで、図形問題における補助線の感覚や代数的な変形スキルが飛躍的に向上します。入試本番での裏技としての実用性を確保しつつ、幾何学の奥深い構造をぜひ味わってみてください。
