トレミーの定理の証明を徹底解説！相似・余弦定理から入試記述の真相まで

円に内接する四角形の対角線と4辺の長さに隠された美しい関係性を示す「トレミーの定理（Ptolemy's theorem）」。幾何学の美しさを象徴する公式として知られる一方、難関大受験や共通テストの図形問題で圧倒的な威力を発揮する実践的な武器でもあります。

古代天文学者プトレマイオスに由来するこの定理は、鮮やかな補助線を1本引くだけで初等幾何的に証明できるだけでなく、三角関数や余弦定理、さらには複素数平面など多角的な視点からアプローチできる奥深さを備えています。本稿では、トレミーの定理の証明手順を分かりやすく紐解き、大学入試の記述試験におけるリアルな採点事情まで徹底的に検証します。

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

• 要点1：トレミーの定理は円に内接する四角形において「対角線の積＝対辺の積の和」が成り立つ定理であり、相似を使う証明が最も直感的で美しい。
• 要点2：初等幾何以外にも余弦定理や加法定理、複素数の反転を用いた証明が存在し、一般の四角形に対する「トレミーの不等式」へも拡張される。
• 要点3：共通テストのマーク式では絶大な時短効果を持つが、国公立・難関大の記述試験では無断使用すると減点リスクがあるため正しい対処法が必須である。

【基礎知識】トレミーの定理とは？円に内接する四角形の性質と直感的な覚え方

高校数学Aの「図形の性質」で登場する円に内接する四角形には、対角の和が180度になる性質や円周角の定理など、さまざまな美しい法則が存在します。その中でも、辺の長さと対角線の長さを直接結びつける最も強力な公式がトレミーの定理です。

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

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

日本語で簡潔に表現するなら、「2本の対角線の長さの積 ＝ 向かい合う2組の対辺の積の和」となります。この定理の覚え方としては、図形をイメージしながら「向かい合う辺同士を掛け算して足し合わせると、クロスする対角線の掛け算に一致する」というリズミカルなフレーズで頭に入れるのが王道です。

4辺の長さが判明していれば対角線の積が瞬時に求まり、対角線の長さが1本でも分かっていればもう1本の長さが電光石火で算出できるため、幾何計算の手間を劇的に削減してくれる頼もしい存在です。

【王道の初等幾何】相似な三角形を用いた最もエレガントな証明手順

トレミーの定理を証明する手法の中で、最も広く知られており、かつ芸術的とも称されるのが三角形の相似を利用した初等幾何的アプローチです。対角線上に適切な補助点$E$を1つ打つだけで、驚くほど滑らかに等式が導かれます。

【相似を用いた証明のステップ】

ステップ1：補助点$E$の設定
対角線$BD$上に、$\angle BAE = \angle CAD$となるような点$E$をとります。これは角の大きさを対角線の片側にコピーする直感的な補助線です。

ステップ2：第1の相似関係を導く
$\triangle ABE$と$\triangle ACD$に着目します。設定より$\angle BAE = \angle CAD$であり、同一の弧$AD$に対する円周角なので$\angle ABE = \angle ACD$です。2角がそれぞれ等しいため、$\triangle ABE \sim \triangle ACD$が成立します。対応する辺の比から、$AB : AC = BE : CD$、すなわち$AB \times CD = AC \times BE$ …… ①が得られます。

ステップ3：第2の相似関係を導く
次に$\triangle ABC$と$\triangle AED$に着目します。$\angle BAC = \angle BAE + \angle EAC = \angle CAD + \angle EAC = \angle EAD$が成り立ちます。また、同一の弧$AB$に対する円周角より$\angle ACB = \angle ADE$です。したがって2角相等により、$\triangle ABC \sim \triangle AED$が成立します。対応する辺の比から、$BC : ED = AC : AD$、すなわち$AD \times BC = AC \times ED$ …… ②が得られます。

