This page earns every single mark of the parent formula before the formula is allowed to appear. The one symbol we can name right now, because it is the goal, is d:
Everything else — a, b, c, x1, y1, the bars, the square root — is built below, in the order that lets the next symbol make sense. Nothing is used before it is built. Only at the very end, once every mark has meaning, do we assemble the formula.
Figure 1 — The coordinate plane. The cyan horizontal line is the x-axis (right is positive), the cyan vertical line is the y-axis (up is positive), the amber dot marks the origin (0,0), and the white dot P(2.5,1.5) is reached by walking 2.5 right then 1.5 up (dashed amber guides).
Picture it: look at the figure. Right is positive x, left is negative x; up is positive y, down is negative y. Every location on the sheet gets a two-number address.
Why the topic needs it: the whole problem — a point, a line, a distance — lives on this sheet. Without addresses we cannot say where anything is.
The little "1" in x1 is just a name tag. It does not mean "multiply" or "power one". We write P(x1,y1) to say "this particular point, whose horizontal address I'll call x1 and whose vertical address I'll call y1." If a second point turned up we'd call it (x2,y2) — same idea, different tag.
Why the topic needs it:(x1,y1) is the field-you're-standing-in. The formula's whole job is to measure this point's distance d to a line.
Figure 2 — A line as a "score machine". Every point on the white line scores ax+by+c=0. The amber dot off to one side scores a positive number; the cyan dot on the other side scores a negative number. The line is the razor-thin boundary where the score flips sign.
How to picture "makes it true": pick any dot on the drawn line, read off its (x,y), plug into ax+by+c. You get exactly 0. Pick a dot off the line and you get some non-zero number — positive on one side, negative on the other. The line is the razor-thin boundary where the expression flips sign.
Why "=0" form matters: the parent formula reads a, b, c straight off this exact layout. If your line arrives as y=mx+k, you must first shove everything to one side — mx−y+k=0 — to see a=m, b=−1, c=k. (Prerequisite: Equation of a Line.)
Here is the quietly magical fact. The pair (a,b), read as an arrow starting at the origin, points perpendicular (at a right angle) to the line. This arrow is called the normal vector.
Figure 3 — The normal arrow. The white line is the line; the amber arrow (a,b) leaves a point on it at a perfect right angle (that is why it is called the normal). The cyan arrow shows the along-the-line direction, where the score stays fixed at 0.
Why it's perpendicular (in plain words): move along the line from one point to another. The equation's value never changes — it stays 0. The direction in which the value changes fastest is exactly the arrow (a,b), and "fastest change" is always at right angles to "no change". So (a,b) crosses the line square-on. (Deeper: Normal Vector to a Line, Perpendicular Lines.)
Why the topic needs it: the shortest walk to a line is along this perpendicular arrow. The formula measures d in the direction of (a,b) — no other direction gives the shortest path.
Keep a and b fixed and change only c. The direction of the line never changes (the normal (a,b) is untouched), but the whole line slides bodily across the plane, parallel to itself.
Figure 5 — The offset c. Three parallel lines share the same a and b (same amber normal direction) but different c. Making c more negative pushes the line further from the origin along the normal; c=0 makes the line pass through the origin.
To find the length of the arrow (a,b) we use the right triangle it makes with the axes: it goes a across and b up, so by Pythagoras its length is
∣n∣=a2+b2.
Figure 4 — Length of the normal by Pythagoras. The amber arrow n=(a,b)=(3,4) has legs a=3 across and b=4 up (cyan dashes). The small white square marks the right angle, and ∣n∣=32+42=5 — exactly the denominator of the distance formula.
Why we must divide by it — units. The score ax1+by1+c is not a length yet. To see this, imagine doubling a, b and c together: the equation 2ax+2by+2c=0 describes the exact same line, yet the score at any fixed point doubles. A genuine distance cannot depend on how we happened to write the equation. The cure: the score always scales in step with∣n∣=a2+b2 (double a,b and ∣n∣ doubles too), so dividing the score by ∣n∣ cancels that arbitrary scaling and leaves a number that only depends on the line and the point — a true length in coordinate units.
Picture it: distance on a ruler from 0 — always to the right, never negative.
Why the topic needs it: the score ax1+by1+c is negative on one side of the line and positive on the other. But a walking distance d can never be negative. The bars ∣⋯∣ strip the sign, keeping only "how far".
Pick any point Qon the line and draw the arrow from Q to your point P. Its shadow cast along the unit normal n^ (its projection) is exactly the perpendicular gap d — because n^ points straight across the line. Working that shadow out algebraically, the "Q on the line" fact aQx+bQy+c=0 makes the Q-terms vanish and leaves precisely a2+b2∣ax1+by1+c∣.
Take two points A,B on the line and your point P; they form a triangle. Its area can be found two ways: by the coordinate formula (Area of Triangle Using Coordinates), or as 21×(base AB)×(height d), where the height is the perpendicular distance. Setting the two expressions equal and cancelling the base AB leaves the same d. (Both routes rest on the Distance Formula, and minimising such distances is the seed of Least Squares Regression.)
If the point already sits on the line, then by definition its score is 0, so ∣ax1+by1+c∣=0 and the whole fraction is 0. No walk needed — you're already there. This is the single most important sanity check: the algebra agrees with the picture at the boundary.
Figure 6 — The degenerate case. When P lands on the line its score is 0, so d=0/a2+b2=0 — the perpendicular gap has shrunk to nothing. This is the built-in reality check linking formula to figure.