Planes in Space

⚡ Key Takeaways

A plane in three-dimensional space is a flat, two-dimensional surface that extends infinitely in all directions. Its key equation is $ax + by + cz = d$ , where $(a, b, c)$ is a vector perpendicular to the plane (the normal). A plane is fixed by either a point plus a normal vector, three non-collinear points, or a point plus two non-parallel directions. Used everywhere in 3D geometry, computer graphics, physics, and engineering; the modern treatment dates from Descartes and the vector analysts of the 19th century.

💡 The Core Insight

A plane is determined entirely by a single direction perpendicular to it (the normal vector) together with one point it passes through. Every property of the plane — its equation, its distance from the origin, the angle between two planes — reduces to a statement about that normal vector. Orientation is one direction; position is one point. That is all a plane is.

DefinitionPlane — Point-Normal Form

A plane is the set of all points $P = (x, y, z)$ such that the vector from a fixed point $P_0 = (x_0, y_0, z_0)$ to $P$ is perpendicular to a fixed nonzero normal vector $\mathbf{n} = (a, b, c)$ .

1

\quad \mathbf{n} \cdot (\mathbf{r} - \mathbf{r}_0) = 0

Derivation hint: Two vectors are perpendicular exactly when their dot product is zero; here $\mathbf{r} - \mathbf{r}_0$ is any vector lying in the plane. Here $\mathbf{r} = (x, y, z)$ is the position vector of a general point, $\mathbf{r}_0 = (x_0, y_0, z_0)$ is the position vector of the known point, and $\mathbf{n} = (a, b, c)$ is the normal. Expanding the dot product gives the point-normal form:

2

\quad a(x - x_0) + b(y - y_0) + c(z - z_0) = 0

Derivation hint: Write out $\mathbf{n}\cdot(\mathbf{r}-\mathbf{r}_0)$ componentwise and set it equal to zero. Collecting constants yields the general (Cartesian) form:

3

\quad ax + by + cz = d, \qquad d = ax_0 + by_0 + cz_0

Derivation hint: Distribute equation [2] and move the constant terms to the right-hand side; define $d$ as that constant.

DefinitionVector / Parametric Form

Given a point $\mathbf{r}_0$ and two non-parallel direction vectors $\mathbf{u}$ and $\mathbf{v}$ lying in the plane, every point is reached by sliding along combinations of those directions:

4

\quad \mathbf{r}(s, t) = \mathbf{r}_0 + s\,\mathbf{u} + t\,\mathbf{v}, \qquad s, t \in \mathbb{R}

Derivation hint: A plane is two-dimensional, so two independent directions and two free parameters generate every point on it. The normal is then recovered as the cross product:

5

\quad \mathbf{n} = \mathbf{u} \times \mathbf{v}

Derivation hint: The cross product of two vectors is perpendicular to both, hence perpendicular to the whole plane they span.

TheoremDistance from a Point to a Plane

The perpendicular distance $D$ from a point $Q = (x_1, y_1, z_1)$ to the plane $ax + by + cz = d$ is

6

\quad D = \frac{|a x_1 + b y_1 + c z_1 - d|}{\sqrt{a^2 + b^2 + c^2}}

Derivation hint: Project the vector from any point on the plane to $Q$ onto the unit normal $\mathbf{n}/|\mathbf{n}|$ ; the absolute value of that projection is the distance. In particular, the distance from the origin to the plane is $|d| / \sqrt{a^2 + b^2 + c^2}$ .

TheoremAngle Between Two Planes

The angle $\theta$ between two planes equals the angle between their normals $\mathbf{n}_1$ and $\mathbf{n}_2$ :

7

\quad \cos\theta = \frac{|\mathbf{n}_1 \cdot \mathbf{n}_2|}{|\mathbf{n}_1|\,|\mathbf{n}_2|}

Derivation hint: Use the dot-product definition $\mathbf{n}_1\cdot\mathbf{n}_2 = |\mathbf{n}_1||\mathbf{n}_2|\cos\theta$ ; the absolute value selects the acute angle between the planes. Two planes are parallel iff their normals are scalar multiples; perpendicular iff $\mathbf{n}_1 \cdot \mathbf{n}_2 = 0$ .

ProofDeriving the General Equation from a Point and Normal

