Distance and Section in the Plane

⚡ Key Takeaways

Distance and Section in the Plane are the two foundational metric formulas of coordinate geometry: the distance formula gives the straight-line length between two points from their coordinates, and the section formula gives the coordinates of a point dividing a line segment in a given ratio. Both follow directly from the Pythagorean theorem and similar triangles. They apply throughout analytic geometry, vector algebra, computer graphics, and physics. Systematized by René Descartes (1637) and used by every student of coordinate geometry since.

💡 The Core Insight

Coordinates turn the plane into a grid of numbers. Once a point is a pair $(x, y)$ , horizontal and vertical separations become subtractions ( $\Delta x = x_2 - x_1$ , $\Delta y = y_2 - y_1$ ), the Pythagorean theorem converts those separations into a straight-line distance, and proportional reasoning (similar triangles) lets us weight coordinates to find any dividing point. Distance is "Pythagoras in coordinates"; section is "weighted average in coordinates."

DefinitionDistance Between Two Points

Let $A(x_1, y_1)$ and $B(x_2, y_2)$ be points in the Cartesian plane. The distance $d(A,B)$ between them is the length of the straight segment joining them:

1

\quad d(A,B) = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}

Derivation hint: Form a right triangle with horizontal leg $|x_2-x_1|$ and vertical leg $|y_2-y_1|$ ; apply the Pythagorean theorem to the hypotenuse $AB$ . Symbols: $x_1, y_1$ are the coordinates of the first point; $x_2, y_2$ of the second; $d(A,B) \ge 0$ is the resulting length, in the same units as the coordinate axes.

DefinitionInternal Section Formula

Let $P$ divide the segment joining $A(x_1, y_1)$ and $B(x_2, y_2)$ internally in the ratio $m:n$ , meaning $AP:PB = m:n$ with $P$ between $A$ and $B$ . Then the coordinates of $P$ are:

3

\quad P = \left( \frac{m x_2 + n x_1}{m+n}, \; \frac{m y_2 + n y_1}{m+n} \right)

Derivation hint: Drop perpendiculars from $A$ , $P$ , $B$ to the $x$ -axis; the resulting similar triangles give $AP:PB = (x_P - x_1):(x_2 - x_P) = m:n$ , then solve for $x_P$ (and likewise $y_P$ ). Symbols: $m$ and $n$ are positive numbers giving the ratio of the two parts; the part nearer to $B$ carries the weight $m$ on $x_2, y_2$ . Note the cross-pattern: $m$ multiplies the second point's coordinates.

DefinitionMidpoint Formula

The midpoint $M$ of segment $AB$ is the special case $m:n = 1:1$ :

4

\quad M = \left( \frac{x_1 + x_2}{2}, \; \frac{y_1 + y_2}{2} \right)

Derivation hint: Substitute $m = n = 1$ into equation [3].

TheoremExternal Section Formula

If $P$ divides $AB$ externally in the ratio $m:n$ (so $P$ lies on the line $AB$ but outside the segment, with $AP:PB = m:n$ measured with opposite signs), then:

5

\quad P = \left( \frac{m x_2 - n x_1}{m - n}, \; \frac{m y_2 - n y_1}{m - n} \right)

Derivation hint: Replace the ratio $n$ by $-n$ in the internal formula [3], since external division reverses the sign of one directed segment.

TheoremCentroid of a Triangle

The centroid $G$ of a triangle with vertices $A(x_1,y_1)$ , $B(x_2,y_2)$ , $C(x_3,y_3)$ is the average of the three vertices:

6

\quad G = \left( \frac{x_1 + x_2 + x_3}{3}, \; \frac{y_1 + y_2 + y_3}{3} \right)

Derivation hint: The centroid divides each median in ratio $2:1$ from the vertex; apply the section formula [3] with $m:n = 2:1$ to the vertex and the opposite midpoint.

ProofDistance Formula from the Pythagorean Theorem

Step 1. Take points $A(x_1, y_1)$ and $B(x_2, y_2)$ . Construct the point $C(x_2, y_1)$ — directly below or above $B$ and level with $A$ — so that $ABC$ forms a right triangle with the right angle at $C$ .

Step 2. The horizontal leg $AC$ runs from $x_1$ to $x_2$ at the same height, so its length is $|x_2 - x_1|$ .

Step 3. The vertical leg $CB$ runs from $y_1$ to $y_2$ at the same $x$ -value, so its length is $|y_2 - y_1|$ .

