The angle bisector theorem states that given any triangle ABC with the foot of the angle bisector of angle A at point D (so AD bisects ∠BAC), two specific ratios are the same: AC : CD = AB : BD. Written another way, DB : DC = AB : AC, meaning D splits side BC in the side ratio AB : AC.