The angle bisector theorem states that if a ray or segment bisects an angle of a triangle then it divides the two segments on either side proportionally.
By the angle bisector theorem, the proportions below hold true.
Since you can cross multiply the proportion above, the example above is sometimes expressed
as
