2.3: Zero angle
( \newcommand{\kernel}{\mathrm{null}\,}\)
∡AOA=0 for any A≠O.
- Proof
-
According to Axiom IIIb,
∡AOA+∡AOA≡∡AOA.
Subtract ∡AOA from both sides, we get that ∡AOA≡0.
By Axiom III, −π<∡AOA≤π; therefore ∡AOA=0.
Exercise 2.3.1
Assume ∡AOB=0. Show that [OA)=[OB).
- Hint
-
By Proposition 2.3.1, ∡AOA=0. It remains to apply Axiom III.
For any A and B distinct from O, we have
∡AOB≡−∡BOA.
- Proof
-
According to Axiom IIIb,
∡AOB+∡BOA≡∡AOA
By Proposition 2.3.1, ∡AOA=0. Hence the result.