10.3 Coordinate Geometry: Distance Formula, Midpoint Formula & Analytic Proofs

Foundations of the Cartesian Plane and Metric Geometry

Analytic geometry (coordinate geometry), developed by René Descartes and Pierre de Fermat, unifies synthetic Euclidean geometry and symbolic algebra. By establishing a one-to-one correspondence between points in a two-dimensional geometric plane and ordered pairs of real numbers $(x, y) \in \mathbb{R}^2$, geometric assertions concerning congruence, parallelism, perpendicularity, and collinearity are transformed into solvable algebraic equations.

In the standard Cartesian coordinate system, the plane is structured by two mutually perpendicular real number lines:

• The horizontal $x$-axis (abscissa)
• The vertical $y$-axis (ordinate)

These axes intersect at the origin $O(0, 0)$ and partition the plane into four infinite quadrants numbered I, II, III, and IV counterclockwise starting from the upper right.

---

The Distance Formula: Derivation and Geometric Applications

The fundamental metric governing Cartesian space is the distance formula, which quantifies the straight-line Euclidean distance $d$ between any two points $P_1(x_1, y_1)$ and $P_2(x_2, y_2)$.

Pythagorean Derivation

To derive the formula, construct an auxiliary right triangle by dropping a vertical segment from $P_2$ and extending a horizontal segment from $P_1$. The segments intersect at vertex $R(x_2, y_1)$:

1. The length of horizontal leg $\overline{P_1 R}$ is the absolute difference in horizontal coordinates: $|x_2 - x_1|$.
2. The length of vertical leg $\overline{R P_2}$ is the absolute difference in vertical coordinates: $|y_2 - y_1|$.
3. The straight-line segment $\overline{P_1 P_2}$ forms the hypotenuse of right triangle $\Delta P_1 R P_2$.

Applying the Pythagorean Theorem ($a^2 + b^2 = c^2$):

$$d^2 = (x_2 - x_1)^2 + (y_2 - y_1)^2$$

Taking the principal (non-negative) square root yields the Distance Formula:

$$d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}$$

Core Geometric Applications

• Side Length Congruence: Establishing whether a triangle is scalene (all three lengths unequal), isosceles (two lengths equal), or equilateral (all three lengths equal).
• Right Triangle Classification: Verifying whether three coordinates satisfy the converse of the Pythagorean Theorem ($d_{12}^2 + d_{23}^2 = d_{13}^2$).
• Perimeter and Polygon Classification: Verifying side congruence in rhombi, kites, and squares.

---

Midpoint and Directed Line Segment Partitioning Formulas

The Midpoint Formula

The midpoint $M$ of a line segment $\overline{P_1 P_2}$ is the unique point on the segment that divides it into two congruent sub-segments ($P_1 M = M P_2$). The coordinates of $M$ are the arithmetic means of the respective endpoint coordinates:

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

Partitioning a Directed Line Segment into Ratio $m:n$

A more general problem requires finding the point $P(x_p, y_p)$ that divides a directed segment from $P_1(x_1, y_1)$ to $P_2(x_2, y_2)$ into a given ratio $m:n$ (meaning $\frac{P_1 P}{P P_2} = \frac{m}{n}$).

If the segment is split into $m + n$ equal parts, point $P$ lies a fraction $k = \frac{m}{m + n}$ of the total distance from $P_1$ toward $P_2$:

• Total horizontal displacement: $\Delta x = x_2 - x_1$
• Total vertical displacement: $\Delta y = y_2 - y_1$

Adding the fractional displacement to starting point $P_1$ yields the Directed Segment Partitioning Formula:

$$x_p = x_1 + \left(\frac{m}{m + n}\right)(x_2 - x_1) = \frac{n x_1 + m x_2}{m + n}$$ $$y_p = y_1 + \left(\frac{m}{m + n}\right)(y_2 - y_1) = \frac{n y_1 + m y_2}{m + n}$$

Special Case: When $m = 1$ and $n = 1$, the ratio is $1:1$ (bisection). The fraction is $\frac{1}{1 + 1} = \frac{1}{2}$, recovering the midpoint formula: $\left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right)$.