We show every point-normal condition collapses to a single linear equation. 1. Let $\mathbf{n} = (a,b,c)$ be the normal and $P_0 = (x_0, y_0, z_0)$ the known point. For an arbitrary point $P=(x,y,z)$ , form the vector $\mathbf{r} - \mathbf{r}_0 = (x-x_0,\; y-y_0,\; z-z_0)$ . 2. $P$ lies in the plane if and only if $\mathbf{r}-\mathbf{r}_0$ is perpendicular to $\mathbf{n}$ . Perpendicularity means $\mathbf{n}\cdot(\mathbf{r}-\mathbf{r}_0)=0$ , which is equation [1]. 3. Expand the dot product component by component:

a(x-x_0) + b(y-y_0) + c(z-z_0) = 0,

recovering equation [2]. 4. Distribute and regroup:

ax + by + cz - (ax_0 + by_0 + cz_0) = 0.

Setting $d = ax_0 + by_0 + cz_0$ gives $ax + by + cz = d$ , equation [3]. 5. Conversely, any equation $ax+by+cz=d$ with $(a,b,c)\neq \mathbf{0}$ is satisfied by some point $P_0$ (just solve for one coordinate), and reversing the algebra shows the solution set is exactly the point-normal plane. Hence linear equations and planes correspond one-to-one (up to scaling). $\blacksquare$

∎

ProofDistance Formula

1. Let $Q$ be the external point and $P_0$ any point on the plane, so $\mathbf{n}\cdot \mathbf{r}_0 = d$ (treating $d$ as $\mathbf{n}\cdot\mathbf{r}_0$ ). 2. The distance is the length of the projection of $\overrightarrow{P_0 Q} = \mathbf{r}_1 - \mathbf{r}_0$ onto the unit normal $\hat{\mathbf{n}} = \mathbf{n}/|\mathbf{n}|$ :

D = |\,\overrightarrow{P_0 Q} \cdot \hat{\mathbf{n}}\,| = \frac{|\mathbf{n}\cdot(\mathbf{r}_1 - \mathbf{r}_0)|}{|\mathbf{n}|}.

3. Expand: $\mathbf{n}\cdot\mathbf{r}_1 = ax_1+by_1+cz_1$ and $\mathbf{n}\cdot\mathbf{r}_0 = d$ , so the numerator is $|ax_1+by_1+cz_1-d|$ and the denominator is $\sqrt{a^2+b^2+c^2}$ , giving equation [6]. $\blacksquare$

∎

mathematician · René Descartes | 1596–1650

Descartes' La Géométrie (1637) introduced the coordinate framework that lets geometric objects be written as equations. Although he worked mostly in the plane, his coordinate method extended naturally to three variables, making the equation $ax+by+cz=d$ possible. The reduction of an infinite flat surface to four numbers is a direct descendant of his insight that geometry and algebra are two faces of one subject.

🧠 Intuition

Think of the normal vector as a flagpole driven straight into the ground. The plane is the ground — the unique flat surface that the pole stands perpendicular to. Tilt the pole, and the ground tilts with it; that single direction controls the whole orientation. The constant $d$ then slides the plane back and forth along the pole without rotating it: bigger $|d|$ pushes the plane farther from the origin. So the four numbers split cleanly: $(a,b,c)$ = which way the plane faces, $d$ = how far out it sits. The dot product $\mathbf{n}\cdot(\mathbf{r}-\mathbf{r}_0)=0$ is just the statement "stay on the floor": any step you take within the plane is sideways relative to the pole, contributing nothing to the up-down (normal) direction.

Figure

A plane with normal vector n, a point P₀ on it, and the perpendicular distance D from external point Q

ExamplePlane Through Three Points

Given: $A=(1,0,2)$ , $B=(3,1,2)$ , $C=(2,2,5)$ . Find the plane through all three.

Step 1 — Two in-plane direction vectors:

\mathbf{u} = \overrightarrow{AB} = (2,1,0), \qquad \mathbf{v} = \overrightarrow{AC} = (1,2,3).

Step 2 — Normal via cross product (equation [5]):

\mathbf{n} = \mathbf{u}\times\mathbf{v} = \begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\2&1&0\\1&2&3\end{vmatrix} = (1\cdot3 - 0\cdot2,\; 0\cdot1 - 2\cdot3,\; 2\cdot2 - 1\cdot1) = (3,\,-6,\,3).

Divide by 3: $\mathbf{n} = (1,-2,1)$ .

Step 3 — Use point $A$ in equation [3]:

d = 1(1) + (-2)(0) + 1(2) = 3.

Boxed answer:

\boxed{\,x - 2y + z = 3\,}

Check: $B$ : $3-2+2=3$ ✓. $C$ : $2-4+5=3$ ✓.

ExampleDistance from a Point to a Plane

