Proposition 29 of 48 • Theorem

A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the sum of the interior angles on the same side equal to two right angles.

When a line crosses two parallel lines, three things are guaranteed: alternate interior angles are equal, corresponding angles are equal, and co-interior (same-side interior) angles add up to 180 degrees. This is the converse of Propositions 27 and 28 — and it is the first place Euclid uses the parallel postulate.

Before You Read

For two propositions Euclid has been proving that certain angle conditions force lines to be parallel. Now comes the converse: if you already know two lines are parallel, what can you say about the angles a transversal makes with them? Proposition 29 gives all three angle equalities at once—and to do so, it uses the parallel postulate (Postulate 5) for the very first time in the Elements.

Browse All Foundations

All Foundations

Definitions (23)

Postulates (5)

Common Notions (5)

Browse All Propositions

All Propositions

Basic Constructions (5)

Triangle Fundamentals (5)

Perpendiculars & Angles (5)

Exterior Angles & Inequalities (5)

Interior Triangles & Angle Copying (5)

Parallel Lines (5)

Parallel Constructions & Parallelograms (5)

Area Theorems (5)

Area Applications (4)

Grand Finale (4)

What Euclid Is Doing

Setup: AB is parallel to CD, and a transversal GH crosses both. We must prove three things: (1) alternate interior angles ∠AGH = ∠GHD, (2) the exterior angle ∠EGB = the interior opposite angle ∠GHD, and (3) co-interior angles ∠BGH + ∠GHD = two right angles.

Approach: The key result is (1), the equality of alternate angles. Euclid proves this by contradiction, and this is where the parallel postulate (Postulate 5) makes its first and critical appearance. Once (1) is established, results (2) and (3) follow from vertical angles (Prop 15) and supplementary angles (Prop 13).

Conclusion: Proof of (1): Suppose ∠AGH is not equal to ∠GHD; say ∠AGH > ∠GHD. Then ∠BGH + ∠GHD < ∠BGH + ∠AGH = two right angles (by Prop 13). But Postulate 5 says: if a transversal makes the interior angles on one side sum to less than two right angles, the lines meet on that side. So AB and CD would meet on the B, D side. But AB is parallel to CD — they never meet (Definition 23). Contradiction. A symmetric argument rules out ∠AGH < ∠GHD. Therefore ∠AGH = ∠GHD. Proof of (2): ∠AGH = ∠GHD (just proved). ∠AGH = ∠EGB by vertical angles (Prop 15). So ∠EGB = ∠GHD. Proof of (3): ∠AGH = ∠GHD (just proved). ∠AGH + ∠BGH = two right angles (Prop 13). So ∠GHD + ∠BGH = two right angles. ✓

Key Moves

Assume ∠AGH is not equal to ∠GHD; suppose ∠AGH > ∠GHD.
Then ∠BGH + ∠GHD < ∠BGH + ∠AGH = two right angles (Proposition 13).
By Postulate 5 (the parallel postulate), AB and CD meet on the B, D side.
But AB is parallel to CD (given) — they cannot meet. Contradiction.
Symmetric argument eliminates ∠AGH < ∠GHD. Therefore ∠AGH = ∠GHD (alternate angles equal) ✓
∠EGB = ∠AGH (Proposition 15, vertical angles) = ∠GHD. So corresponding angles are equal ✓
∠AGH + ∠BGH = two right angles (Proposition 13). Substituting ∠GHD for ∠AGH: ∠GHD + ∠BGH = two right angles. So co-interior angles are supplementary ✓

Try It Yourself

Draw two lines that you are confident are parallel (use a ruler or folded paper to make them truly parallel). Draw a transversal crossing both. Measure the alternate interior angles—are they equal? Measure the corresponding angles—are they equal? Add the co-interior angles on one side—do they total 180°? Now draw two lines that are very slightly non-parallel and repeat: which equalities break first?

Proof Challenge

Available Justifications

Suppose alternate angles ∠AGH and ∠GHD are NOT equal; say ∠AGH > ∠GHD

Drag justification

Add ∠BGH to both: ∠AGH + ∠BGH > ∠GHD + ∠BGH

Drag justification

∠AGH + ∠BGH = two right angles (Prop 13), so ∠GHD + ∠BGH < two right angles

Drag justification

Lines AB and CD must meet on the side where the angles sum to less than two right angles

Drag justification

But AB ∥ CD (given), so they never meet — contradiction. So ∠AGH = ∠GHD (alternate interior angles are equal).