---

Slope Criteria: Parallel and Perpendicular Lines

The slope $m$ of a non-vertical line passing through points $(x_1, y_1)$ and $(x_2, y_2)$ measures its rate of vertical change relative to horizontal change:

$$m = \frac{\Delta y}{\Delta x} = \frac{y_2 - y_1}{x_2 - x_1} \quad (x_1 \neq x_2)$$

Parallel Line Criterion

Two non-vertical lines $\ell_1$ and $\ell_2$ in the Cartesian plane are parallel ($\ell_1 \parallel \ell_2$) if and only if their slopes are strictly equal and their $y$-intercepts are distinct:

$$m_1 = m_2 \quad \text{and} \quad b_1 \neq b_2$$

(All vertical lines with undefined slope are parallel to one another).

Perpendicular Line Criterion

Two non-vertical lines $\ell_1$ and $\ell_2$ are perpendicular ($\ell_1 \perp \ell_2$) if and only if their slopes are negative reciprocals of each other, meaning their product equals $-1$:

$$m_1 \cdot m_2 = -1 \iff m_2 = -\frac{1}{m_1}$$

Proof via Rotation: Consider a line with positive slope $m_1 = \frac{b}{a}$. Rotating this line $90^\circ$ counterclockwise sends the horizontal run vector $\langle a, b \rangle$ to $\langle -b, a \rangle$. The slope of the rotated perpendicular line is $m_2 = \frac{a}{-b} = -\frac{a}{b}$. Multiplying the two slopes yields $m_1 \cdot m_2 = \left(\frac{b}{a}\right) \left(-\frac{a}{b}\right) = -1$. (A horizontal line with slope $m = 0$ is perpendicular to a vertical line with undefined slope).

---

Principles of Analytic Coordinate Proofs: Variable Placement Without Loss of Generality

An analytic coordinate proof establishes a geometric theorem by placing the figure in the coordinate plane, assigning algebraic variable coordinates to its vertices, and applying algebraic formulas (distance, midpoint, slope) to verify the required geometric relationship.

Strategic Guidelines for Coordinate Assignment

To maximize algebraic simplicity while maintaining mathematical rigor and without loss of generality:

1. Anchor at the Origin: Position one vertex at the origin $O(0, 0)$.
2. Orient with Coordinate Axes: Position at least one side along the positive $x$-axis so that all points on that side have $y = 0$.
3. Use General Variables: Use independent variables ($a, b, c, d$) rather than specific numbers. Never assume sides are equal or perpendicular unless specified by theorem premises.
4. Anticipate Midpoints with Multiples of 2: If the proof involves midpoints or fractional divisions, assign coordinates as multiples of 2 (e.g., $(2a, 0)$ or $(2b, 2c)$) to eliminate fractional terms from intermediate algebra.

Canonical Coordinate Placements for Common Figures

---

Canonical Coordinate Proofs of Geometric Theorems

Theorem 1: The Diagonals of a Parallelogram Bisect Each Other

• Hypothesis: Quadrilateral $ABCD$ is a parallelogram.
• Conclusion: Diagonals $\overline{AC}$ and $\overline{BD}$ share the identical midpoint.
• Proof: Place parallelogram $ABCD$ with vertices at $A(0, 0)$, $B(a, 0)$, $C(a + b, c)$, and $D(b, c)$. Calculate the midpoint of diagonal $\overline{AC}$ connecting $(0, 0)$ and $(a + b, c)$: $$M_{AC} = \left(\frac{0 + (a + b)}{2}, \frac{0 + c}{2}\right) = \left(\frac{a + b}{2}, \frac{c}{2}\right)$$ Calculate the midpoint of diagonal $\overline{BD}$ connecting $(a, 0)$ and $(b, c)$: $$M_{BD} = \left(\frac{a + b}{2}, \frac{0 + c}{2}\right) = \left(\frac{a + b}{2}, \frac{c}{2}\right)$$ Because $M_{AC} = M_{BD}$, both diagonals intersect at their exact midpoints. Therefore, the diagonals bisect each other. $\blacksquare$

