Пусть и . Тогда и . Поскольку - биссектриса угла , то . Аналогично, - биссектриса угла , то .
Известно, что сумма углов треугольника равна 180°