What Are Euclid's Axioms and Postulates?
Euclid's axioms and postulates are the foundational statements assumed true without proof in his work Elements. Euclid split them into two groups:
Axioms (common notions) - general assumptions about magnitudes and equality that hold throughout mathematics, not just in geometry.
Postulates - assumptions specific to geometry, describing what can be constructed or is true of geometric figures.
Together they are the base layer: definitions come first, then these assumptions, and every theorem in geometry is deduced from them. This axiomatic approach is the heart of Euclid's geometry, and it traces back to the long development covered in the origins of geometry.
What Is the Difference Between an Axiom and a Postulate?
This is the most-asked question about the topic, and Euclid drew a clear line.
An axiom (common notion) is a self-evident truth about quantities in general - it applies to numbers, lengths, areas, anything measurable. Example: "the whole is greater than the part."
A postulate is an assumption specific to geometry - it asserts that a particular geometric thing can be done or is the case. Example: "a circle can be drawn with any centre and radius."
Feature | Axiom (common notion) | Postulate |
|---|---|---|
Scope | All of mathematics | Geometry only |
Nature | A truth about equality or magnitude | A geometric construction or fact |
Example | "Things equal to the same thing are equal to each other" | "A straight line may be drawn between any two points" |
In modern mathematics the distinction has faded, and the two words are often used interchangeably. But for Euclid, postulates asked you to grant a construction, while axioms asked you to accept an obvious truth.
What Are Euclid's 7 Axioms?
Euclid's seven common notions are general statements about equality and magnitude:
Things which are equal to the same thing are equal to one another. If $a = c$ and $b = c$, then $a = b$.
If equals are added to equals, the wholes are equal. If $a = b$, then $a + c = b + c$.
If equals are subtracted from equals, the remainders are equal. If $a = b$, then $a - c = b - c$.
Things which coincide with one another are equal to one another. Figures that lie exactly on top of each other are equal.
The whole is greater than the part. Any complete magnitude is larger than any of its pieces.
Things which are double of the same thing are equal to one another. If $a = b$, then $2a = 2b$.
Things which are halves of the same thing are equal to one another. If $a = b$, then $\tfrac{1}{2}a = \tfrac{1}{2}b$.
Notice these say nothing about points, lines, or shapes - they are truths about equality that geometry borrows. They are exactly the rules you use when adding or subtracting equal lengths on a line segment.
What Are Euclid's 5 Postulates?
Euclid's five postulates are the geometry-specific assumptions:
A straight line can be drawn from any one point to any other point. Any two points can be joined by exactly one straight line.
A terminated line (a line segment) can be extended indefinitely in a straight line. Any segment can be produced as far as you like in either direction.
A circle can be drawn with any centre and any radius. Given a centre and a distance, the corresponding circle exists - the basis of every compass step in circles.
All right angles are equal to one another. Every right angle measures the same, $\angle = 90°$, wherever it appears.
The parallel postulate. If a straight line falling on two straight lines makes the interior angles on the same side together less than two right angles, then the two lines, if produced indefinitely, meet on that side.
Why Is the Fifth Postulate Special?
The first four postulates are short and instantly believable. The fifth is long, wordy, and far less obvious - and for two thousand years mathematicians tried to prove it from the other four, suspecting it was really a theorem in disguise.
Every attempt failed. In the 19th century mathematicians realised the fifth postulate cannot be derived from the others, and that replacing it produces perfectly consistent non-Euclidean geometries (on curved surfaces, for instance). The single most-studied assumption in all of mathematics gets its own full treatment under Euclid's fifth postulate.
Where Are Euclid's Axioms and Postulates Used?
The twelve assumptions are not museum pieces - they run under everyday geometry.
Compass-and-straightedge constructions. Every classical construction uses only Postulates 1–3: draw a line between points, extend it, and draw a circle of any radius.
Proofs and theorems. The angle, triangle, and circle theorems of school geometry are all deduced from these assumptions using the common notions to manipulate equal quantities.
The axiomatic method. Modern algebra, set theory, and logic all copy Euclid's structure of definitions, axioms, then theorems.
Distinguishing geometries. Keeping or dropping the fifth postulate is what separates flat (Euclidean) geometry from curved geometries used in physics and navigation.
Examples of Euclid's Axioms and Postulates
Example 1
Segment $AB = CD$ and $CD = EF$. What can you conclude, and by which axiom?
By Axiom 1, things equal to the same thing are equal to one another. Since $AB$ and $EF$ both equal $CD$:
$$AB = EF$$
Final answer: $AB = EF$, by Axiom 1.
Example 2
A student says Postulate 1 allows two different straight lines between the same two points. Why is this wrong?
Wrong path. The student reads "a straight line can be drawn from any point to any other point" as permitting several such lines.
Why it breaks. Postulate 1 asserts that a straight line between two points exists, and in Euclidean geometry that line is unique - through two distinct points there passes exactly one straight line. Two distinct straight lines can meet in at most one point, so they cannot both pass through the same pair.
The rescue. Read the postulate as "exactly one straight line joins any two points." Uniqueness is what makes it usable in proofs.
Final answer: only one straight line joins two given points; the postulate guarantees existence and uniqueness.
Example 3
If $\angle PQR$ and $\angle XYZ$ are both right angles, are they equal? Which postulate applies?
By Postulate 4, all right angles are equal to one another. Both measure $90°$, so:
$$\angle PQR = \angle XYZ$$
Final answer: yes, equal by Postulate 4.
Example 4
Given $a = b$, show that $a + 5 = b + 5$. Which axiom justifies it?
By Axiom 2, if equals are added to equals, the wholes are equal. Add 5 to both:
$$a + 5 = b + 5$$
Final answer: true by Axiom 2.
Example 5
Two angles are each half of a straight angle. Are they equal, and why?
A straight angle is $180°$. By Axiom 7, things which are halves of the same thing are equal to one another, so each half is $90°$ and the two are equal.
Final answer: equal by Axiom 7; each is $90°$.
Example 6
Which postulate lets you draw a circle of radius 4 cm centred at a given point?
Postulate 3 states a circle can be drawn with any centre and any radius. With the given point as centre and 4 cm as radius, the circle exists.
Final answer: Postulate 3.
Where Do Students Trip Up on Euclid's Axioms and Postulates?
The most common confusion is which list a statement belongs to - treating a geometry-specific assumption as a common notion, or the reverse. The reliable habit is to ask what the statement is about: if it concerns equality of quantities in general, it is an axiom; if it describes lines, circles, or angles, it is a postulate.
Mistake 1: Mixing up axioms and postulates
Where it slips in: Sorting the twelve statements into the two lists.
Don't do this: Filing "a circle can be drawn with any radius" under axioms.
The correct way: Ask whether the statement is about general equality (axiom) or about a geometric object (postulate). Circles, lines, and right angles are geometry, so they are postulates.
Mistake 2: Thinking the fifth postulate can be proved
Where it slips in: Assuming every postulate is really a hidden theorem.
Don't do this: Trying to derive the parallel postulate from the first four.
The correct way: The fifth postulate is genuinely independent - it cannot be proved from the others, which is exactly why non-Euclidean geometries exist.
Mistake 3: Assuming multiple lines through two points
Where it slips in: Reading Postulate 1 too loosely.
Don't do this: Believing several straight lines can join the same two points.
The correct way: In Euclidean geometry, exactly one straight line passes through any two distinct points. The postulate gives both existence and uniqueness.
Conclusion
Euclid's axioms and postulates are the twelve unproved assumptions on which classical geometry is built.
The 7 axioms (common notions) are general truths about equality and magnitude that apply across all of mathematics.
The 5 postulates are geometry-specific assumptions about drawing lines, extending them, drawing circles, equal right angles, and parallels.
An axiom concerns quantities in general; a postulate concerns geometric constructions and figures.
The fifth postulate is independent of the other four, and dropping it opens the door to non-Euclidean geometry.
To take this further with a teacher, explore Bhanzu's geometry tutor or high school math tutor sessions, or browse math classes online for structured geometry foundations.
Read More
Practice These to Solidify Your Understanding
Work through these problems in order:
State which of Euclid's assumptions guarantees that a straight line can be extended to any length.
If $x = y$, use one of Euclid's axioms to justify that $2x = 2y$.
Sort these into axioms and postulates: (a) the whole is greater than the part; (b) all right angles are equal; (c) a circle can be drawn with any radius.
Answer to Question 1: Postulate 2 (a terminated line can be extended indefinitely). Answer to Question 2: Axiom 6 (things double of the same thing are equal). Answer to Question 3: (a) axiom; (b) postulate; (c) postulate.
Want a live Bhanzu trainer to walk through geometry foundations with you? Book a free demo class.
Was this article helpful?
Your feedback helps us write better content