Theorem 2: The Diagonals of a Rhombus are Perpendicular

• Hypothesis: Quadrilateral $ABCD$ is a rhombus ($AB = BC = CD = DA$).
• Conclusion: Diagonals $\overline{AC} \perp \overline{BD}$.
• Proof: Assign coordinates $A(0, 0)$, $B(a, 0)$, $C(a + b, c)$, and $D(b, c)$. Because $ABCD$ is a rhombus, side length $AD$ must equal side length $AB = a$: $$AD^2 = (b - 0)^2 + (c - 0)^2 = b^2 + c^2 = a^2 \implies a^2 - b^2 = c^2$$ Calculate the slope of diagonal $\overline{AC}$: $$m_{AC} = \frac{c - 0}{(a + b) - 0} = \frac{c}{a + b}$$ Calculate the slope of diagonal $\overline{BD}$: $$m_{BD} = \frac{c - 0}{b - a} = \frac{c}{b - a}$$ Compute the product of the slopes: $$m_{AC} \cdot m_{BD} = \left(\frac{c}{a + b}\right) \left(\frac{c}{b - a}\right) = \frac{c^2}{(b + a)(b - a)} = \frac{c^2}{b^2 - a^2}$$ Substitute $b^2 - a^2 = -c^2$ from the rhombus side constraint: $$m_{AC} \cdot m_{BD} = \frac{c^2}{-c^2} = -1$$ Because the product of their slopes is $-1$, diagonals $\overline{AC}$ and $\overline{BD}$ are perpendicular. $\blacksquare$

Theorem 3: The Triangle Midsegment Theorem

• Hypothesis: In $\Delta ABC$, segment $\overline{MN}$ connects the midpoint $M$ of side $\overline{AB}$ to the midpoint $N$ of side $\overline{AC}$.
• Conclusion: $\overline{MN} \parallel \overline{BC}$ and $MN = \frac{1}{2} BC$.
• Proof: Assign coordinates using multiples of 2: $A(2b, 2c)$, $B(0, 0)$, and $C(2a, 0)$. Side $\overline{BC}$ lies along the $x$-axis with length $BC = 2a$ and slope $m_{BC} = 0$. Find midpoint $M$ of $\overline{AB}$ connecting $(0, 0)$ and $(2b, 2c)$: $$M = \left(\frac{0 + 2b}{2}, \frac{0 + 2c}{2}\right) = (b, c)$$ Find midpoint $N$ of $\overline{AC}$ connecting $(2b, 2c)$ and $(2a, 0)$: $$N = \left(\frac{2b + 2a}{2}, \frac{2c + 0}{2}\right) = (a + b, c)$$ Compute the slope of midsegment $\overline{MN}$: $$m_{MN} = \frac{c - c}{(a + b) - b} = \frac{0}{a} = 0$$ Because $m_{MN} = m_{BC} = 0$, $\overline{MN} \parallel \overline{BC}$. Compute the length of midsegment $\overline{MN}$ via the distance formula: $$MN = \sqrt{((a + b) - b)^2 + (c - c)^2} = \sqrt{a^2 + 0^2} = a$$ Because $BC = 2a$, $MN = a = \frac{1}{2}(2a) = \frac{1}{2} BC$. $\blacksquare$

---

Summary Reference Table of Coordinate Metrics and Proof Strategies

---

Worked Step-by-Step Examples

Worked Example 1: Partitioning a Directed Segment in Ratio $3:2$

Problem: Directed line segment $\overline{AB}$ connects point $A(-4, 7)$ to point $B(6, -8)$. Determine the coordinates of point $P$ that partitions $\overline{AB}$ from $A$ to $B$ in the ratio $3:2$.

Solution: Step 1: Identify the partitioning fraction $k$: The ratio is $m:n = 3:2$. The total number of equal parts is $m + n = 3 + 2 = 5$. The fraction of the total distance from $A$ to $B$ is:

$$k = \frac{m}{m + n} = \frac{3}{5} = 0.6$$

