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

.
является для обоих треугольников общей.
(второй признак равенства треугольников — по стороне и двум прилежащим к ней углам (
— сторона, а
— два прилежащих угла)).
соответствует
, тогда:
. Смотрите второй рисунок.
Объяснение:
Для плоского треугольника, у которого стороны a, b, c и угол α, который противолежит стороне a, справедливо соотношение:
a2 = b2 + c2 – 2bc cosα.
Квадрат стороны треугольника равняется сумме квадратов 2-х других сторон минус удвоенное произведение этих сторон на косинус угла между ними.
Следствие из теоремы косинусов.
Теорема косинусов используется для определения cos угла треугольника:
Теорема косинусов. Доказательство теоремы косинусов.
Если конкретно:
Когда b2 + c2 - a2 > 0, угол α будет острым;
Когда b2 + c2 - a2 = 0, угол α будет прямым (когда угол α является прямым, значит, теорема косинусов переходит в теорему Пифагора);
Когда b2 + c2 - a2 < 0, угол α будет тупым.