Наверное, прямым доказательством было бы выразить длины биссектрис

и

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

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

) получить

.
Ну да, и всего делов-то.
Гораздо интереснее задача о том, что набор биссектрис треугольника может быть совершенно произвольным (в отличие от набора медиан или высот, где есть ограничения). Это тоже, как выяснилось, старинная задача. О чем я в свое время и сообщил Алексею Яковлевичу, а он мне предложил написать статью на эту тему для "Мат. прос.", что я с удовольствием и сделал.