Step 2: Calculate total horizontal and vertical displacements:

$$\Delta x = x_B - x_A = 6 - (-4) = 10$$ $$\Delta y = y_B - y_A = -8 - 7 = -15$$

Step 3: Apply the partitioning coordinates formula:

$$x_P = x_A + k \cdot \Delta x = -4 + \frac{3}{5}(10) = -4 + 6 = 2$$ $$y_P = y_A + k \cdot \Delta y = 7 + \frac{3}{5}(-15) = 7 - 9 = -2$$

Point $P$ has coordinates $(2, -2)$.

Worked Example 2: Classifying a Quadrilateral in the Coordinate Plane

Problem: Quadrilateral $JKLM$ has vertices $J(-2, 3)$, $K(4, 5)$, $L(6, -1)$, and $M(0, -3)$. Provide a complete analytic classification of $JKLM$ (trapezoid, parallelogram, rectangle, rhombus, or square).

Solution: Step 1: Calculate slopes of all four sides to test for parallelism:

• $m_{JK} = \frac{5 - 3}{4 - (-2)} = \frac{2}{6} = \frac{1}{3}$
• $m_{KL} = \frac{-1 - 5}{6 - 4} = \frac{-6}{2} = -3$
• $m_{LM} = \frac{-3 - (-1)}{0 - 6} = \frac{-2}{-6} = \frac{1}{3}$
• $m_{MJ} = \frac{3 - (-3)}{-2 - 0} = \frac{6}{-2} = -3$ Because $m_{JK} = m_{LM} = \frac{1}{3}$ and $m_{KL} = m_{MJ} = -3$, opposite sides are parallel ($JK \parallel LM$ and $KL \parallel MJ$). $JKLM$ is a parallelogram.

Step 2: Check for perpendicular adjacent sides:

$$m_{JK} \cdot m_{KL} = \left(\frac{1}{3}\right) (-3) = -1$$

Adjacent sides are perpendicular, meaning all four interior angles are $90^\circ$. $JKLM$ is a rectangle.

Step 3: Check for side length equality to test for a rhombus/square:

• $JK = \sqrt{(4 - (-2))^2 + (5 - 3)^2} = \sqrt{6^2 + 2^2} = \sqrt{36 + 4} = \sqrt{40} = 2\sqrt{10}$
• $KL = \sqrt{(6 - 4)^2 + (-1 - 5)^2} = \sqrt{2^2 + (-6)^2} = \sqrt{4 + 36} = \sqrt{40} = 2\sqrt{10}$ Adjacent sides are congruent ($JK = KL = 2\sqrt{10}$). A rectangle with congruent adjacent sides is a square. $JKLM$ is classified as a square.

---

Diagnostic Misconceptions & Pedagogical Strategies

1. Midpoint Subtraction Error: Middle school students frequently confuse the midpoint formula with the distance or slope formulas by subtracting coordinates rather than adding them: computing $\frac{x_2 - x_1}{2}$ instead of $\frac{x_1 + x_2}{2}$. Pedagogical remedy: Anchor the midpoint concept to the arithmetic average (mean). If a student scores 80 and 100 on two tests, their midpoint score is $\frac{80 + 100}{2} = 90$, not $\frac{100 - 80}{2} = 10$. The midpoint is the physical average of position coordinates.
2. Ratio $m:n$ vs. Fraction $m/n$ Confusion: When asked to partition a segment in the ratio $2:3$, students frequently multiply $\Delta x$ by $\frac{2}{3}$ rather than $\frac{2}{2 + 3} = \frac{2}{5}$. Remind students that a ratio compares part-to-part ($2$ parts to $3$ parts), which means the entire whole consists of $2 + 3 = 5$ parts.
3. Loss of Generality in Analytic Proofs: Certification candidates often commit the logical error of assigning numerical constants (e.g., $(0,0), (4,0), (4,6), (0,6)$) when asked to prove a theorem for all rectangles. A proof with numbers proves the theorem only for that single numerical instance. Emphasize that variables ($a, b, c$) represent arbitrary real numbers, ensuring the proof holds universally.