ステップ4：2つの式を合算する
式①と式②の両辺を足し合わせます。
$AB \times CD + AD \times BC = AC \times BE + AC \times ED = AC \times (BE + ED)$
点$E$は線分$BD$上にあるため、$BE + ED = BD$です。したがって、
$AB \times CD + AD \times BC = AC \times BD$
となり、トレミーの定理が見事に証明されました。

【代数・三角比アプローチ】余弦定理と三角関数の加法定理を使った別解

初等幾何の補助線が思いつかない場合でも、高校数学の強力な計算ツールである余弦定理や三角関数の加法定理を駆使すれば、機械的な代数計算で定理を再現できます。

四角形ABCDが円に内接しているとき、対角の和は180度となるため、$\cos \angle B = -\cos \angle D$という関係が成り立ちます。$\triangle ABC$と$\triangle ADC$のそれぞれに対角線$AC$を共有する形で余弦定理を適用すると、$\cos \angle B$を消去して対角線$AC^2$を4辺の長さ（$a, b, c, d$）のみで表す公式が導出できます。

同様に対角線$BD$についても$\triangle ABD$と$\triangle CBD$から余弦定理を用いて立式し、$BD^2$を求めます。得られた$AC^2$と$BD^2$を掛け合わせると、分子と分母で見事な因数分解が発生し、最終的に$(ac + bd)^2$という形に整理されます。両辺の正の平方根をとることで、$AC \times BD = ac + bd$が代数学的に導かれます。

さらに、円の半径を$R$とおき、各頂点に対応する中心角をパラメータ化して三角関数の加法定理を展開する方法もあります。積和の公式や正弦定理を組み合わせることで、初等幾何とは異なる代数構造の調和を体感できる優れた別解です。

【大学入試の真相】記述試験で無断使用すると減点？難関大・共通テストの裏ワザ活用術

受験生の間で長年議論されているのが、「トレミーの定理は入試の記述答案でそのまま使ってよいのか」という疑問です。この問いに対する明確な実態を解説します。

マーク式試験（共通テスト）での立ち位置
共通テストや私立大学のマーク式・解答のみを記述させる形式において、トレミーの定理は最強クラスの裏ワザ公式となります。通常なら誘導に従って余弦定理を2回連立させ、数分かけて計算する対角線の長さを、わずか十数秒で算出可能です。検算用としても圧倒的なアドバンテージを誇ります。

難関国公立大・私立大の記述式答案での扱い
結論から言えば、難関大の記述試験で「トレミーの定理より」とだけ書いて無断使用するのは減点リスクを伴う危険な行為です。現在の高校数学の学習指導要領において、トレミーの定理は標準的な発展事項（コラム・参考扱い）に位置づけられており、教科書の本文で公式として必修化されていません。

採点官の裁量次第では、「公式の丸暗記ではなく論理展開を問う問題」とみなされ、証明なしの使用に部分点が与えられない可能性があります。記述試験で利用する際は、以下の安全策を徹底することが鉄則です。

【記述答案での3大安全ルール】
1. 原則として余弦定理や初等幾何の相似など、高校標準カリキュラムの正攻法で答案を組み立てる。
2. トレミーの定理を用いる場合は、前述した「点Eをとる相似の証明」を数行の略証として答案内に併記する。
3. 難関大の入試問題そのものが「トレミーの定理の証明を誘導形式で解かせる」構成になっている場合は、指示された誘導に忠実に従う。

【発展と拡張】逆の証明からトレミーの不等式・複素数平面や反転への展開

トレミーの定理の探求は、内接四角形の枠にとどまりません。数学オリンピックや大学数学への架け橋となる発展的な拡張が存在します。

トレミーの定理の「逆」の成立
「四角形ABCDにおいて $AC \times BD = AB \times CD + AD \times BC$ が成り立つならば、四角形ABCDは円に内接する（4点は同一円周上にある）」という逆の命題も完全に真です。証明は同一法を用いるか、後述するトレミーの不等式の等号成立条件からスマートに示されます。

トレミーの不等式（Ptolemy's inequality）
円に内接しない任意の四角形ABCDを含めた平面上の一般の4点に対しては、以下の不等式が成立します。

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

