с прямым углом 
, EF — биссектриса 
, 
, FG — искомый отрезок. 
. 
— биссектриса, то 
(биссектриса делит на два равные угла). 
(это следует из условия: так как прямоугольный, то и ; так как 
— расстояние от 
до 
, то 
).
и 
, то и третий угол первого треугольника равен третьему углу второго треугольника: 
. Это следует из того факта, что сумма углов любого треугольника равна 180°. Тогда можно записать так:
. является для обоих треугольников общей. (второй признак равенства треугольников — по стороне и двум прилежащим к ней углам ( — сторона, а 
— два прилежащих угла)). соответствует 
, тогда:
. Смотрите второй рисунок.
проведем в прямоуг. ABCD биссектрисы,например,AM и DK/ получаем треугольник Bam=половине Bad =45.ABm-равнобедренный. bm=ab=4 mc=bc-bm=1/bk=mc=1.km=bc-bk-mc=3