proof of bisectors theorem
Consider sines law in triangles and .
On we have
and on we have
Combining the two relation gives
However, , and so . Cancelling gives
which is the generalization of the theorem. When is a bisector
, and we can cancel further to obtain the bisector theorem.