Alternate Interior Angles Theorem

Picture a straight path cutting diagonally across two parallel railway tracks, or a slanted strut bracing a gate between two level rails: the crossing line makes matching angles on opposite sides. Spotting those equal alternate interior angles is how builders, surveyors and puzzle-solvers pin down an unknown angle without ever measuring it.

When two straight lines are crossed by a third line, a tidy family of angles appears at the two crossing points. If those first two lines happen to be parallel, the angles line up in beautifully predictable ways. The Alternate Interior Angles Theorem is one of these patterns — and once you can spot it, a great many geometry puzzles solve themselves.

Before the theorem itself, we need two small ideas: a transversal, and how the eight angles it makes are named. That the two crossed lines are parallel is the whole point of the theorem — keep an eye on that condition.

A line that crosses two others: the transversal

A transversal is simply a line that crosses two (or more) other lines. Where the transversal meets each line it forms a little four-way intersection, and at each intersection there are four angles. Two lines crossed by one transversal therefore give eight angles in total.

We label them \angle 1 through \angle 8. At the top intersection sit \angle 1, \angle 2, \angle 3, \angle 4; at the bottom intersection sit \angle 5, \angle 6, \angle 7, \angle 8.

Interior and exterior angles

The transversal splits the eight angles into two groups by where they sit relative to the two lines:

Interior angles live in the strip between the two lines: \angle 3, \angle 4, \angle 5, \angle 6.
Exterior angles live outside the strip, above the top line and below the bottom line: \angle 1, \angle 2, \angle 7, \angle 8.

This theorem is about the interior four, so those are the ones to focus on.

What "alternate" means

Now the key word. Two interior angles are alternate when they sit on opposite sides of the transversal — one to its left, one to its right — and at different intersections. Among the four interior angles there are exactly two such pairs:

\angle 3 and \angle 6
\angle 4 and \angle 5

Each pair straddles the transversal, making a shape rather like the letter Z (or its mirror image). Spotting that "Z" is the quickest way to recognise an alternate interior pair in the wild.

The theorem

Here is the statement in full. Notice the if: the parallel condition is what makes everything work.

If two parallel lines are cut by a transversal, then each pair of alternate interior angles is equal.

So, whenever a \parallel b:

\angle 3 = \angle 6 \qquad\text{and}\qquad \angle 4 = \angle 5

In words: cross two parallel lines with any transversal, and the "Z-shaped" pairs of angles tucked between the lines come out exactly equal.

Alternate interior angles are equal only when the two crossed lines are parallel, and only when they are the two angles on opposite sides of the transversal that both lie between the lines (interior). Miss any of those conditions and the rule doesn't hold.

The classic slip is confusing them with co-interior angles (the "C" angles), which sit on the same side of the transversal. Those are not equal — they are supplementary, adding to 180^\circ. So check the position carefully before you decide whether the angles are "equal" or "add to 180^\circ".

Why is it true?

We can convince ourselves with two angle facts you may already know, used one after the other. The goal is to show \angle 3 = \angle 6.

Corresponding angles are equal. Because a \parallel b, the angle at the top intersection in a given corner matches the angle in the same corner at the bottom intersection. In particular \angle 3 corresponds to \angle 7, so \angle 3 = \angle 7.
Vertical angles are equal. At the bottom intersection, \angle 7 and \angle 6 are vertically opposite (formed by the same two crossing lines), so \angle 7 = \angle 6.

Chaining the two equalities together:

\angle 3 = \angle 7 = \angle 6 \quad\Longrightarrow\quad \angle 3 = \angle 6.

The very same argument, started from the other side of the transversal, gives \angle 4 = \angle 5. That completes the reasoning.

The "Z" shape is a handy memory aid — but the deep reason alternate angles come out equal traces all the way back to Euclid's parallel postulate: the one axiom that guarantees parallel lines behave the way we expect.

For over 2000 years mathematicians tried to prove that postulate from Euclid's other, simpler axioms — and every attempt failed. Eventually they realised why: you can deny it and still get a perfectly consistent geometry — the curved spaces of non-Euclidean geometry, where the "Z" angles no longer have to match at all.

The converse: it works backwards too

The theorem also runs in reverse, and this direction is enormously useful for proving that lines are parallel:

If a transversal cuts two lines so that a pair of alternate interior angles is equal, then the two lines are parallel.

So equal alternate interior angles are not just a consequence of parallel lines — they are a guarantee of them. Builders, carpenters, and geometers use this constantly: measure two alternate interior angles, and if they match, the lines are dead parallel.

A worked example

Suppose a \parallel b and the transversal makes \angle 3 = 70^\circ. Let's find some of the other angles.

Its alternate interior partner. By the theorem, \angle 6 = \angle 3 = 70^\circ.
The angle beside it. \angle 4 sits on a straight line with \angle 3, so they add to 180^\circ: \angle 4 = 180^\circ - 70^\circ = 110^\circ.
The other alternate pair. Then \angle 5 = \angle 4 = 110^\circ, again by the theorem.

From a single angle and one parallel mark, the whole figure unlocks. That is the power of these angle relationships.

Practise: chase the angles

A fresh figure of two parallel lines cut by a transversal. Some angles are given; fill in every other angle you can work out, ending with the highlighted one — using vertical angles, angles on a line, and the parallel-line angles (corresponding, alternate, co-interior). Press Refresh for a new one; Check explains each step.