Here is a result that links angles and proportions: the bisector of an angle of a triangle divides the opposite side into parts proportional to the adjacent sides.

Theorem — Angle bisector

In a triangle ABCABC, the bisector of the angle C^\widehat{C} meets the opposite side ABAB at a point KK such that: AKKB=CACB.\frac{AK}{KB} = \frac{CA}{CB}. The bisector divides the opposite side into parts proportional to the adjacent sides.

Topics: Euclidean circle
Concepts: Bisector · Line
Skills: Synthetic geometry