Как связаны длины отрезков, образующих прямоугольный треугольник, и его биссектрисы?

Длины отрезков, образующих прямоугольный треугольник, и его биссектрисы связаны через пропорциональность. 12

Биссектриса треугольника делит противоположную сторону на два отрезка, длины которых пропорциональны соответствующим прилежащим сторонам треугольника. 2

Более конкретно, длина отрезка, который образуется при пересечении биссектрисой стороны треугольника, равна длине прилежащей к этому отрезку стороне, умноженной на сторону, которую пересекает биссектриса, и делённой на сумму двух других сторон треугольника (сторон угла, из которого биссектриса выходит). 3