1)) свойство биссектрисы угла треугольника:
Биссектриса треугольника делит противоположную сторону на отрезки, пропорциональные двум другим сторонам
BD / AB = DC / AC
BD = AB*DC / AC
по определению косинуса cos(a) = AC / AB
по определению синуса sin(a/2) = DC / AD
DC = AD*sin(a/2)
BD = AD*sin(a/2) / cos(a)