等号が成立するのは「4点が同一直線上に順に並ぶ」か「四角形ABCDが円に内接する」場合に限られます。

この不等式を最も鮮やかに証明するのが、複素数平面上の三角不等式です。4点A, B, C, Dを表す複素数をそれぞれ$\alpha, \beta, \gamma, \delta$と置くと、恒等式
$(\alpha - \gamma)(\beta - \delta) = (\alpha - \beta)(\gamma - \delta) + (\alpha - \delta)(\beta - \gamma)$
が成り立ちます。両辺の絶対値をとり、複素数の絶対値に関する三角不等式 $|z + w| \le |z| + |w|$ を適用するだけで、わずか2行でトレミーの不等式が導出できます。

幾何学的な反転変換（Inversion）を用いても、ある頂点を中心とした反転によって円が直線に移り、三角不等式 $B'D' \le B'C' + C'D'$ に帰着させる明快な証明が可能です。

【図形の性質をつなぐ】方べきの定理やシムソンの定理との関連性と難関大入試問題

高校数学Aで学ぶ幾何分野には、トレミーの定理と深く共鳴し合う重要定理が数多く存在します。その代表例が方べきの定理やシムソンの定理です。

方べきの定理は、円と2本の交線が織りなす線分の積の一定性を示すもので、円に内接する四角形の対角線の交点や延長線の交点を分析する際に頻出します。シムソンの定理は、三角形の外接円上の点から3辺（またはその延長線）に下ろした垂線の足が一直線上に並ぶという定理であり、円に内接する四角形が持つ豊かな対称性を活用して証明されます。

東大、京大、早慶をはじめとする難関大学の入試問題では、図形問題の難問として「トレミーの定理の証明そのもの」や「トレミーの定理を背景知識として持っていると一瞬で見通しが立つ空間図形・平面幾何」が定期的に出題されています。定理単体を孤立した公式として暗記するのではなく、円周角、相似、方べきの定理といった幾何学的ネットワークの結節点として理解しておくことが、入試本番での高い突破力につながります。

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

Q1：トレミーの定理の初等幾何証明で、点Eはどのように思いつくのですか？
A1：2組の対辺の積（$AB \times CD$ と $AD \times BC$）を足し合わせて対角線の積を作るために、「対角線$BD$を2つの線分$BE$と$ED$に分割し、それぞれを相似比の積として表現する」という逆算的な発想から補助点$E$が導かれています。角を移す補助線は幾何学の典型的な定石です。

Q2：トレミーの定理は四角形以外の多角形にも使えますか？
A2：基本形は四角形ですが、円に内接する正五角形や正六角形、正多角形に対角線を引いて内接四角形を抜き出すことで、正多角形の辺と対角線の長さの関係式を導く応用問題に頻繁に活用されます。

Q3：入試の記述でトレミーの定理をそのまま書いてしまった場合、完全に0点になりますか？
A3：0点になる可能性は低いものの、大学ごとの採点基準により数点〜数十％の減点を受けるリスクがあります。特に国公立大の2次試験では「過程の論理性」が重視されるため、時間の許す限り相似の証明を簡潔に書き添えるか、余弦定理を用いた標準的な解法を選択するのが賢明です。

まとめ：トレミーの定理を正しくマスターして数学的思考力を深めよう

トレミーの定理は、単に対角線の長さをスピーディーに計算するためのショートカットツールにとどまりません。補助線1本から相似を導く初等幾何の洗練された論理展開、余弦定理や加法定理が織りなす代数的整合性、そして複素数平面や反転幾何へと広がる拡張性など、数学の多様な分野が美しく交差する傑作公式です。

共通テストでの素早い検算テクニックとして活用しつつ、記述試験での適切な論証力を身につけておくことで、あらゆる幾何問題に対して柔軟かつ盤石な対応が可能になります。定理の証明プロセスを自らの手で再現し、図形の奥深い魅力と確かな得点力を手に入れてください。 （出典: トレミー の 定理 証明（Yahoo!ニュース））