Step 4. By the Pythagorean theorem, $AB^2 = AC^2 + CB^2 = (x_2 - x_1)^2 + (y_2 - y_1)^2$ . The squares remove the need for absolute-value signs.

Step 5. Taking the non-negative square root gives equation [1]. $\blacksquare$

∎

ProofInternal Section Formula from Similar Triangles

Step 1. Let $P(x, y)$ lie on $AB$ with $AP:PB = m:n$ . Drop perpendiculars from $A$ , $P$ , $B$ to the $x$ -axis, meeting it at $A'(x_1,0)$ , $P'(x,0)$ , $B'(x_2,0)$ .

Step 2. Lines $AA'$ , $PP'$ , $BB'$ are all vertical, hence parallel. By the basic proportionality theorem, the parallels cut the transversal $AB$ and the $x$ -axis in equal ratios: $A'P' : P'B' = AP : PB = m:n$ .

Step 3. Therefore $(x - x_1) : (x_2 - x) = m : n$ , giving $n(x - x_1) = m(x_2 - x)$ .

Step 4. Expand: $nx - nx_1 = mx_2 - mx$ , so $nx + mx = mx_2 + nx_1$ , hence $x = \dfrac{mx_2 + nx_1}{m+n}$ .

Step 5. Repeating with perpendiculars to the $y$ -axis gives $y = \dfrac{my_2 + ny_1}{m+n}$ . Together these give equation [3]. $\blacksquare$

∎

Figure

Right triangle for the distance formula and a dividing point P on segment AB

mathematician · René Descartes | 1596–1650

The French philosopher and mathematician introduced the system of coordinates in La Géométrie (1637), an appendix to his Discourse on Method. By labeling points with number pairs, Descartes made it possible to study curves through equations and lengths through arithmetic — the move that created analytic geometry. The distance and section formulas are immediate consequences of his framework, though Descartes himself wrote in a less symbolic notation than ours. The Cartesian plane bears his Latinized name, Cartesius.

🧠 Intuition

Think of going from $A$ to $B$ as a walk on a city grid. You can only count blocks east-west ( $\Delta x$ ) and blocks north-south ( $\Delta y$ ). The distance formula answers: "If instead of walking the streets I could fly straight, how far is it?" — and the answer is the diagonal hypotenuse of the right triangle the two legs make. For the section formula, picture a tug-of-war on the segment. The ratio $m:n$ is how strongly each end pulls. Equilibrium lands the point closer to the stronger pull. Crucially the heavier weight $m$ sits on the far endpoint $B$ : a $3:1$ split puts $P$ three-quarters of the way to $B$ , because three parts of the journey are behind $P$ and one ahead. The midpoint is the perfectly balanced $1:1$ case — just average the coordinates.

ExampleDistance Between Two Given Points

Given: $A(2, 3)$ and $B(7, 15)$ , coordinates in metres.

Find: the distance $AB$ .

Step 1 — horizontal separation: $\Delta x = x_2 - x_1 = 7 - 2 = 5$ .

Step 2 — vertical separation: $\Delta y = y_2 - y_1 = 15 - 3 = 12$ .

Step 3 — apply equation [1]:

d = \sqrt{5^2 + 12^2} = \sqrt{25 + 144} = \sqrt{169}.

Step 4 — evaluate: $\sqrt{169} = 13$ .

\boxed{AB = 13 \text{ m}}

(This is a 5–12–13 Pythagorean triple, a clean integer result.)

ExampleInternal Division in a Given Ratio

Given: $A(-1, 4)$ and $B(5, -2)$ ; point $P$ divides $AB$ internally in ratio $m:n = 2:1$ .

Find: the coordinates of $P$ , and verify with the midpoint as a check.

Step 1 — identify weights: $m = 2$ (on $B$ ), $n = 1$ (on $A$ ), so $m + n = 3$ .

Step 2 — x-coordinate via equation [3]:

x_P = \frac{m x_2 + n x_1}{m+n} = \frac{2(5) + 1(-1)}{3} = \frac{10 - 1}{3} = \frac{9}{3} = 3.

Step 3 — y-coordinate:

y_P = \frac{m y_2 + n y_1}{m+n} = \frac{2(-2) + 1(4)}{3} = \frac{-4 + 4}{3} = \frac{0}{3} = 0.

\boxed{P = (3, \, 0)}

