представь, что ты вдруг очутился на другой планете, ну или… в компьютерной игре.
перед тобой набор неизвестных продуктов, а твоя – приготовить из этого набора как можно больше вкусных блюд. что тебе понадобится? конечно же, правила, инструкции – что можно делать с теми или иными продуктами. а то вдруг ты сваришь то, что едят только в сыром виде или, наоборот, положишь в салат то, что непременно нужно варить или жарить? так что, без инструкций – никуда!
хорошо, но к чему такое вступление? причем тут ? понимаешь, великое множество утверждений о всяких фигурах в и есть то самое множество «блюд», которые мы должны научиться готовить. но из чего? из основных объектов ! а вот инструкция по их «употреблению» называется умными словами«система аксиом».
так что, внимание!
основные объекты и аксиомы планиметрии.
точка и прямая
это и есть самые главные понятия планиметрии. говорят, что это «неопределяемые понятия». как так? а вот так, нужно же с чего-то начинать.
теперь первые правила обращения с точками и прямыми. эти правила называют «аксиомы» - утверждения, которые принимаются за основу , из которых потом все основное будет выводиться (помнишь, что у нас большая кулинарная миссия по «приготовлению» так вот, первая серия аксиом называется
∠АОВ и ∠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 являются дополнительными лучами, т.е. лежат на одной прямой.
Что и требовалось доказать.