mula_27为formula_28中formula_6的平分线，交边formula_30于E，则formula_31，BE=formula_32。下面证明角平分线长首先，formula_35°(互为邻补角)，因此有 formula_36。根据正弦定理，在formula_37中，formula_38，即formula_39。同样地，在formula_40中，formula_41，也就是formula_42。另一方面，formula_43，并且formula_44，因此得到formula_45。注