Короче суть в том, что нам надо найти угол в треугольнике, а дальше - по накатанной.
Обозначим катеты как a и b, гипотенузу c, биссектрисы x и y, углы 2A и 90-2A (раз уж альфа нету). 2A лежит между a и с, x исходит из 2A и делит его на A и A, аналогично y и 90-2A.
Берем катеты как проекции биссектрис:
a = xcosA;
b = ycos(90-A)=ysinA;
a/b = x/y * cosA/sinA;
Теперь тоже самое, только проекции не биссектрис, а гипотенузы:
a = ccos2A;
b = ccos(90-2A)=csin2A;
a/b = cos2A/sin2A;
приравниваем правые части:
x/y * cosA/sinA = cos2A/sin2A;
x/y = cos2A*sinA/2*sinA*cosA*cosA;
x/y = cos2A/2*cos2A;
x/y = (2*cos2A - 1) / 2*cos2A;
после преобразований выделим cosA:
cosA = (y/(2y-x))^0.5;
Т.е. мы знаем половинку одного угла.
осталось найти через него и биссектрису катеты, гипотенуза соответствующе 8)