Я даже встречал учебники, в которых эта простая теоремка называется "основным свойством биссектрисы в треугольнике". Хотя это совсем не основное. Но - важное. И всем известное. К сожалению, аналогичное свойство биссектрисы внешнего угла треугольника почти никому не известно, кроме специалистов.