9.1 Distance, Midpoint, Slope Criteria & Coordinate Proofs
Key Takeaways
- The Euclidean distance formula d = sqrt((x2 - x1)^2 + (y2 - y1)^2) derives from the Pythagorean theorem, while the midpoint M = ((x1 + x2)/2, (y1 + y2)/2) represents the arithmetic mean of endpoint coordinates.
- Partitioning a directed segment AB from A(x1, y1) to B(x2, y2) in ratio m:n uses weighted linear interpolation: P = ((n*x1 + m*x2)/(m+n), (n*y1 + m*y2)/(m+n)) = (x1 + (m/(m+n))*(x2 - x1), y1 + (m/(m+n))*(y2 - y1)).
- Perpendicular distance from point (x0, y0) to line Ax + By + C = 0 is d = |A*x0 + B*y0 + C| / sqrt(A^2 + B^2), and the distance between parallel lines Ax + By + C1 = 0 and Ax + By + C2 = 0 is d = |C1 - C2| / sqrt(A^2 + B^2).
- Parallel lines possess identical slopes (m1 = m2), whereas perpendicular lines possess negative reciprocal slopes (m1 * m2 = -1).
- Coordinate proofs establish geometric theorems algebraically by strategically assigning variable coordinates (e.g., placing one vertex at the origin and sides along axes), frequently employing multiples of 2 to avoid fractions when calculating midpoints.
9.1 Distance, Midpoint, Slope Criteria & Coordinate Proofs
Foundational Metric Formulas: Euclidean Distance and Midpoint
The Cartesian coordinate system provides an algebraic bridge to Euclidean geometry, translating geometric postulates into analytic equations. The fundamental metric on $\mathbb{R}^2$ is the Euclidean distance between two points $P_1(x_1, y_1)$ and $P_2(x_2, y_2)$. Constructing a right triangle with legs parallel to the coordinate axes yields horizontal displacement $\Delta x = x_2 - x_1$ and vertical displacement $\Delta y = y_2 - y_1$. Applying the Pythagorean theorem directly derives the Euclidean distance formula: Because squaring eliminates sign dependency, $(x_2 - x_1)^2 = (x_1 - x_2)^2$, making distance invariant under endpoint ordering.
The midpoint $M$ of directed segment $\overline{P_1 P_2}$ represents the point equidistant from $P_1$ and $P_2$ that lies on the segment. Analytically, each coordinate of $M$ is the arithmetic mean of the corresponding endpoint coordinates: This formula generalizes to $n$-dimensional Euclidean space $\mathbb{R}^n$, reflecting the linear center of mass of two unit point masses.
Directed Segment Partitioning in a Given Ratio
A recurring competency on the FTCE Mathematics 6-12 examination involves partitioning a directed line segment $\overline{AB}$ in a specified ratio. Let $A(x_1, y_1)$ and $B(x_2, y_2)$ be distinct points on the Cartesian plane. We seek a point $P(x, y)$ on $\overline{AB}$ such that the ratio of the directed distance from $A$ to $P$ to the directed distance from $P$ to $B$ satisfies: This is equivalent to stating that $P$ lies a fraction $k = \frac{m}{m + n}$ of the total directed distance from $A$ to $B$. By dropping perpendiculars to the coordinate axes, similar right triangles establish that the horizontal and vertical displacements scale by the identical ratio $k$: When $m = n = 1$, the partition ratio is $1:1$, reducing to the standard midpoint formula $k = \frac{1}{2}$. Examinees must carefully distinguish between two common problem phrasings:
- "Point $P$ divides segment $\overline{AB}$ in the ratio $m:n$": Here, $k = \frac{m}{m + n}$.
- "Point $P$ is $\frac{m}{n}$ of the distance from $A$ to $B$": Here, the fractional scalar $k = \frac{m}{n}$ is applied directly without adding the denominator.
Slope Criteria, Point-to-Line Distance & Parallel Lines
The orientation of lines in the coordinate plane is quantified by slope $m = \frac{\Delta y}{\Delta x} = \frac{y_2 - y_1}{x_2 - x_1}$ for non-vertical lines ($\Delta x \neq 0$). Geometric relationships translate into algebraic criteria:
- Parallel Lines: Two distinct non-vertical lines $L_1$ and $L_2$ with slopes $m_1$ and $m_2$ are parallel ($L_1 \parallel L_2$) if and only if their slopes are identical: $m_1 = m_2$.
- Perpendicular Lines: Two non-vertical lines $L_1$ and $L_2$ are perpendicular ($L_1 \perp L_2$) if and only if the product of their slopes is $-1$: This negative reciprocal relationship arises directly from rotating a direction vector $(1, m_1)$ by $90^\circ$ to $(-m_1, 1)$, whose slope is $-1/m_1$.
The perpendicular distance from an arbitrary point $P(x_0, y_0)$ to a general line $L: Ax + By + C = 0$ is obtained by projecting the vector from a line point to $P$ onto the normal vector $\mathbf{n} = \langle A, B \rangle$: For two parallel lines written in standard form with identical leading coefficients, $L_1: Ax + By + C_1 = 0$ and $L_2: Ax + By + C_2 = 0$, the perpendicular distance separating them is: If given lines have proportional coefficients, one must multiply or divide by a scalar to equate $A$ and $B$ before applying this formula.
Coordinate Proof Methodology: Strategic Variable Assignment
A coordinate proof uses algebra to verify geometric theorems. The power of coordinate proofs relies on setting up a coordinate system that maximizes computational simplicity without sacrificing geometric generality.
Key strategic placement heuristics include:
- Anchor to the Origin: Place one vertex or significant point (e.g., center of symmetry or intersection of diagonals) at $(0, 0)$.
- Align with Coordinate Axes: Position at least one side along the x-axis or y-axis so that one coordinate becomes identically zero.
- Exploit Symmetry: For symmetric figures (isosceles triangles, rectangles, rhombi, isosceles trapezoids), place the axis of symmetry along the y-axis or place the figure symmetrically about the origin.
- Avoid Fractions via Scale Multipliers: If midpoints will be computed, assign coordinates using multiples of 2 (e.g., $(2a, 0)$, $(2b, 2c)$) so that dividing by 2 yields clean integer expressions without fractions.
- Preserve Generality: Never use numerical constants for general proofs. Avoid assigning special properties (e.g., do not set $b = a$ or $y = 0$ unless the geometric definition requires it).
Worked Coordinate Proof Exemplars
Exemplar 1: Diagonals of a Parallelogram Bisect Each Other
- Figure Setup: Place parallelogram $ABCD$ with vertex $A$ at the origin $(0, 0)$. Align base $\overline{AB}$ along the positive x-axis by defining $B(a, 0)$ where $a > 0$. Let $D$ be located at $(b, c)$ with $c > 0$. Since $\overline{DC}$ is parallel and congruent to $\overline{AB}$, the vector from $D$ to $C$ is $\langle a, 0 \rangle$. Thus, vertex $C$ is $(b + a, c) = (a + b, c)$.
- Diagonal 1 ($\overline{AC}$): Connects $(0, 0)$ to $(a + b, c)$. Its midpoint $M_{AC}$ is:
- Diagonal 2 ($\overline{BD}$): Connects $(a, 0)$ to $(b, c)$. Its midpoint $M_{BD}$ is:
- Conclusion: Because $M_{AC} = M_{BD}$, both diagonals intersect at their mutual midpoint, proving analytically that the diagonals of any parallelogram bisect each other.
Exemplar 2: Triangle Midsegment Theorem
- Figure Setup: Place $\triangle ABC$ on the plane with $A$ at $(0, 0)$, $B$ along the x-axis at $(2a, 0)$, and $C$ at $(2b, 2c)$. Using coefficients of 2 prevents fractional denominators.
- Midpoints: Let $M$ be the midpoint of $\overline{AC}$ and $N$ be the midpoint of $\overline{BC}$:
- Parallelism Verification: Calculate the slopes of midsegment $\overline{MN}$ and base $\overline{AB}$: Since $m_{MN} = m_{AB} = 0$, $\overline{MN} \parallel \overline{AB}$.
- Length Verification: Calculate lengths using the distance formula: Since $MN = a = \frac{1}{2}(2a) = \frac{1}{2}AB$, the midsegment is parallel to the third side and half its length.
Worked Computational Exemplar: Directed Segment Partition
Problem: Find the coordinates of point $P$ that partitions directed segment $\overline{AB}$ from $A(-3, 8)$ to $B(7, -7)$ in the ratio $2:3$.
- Solution: The partition ratio is $m:n = 2:3$.
- The fractional distance along the segment from $A$ to $B$ is:
- Apply the horizontal coordinate formula:
- Apply the vertical coordinate formula:
- Therefore, the partition point is $P(1, 2)$. Checking the directed distances confirms:
Coordinate Proof Setup and Formula Reference Table
| Geometric Figure | Optimal Vertex Coordinate Setup | Symmetry / Alignment Justification | Algebraic Proof Objective | Key Verification Test |
|---|---|---|---|---|
| General Triangle | $(0,0), (2a, 0), (2b, 2c)$ | Base on x-axis; factors of 2 eliminate midpoint fractions | Midsegment theorem, medians concurrency | Verify slopes match and lengths satisfy $1:2$ ratio |
| Isosceles Triangle | $(-a, 0), (a, 0), (0, c)$ | Symmetric about y-axis; altitude on y-axis | Altitude bisects base; base angles congruent | Midpoint of base is $(0,0)$; leg distances equal $\sqrt{a^2+c^2}$ |
| Right Triangle | $(0,0), (2a, 0), (0, 2b)$ | Legs aligned along positive coordinate axes | Midpoint of hypotenuse equidistant from all three vertices | Distance from $(a,b)$ to $(0,0), (2a,0), (0,2b)$ equals $\sqrt{a^2+b^2}$ |
| Parallelogram | $(0,0), (a, 0), (b, c), (a+b, c)$ | Bottom base on x-axis; top base shifted horizontally by $a$ | Diagonals bisect each other | Midpoints of both diagonals evaluate to $((a+b)/2, c/2)$ |
| Rectangle | $(0,0), (a, 0), (a, b), (0, b)$ | Aligned with coordinate axes; right angles guaranteed | Diagonals are congruent | Both diagonal lengths evaluate to $\sqrt{a^2+b^2}$ |
| Rhombus | $(-a, 0), (a, 0), (0, b), (0, -b)$ | Diagonals centered at origin along coordinate axes | Diagonals are perpendicular bisectors | Midpoints equal $(0,0)$; slopes are $0$ and undefined ($m_1 \perp m_2$) |
| Isosceles Trapezoid | $(-a, 0), (a, 0), (b, c), (-b, c)$ | Bases parallel to x-axis, symmetric across y-axis | Diagonals are congruent | Diagonal lengths $\sqrt{(a+b)^2+c^2}$ and $\sqrt{(-a-b)^2+c^2}$ are identical |
Point A has coordinates (-5, 4) and point B has coordinates (7, -2). What are the coordinates of the point P that lies on directed segment AB such that the ratio of AP to PB is 1:3?
What is the exact perpendicular distance from the point P(2, -3) to the line given by the linear equation 3x - 4y + 12 = 0?
An examinee intends to construct a coordinate proof demonstrating that the diagonals of an isosceles trapezoid are congruent. Which vertex coordinate assignment preserves full geometric generality while introducing the minimal number of independent algebraic parameters?
In a coordinate proof of the Triangle Midsegment Theorem, the vertices of triangle ABC are assigned coordinates A(0, 0), B(2a, 0), and C(2b, 2c). If M is the midpoint of AC and N is the midpoint of BC, which mathematical conclusion confirms both claims of the theorem?