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

.
является для обоих треугольников общей.
(второй признак равенства треугольников — по стороне и двум прилежащим к ней углам (
— сторона, а
— два прилежащих угла)).
соответствует
, тогда:
. Смотрите второй рисунок.
а1*Х = 0
а2*Х = 0
Х (2i-j+k)=-6
или
2*x + 3*y - z = 0
x - 2*y + 3*z = 0
2*x - y + z = -6