Line to plane to plane — parallelism that steps up and down.
In the last lesson we learned the grammar of space — points, lines, and planes — and met the one strange new word, skew. Now we put that grammar to work on the friendliest relationship of all: parallel. In a flat plane, "parallel" only ever meant two lines that never meet. In space it grows a whole little family: a line parallel to a plane, and two parallel planes. The beautiful thing is that the same idea drives all three, and you can step up and down the ladder — from line∥line to line∥plane to plane∥plane and back. Nearly every "prove these are parallel" problem in space is just a short relay along that ladder.
A line l and a plane α have exactly three possible relationships (we sorted them in 28.5): the line can lie in the plane, pierce it at one point, or miss it entirely. That last case — no common point at all — is what we call l ∥ α, a line parallel to a plane.
How could you ever prove a line misses a plane, when the plane runs on forever? You cannot check "no common point" by walking to infinity. So we need a test — a finite thing you can see — that guarantees the line never lands. Here it is, and it is wonderfully cheap.
If a line l lies outside a plane α, and l is parallel to some line m inside α, then l ∥ α. In one breath: find a parallel partner inside the plane.
Why does one partner settle it? Suppose l ∥ m with m ⊂ α. Parallel lines are coplanar, so l and m sit together in a plane — call it β. Now imagine, for contradiction, that l did meet α at a point P. That point P lies on l, hence in β; and it lies on α. So P is on the line where β and α cross — which is m itself. But then l would meet m, contradicting l ∥ m. So l never meets α: l ∥ α. ∎
The word outside is not optional. A line that lies in α is also "parallel to some line in α" (itself, or any parallel ruling), but it is not parallel to α — it is part of it. Parallel means no common point; a line inside the plane shares all its points. So always check both halves: a partner inside, and the line itself outside.
Cubes are a parallel-line factory, so they make the test easy to see. Below, dial through several line/plane pairs on a cube. Watch which ones pass — and which two fail, and exactly why they fail.
The test takes a parallel partner and builds parallelism. The property runs the other way: once you know a line is parallel to a plane, it hands you parallel partners back, as many as you want.
If l ∥ α, and a plane β through l cuts α in a line m, then l ∥ m. In one breath: any plane through the line slices a parallel partner out of α.
The reasoning is almost the same contradiction, read backward. The line m lives in β (it is where β meets α), and so does l. Two lines in one plane β either meet or are parallel. If they met, the meeting point would be on l and on m ⊂ α — so l would touch α, contradicting l ∥ α. They don't meet, they're coplanar, so l ∥ m. ∎
Stand a book flat on a level table. Its top edge is parallel to the tabletop (it never dips to meet it). Now tilt a sheet of cardboard so it leans on that top edge and rests on the table — the cardboard is a plane β through the edge. The crease where the cardboard meets the table is exactly m, and it runs parallel to the book's top edge. The property guarantees it before you ever look.
Step up one rung. Two distinct planes in space do just one of two things (28.5): they meet in a line, or they never meet — and "never meet" is what we call β ∥ α, two parallel planes (think of the floor and the ceiling). Again we need a finite test, because we can't chase two infinite planes to check they never cross.
One parallel line is not going to be enough this time. A plane β could hold a single line parallel to α and still tilt and slice through α — the line stays clear while the rest of β cuts in. We need to pin down two directions.
If a plane β contains two intersecting lines a and b, each parallel to plane α, then β ∥ α. In one breath: two non-parallel partners parallel to α lock the whole plane parallel.
Why two, and why intersecting? Two intersecting lines fix a plane's tilt completely — they span every direction in it. If both of those directions run parallel to α, then β has no way to lean toward α at all, so the planes can't cross. Suppose they did cross, in a line c. Then c lies in β, but a and b are each parallel to α hence cannot meet c on α… and a careful chase shows a, b, c can't all coexist in β unless a ∥ b — contradicting "intersecting." So no crossing line exists: β ∥ α. ∎
Two parallel lines parallel to α are not enough — they only pin one direction, and a plane can still pivot about that direction and slice α. You need the two partner lines to cross (intersect), so they nail down two independent directions. One line, or two parallel lines, fails; two intersecting lines wins.
And the property steps back down. Slice two parallel planes with a third, and the third plane carves a line out of each. Those two lines are not just both straight — they run parallel to each other, like the two parallel crusts you expose when you cut clean through a loaf of bread.
If α ∥ β and a third plane γ cuts both, meeting α in a and β in b, then a ∥ b. And parallel planes stay the same distance apart everywhere.
The proof is a one-liner once you see it. Both a and b live in the same cutting plane γ, so they are coplanar — they either meet or are parallel. If they met, the meeting point would belong to α (it's on a) and to β (it's on b) at once — but α ∥ β have no common point. So they can't meet: a ∥ b. ∎ The equal-distance fact follows because every perpendicular dropped from one plane lands on the other at the same height.
Below, a third plane sweeps across a cube whose top and bottom faces are parallel. Wherever it cuts, the two intersection lines come out parallel — the readout checks their directions are identical.
Here is the payoff. Stack the four facts and you get a ladder of parallelism you can climb up and slide down at will:
Read it as a strategy. To prove two lines parallel in a hard 3-D figure, it is often easier to climb to a plane: show each line is parallel to a common plane, or find a plane that cuts two parallel planes. To prove a line parallel to a plane, hunt for a single parallel partner inside that plane (the test). To prove two planes parallel, find two crossing lines in one that are each parallel to the other (the test). The whole craft is choosing which rung to jump to.
Claim. In cube ABCD-A₁B₁C₁D₁, the plane through A₁, B, D is parallel to the plane through C₁… wait — keep it simple: edge A₁B₁ is parallel to plane DCC₁D₁.
Relay. Look inside the target plane DCC₁D₁ for a partner. The edge D₁C₁ lies in it, and A₁B₁ ∥ D₁C₁ (both are top edges of the cube, equal and parallel — a face A₁B₁C₁D₁ is a square). Since A₁B₁ is outside plane DCC₁D₁ and parallel to a line inside it, the line∥plane test gives A₁B₁ ∥ plane DCC₁D₁. One partner, one rung — done.
Four facts, two rungs of a ladder. Each test builds parallelism from parallel partners; each property reads partners back out. The single word that does all the heavy lifting in the plane∥plane test is intersecting.
| Relationship | Test (build it) | Property (use it) |
|---|---|---|
| line ∥ plane l ∥ α |
l outside α and l ∥ m for some m ⊂ α ⇒ l ∥ α | a plane through l meeting α in m gives l ∥ m |
| plane ∥ plane β ∥ α |
two intersecting lines in β, each ∥ α ⇒ β ∥ α | a third plane cutting both gives parallel lines a ∥ b; equal distance apart |
| The ladder | Climb up — the tests | Slide down — the properties |
|---|---|---|
| line∥line ⇄ line∥plane | a partner inside the plane | any plane through the line slices a partner |
| line∥plane ⇄ plane∥plane | two crossing partners | a third plane cuts two parallel lines |
Carry one habit forward: when a 3-D figure asks you to prove something parallel, ask which rung is cheapest. Usually it is "find one parallel line inside the plane." Next lesson, 28.7 — Perpendicularity in Space, swaps "parallel" for "at right angles" and the tests sharpen to the famous one: a line ⊥ a plane exactly when it is ⊥ to two intersecting lines in it.
State the line∥plane test in full, then say which extra word people forget, and why dropping it is fatal.
Test: if a line l lies outside a plane α and is parallel to some line m inside α, then l ∥ α. The forgotten word is outside. Without it, a line that lies in α also has parallel partners inside α — yet it is not parallel to α, it is part of it (it shares all its points, not none).
A plane β holds a single line a that is parallel to plane α. Must β ∥ α? Explain.
No. One parallel line pins only one direction of β. The plane β can pivot about the direction of a and tilt right through α, intersecting it in a line, while a itself stays clear. You need two intersecting lines of β, each parallel to α, to force β ∥ α. (Two parallel partners also fail — they're still just one direction.)
In cube ABCD-A₁B₁C₁D₁, prove that edge B₁C₁ is parallel to the bottom face ABCD.
Inside face ABCD sits the edge BC. In the square face BCC₁B₁, the edges B₁C₁ and BC are opposite sides, so B₁C₁ ∥ BC. Since B₁C₁ lies outside face ABCD (it sits one full edge-length above it) and is parallel to BC ⊂ ABCD, the line∥plane test gives B₁C₁ ∥ plane ABCD.
Planes α and β are parallel. A plane γ cuts α in line a and β in line b; a second plane δ cuts α in line p and β in line q. What do you know about a, b, p, q?
By the plane∥plane property applied to γ: a ∥ b. Applied to δ: p ∥ q. The pairs (a,b) and (p,q) need not be parallel to each other — different cutting planes carve different directions. So we get two pairs of parallel lines, one pair per cutting plane, but no forced relationship across pairs.
In cube ABCD-A₁B₁C₁D₁, show that the top face A₁B₁C₁D₁ is parallel to the bottom face ABCD — using the test, not just "they're a cube."
Inside the top face take the two intersecting edges A₁B₁ and A₁D₁ (they meet at A₁). By Exercise-style reasoning, A₁B₁ ∥ AB and A₁D₁ ∥ AD, and AB, AD lie in the bottom face — so each of A₁B₁, A₁D₁ is parallel to plane ABCD. Two intersecting lines of the top face, each parallel to the bottom face ⇒ by the plane∥plane test, A₁B₁C₁D₁ ∥ ABCD.
Relay challenge. Lines l and n are each parallel to a plane α. Does it follow that l ∥ n? If not, give the three things they could be.
No. "Parallel to the same plane" does not force two lines to be parallel to each other — it only forbids them from tilting toward α. Two such lines may be parallel, may intersect, or may be skew. (Think of two pencils held flat above a table at different angles: both are parallel to the tabletop, yet they can cross or pass without meeting.) The ladder only climbs cleanly when you supply the extra ingredient the test demands.
Six questions to lock it in. Tap the answer you think is right.
This lesson develops the parallel relationships of solid geometry: a line parallel to a plane and two parallel planes, with their tests and properties, plus the "conversion relay" among line∥line, line∥plane, and plane∥plane. It sits squarely in the high-school geometry strand G-CO (congruence and the logic of geometric proof, extended into three dimensions) and supports G-GMD and G-MG by giving the spatial reasoning that volume, cross-section, and modeling arguments lean on. The emphasis is on proof discipline — every claim is reduced to "no common point" and settled by a short contradiction — so the watch-outs (a line must lie outside the plane; the plane∥plane test needs two intersecting partner lines) are exactly the conditions students drop. The next lesson, 28.7, mirrors all of this for perpendicularity, and Stage 29 will re-derive the same facts by a single dot-product calculation with spatial vectors.