Given: Find the distance from $Q=(4,-1,2)$ to the plane $2x + y - 2z = 5$ .

Step 1 — Identify coefficients: $a=2,\ b=1,\ c=-2,\ d=5$ , so $\sqrt{a^2+b^2+c^2}=\sqrt{4+1+4}=3$ .

Step 2 — Plug into equation [6]:

D = \frac{|2(4) + 1(-1) - 2(2) - 5|}{3} = \frac{|8 - 1 - 4 - 5|}{3} = \frac{|-2|}{3}.

Boxed answer:

\boxed{\,D = \tfrac{2}{3} \approx 0.67 \text{ units}\,}

⚠️ Common mistake

The coefficients $(a,b,c)$ are NOT the slope — they are the normal. Students coming from 2D lines $y = mx + b$ expect the coefficients to indicate the tilt of the surface. In 3D, $(a,b,c)$ points perpendicular to the surface. A plane with a large $a$ is steep in the $x$ -direction because it faces the $x$ -axis, not because $a$ is a slope.

The constant $d$ is NOT the distance from the origin. The distance is $|d|/\sqrt{a^2+b^2+c^2}$ . Only if the normal is a unit vector (the normalized / Hesse form) does $d$ equal the signed distance.

Counterexample

Claim (false): "Any three points determine a unique plane."

Why it fails: If the three points are collinear, infinitely many planes pass through the line they share. Take $A=(0,0,0)$ , $B=(1,1,1)$ , $C=(2,2,2)$ — all on the line $\mathbf{r}=t(1,1,1)$ . The direction vectors $\overrightarrow{AB}=(1,1,1)$ and $\overrightarrow{AC}=(2,2,2)$ are parallel, so their cross product is $\mathbf{0}$ — no unique normal exists. The correct statement requires the three points to be non-collinear.

connection

Planes sit at the heart of analytic geometry and connect outward in many directions:

A Line in Space is the intersection of two non-parallel planes, and its direction is $\mathbf{n}_1 \times \mathbf{n}_2$ .
The Dot Product supplies the perpendicularity test that defines the plane equation; the Cross Product supplies the normal from two in-plane directions.
A plane is the graph of a Linear Equation in Three Variables; systems of such equations correspond to intersecting planes, the geometric face of Systems of Linear Equations.
The Tangent Plane to a surface is the plane best approximating it at a point — the multivariable generalization of the tangent line.
A plane is a 2-dimensional Vector Subspace (when it passes through the origin) or an affine subspace otherwise.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid's Elements: Planes appear as undefined primitive surfaces; Book XI develops solid geometry synthetically, with no equations.

- 1637 — Descartes, La Géométrie: Coordinates make algebraic geometry possible, laying groundwork for equations of surfaces.

- 1700 — Antoine Parent: Among the first to write equations of surfaces in three variables, including planes, in solid analytic geometry.

- 1748 — Leonhard Euler, Introductio in analysin infinitorum: Systematic analytic treatment of surfaces in space, including the general equation of a plane.

- 1788 — Joseph-Louis Lagrange: Uses planes and normals extensively in Mécanique analytique, treating geometry algebraically.

- 1827 — Gauss & differential geometry: The normal vector and tangent plane become central to the study of curved surfaces.

- 1843–1844 — Hamilton (quaternions) & Grassmann (extension theory): Forerunners of vector algebra that make

\mathbf{n}\cdot(\mathbf{r}-\mathbf{r}_0)=0

natural.

- 1881–1901 — Gibbs & Heaviside: Develop modern vector analysis with dot and cross products, giving the plane the clean vector form used today.

open-problem

Degenerate and boundary cases. The equation $ax+by+cz=d$ stops being a plane when $(a,b,c)=(0,0,0)$ : if $d=0$ it describes all of space, and if $d\neq 0$ it describes nothing (the empty set). So "a linear equation is a plane" carries an implicit nonzero-normal assumption.

Orientation ambiguity. A plane has two opposite unit normals, $\pm \hat{\mathbf{n}}$ . Many applications (lighting, signed distance, oriented surfaces) require a consistent choice of side, which the equation alone does not fix; the sign of $d$ and the chosen direction of $\mathbf{n}$ must be tracked together.

Beyond three dimensions. In $n$ -dimensional space, a single linear equation defines a hyperplane of dimension $n-1$ — a generalization where the intuition of "one normal, one offset" still holds, but the surface is no longer two-dimensional. Understanding how planes generalize to hyperplanes is the gateway to linear algebra and higher-dimensional geometry.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also