Distance and Section in the Plane

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.

Given two points $A (x_{1}, y_{1})$ and $B (x_{2}, y_{2})$ in the Cartesian plane, the distance formula computes the length $A B = (x_{2} - x_{1})^{2} + (y_{2} - y_{1})^{2}$ , while the section formula locates the point $P$ that splits the segment $A B$ in the ratio $m : n$ . These two results convert geometric statements — "how far apart," "where is the midpoint," "which point cuts this in 2:3" — into pure arithmetic on coordinates. They matter because they are the bridge between algebra and geometry: with them, every theorem about lengths, midpoints, centroids, and divisions becomes a calculation. A surprising fact is that the same section formula handles external division simply by allowing a negative ratio, so one formula governs points both inside and outside the segment.

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 ( $Δ x = x_{2} - x_{1}$ , $Δ 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."

Formal Statement

Distance 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:

d (A, B) = (x_{2} - x_{1})^{2} + (y_{2} - y_{1})^{2}

⟳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

A B

Symbols: $x_{1}, y_{1}$ are the coordinates of the first point; $x_{2}, y_{2}$ of the second; $d (A, B) \geq 0$ is the resulting length, in the same units as the coordinate axes.

A useful special case is the distance from the origin $O (0, 0)$ to a point $P (x, y)$ :

O P = x^{2} + y^{2}

⟳Set

x_{1} = y_{1} = 0

in equation [1].

Internal 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 $A P : P B = m : n$ with $P$ between $A$ and $B$ . Then the coordinates of $P$ are:

P = (\frac{m x _{2} + n x _{1}}{m + n}, \frac{m y _{2} + n y _{1}}{m + n})

⟳Drop perpendiculars from

A

P

B

to the

x

-axis; the resulting similar triangles give

A P : P B = (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.

Midpoint Formula

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

M = (\frac{x _{1} + x _{2}}{2}, \frac{y _{1} + y _{2}}{2})

⟳Substitute

m = n = 1

into equation [3].

External Section Formula

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

P = (\frac{m x _{2} - n x _{1}}{m - n}, \frac{m y _{2} - n y _{1}}{m - n})

⟳Replace the ratio

n

- n

in the internal formula [3], since external division reverses the sign of one directed segment.

Centroid 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:

G = (\frac{x _{1} + x _{2} + x _{3}}{3}, \frac{y _{1} + y _{2} + y _{3}}{3})

⟳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.

Why It Holds / Derivation

Distance 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

A B C

forms a right triangle with the right angle at

C

. Step 2. The horizontal leg

A C

runs from

x_{1}

x_{2}

at the same height, so its length is

∣ x_{2} - x_{1} ∣

. Step 3. The vertical leg

C B

runs from

y_{1}

y_{2}

at the same

x

-value, so its length is

∣ y_{2} - y_{1} ∣

. Step 4. By the Pythagorean theorem,

A B^{2} = A C^{2} + C B^{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].

■

Internal Section Formula from Similar Triangles

Step 1. Let

P (x, y)

lie on

A B

with

A P : P B = 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

A A^{'}

P P^{'}

B B^{'}

are all vertical, hence parallel. By the basic proportionality theorem, the parallels cut the transversal

A B

and the

x

-axis in equal ratios:

A^{'} P^{'} : P^{'} B^{'} = A P : P B = 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:

n x - n x_{1} = m x_{2} - m x

, so

n x + m x = m x_{2} + n x_{1}

, hence

x = \frac{m x _{2} + n x _{1}}{m + n}

. Step 5. Repeating with perpendiculars to the

y

-axis gives

y = \frac{m y _{2} + n y _{1}}{m + n}

. Together these give equation [3].

■

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

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.

Building Intuition

Think of going from $A$ to $B$ as a walk on a city grid. You can only count blocks east-west ( $Δ x$ ) and blocks north-south ( $Δ 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.

Worked Examples

Distance Between Two Given Points

Given:

A (2, 3)

and

B (7, 15)

, coordinates in metres. Find: the distance

A B

. Step 1 — horizontal separation:

Δ x = x_{2} - x_{1} = 7 - 2 = 5

. Step 2 — vertical separation:

Δ y = y_{2} - y_{1} = 15 - 3 = 12

. Step 3 — apply equation [1]:

d = 5^{2} + 1 2^{2} = 25 + 144 = 169 .

Step 4 — evaluate:

169 = 13

A B = 13 m

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

Internal Division in a Given Ratio

Given:

A (- 1, 4)

and

B (5, - 2)

; point

P

divides

A B

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.

P = (3, 0)

Check:

P

should be two-thirds of the way from

A

B

. The midpoint of

A B

(\frac{- 1 + 5}{2}, \frac{4 - 2}{2}) = (2, 1)

, and

P (3, 0)

lies beyond it toward

B (5, - 2)

— consistent with the heavier pull at

B

. ✓

Common Misconceptions

Mixing Up Which Endpoint Gets Which Weight

A frequent error is writing $P = (\frac{m x _{1} + n x _{2}}{m + n}, \dots)$ — putting $m$ on the first point. The formula uses the cross-pattern: the weight $m$ (the first number in the ratio $m : n = A P : P B$ ) multiplies the coordinates of the second point $B$ . Reason: a larger $m$ means $A P$ 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.

The 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 $3^{2} + 4^{2} = 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.

Connections

The distance formula is the two-dimensional shadow of the Pythagorean Theorem and generalizes directly to three dimensions as $d = Δ x^{2} + Δ y^{2} + Δ z^{2}$ , and to the abstract notion of a Metric Space. The section formula is a special case of the Vector Position Formula: $P = \frac{n A + m 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.

Real-World Applications

GPS and navigation: the straight-line ("great-circle"-approximated, locally planar) distance between two points uses equation [1] as its flat-earth foundation; route-planning software repeatedly evaluates it.
Computer graphics and games: collision detection checks whether the distance between two object centres is less than the sum of their radii; the section formula interpolates ("lerps") positions between keyframes.
Surveying and civil engineering: plotting boundary corners and finding the midpoint of a property line, or dividing a road segment for placing markers, uses the section formula directly.
Robotics: a robot arm computes the distance to a target and divides its path into ratio-based waypoints for smooth motion planning.
Physics — centre of mass: the centroid formula [6] is the equal-mass case of locating a centre of mass, central to mechanics and balancing problems.
Machine learning: the Euclidean distance [1] is the core measure in $k$ -nearest-neighbours classification and $k$ -means clustering of data points.
Cartography and GIS: geographic information systems store features as coordinates and compute distances and proportional subdivisions for zoning and resource allocation.

Historical Development

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.

Subtleties & Limits

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 $A B$ externally in ratio $1 : 1$ is the point at infinity in the direction of $A B$ , 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.