トレミーの定理・トレミーの不等式
第一トレミーの定理
定理《第一トレミーの定理とその逆》
凸四角形 $\mathrm{ABCD}$ において,
が成り立つ.
四角形 $\mathrm{ABCD}$ が円に内接する |
$\iff$ $\mathrm{AC}\cdot\mathrm{BD} = \mathrm{AB}\cdot\mathrm{CD}+\mathrm{BC}\cdot\mathrm{DA}$ |
証明
こちらを参照.
$(\Longrightarrow )$ は, 余弦定理を使う証明 (こちらを参照), 三角関数の積和の公式を使う証明 (こちらを参照) などもあり, 後述のトレミーの不等式の特別な場合として示すこともできる.
第二トレミーの定理
定理《第二トレミーの定理》
円に内接する四角形 $\mathrm{ABCD}$ において,
\[\frac{\mathrm{DA}\cdot\mathrm{AB}+\mathrm{BC}\cdot\mathrm{CD}}{\mathrm{AB}\cdot\mathrm{BC}+\mathrm{CD}\cdot\mathrm{DA}} = \frac{\mathrm{AC}}{\mathrm{BD}}\]
が成り立つ.
証明
こちらを参照.
トレミーの不等式
定理《トレミーの不等式》
平面上の相異なる $4$ 点 $\mathrm A,$ $\mathrm B,$ $\mathrm C,$ $\mathrm D$ に対して, 不等式
\[\mathrm{AB}\cdot\mathrm{CD}+\mathrm{AD}\cdot\mathrm{BC} \geqq \mathrm{AC}\cdot\mathrm{BD}\]
が成り立ち, 等号成立は $4$ 点 $\mathrm A,$ $\mathrm B,$ $\mathrm C,$ $\mathrm D$ がこの順に同一円周上に並ぶときに限る.
証明
こちらを参照.
高校数学の問題
図形と計量
問題《第一トレミーの定理》
辺の長さが $\mathrm{AB} = a,$ $\mathrm{BC} = b,$ $\mathrm{CD} = c,$ $\mathrm{DA} = d$ である四角形 $\mathrm{ABCD}$ が円に内接している.
$x = \mathrm{AC},$ $y = \mathrm{BD}$ とおく.
- (1)
- $a,$ $b,$ $c,$ $d$ を用いて $x,$ $y$ を表せ.
- (2)
- $xy = ac+bd$ が成り立つことを示せ.
解答例
こちらを参照.
問題《第二トレミーの定理》
円に内接する四角形 $\mathrm{ABCD}$ において,
\[\frac{\mathrm{DA}\cdot\mathrm{AB}+\mathrm{BC}\cdot\mathrm{CD}}{\mathrm{AB}\cdot\mathrm{BC}+\mathrm{CD}\cdot\mathrm{DA}} = \frac{\mathrm{AC}}{\mathrm{BD}}\]
が成り立つことを示せ.
ただし, $\triangle\mathrm{ABC}$ の外接円の半径が $R$ であるとき,
\[\triangle\mathrm{ABC} = \frac{\mathrm{BC}\cdot\mathrm{CA}\cdot\mathrm{AB}}{4R}\]
が成り立つこと (こちらを参照) は証明なしに使ってよい.
解答例
こちらを参照.
図形の性質
問題《第一トレミーの定理とその逆》
- (A)
- 四角形 $\mathrm{ABCD}$ が円に内接するとき, 対角線 $\mathrm{BD}$ 上に $\angle\mathrm{BAE} = \angle\mathrm{CAD}$ なる点 $\mathrm E$ をとる.
次のことを示せ.
- (1)
- $\triangle\mathrm{ABE},$ $\triangle\mathrm{ACD}$ は相似である.
- (2)
- $\triangle\mathrm{ABC},$ $\triangle\mathrm{AED}$ は相似である.
- (3)
- $\mathrm{AB}\cdot\mathrm{CD}+\mathrm{AD}\cdot\mathrm{BC} = \mathrm{AC}\cdot\mathrm{BD}$ が成り立つ.
(参考: $2008$ 東京慈恵会医科大) - (B)
- 凸四角形 $\mathrm{ABCD}$ の内部に, $\triangle\mathrm{ABF},$ $\triangle\mathrm{ACD}$ が相似になるような点 $\mathrm F$ をとる.
次のことを示せ.
- (1)
- $\triangle\mathrm{ABC},$ $\triangle\mathrm{AFD}$ は相似である.
- (2)
- $\mathrm{AB}\cdot\mathrm{CD}+\mathrm{AD}\cdot\mathrm{BC} \geqq \mathrm{AC}\cdot\mathrm{BD}$ が成り立つ.
- (3)
- $\mathrm{AB}\cdot\mathrm{CD}+\mathrm{AD}\cdot\mathrm{BC} = \mathrm{AC}\cdot\mathrm{BD}$ が成り立つならば, 四角形 $\mathrm{ABCD}$ は円に内接する.
解答例
こちらを参照.
三角関数
問題《第一トレミーの定理》
すべての内角が $180^\circ$ 未満である四角形 $\mathrm{ABCD}$ が直径 $1$ の円に内接している.
弧 $\mathrm{AB},$ $\mathrm{BC},$ $\mathrm{CD},$ $\mathrm{DA}$ に対する円周角 (四角形 $\mathrm{ABCD}$ がある側の角) をそれぞれ $\alpha,$ $\beta,$ $\gamma,$ $\delta$ とおく.
- (1)
- $\alpha,$ $\beta,$ $\gamma$ を用いて $\mathrm{AC},$ $\mathrm{BD}$ を表せ.
- (2)
- $\mathrm{AC}\cdot\mathrm{BD} = \mathrm{AB}\cdot\mathrm{CD}+\mathrm{BC}\cdot\mathrm{DA}$ が成り立つことを示せ.
解答例
こちらを参照.
複素数平面
問題《トレミーの不等式と三角形のフェルマー点》
次の問いに答えよ.
ただし, 複素数 $z,$ $w$ に対して「三角不等式」$|z+w| \leqq |z|+|w|$ が成り立つこと (こちらを参照) は証明なしに使ってよい.
- (1)
- $(b-a)(d-c)+(d-a)(c-b)$ を因数分解せよ.
- (2)
- 平面上の相異なる $4$ 点 $\mathrm A,$ $\mathrm B,$ $\mathrm C,$ $\mathrm D$ に対して, 不等式 \[\mathrm{AB}\cdot\mathrm{CD}+\mathrm{AD}\cdot\mathrm{BC} \geqq \mathrm{AC}\cdot\mathrm{BD}\] が成り立つことを示せ. また, その等号成立条件を求めよ.
- (3)
- 最大の内角が $120^\circ$ 未満の $\triangle\mathrm{ABC}$ の内部に点 $\mathrm P$ をとり, $\triangle\mathrm{ABC}$ の外側に正三角形 $\mathrm{ABC}'$ をかく. $\mathrm{PA}+\mathrm{PB} \geqq \mathrm{PC}'$ が成り立つことを示せ. また, $\mathrm{PA}+\mathrm{PB}+\mathrm{PC}$ が最小になるとき, $\angle\mathrm{APB} = 120^\circ$ が成り立つことを示せ.
解答例
こちらを参照.