с прямым углом 
, EF — биссектриса 
, 
, FG — искомый отрезок. 
. 
— биссектриса, то 
(биссектриса делит на два равные угла). 
(это следует из условия: так как прямоугольный, то и ; так как 
— расстояние от 
до 
, то 
).
и 
, то и третий угол первого треугольника равен третьему углу второго треугольника: 
. Это следует из того факта, что сумма углов любого треугольника равна 180°. Тогда можно записать так:
. является для обоих треугольников общей. (второй признак равенства треугольников — по стороне и двум прилежащим к ней углам ( — сторона, а 
— два прилежащих угла)). соответствует 
, тогда:
. Смотрите второй рисунок.
1. Вспомним признак равенства прямоугольных треугольников: если гипотенуза и катет одного прямоугольного треугольника соответственно равны гипотенузе и катету другого прямоугольного треугольника, то такие треугольники равны.
2. Докажем по этому признаку, что треугольники "ABD" и "BCD" равны:
2.1. AB=CD (по условию);
2.2. BD - общая гипотенуза;
3. из пункта №2 ⇒ ΔABD=ΔBCD (по гипотенузе и катету).
Что и требовалось доказать.