III. Protractor axiom

Statement

Let $O$ be a point in the plane. The set of all rays emanating from $O$ admits a one-to-one correspondence with some angle in $[0°, 360°)$ — denote this correspondence by $g$ (each ray $\mapsto$ an angular label). It satisfies: for any two rays $OA$, $OB$ from $O$,

$$\angle AOB \;=\; g(OB) - g(OA)$$

(if the result is negative, add $360°$; if it exceeds $360°$, subtract $360°$, so it lands back in $[0°, 360°)$).

Each such $g$ is called an angular coordinate system with vertex $O$.

Why "add a turn, subtract a turn"? Angle is intrinsically a quantity on a circle: rotating from $0°$ to $360°$ brings you back to $0°$, with no beginning and no end. So "$-30°$" and "$330°$" describe the same ray direction; "$370°$" and "$10°$" likewise. This "go around once and return to the start" arithmetic is as natural as reading a clock — 14:00 is just 2 o'clock. Whenever we mention a "difference" below, this is what we mean.

In school geometry the included angle (also called the interior angle) always means the "smaller piece" between $0°$ and $180°$:

$$|\angle AOB| \;=\; \min(d,\; 360° - d)$$

where $d = g(OB) - g(OA)$ has already been adjusted into $[0°, 360°)$ by the rule above.

Intuition

Stick a whole protractor onto the vertex $O$: every ray from $O$ gets labelled with a number between $0°$ and $360°$; the included angle between two rays is the difference of their labels (computed "modulo $360°$").

This is the angular version of Ruler axiom — replace "line $\ell$ and points" by "vertex $O$ and rays", replace "the real line $\mathbb{R}$ with subtraction" by "the circle $[0°, 360°)$ with circular subtraction", and the structure is identical:

	Ruler axiom (I)	Protractor axiom (III)
Geometric object	Points on a line $\ell$	Rays emanating from vertex $O$
Metric space	The real line $\mathbb{R}$	The circle $[0°, 360°)$
Label map	$f$: each point $\mapsto$ a real number	$g$: each ray $\mapsto$ an angle
Metric formula	distance $=\lvert f(A)-f(B)\rvert$	angle $= g(OB)-g(OA)$ (circular difference)

This is where Birkhoff's elegance lies: length and angle are treated symmetrically — one axiom governs "line + distance", another governs "ray + angle"; the two share the same structure, and every "measurement" move in school geometry is derived from these two.

Immediate consequences

Three things read off directly from the axiom, no proof needed:

• Non-negativity: an interior angle satisfies $|\angle AOB| \ge 0°$, since it is $\min(d,\,360°-d)$, which is $\ge 0°$ by definition.
• Symmetry: $|\angle AOB| = |\angle BOA|$. Swapping $A$ and $B$ flips the sign of the label difference, but "the smaller of the two arcs" is unchanged.
• Zero angle iff coincidence: $|\angle AOB| = 0° \iff g(OA) = g(OB) \iff OA = OB$ (because $g$ is a bijection).

These three are the foundation of every later angular argument — and they correspond one-to-one with the three consequences of Ruler axiom.

Compared with the Elements / Hilbert

Euclid's Elements has no notion of "an angle equals so many degrees". Euclid speaks of equality of angles via the "common notions" and via "transferring an angle with the compass", and relies on the fourth postulate ("all right angles are equal to one another") to keep angles comparable; he cannot directly say "$\angle AOB = 72°$". As a consequence, even slightly elaborate arguments about angle equality, sums, differences, and inequalities have to take the long way around.

Hilbert (1899) patched Euclid's gap purely geometrically — his axioms of congruence (the third group, about 5 axioms) deal specifically with congruence of angles: transitivity of angles, congruent juxtaposition of angles, whether an angle can be uniquely transferred onto a given ray, SAS congruence itself … a lengthy list. Birkhoff's protractor axiom handles four things in one sentence: continuity of the pencil of rays, order, additivity of angles, and the "$360°$ per turn" periodicity of angular measure. The price is treating the real numbers (in particular quantities like $90°$, $180°$, $360°$) as already-constructed objects — and for school geometry that is a good trade, and an honest one for students.

Looking back at Euclid's "all right angles are equal to one another" — from the protractor axiom this is almost evident: a right angle is a ray for which the included angle equals $90°$, and all $90°$'s are of course equal. But within Euclid's system this had to be listed separately as a postulate, because he had no quantity called "$90°$" to invoke.

What it unlocks

A number of subsequent theorems depend, directly or indirectly, on this axiom:

• Additivity of angles: if $OB$ lies inside $\angle AOC$, then $\angle AOB + \angle BOC = \angle AOC$ (label differences add directly).
• Supplementary angles and the straight angle: when $O,A,C$ are collinear and $B$ is off the line, $\angle AOB + \angle BOC = 180°$.
• Vertical angles are equal: when two lines meet at $O$, the labels of opposite rays differ by exactly $180°$, so the two pairs of vertical angles are respectively equal.
• Definition of perpendicularity: $OA \perp OB \iff |\angle AOB| = 90°$ — turning "perpendicular" from a geometric notion into a metric equality.
• Triangle angle sum, first instalment: the three interior angles add up to $180°$ (a rigorous proof has to wait for axiom IV, but the protractor axiom is what makes "the sum of interior angles" meaningful as a definite number in the first place).

Later, $\textbf{IV · SAS similarity}$ stitches together the two metrics — "distance" (axiom I) and "angle" (axiom III) — and that is enough to prove every theorem of school geometry.

A small footnote: you will eventually meet radian measure. Past high school one writes $180°$ as $\pi$ and $360°$ as $2\pi$, switching the unit to "radian". The substance is exactly the same — only the "perimeter of one turn" changes from $360$ to $2\pi$ — and every conclusion carries over verbatim.