学習塾 ソアラ: 八王子 恩方地区(西寺方、上恩方、下恩方、小津町、川町)にある少人数個別指導学習塾

#author("2020-11-17T19:40:27+09:00","default:editor","editor")
#author("2020-11-17T19:40:57+09:00","default:editor","editor")
*証明例 [#xe9ce356]
これもヒント程度で...

線分$BC$と角$A$の大きさは固定して考えましょう。

すると、点$A$は三角形$ABC$の外接円の周上にある。

&ref(./A6.png,400x400);

点$C$を通って、直線$BD$に平行な直線と直線$AB$との交点を点$G$としましょう。
同様に、点$B$を通って、直線$CE$に平行な直線と直線$AC$との交点を点$H$としましょう。

すると、線分$BD$の長さは、
$$BD = 2 BC \cos(\frac{\angle B}{2}) \times \frac{AB}{AB+BC}$$

同様に、線分$CE$の長さは、
$$CE = 2 BC \cos(\frac{\angle C}{2}) \times \frac{AC}{AC+BC}$$

点$A$を動かしてみましょう。

$\angle B > \angle \C$ のときは、$AB < AC$ で、$$BD<CE$$
$\angle B > \angle C$ のときは、$AB < AC$ で、$$BD<CE$$

もちろん、$\angle B = \angle \C$ のときは、$AB = AC$となるから、$$BD = CE$$
もちろん、$\angle B = \angle C$ のときは、$AB = AC$となるから、$$BD = CE$$

#hr

これも直感的。