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. We'll also lean on what it means for two lines to be parallel — that condition is the whole point of the theorem.

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.

So, whenever a \parallel b:

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

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.

1. 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.
2. 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:

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

The converse: it works backwards too

The theorem also runs in reverse, and this direction is enormously useful for proving that 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.

Test yourself