角の二等分線に関する重要な３つの公式

直線 $AB$ と「$C$ を通り $AD$ と平行な直線」との交点を $E$ とおく。

同位角，錯角より，

$\angle AEC=\angle BAD\\=\angle CAD=\angle ACE$

よって，$AE=AC$

また，3つの角がそれぞれ等しいので三角形 $BAD$ と三角形 $BEC$ は相似であり，

$BA:AC=BA:AE=BD:DC$

つまり $ae=bd$

三角形 $ABC$ の面積は $\dfrac{1}{2}ab\sin A$

また，三角形 $ABD$ と三角形 $ACD$ の面積の和は，

$\dfrac{1}{2}af\sin\dfrac{A}{2}+\dfrac{1}{2}bf\sin\dfrac{A}{2}$

両者が等しいことと $\sin A=2\sin\dfrac{A}{2}\cos\dfrac{A}{2}$ より，

$2ab\sin\dfrac{A}{2}\cos\dfrac{A}{2}=(a+b)f\sin\dfrac{A}{2}$

となり，求める公式を得る。

公式2と余弦定理より，

$(a+b)f=2ab\dfrac{a^2+f^2-d^2}{2af}$

これを $f$ について解く：

$f^2=ab-\dfrac{bd^2}{a}=ab-de$

ただし，最後の変形は公式 $1$ による。