角の二等分線の長さ 
もうすぐ、今年も大学入試センター試験の日を迎える。いたずらな難問・奇問を排除し、
適正な高校教育を守るという趣旨で始まったこの試験も、共通一次試験(1979〜1989)か
ら数えて、既に四半世紀を過ぎようとしている。
確かに、難問・奇問は確実に減ったが、逆に問題がスタンダードすぎて、ある程度の訓
練を積めば誰でもが高得点を得られるような感じさえ受ける。
受験生当人にとっては、それはそれで好ましいことかもしれないが、入試問題から高校
教育を見つめる立場の人達にとっては、とても歯がゆい現実なのだろうと思う。
「数学は一つ」だと思うのだが、なぜかしらこの時期、書店では「センター試験対策問題
集」とかが山積みされていて、よく売れているらしい。また、高校では、センター試験対策
と称して、授業や補講などが組まれることは、もう常態化している。
センター試験は原則、選択肢のある穴埋め問題なので、論理性を無視しても、いかに
手早く正解を得るかが重要で、その対策の経験の有無が結果に大きく影響を与えると言
われる。
共通一次試験発足当時の趣旨とは別な方向に社会全体が動いているようで、なぜか
不気味だ。
このような現状を踏まえて、センター試験の問題を作っておられる方々も、作問にいろ
いろ工夫を重ね、なるだけ記述式と同様な効果が期待できるようにと努力しておられる
姿が問題からひしひしと伝わってくる。
そういうわけで、毎年この時期、センター試験の問題に触れるのが楽しみになっている。
角の二等分線に関する公式が、初めて共通一次試験に登場したのは、多分平成元年
だろうと思う。（手持ちの資料に欠損があって、詳細は不明）
今では、どこの教科書にも大抵書いてある公式だが、当時はとても新鮮に映った。
角の二等分線の公式 （→ 一般化：「角の２等分線」）
△ＡＢＣ において、ＡＤは∠Ａの二等分線
である。
このとき、
ＡＢ ： ＡＣ ＝ ＢＤ ： ＤＣ
が成り立つ。
（∠Ａの外角の二等分線についても同様の
公式が成り立つ。→ こちらを参照））
（証明） ＢＡの延長線上に、ＡＥ＝ＡＣ となる点Ｅをとる。
△ＡＣＥは二等辺三角形なので、 ∠ＡＣＥ＝∠ＡＥＣ
三角形の外角の性質から、 ∠ＡＣＥ＋∠ＡＥＣ＝∠ＢＡＣ
ＡＤは∠Ａの二等分線なので、 ∠ＢＡＣ＝２∠ＢＡＤ
よって、 ２∠ＡＥＣ＝２∠ＢＡＤ より、 ∠ＡＥＣ＝∠ＢＡＤ
したがって、同位角が相等しいので、ＡＤ と ＥＣ は平行となる。
ゆえに、平行線の公理から、 ＡＢ ： ＡＥ ＝ ＢＤ ： ＢＣ
ＡＥ＝ＡＣ なので、 ＡＢ ： ＡＣ ＝ ＢＤ ： ＢＣ （証終）
この公式を用いる基本的な出題の仕方としては、ＡＢ、ＡＣの長さと∠Ａの大きさを与え
て、二等分線の長さＡＤを求めさせることが多い。（もちろん、三角形の面積の公式を用
いて、ＡＤの長さが求められる場合もある。）
最近、ＢＤ、ＤＣの長さが分かっている場合に、ＡＤの長さを求める公式があることを知
った。いままで経験した問題で、最初から、ＢＤ、ＤＣの長さを与えるという問題はないが、
公式として美しい形をしているので、裏技として取り上げたいと思う。
角の二等分線の長さの公式
△ＡＢＣ において、ＡＤは∠Ａの二等分線
である。
このとき、
が成り立つ。
（証明） △ＡＢＣ において、余弦定理から、
△ＡＢＤ において、余弦定理から、
ＡＤ2＝ａ2＋ｍ2−２ａｍｃｏｓＢ
上式を代入して、整理すると、
(ｍ＋ｎ)ＡＤ2＝(ａ2＋ｍ2)(ｍ＋ｎ)−ｍ(ａ2＋(ｍ＋ｎ)2−ｂ2)
から、 (ｍ＋ｎ)ＡＤ2＝ｎａ2＋ｍｂ2−ｍｎ(ｍ＋ｎ)
ここで、角の二等分線の公式から、 ａ ： ｂ ＝ ｍ ： ｎ なので、 ｎａ＝ｍｂ
よって、 (ｍ＋ｎ)ＡＤ2＝ｍａｂ＋ｎａｂ−ｍｎ(ｍ＋ｎ)＝ａｂ(ｍ＋ｎ)−ｍｎ(ｍ＋ｎ)
したがって、 ＡＤ2＝ａｂ−ｍｎ となり、明らか。 （終）
（コメント） 上記証明の中に出てきた式：
(ｍ＋ｎ)ＡＤ2＝ｎａ2＋ｍｂ2−ｍｎ(ｍ＋ｎ)
も魅力的な式である。書き直せば、
何となく、分点の公式に似ていて、覚えやすいかな？
（追記） 平成２４年２月１１日付け
数学の研究会で、開成高校の木部先生が、角の２等分線の長さの公式
を紹介された。知っている公式なので、嬉しかった！いよいよこの公式も全国区かな？
（追記） 平成２５年２月１３日付け
上記では余弦定理を用いて証明したが、もっと簡便な方法があることを「角の２等分線」
におけるＦＮさんの証明を見て思った。
（証明） △ＡＢＥ∽△ＡＤＥ より、 ａ/（ｘ＋ｙ）＝ｘ/ｂ
すなわち、 ｘ2＋ｘｙ＝ａｂ
また、方べきの定理より、 ｘｙ＝ｍｎ
したがって、 ｘ2＋ｍｎ＝ａｂ より、
が成り立つ。 （証終）
（コメント） この証明を見るとまさに裏技の証明に相応しい証明ですね！
絶対に忘れない．．．かな。
（追記） 平成２５年９月２８日付け
角の２等分線の長さを求めるのに「なぜ唐突に外接円？」ということで、土佐高校の藤岡優
太先生が次のような別解を考えられた。円を使わないごく自然な解法だと思う。
 |
