2.3: Нульовий кут
∡AOA=0для будь-якогоA≠O.
- Доказ
-
Згідно з аксіомою IIib,
∡AOA+∡AOA≡∡AOA.
Віднімаємо∡AOA з обох сторін, отримуємо, що∡AOA≡0.
За аксіомою III−π<∡AOA≤π; отже∡AOA=0.
Вправа2.3.1
Припустимо∡AOB=0. Покажіть, що[OA)=[OB).
- Підказка
-
За пропозицією2.3.1,∡AOA=0. Залишилося застосувати Axiom III.
Для будь-якогоA іB відмінного відO, ми маємо
∡AOB≡−∡BOA.
- Доказ
-
Згідно з аксіомою IIib,
∡AOB+∡BOA≡∡AOA
За пропозицією2.3.1, ∡AOA=0. Hence the result.