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.