Сначала докажем, что биссектрисы смежных углов перпендикулярны.
∠ВОА и ∠ВОС смежные, значит их сумма равна 180°:
∠1 + ∠2 + ∠3 + ∠4 = 180°
Биссектрисы разбили эти углы на пары равных углов:
∠1 = ∠2 и ∠3 = ∠4, значит
2 ·∠2 + 2 ·∠3 = 180°
2(∠2 + ∠3) = 180°
∠2 + ∠3 = 90°, значит
ОЕ⊥ОК.
∠СОВ и ∠COD смежные, значит и их биссектрисы пересекаются под прямым углом:
OF⊥OK.
Углы ЕОК и FOK имеют общую сторону ОК и составляют в сумме 180°, значит они смежные, следовательно стороны ОЕ и OF являются дополнительными лучами, т.е. лежат на одной прямой.
В соответствии с классическим определением, угол между векторами,отложенными от одной точки, определяется как кратчайший угол, на который нужно повернуть один из векторов вокруг своего начала до положения сонаправленности с другим вектором. Для заданного варианта углы между векторами могут быть определены из соотношения углов в треугольнике ABC, в котором ∠АСВ=90°, ∠СВА=40°, соответственно ∠САВ=180°-(90°+40°)=50°. Тогда - - угол между векторами СА и СВ равен ∠АСВ=90°; - угол между векторами ВА и СА равен ∠САВ=50°; - угол между векторами СВ и ВА равен ∠САВ+∠АСВ=50°+90°=140°
∠АОВ и ∠COD вертикальные,
∠ВОС и ∠AOD вертикальные.
Проведем:
ОЕ - биссектрису ∠АОВ,
OF - биссектрису ∠СOD,
OK - биссектрису ∠BOC,
OM - биссектрису ∠AOD.
Сначала докажем, что биссектрисы смежных углов перпендикулярны.
∠ВОА и ∠ВОС смежные, значит их сумма равна 180°:
∠1 + ∠2 + ∠3 + ∠4 = 180°
Биссектрисы разбили эти углы на пары равных углов:
∠1 = ∠2 и ∠3 = ∠4, значит
2 ·∠2 + 2 ·∠3 = 180°
2(∠2 + ∠3) = 180°
∠2 + ∠3 = 90°, значит
ОЕ⊥ОК.
∠СОВ и ∠COD смежные, значит и их биссектрисы пересекаются под прямым углом:
OF⊥OK.
Углы ЕОК и FOK имеют общую сторону ОК и составляют в сумме 180°, значит они смежные, следовательно стороны ОЕ и OF являются дополнительными лучами, т.е. лежат на одной прямой.
Что и требовалось доказать.