1) Биссектриса треугольника разбивает сторону на отрезки, пропорциональные прилежащим сторонам.
2) теорема о пропорциональных отрезках: параллельные прямые отсекают на секущих пропорциональные отрезки.
(это более общая формулировка теоремы Фалеса:
Если на одной из двух прямых отложить последовательно равные отрезки и через их концы провести параллельные прямые, пересекающие вторую прямую, то они отсекут на второй прямой равные отрезки.)