Visual walkthrough — Parallel and perpendicular lines — properties, transversal, alternate - co-interior angles

Prerequisites we lean on (all built in earlier notes): what a line and an angle are and the angle types. This page is the visual companion to Parallel and perpendicular lines.

---

Step 1 — What is an angle, really?

WHAT. Before we talk about "equal angles", we need a picture of a single angle. Two straight lines (or line-pieces) that start from the same point — call that point the vertex — open up like a pair of scissors. The amount they have opened is the angle. We measure "amount of opening" in degrees: a full spin all the way around is $360°$, a half spin (a straight line) is $180°$, and a square-corner quarter spin is $90°$.

WHY. Everything on this page is a claim that two openings are the same size. So the very first thing to fix is: an angle is a turn, an amount of rotation from one arm to the other. It has nothing to do with how long you draw the arms.

PICTURE. In the figure, the vertex is the yellow dot. The blue arm is fixed; the red arm has swung open by the amount marked $\theta$ (the Greek letter "theta", our name for "some angle whose size we care about"). Drawing the red arm longer or shorter does not change $\theta$ — the two red arms shown open by exactly the same amount.

---

Step 2 — Angles on a straight line add to $180°$

WHAT. Take one straight line. Stand a second line up on it, touching at a point. On the top side, that second line splits the flat "half-turn" into two pieces. Call them $a$ and $b$. Because together they sweep the whole straight line — a half spin — they must total $180°$.

$\underset{\text{left piece}}{\underbrace{a}}+\underset{\text{right piece}}{\underbrace{b}}=\underset{\text{a straight line = half a full turn}}{\underbrace{180°}}$

WHY. This is the only raw fact we will keep using. It is not a parallel-lines fact at all — it is true for any line crossing any line. We need it because "supplementary" (adding to $180°$) is going to be the engine behind the co-interior result later.

PICTURE. The green line is straight and flat. The red line rises out of it. The two angles $a$ (yellow) and $b$ (blue) sit side by side and fill the entire top edge — sweep your eye from the far left of the green line, up and over, to the far right: that sweep is $180°$, and it is exactly $a$ then $b$.

---

Step 3 — Angles straight across a crossing are equal (vertically opposite)

WHAT. Now let two full lines cross — an X shape. Four angles appear. The two that sit directly across from each other (top and bottom, or left and right) are equal. These are vertically opposite angles.

WHY. We do not want a new assumption — we get this for free from Step 2. Look at the top angle $\angle 1$ and the left angle $\angle 4$: they share a straight line, so $\angle 1+\angle 4=180°$. But $\angle 4$ and the bottom angle $\angle 3$ also share a straight line, so $\angle 4+\angle 3=180°$. Both equal $180°$, so:

$\angle 1+\angle 4=\angle 3+\angle 4⟹\underset{\text{cancel the shared }\angle 4}{\underbrace{\angle 1=\angle 3}}$

PICTURE. In the X, the two blue wedges (top and bottom) are the same size; the two red wedges (left and right) are the same size. The little algebra above is just "both share the yellow angle $\angle 4$, so subtract it away."

Recall

Why are vertically opposite angles equal? ::: Each shares a straight line ($180°$) with the same neighbour angle, so subtracting that neighbour leaves them equal.

---

Step 4 — Parallel lines and the one axiom we accept

WHAT. Two lines are parallel if they run in the exact same direction and so never meet, however far you stretch them — like railway tracks. Now cut both with one slanted line, the transversal. It hits each track at its own crossing. Here is the single fact we take as a starting truth (an axiom):

Because both tracks point the same way, the transversal leans against each one at the same tilt. So the angle it opens up at the top crossing is copied exactly at the bottom crossing, in the matching position.

WHY THIS TOOL, not a proof? You cannot prove this from Steps 1–3 alone — it is the property that defines what "same direction" does to a crossing line. Every school geometry course accepts this one statement (the corresponding-angles axiom) and derives everything else from it. We spend the axiom exactly once, here.

PICTURE. The two blue tracks are parallel (matching arrowheads show equal direction). The yellow transversal slices both. At each crossing I mark the top-left wedge in red. The axiom says: these two red wedges are identical — same tilt, same opening. This is the "F-shape": follow the transversal down and the same corner reappears.

Using the parent note's labels — $\angle 1$–$\angle 4$ at the top crossing, $\angle 5$–$\angle 8$ at the bottom — the axiom gives:

$\underset{\text{both top-left}}{\underbrace{\angle 1=\angle 5}},\underset{\text{both top-right}}{\underbrace{\angle 2=\angle 6}},\underset{\text{both bottom-right}}{\underbrace{\angle 3=\angle 7}},\underset{\text{both bottom-left}}{\underbrace{\angle 4=\angle 8}}$

---

Step 5 — Alternate interior angles are equal (the Z)

WHAT. The two interior angles that interest us now sit between the tracks but on opposite sides of the transversal: $\angle 3$ (bottom-right at the top crossing) and $\angle 5$ (top-left at the bottom crossing). Claim: $\angle 3=\angle 5$.

