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

.
является для обоих треугольников общей.
(второй признак равенства треугольников — по стороне и двум прилежащим к ней углам (
— сторона, а
— два прилежащих угла)).
соответствует
, тогда:
. Смотрите второй рисунок.
sin A = BC/AB = √(1 - cos²A)
AB = BC: √(1 - cos²A) = 3: √(1 - (√55/8)²) = 3: √(1 - 55/64) = 3: √(9/64) = 3: 3/8 = 8