Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

2.3: Zero angle

( \newcommand{\kernel}{\mathrm{null}\,}\)

Proposition 2.3.1

AOA=0 for any AO.

Proof

According to Axiom IIIb,

AOA+AOAAOA.

Subtract AOA from both sides, we get that AOA0.

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.

Theorem 2.3.2

For any A and B distinct from O, we have

AOBBOA.

Proof

According to Axiom IIIb,

AOB+BOAAOA

By Proposition 2.3.1, AOA=0. Hence the result.


This page titled 2.3: Zero angle is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?