2.3: Ángulo cero
( \newcommand{\kernel}{\mathrm{null}\,}\)
∡AOA=0para cualquierA≠O.
- Prueba
-
Según Axioma IIIb,
∡AOA+∡AOA≡∡AOA.
Restar∡AOA de ambos lados, eso lo conseguimos∡AOA≡0.
Por Axioma III,−π<∡AOA≤π; por lo tanto∡AOA=0.
Ejercicio2.3.1
Asumir∡AOB=0. [OA)=[OB)Demuéstralo.
- Pista
-
Por Proposición2.3.1,∡AOA=0. Queda por aplicar Axioma III.
Para cualquieraA yB distinto deO, tenemos
∡AOB≡−∡BOA.
- Prueba
-
Según Axioma IIIb,
∡AOB+∡BOA≡∡AOA
Por Proposición2.3.1, ∡AOA=0. Hence the result.