Проведем из О к указанным сторонам трапеции перпендикуляры к АВ -а, к ВС - е, к СD-у
Рассмотрим ∆ ВОа и ВОе. Они прямоугольные , имеют общую гипотенузу ВО и по равному острому углу при В.
Если гипотенуза и прилежащий к ней угол одного прямоугольного треугольника соответственно равны гипотенузе и прилежащему углу другого треугольника, то такие треугольники равны. ⇒
катет аО = еО
Аналогично доказывается равенство катетов еО и уО треугольников СОе и СОу.
Отрезки Оа, Ое, Оу равны и как перпендикуляры от точки до прямой, являются расстоянием от О до АВ, до ВС и до AD.
Т.е. О - равноудалена от прямых АВ, ВС и AD, ч.т.д.
Как вариант: Из теоремы:
Каждая точка биссектрисы неразвернутого угла равноудалена от его сторон, следует:
Точка О - общая для биссектрис двух углов с общей стороной ВС, следовательно, равноудалена от прямых, содержащих их стороны.
Проведем из О к указанным сторонам трапеции перпендикуляры к АВ -а, к ВС - е, к СD-у
Рассмотрим ∆ ВОа и ВОе. Они прямоугольные , имеют общую гипотенузу ВО и по равному острому углу при В.
Если гипотенуза и прилежащий к ней угол одного прямоугольного треугольника соответственно равны гипотенузе и прилежащему углу другого треугольника, то такие треугольники равны. ⇒
катет аО = еО
Аналогично доказывается равенство катетов еО и уО треугольников СОе и СОу.
Отрезки Оа, Ое, Оу равны и как перпендикуляры от точки до прямой, являются расстоянием от О до АВ, до ВС и до AD.
Т.е. О - равноудалена от прямых АВ, ВС и AD, ч.т.д.
Как вариант: Из теоремы:
Каждая точка биссектрисы неразвернутого угла равноудалена от его сторон, следует:
Точка О - общая для биссектрис двух углов с общей стороной ВС, следовательно, равноудалена от прямых, содержащих их стороны.
