Definitions

# Angle bisector theorem

In geometry, the angle bisector theorem relates the length of the side opposite one angle of a triangle to the lengths of the other two sides of the triangle.

Consider a triangle ABC. Let the angle bisector of angle A intersect side BC at a point D. The angle bisector theorem states that the ratio of the length of the line segment BD to the length of segment DC is equal to the ratio of the length of side AB to the length of side ACL

$\left\{frac$
{|AC}={frac {|BD{|DC}. >

The generalized angle bisector theorem states that if D lies on BC, then

$\left\{frac$ {|DC}={frac {|AB| sin angle DAB}{|AC| sin angle DAC}}. >

This reduces to the previous version if AD is the bisector of BAC.

## Proof of generalization

Let B1 be the base of altitude in the triangle ABD through B and let C1 be the base of altitude in the triangle ACD through C. Then,

begin\left\{align\right\}
$\left\{frac$ {|CD}= {frac {|BB_1{|CC_1>}=frac {|AB|sin angle BAD}{|AC|sin angle CAD}. Q.E.D.