Euclid's axioms and postulates

Euclid's method was radical for its time: instead of trying to prove every statement, he isolated a small set of statements that are not proved — they are taken as starting points precisely because denying them would make ordinary reasoning impossible. Modern axiomatic mathematics still works this way.

The five common notions (axioms) apply to all quantities, not just geometric ones: Axiom 1 — things equal to the same thing are equal to one another. If $a = c$ and $b = c$, then

where: $a$, $b$, $c$ stand for any three quantities (lengths, angles, areas — anything comparable by "equals"). Axiom 2 — if equals are added to equals, the wholes are equal. Axiom 3 — if equals are subtracted from equals, the remainders are equal. Axiom 4 — things which coincide with one another are equal to one another (this justifies superimposing one figure on another to compare them). Axiom 5 — the whole is greater than the part; a segment is always longer than any proper piece cut from it.

The five postulates are specific to geometry: Postulate 1 — a straight line may be drawn from any one point to any other point. Postulate 2 — a terminated line (a line segment) can be produced indefinitely to form a straight line. Postulate 3 — a circle can be drawn with any centre and any radius. Postulate 4 — all right angles are equal to one another. Postulate 5 — if a straight line falling on two straight lines makes the interior angles on the same side of it taken together less than two right angles, the two lines, if produced indefinitely, meet on that side. The fifth postulate does not say lines are parallel — it says exactly when two lines are guaranteed to meet. That conditional, angle-based phrasing is clumsy to work with, so mathematicians eventually replaced it with a logically equivalent statement about parallel lines, now called Playfair's axiom:

where: the "given line" and "the point not on it" are the two objects fixed in the statement, and "exactly one" is doing all the work — it asserts both existence (at least one parallel exists) and uniqueness (no more than one does). When the two interior angles on one side of a transversal add to exactly two right angles ($180°$), the lines never meet on either side — they are the unique parallel pair Playfair's axiom describes.

Euclid's scheme works because it separates two very different jobs. The common notions govern equality reasoning itself — they let you add, subtract, or compare quantities the same way in any branch of mathematics, so a proof about lengths uses exactly the same logic as a proof about angles or areas. The postulates, by contrast, describe what a plane is allowed to contain: straight lines between any two points, circles of any size, and — through the fifth postulate — a controlled statement about when two lines must cross. Nothing on either list is proved, and that is deliberate, not a gap. Any chain of deductions has to start somewhere; if every statement needed a prior proof, geometry could never get off the ground. Euclid's genius was choosing assumptions few people would ever want to dispute — until the fifth postulate, whose extra complexity (it needs a whole sentence about angles, unlike the one-line others) made mathematicians suspicious that it might secretly be provable from the rest. Centuries of failed attempts to prove it eventually led to non-Euclidean geometries, but that lies outside this syllabus: here, the fifth postulate (or its Playfair equivalent) is simply accepted, exactly like the other nine.

Question: Using Euclid's axioms, prove that if $AB = CD$ and $CD = EF$, then $AB = EF$. Then use Playfair's axiom to explain why exactly one line through an external point $P$ can be parallel to a given line $\ell$.

Step 1. We are given $AB = CD$ and $CD = EF$. Axiom 1 states: things which are equal to the same thing are equal to one another. Here both $AB$ and $EF$ equal the same quantity, $CD$.

Step 2. Therefore, by Axiom 1, $AB = EF$. This is the whole proof — no further computation is needed, because Axiom 1 is exactly the rule being applied.

Step 3. For the second part, state Playfair's axiom: through $P$ (not on $\ell$), exactly one line can be drawn parallel to $\ell$. "Exactly one" packs two claims together — at least one parallel exists, and at most one does.

Step 4. Suppose, for contradiction, two distinct lines $m_1$ and $m_2$ both pass through $P$ and are both parallel to $\ell$. This directly contradicts the uniqueness half of Playfair's axiom, which permits only one parallel through $P$.

Conclusion: $AB = EF$, justified purely by Axiom 1; and Playfair's axiom guarantees there is never zero, and never more than one, line through $P$ parallel to $\ell$ — always exactly one.

• Confusing "axiom" and "postulate": Euclid's common notions (axioms) were universal truths for all of mathematics, while postulates were geometry-specific. Modern usage often blurs this, but the syllabus expects Euclid's original split.
• Misquoting the fifth postulate as "parallel lines never meet" — it is actually about the angle condition under which two lines do meet; Playfair's axiom is the cleaner statement about parallels.
• Treating an axiom as something to be derived from another axiom — axioms are assumed, not proved; "proving" one defeats the purpose of a starting point.
• Misapplying Axiom 5 ("the whole is greater than the part") outside its intended meaning — it strictly compares a whole to one of its own proper parts, e.g. a segment against any of its own sub-segments, not two unrelated quantities.

Ask the tutor: Want more practice quoting the exact axiom or postulate that justifies each step of a short geometry proof, or help distinguishing the fifth postulate from Playfair's axiom? Ask the AI tutor for extra worked problems on this topic.