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