Euclid's Five Postulates

Euclid's Elements begins, after the definitions and common notions, with five postulates: the geometric assumptions on which everything else depends. The first four are short, intuitive, and have stood for millennia. The fifth is longer, less obvious, and , as mathematicians eventually discovered , is the parallel postulate, equivalent to many beautiful and surprising statements.

Definitions

A postulate is a starting geometric assumption. Euclid lists five of them. From these and his common notions, every theorem in the Elements is proved by pure deduction.

The five postulates

Postulate 1. A straight line may be drawn from any one point to any other point.

In modern terms: given any two distinct points $A$ and $B$ , there is a straight line that passes through them. The line is uniquely determined (Axiom A1 above).

Postulate 2. A terminated (finite) line can be produced indefinitely.

A line segment can be extended in either direction to form a longer segment, and the extension can continue forever. This says that lines are unbounded.

Postulate 3. A circle can be described with any centre and any radius.

Given any point $O$ and any positive distance $r$ , we can construct the circle with centre $O$ and radius $r$ . This is the constructive heart of compass-and-ruler geometry.

Postulate 4. All right angles are equal to one another.

This says that the notion of a right angle is well-defined: any two right angles, anywhere in the plane, are equal. This is needed because Euclid's definition of "right angle" is local; the postulate makes it global.

Postulate 5 (the parallel postulate). If a straight line falls on two straight lines such that the sum of the interior angles on the same side is less than two right angles, then the two straight lines, if produced indefinitely, meet on that side where the sum is less than two right angles.

This is harder to read. In modern language: suppose a transversal cuts two lines and makes interior angles $\alpha$ and $\beta$ on the same side. If $\alpha + \beta < 180^\circ$ , then the two lines meet (on the same side as $\alpha + \beta$ ). Conversely, if $\alpha + \beta = 180^\circ$ , the two lines are parallel and never meet.

Why the fifth postulate is famous

For two thousand years, mathematicians felt that the fifth postulate was somehow less natural than the other four. It is longer, more involved, and feels more like a theorem than a starting assumption. Many tried to prove it from the other four; all failed.

In the nineteenth century, mathematicians like Lobachevsky and Bolyai realised that the failure was unavoidable. They constructed non-Euclidean geometries in which the first four postulates hold but the fifth does not. In one such geometry (hyperbolic), through a point not on a line $\ell$ there are infinitely many lines parallel to $\ell$ . In another (elliptic), there are no parallel lines at all.

So the fifth postulate is an independent assumption: it cannot be derived from the others. Euclid's geometry , flat-plane geometry , is the one in which the fifth postulate holds.

An equivalent: Playfair's axiom

The fifth postulate has many equivalent forms. The simplest, due to John Playfair, is:

Playfair's axiom. Through a point not on a given line, there is exactly one line parallel to the given line.

This is logically equivalent to Euclid's fifth, but easier to remember. Most modern textbooks state Playfair's axiom and prove the original fifth as a theorem from it.

Applications of the postulates

The five postulates underlie every construction you have ever done.

Drawing a line through two points: Postulate 1.
Extending a segment: Postulate 2.
Drawing a circle: Postulate 3.
Calling all $90^\circ$ angles "right angles": Postulate 4.
Using "alternate angles equal $\Rightarrow$ parallel": Postulate 5.

You will use these constantly without naming them. The point of this lesson is to make you aware of them as assumptions, so that when you see a geometric statement you know what is being assumed in the background.

A useful theorem you've already met

Already from Postulates 1 and 2 we can deduce: two distinct lines have at most one point in common. The proof is short. Suppose lines $\ell$ and $m$ shared two distinct points $P$ and $Q$ . By Postulate 1, the line through $P$ and $Q$ is unique. So $\ell = m$ , contradicting "two distinct lines". Hence at most one common point.

Worked examples

Example 1. Use Postulate 1 to justify the statement "given two distinct points $A$ and $B$ , there is a unique line through them".

Postulate 1 says a straight line may be drawn through any two points. Together with Axiom A3 (two distinct lines meet in at most one point), this line is unique.

Example 2. State Playfair's axiom.

Through a point not on a given line, there is exactly one line parallel to the given line.

Example 3. A transversal cuts two lines so that the interior angles on the same side sum to $170^\circ$ . Will the two lines meet?

Yes , by Postulate 5, if the sum is less than $180^\circ$ , the two lines meet on that side. They will meet (when extended).

Example 4. Why can two distinct lines not have more than one common point?

If they did, the unique line through those two common points (by Postulate 1) would force the two lines to coincide. So they are not distinct.

Example 5. Which postulate guarantees the existence of a circle with centre $O$ and radius $3$ cm?

Postulate 3.

Try it yourself

State Euclid's five postulates in your own words.
State Playfair's axiom.
Which postulate is used when you draw a line through two given points?
Which postulate is used when you extend a given line segment indefinitely?
Are all right angles equal? Which postulate states this?
Why is the parallel postulate considered different from the other four?
A transversal meets two lines such that the interior angles on one side sum to $200^\circ$ . Will the lines meet on that side?
Two distinct lines $\ell$ and $m$ pass through the points $P$ and $Q$ . What can you conclude?
In a non-Euclidean geometry, which postulate fails?
State a postulate that is constructive (allows you to build a figure).

Pitfalls / Insight

Postulates are assumptions, not theorems. They cannot be derived from anything else within Euclid's system.
The fifth postulate is special. It is independent of the first four; alternative postulates lead to alternative geometries.
Modern statements like Playfair's axiom are equivalent but more concise.

Insight. Euclid's five postulates capture the essential rules of plane geometry. The first four describe the basic flexibility of points, lines, circles, and angles; the fifth describes how parallel lines behave. Together they generate an entire universe of theorems , and discovering what happens when you change the fifth opened up modern geometry.