Booker48
Честно говоря, я не понимаю, что там считается прямым доказательством.
Имеется в виду, что фактически всегда (скрыто или нет) доказывается не теорема, а та самая лемма, из которой делается вывод об утверждении теоремы. Наверное, прямым доказательством было бы выразить длины биссектрис

и

через стороны треугольника

, приравнять их - и алгебраическими преобразованиями (не включая логику

) получить

.
Подобных задач в элементарной геометрии пруд пруди, почему именно эта должна привлекать внимание?
Исторически сложилось, надо думать. В той книжке краткая история этой теоремы (после Штайнера) приводится. Якобы внимание к ней привлёк Мартин Гарднер в своей колонке, и читатели прислали кучу доказательств, из которых Гарднер сконструировал самое короткое и изящное. )))
Но так-то да, ничего, выходящего за пределы школьной планиметрии, в доказательстве нет.
С другой стороны, Белов - опытный олимпиадник. Какие-то резоны у него были.