АО=ОС ВО=ОД ВО=ОС, ВО=АО т.е. треугольники ВОС и АОВ равнобедренные и равны между собой. Диагонали квадрата взаимно перпендикулярны и являются биссектрисами углов. Значит треугольники АОВ и ВОС имеют острые углы 90/2=45 градусов. При условии, что ОЕ перпендикулярно ВС и ОF перпендикулярно АВ прямые ОЕ и OF являются : - высотами - биссектрисами -медианами этих треугольников. АВ перпендиклярна ВС, а значит и прямые OF и ОЕ взаимно перпендикулярны. OF=ОЕ как высоты равных треугольников. ВЕ=ЕС=AF=FB как медианы равных треугольников Отсюда FB=ВЕ=ЕО=ОF
ВО=ОД
ВО=ОС,
ВО=АО
т.е. треугольники ВОС и АОВ равнобедренные и равны между собой. Диагонали квадрата взаимно перпендикулярны и являются биссектрисами углов. Значит треугольники АОВ и ВОС имеют острые углы 90/2=45 градусов.
При условии, что ОЕ перпендикулярно ВС и ОF перпендикулярно АВ прямые ОЕ и OF являются :
- высотами
- биссектрисами
-медианами
этих треугольников.
АВ перпендиклярна ВС, а значит и прямые OF и ОЕ взаимно перпендикулярны.
OF=ОЕ как высоты равных треугольников.
ВЕ=ЕС=AF=FB как медианы равных треугольников
Отсюда FB=ВЕ=ЕО=ОF