с прямым углом 
, EF — биссектриса 
, 
, FG — искомый отрезок. 
. 
— биссектриса, то 
(биссектриса делит на два равные угла). 
(это следует из условия: так как прямоугольный, то и ; так как 
— расстояние от 
до 
, то 
).
и 
, то и третий угол первого треугольника равен третьему углу второго треугольника: 
. Это следует из того факта, что сумма углов любого треугольника равна 180°. Тогда можно записать так:
. является для обоих треугольников общей. (второй признак равенства треугольников — по стороне и двум прилежащим к ней углам ( — сторона, а 
— два прилежащих угла)). соответствует 
, тогда:
. Смотрите второй рисунок.
cos 2x+ tg 2x cos 2x=cos 2x + sin 2x