ну хорошо :) раз это вызвало такую трудность, я открою этот ужасный секрет. Биссектриса делит катет y на два отрезка, отношение которых равно x/a (считая от вершины прямого угла - это основное свойство биссектрисы), а сумма равна y, само собой. Отсюда (после невероятно сложных вычислений :) ) получается один отрезок y*(x/(x + a)), другой y*(a/(x + a)); (можно проверить, что их отношение x/a, а сумма y, если еще не понятно)