Check: $P$ should be two-thirds of the way from $A$ to $B$ . The midpoint of $AB$ is $\left(\frac{-1+5}{2}, \frac{4-2}{2}\right) = (2, 1)$ , and $P(3,0)$ lies beyond it toward $B(5,-2)$ — consistent with the heavier pull at $B$ . ✓

⚠️ Mixing Up Which Endpoint Gets Which Weight

A frequent error is writing $P = \left(\frac{m x_1 + n x_2}{m+n}, \dots\right)$ — putting $m$ on the first point. The formula uses the cross-pattern: the weight $m$ (the first number in the ratio $m:n = AP:PB$ ) multiplies the coordinates of the second point $B$ . Reason: a larger $m$ means $AP$ is larger, so $P$ sits farther from $A$ and nearer to $B$ , which requires $B$ to be weighted more heavily. Always re-derive from " $P$ near $B$ ⟹ big weight on $B$ ."

⚠️ Forgetting to Square — or Square-Root

Two slips ruin the distance formula. First, some students compute $(x_2 - x_1) + (y_2 - y_1)$ without squaring; that is the grid (taxicab) distance, not the straight-line distance. Second, some stop at $d^2$ and forget the final square root. The correct chain is: subtract, square, add, then take the square root.

CounterexampleThe Distance Formula Is Not Additive Along Coordinates

One might guess that the distance from $A(0,0)$ to $B(3,4)$ equals $|3| + |4| = 7$ . The actual straight-line distance is $\sqrt{3^2 + 4^2} = \sqrt{25} = 5$ , not 7. The value 7 is the path length along the axes (3 across, then 4 up). The gap (7 vs. 5) is exactly why "as the crow flies" beats walking the grid — and it shows distance is governed by Pythagoras, never by plain addition of separations.

connection

The distance formula is the two-dimensional shadow of the Pythagorean Theorem and generalizes directly to three dimensions as $d = \sqrt{\Delta x^2 + \Delta y^2 + \Delta z^2}$ , and to the abstract notion of a Metric Space. The section formula is a special case of the Vector Position Formula: $\vec{P} = \frac{n\vec{A} + m\vec{B}}{m+n}$ , linking it to Vectors in the Plane and to the Convex Combination of two points. The centroid formula [6] feeds into Coordinate Geometry of Triangles and the study of Lines in the Plane, where the same coordinates determine slopes and equations.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid's Elements establishes the Pythagorean theorem (Book I, Proposition 47), the geometric ancestor of the distance formula, without any coordinate system.

- c. 1370 — Nicole Oresme uses proto-coordinate "latitudes and longitudes" to graph qualities, an early hint of plotting points by pairs.

- 1637 — René Descartes publishes La Géométrie, introducing coordinates and founding analytic geometry; distances and divisions become computable from numbers.

- 1637 — Pierre de Fermat, independently, develops coordinate methods in his Ad Locos Planos et Solidos Isagoge, sharing credit for the analytic approach.

- 1748 — Leonhard Euler, in Introductio in analysin infinitorum, systematizes analytic geometry and standardizes much modern notation.

- 1799 — Caspar Wessel and (1806) Jean-Robert Argand represent complex numbers as points in the plane, where

|z_2 - z_1|

is the distance formula in disguise.

- 1827 — August Möbius introduces barycentric (weighted) coordinates, generalizing the section and centroid formulas.

- 1906 — Maurice Fréchet abstracts distance into the general concept of a metric space, with the Euclidean distance [1] as the prototype.

open-problem

The distance and section formulas as stated assume a flat, Euclidean plane with perpendicular axes and equal unit scales. Several subtleties deserve thought. (1) Non-Euclidean settings: on the surface of a sphere (the Earth), straight-line "chord" distance differs from the geodesic (great-circle) distance, and equation [1] is only a local approximation. (2) Oblique axes: if the coordinate axes are not perpendicular, the distance formula acquires extra cross terms involving the angle between them. (3) The external division degenerate case: when $m = n$ in equation [5], the denominator $m - n = 0$ and the "external dividing point" runs off to infinity — geometrically the point that would divide $AB$ externally in ratio $1:1$ is the point at infinity in the direction of $AB$ , a notion made rigorous in projective geometry. (4) Choice of metric: the Euclidean distance is one of infinitely many valid metrics; the taxicab ( $L^1$ ) and Chebyshev ( $L^\infty$ ) distances obey the metric axioms too, and which distance is "right" depends entirely on the problem.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also