左図において、 △ＡＢＣ＝２△ＡＤＥ＋△ＢＤＥ＋△ＣＤＦ
ここで、 △ＡＢＣ＝（1/2）ａｂｓｉｎ２θ
△ＡＤＥ＝（1/2）Ｌｓｉｎθ・Ｌｃｏｓθ＝（1/4）Ｌ2ｓｉｎ２θ
△ＢＤＥ＋△ＣＤＦ＝（1/2）ｍｎｓｉｎ２θ |
したがって、 （1/2）ａｂｓｉｎ２θ＝（1/2）Ｌ2ｓｉｎ２θ＋（1/2）ｍｎｓｉｎ２θ より、
ａｂ＝Ｌ2＋ｍｎ すなわち、 Ｌ2＝ａｂ−ｍｎ が成り立つ。
（コメント） 垂線を下ろして、三角形の面積を分割する発想に感動しました。
（追記） 平成２４年８月２９日付け
平成２４年８月２３日付けで、当ＨＰ読者のＫ．Ｓ．さんより、上記公式に関連する話題をメ
ールで頂いた。
ピタゴラスの定理の拡張で、「角の二等分線定理 ＡＤ×ＡＤ＝ＡＢ×ＡＣ−ＢＤ×ＣＤ」が、
特に、二等辺三角形のとき、ピタゴラスの定理が成り立つ。
「ピタゴラスの定理」「余弦定理」「トレミーの定理」「角の二等分線定理」「中線定理」など幾
何的な証明がありますが、これらをそれぞれ直接に代数的に証明できるのではないでしょう
か？皆さんのお力を借りたいと思います。
（コメント） 上記のことを追認してみた。
|
ａ＝ｂ のとき、 ｍ＝ｎ で、∠ＡＤＢ＝９０°である。
このとき、 から、
ＡＤ2＝ａ2−ｍ2 すなわち、
ＡＤ2＋ＢＤ2＝ＡＢ2
が成り立つ。（ピタゴラスの定理） |
（追記） 調和点列について
上記で述べたように、角の二等分線については興味ある、しかも有用な比に関する性質
がある。
△ＡＢＣの頂角Ａの内角または外角の二等分線が辺ＢＣまたはその延長と交わる点を
それぞれＰ、Ｑとおく。
このとき、 ＡＢ：ＡＣ＝ＢＰ：ＰＣ＝ＢＱ：ＱＣ が成り立つ。
内角の場合は、上記で証明したが、次の図とにらめっこすると、明らかとなるであろう。
ところで、角の２等分線の性質を証明する場合、上図のように、角の２等分線と平行な直
線が肝要であったが、最近、角の２等分線に垂直な直線を考える場合もあることを知った。
○ 内角の２等分線の場合
上図において、 △ＡＢＢ’∽△ＡＣＣ’
より、 ＡＢ：ＡＣ＝ＢＢ’：ＣＣ’
また、 △ＢＢ’Ｐ∽△ＣＣ’Ｐ より、
ＢＢ’：ＣＣ’＝ＢＰ：ＰＣ
よって、 ＡＢ：ＡＣ＝ＢＰ：ＰＣ
○ 外角の２等分線の場合
上図において、 △ＡＢＢ”∽△ＡＣＣ”
より、 ＡＢ：ＡＣ＝ＢＢ”：ＣＣ”
また、 △ＢＢ”Ｑ∽△ＣＣ”Ｑ より、
ＢＢ”：ＣＣ”＝ＢＱ：ＱＣ
よって、 ＡＢ：ＡＣ＝ＢＱ：ＱＣ
何れも、頂点Ｂ、Ｃより垂線を下ろすと覚えておけば、証明は容易に復元できるだろう。
ところで、一直線上に４点 Ｂ、Ｃ、Ｐ、Ｑ があり、ＢＰ：ＰＣ＝ＢＱ：ＱＣ が成り立つとき、
これら４点のことを、調和点列というようだ。
同様の現象は、三角形における共点条件、共線条件においても見られる。
チェバ、メネラウスの定理から、
よって、
となり、４点 Ｂ、Ｃ、Ｐ、Ｑ は調和点列となる。
角の二等分線、共点条件、共線条件と相異なる数学的事実ながら、その根底には調和
点列という共通の性質が秘められていることに驚かされる。
ＧＡＩ さんからのコメントです。（令和４年４月２１日付け）
上記を元にいろいろ計算をしていたら、
△ABCで、∠Aの二等分線が辺BCと交わる点をDとするとき、ADの長さは、
BD=m、CD=nであるならば、
AD=2mn・cos(A/2)/(m・cos(B)+n・cos(C))=2mn・sin((B+C)/2)/((m・cos(B)+n・cos(C))
で求められる、というものに出会ったのですが、これって妥当性を持ちますかね？
(理由) AB=a、AC=b とし、Dより、AB、ACへ下した垂線の足をE、Fとすると、AD^2=ab-mn
であるので、これが成立することから、
△ＢＤＥ＋△ＣＤＦ=△ＡＢＣ−２△ＡＤＥ
=（1/2）ａｂｓｉｎ(Ａ)−2・（1/2）ADｓｉｎ（Ａ/2）・ADｃｏｓ（Ａ/2）
=（1/2）ａｂｓｉｎ(Ａ)−（1/2）AD^2・ｓｉｎ(Ａ) = （1/2）ｍｎ・ｓｉｎ(A)
一方、 △BDE=(1/2)BD・DE・sin(π/2-B)=(1/2)m・AD・sin(A/2)・cos(B)
△CDF=(1/2)CD・DF・sin(π/2-C)=(1/2)n・AD・sin(A/2)・cos(C)
この２つを上式へ代入して整理すれば、
(1/2)AD・sin(A/2)・(m・cos(B)+n・cos(C))=(1/2)mn・sin(A) より、
AD=2mn・cos(A/2)/(m・cos(B)+n・cos(C))=2mn・sin((B+C)/2)/((m・cos(B)+n・cos(C))
が導けた。
（コメント） △ＢＤＥ＋△ＣＤＦ = （1/2）ｍｎ・ｓｉｎ(A) という結果に、数学の深淵さ、美しさを
感じますね！
（追記） 令和５年６月２８日付け
問題 下図のように、ＡＢ＝１２、Ｂ＝９０°の直角三角形ＡＢＣがあり、∠Ａの２等分線が
辺ＢＣと交わる点をＤとする。
ＢＤ＝４のとき、ＣＤ＝ｘ、ＡＤ＝ｙ、ＡＣ＝ｚ の長さをそれぞれ求めよ。
（解） 三平方の定理より、 ｙ2＝１２2＋４2＝１６０ よって、 ｙ＝４
また、（ｘ＋４）2＋１２2＝ｚ2 で、角の２等分線の性質から、１２ ： ｚ＝４ ： ｘ より、 ｚ＝３ｘ
なので、上式に代入して、
ｘ2＋８ｘ＋１６＋１４４＝９ｘ2 すなわち、 ｘ2−ｘ−２０＝（ｘ−５）（ｘ＋４）＝０ から、ｘ＝５
このとき、 ｚ＝１５ である。 （終）
ｘ、ｚ について、次のような別解も考えられる。
（別解） Ｄより辺ＡＣに垂線を下ろし、その足をＥとおくと、△ＡＢＤ≡△ＡＥＤ なので、
ＤＥ＝４ 、ＡＥ＝１２ である。さらに、△ＣＤＥ∽△ＣＡＢ より、ＤＥ：ＡＢ＝４：１２＝１：３
したがって、△ＣＤＥ＝Ｓ とおくと、△ＣＡＢ＝９Ｓ なので、△ＡＤＥ＝４Ｓ＝４・１２/２＝２４
から、Ｓ＝６ となる。このとき、ＣＥ・４/２＝６ より、 ＣＥ＝３ で、ｚ＝１２＋３＝１５
よって、ｘ＝１５/３＝５ となる。 （終）
（コメント） 角の二等分線の長さの公式 を用いて、
ｙ2＝１２・１５−４・５＝１６０ から、ｙ＝４ としてもよい。
以下、工事中！