WHY / HOW. We do not need a new idea — we combine two things we already own:

$\underset{\text{Step 4: corresponding}}{\underbrace{\angle 1=\angle 5}}\text{and}\underset{\text{Step 3: vertically opposite}}{\underbrace{\angle 1=\angle 3}}$

Two quantities both equal to $\angle 1$ must equal each other:

$\angle 3=\angle 1=\angle 5⟹\boxed{\angle 3=\angle 5}$

PICTURE. Trace the letter Z along the figure: start along the top track (into $\angle 3$), slide down the transversal, finish along the bottom track (into $\angle 5$). The two inside elbows of the Z are the equal angles. The green arrows in the picture show the two-hop reasoning: $\angle 3\to \angle 1$ (across the top X), then $\angle 1\to \angle 5$ (straight down via the axiom).

---

Step 6 — Co-interior angles add to $180°$ (the C)

WHAT. Now the two interior angles on the same side of the transversal: $\angle 4$ and $\angle 5$. Claim: they are supplementary, $\angle 4+\angle 5=180°$.

WHY / HOW. Chain what we have. From Step 5, $\angle 4=\angle 6$ (alternate interior). And $\angle 5$ and $\angle 6$ sit side by side on the bottom track — a linear pair from Step 2:

$\underset{\text{Step 2: straight line at bottom crossing}}{\underbrace{\angle 5+\angle 6=180°}},\underset{\text{Step 5: alternate interior}}{\underbrace{\angle 6=\angle 4}}$

Swap $\angle 6$ for its twin $\angle 4$:

$\angle 5+\angle 4=180°⟹\boxed{\angle 4+\angle 5=180°}$

PICTURE. Trace the letter C (or U): down the left of the transversal along both interior angles on the same side. The picture shows $\angle 6$ (the alternate twin of $\angle 4$) nestled next to $\angle 5$ on the straight bottom track — together they fill the half-turn, so $\angle 4$ (equal to $\angle 6$) plus $\angle 5$ must also fill it.

---

Step 7 — The trap: same-side angles that are NOT a linear pair

WHAT. In the parent's Example 1, $\angle AEF=65°$ sits at the top crossing and $\angle DFE$ sits at the bottom crossing, and they still add to $180°$. It is tempting to shout "linear pair!" — but they are not.

WHY it matters. A linear pair (Step 2) needs one shared vertex. Here the vertices are different points ($E$ up top, $F$ down below). They add to $180°$ only through the co-interior theorem of Step 6, because the lines are parallel — not because they sit on one straight line.

PICTURE. The figure marks $E$ and $F$ as two separate yellow dots. A red bracket shows they never share a corner. The $180°$ comes from the C-pattern (green), never from a straight line through both.

---

Step 8 — Degenerate cases: transversal perpendicular, or parallel

WHAT. Two extreme tilts of the transversal check that our story never breaks.

Case A — the transversal stands perpendicular. If it meets the tracks at $90°$, then all eight angles are $90°$. Test our theorems: corresponding $90°=90°$ ✓, alternate $90°=90°$ ✓, co-interior $90°+90°=180°$ ✓. This is exactly why two lines perpendicular to the same line are parallel — the corresponding angles are forced equal (both $90°$).

Case B — the transversal lies parallel to the tracks. Then it never actually crosses them, so there are no angles to compare — the theorems have nothing to act on. This is the boundary where "transversal" stops meaning anything, and it is why the definition demands the crossing line hit the others at distinct points.

PICTURE. Left panel: the upright transversal, every wedge a clean square corner. Right panel: the transversal laid flat alongside the tracks — three parallel lines, no crossings, greyed out to show "nothing to measure here."

Recall

Why are two lines perpendicular to the same line parallel? ::: They make equal corresponding angles with it — both $90°$ — and equal corresponding angles force parallelism.

---

The one-picture summary

Everything above collapses into a single flow: one axiom (corresponding angles equal) plus two free facts (straight line $=180°$, and vertically opposite equal) generate every transversal angle rule.

Recall Feynman retelling — say it in plain words

An angle is just how much two arms open — length does not matter. On any flat line, two side-by-side openings fill a half-turn, so they add to $180°$; that single truth makes angles straight across an X equal, because both share the same neighbour. Now lay down two railway tracks pointing the exact same way and slice them with one slanted line. The only thing we accept without proof is that the slant leans the same way against each track, so the top-corner opening is copied exactly at the bottom — those are corresponding angles. From that copy plus the X-fact, the opposite-side inside angles (the Z) match, and from the Z plus the straight-line fact, the same-side inside angles (the C) add to $180°$. The famous "$65°$ up top, $115°$ down below" trap is not a straight line — it is the C-rule in disguise, valid only because the tracks are parallel. Stand the slant up straight and every angle becomes $90°$, which is exactly why two lines perpendicular to the same line run parallel. That is the whole chapter, from a single spent axiom.

---

Next: apply these to shapes in triangles and see the algebra version in coordinate lines and slopes; the deeper axiomatic story lives in Advanced-Euclidean-geometry. The parallel-angle rules also power triangle congruence proofs.