いい証明を思いついた①〈角の二等分線〉

命題三角形ABCにおいて、角Aの二等分線が辺BCと交わる点をDとする。AB = a、AC = b、BD = c、CD = d とするとき、a : b = c : d である。

これは、角の二等分線というシンプルな仮定だけで、a : b = c : d という印象的な式をみちびく、美しい命題だ。

一般的な証明この命題の、一般的な証明は以下の通り。（読まなくてもよい。）

点Cから線分ADに平行な