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

.
является для обоих треугольников общей.
(второй признак равенства треугольников — по стороне и двум прилежащим к ней углам (
— сторона, а
— два прилежащих угла)).
соответствует
, тогда:
. Смотрите второй рисунок.
Найдем NM по теореме косинусов решаем данную задачу
MN^2=NP^2+PM^2-NP*MP*cosP
MN^2=(2√2)^2+4^2-2√2 *4 *√2/2
MN=√(8+16-8)
MN=√16
MN=4
Pmnp=4+4+2√2=8+2√2