Drag justification

∠AGH = ∠EGB (vertical angles at G)

Drag justification

Since ∠AGH = ∠GHD (just proved) and ∠AGH = ∠EGB, therefore ∠EGB = ∠GHD (exterior angle equals interior opposite angle).

Drag justification

∠AGH + ∠BGH = two right angles (angles on line AB at G)

Drag justification

Since ∠AGH = ∠GHD, substituting gives ∠GHD + ∠BGH = two right angles (co-interior angles are supplementary).

Drag justification

0 of 9 steps completed

Curriculum Materials

Get the Teaching Materials

Structured lesson plan, student worksheet, and answer key for Proposition 29.

✓Lesson Plan (prop-29-lesson-plan.pdf)
✓Student Worksheet (prop-29-worksheet.pdf)
✓Answer Key (prop-29-answer-key.pdf)

Browse Curriculum Bundles

Why It Matters

This is one of the most important propositions in the Elements. It is the converse of Propositions 27 and 28, and it is the first place Euclid invokes the parallel postulate (Postulate 5). Every subsequent result in Book I — including the angle sum of a triangle (Prop 32), the theory of area, and the Pythagorean theorem (Prop 47) — depends on this proposition. Without the parallel postulate, none of those results can be proved.

Modern connection: The dependence on Postulate 5 is precisely what makes Proposition 29 fail in non-Euclidean geometries. In hyperbolic geometry, the alternate angles formed by a transversal crossing parallel lines are not equal — they can differ. This single failure cascades: the angle sum of a triangle is less than 180 degrees, and the entire structure of Euclidean geometry shifts. The fact that GPS satellite calculations must account for spacetime curvature (a non-Euclidean effect) traces back to this logical hinge point.

Historical note: For over two thousand years, mathematicians tried to prove Proposition 29 without Postulate 5. Every attempt failed. In the 19th century, Bolyai and Lobachevsky showed why: they constructed consistent geometries where Proposition 29 is false. This vindicated Euclid's decision to state the parallel postulate as an explicit assumption — he seems to have understood that it could not be derived from the other axioms.

Discussion Questions

Why could Euclid prove Proposition 27 (alternate angles imply parallel) without the parallel postulate, but needs it for the converse (Proposition 29)? What is the logical asymmetry?
Postulate 5 says lines meet if co-interior angles sum to less than two right angles. How does this get used in the contradiction argument? Could you state the parallel postulate in a different but equivalent form?
In hyperbolic geometry, Proposition 29 fails. What happens to the angle sum of a triangle as a consequence? And what happens to the Pythagorean theorem?

Euclid's Original Proof

A straight line falling on parallel straight lines makes the alternate angles equal to one another, the exterior angle equal to the interior and opposite angle, and the interior angles on the same side equal to two right angles.

For let the straight line EF fall on the parallel straight lines AB, CD;

I say that it makes the alternate angles AGH, GHD equal, the exterior angle EGB equal to the interior and opposite angle GHD, and the interior angles on the same side, namely BGH, GHD, equal to two right angles.

For, if the angle AGH is unequal to the angle GHD, one of them is greater.

Let the angle AGH be greater.

Let the angle BGH be added to each;

therefore the angles AGH, BGH are greater than the angles BGH, GHD.

But the angles AGH, BGH are equal to two right angles; [I.13]

therefore the angles BGH, GHD are less than two right angles.

But straight lines produced indefinitely from angles less than two right angles meet; [Post. 5]

therefore AB, CD, if produced indefinitely, will meet;

but they do not meet, because they are by hypothesis parallel.

Therefore the angle AGH is not unequal to the angle GHD,

and is therefore equal to it.

Again, the angle AGH is equal to the angle EGB; [I.15]

therefore the angle EGB is also equal to the angle GHD. [C.N. 1]

Let the angle BGH be added to each;

therefore the angles EGB, BGH are equal to the angles BGH, GHD. [C.N. 2]

But the angles EGB, BGH are equal to two right angles; [I.13]

therefore the angles BGH, GHD are also equal to two right angles. [C.N. 1]

Therefore etc.

Q.E.D.

What's Next

With Proposition 29 in hand, Euclid can now chain parallel relationships together. Proposition 30 asks: if line A is parallel to line C, and line B is also parallel to line C, must A and B be parallel to each other? The answer is yes—and the proof uses Proposition 29 twice in quick succession to transfer the angle information through the common parallel.