Andromeda
Note

Analytic Proof Strategies

Definition

Analytic Proof is a method of proving geometric theorems by placing figures into a coordinate system and applying algebraic formulas (Distance, Midpoint, Slope).

Why It Matters

These strategies are the “shortcuts” of geometric proof. By using a coordinate system, we can verify complex spatial truths with simple algebra, reducing the cognitive load and error rate compared to traditional, more abstract geometric methods.

Core Concepts

  • Strategic Placement of Figures:

    • Origin: Place at least one vertex at (0,0)(0, 0).
    • Axes: Align at least one side with an axis (usually the xx-axis) to create zero-coordinates.
    • Quadrant I: Keep vertices in the first quadrant where possible to maintain positive coordinates.
    • Symmetry: Sometimes centering a figure on an axis (e.g., (a,0)(-a, 0) and (a,0)(a, 0)) is more efficient.
    • How to read: “The origin at zero zero; the x-axis; and the points negative a zero and a zero.”
    • Meaning: Smart placement minimizes algebra—zeros and symmetry simplify distance and slope calculations.
  • Variable Selection:

    • Use general variables (a,b,ca, b, c) rather than specific numbers to prove the universal case.
    • The “Factor of 2” Rule: If midpoints are involved, use 2a,2b2a, 2b for coordinates to avoid fractions (e.g., the midpoint of (0,0)(0, 0) and (2a,0)(2a, 0) is (a,0)(a, 0)).
    • How to read: “The points two a, two b; and a zero.”
    • Meaning: Doubling coordinates before halving at midpoints keeps expressions fraction-free.
  • Mapping Geometric Goals to formulas:

    • Congruence: Show d1=d2d_1 = d_2 (Distance Formula).
    • Parallelism: Show m1=m2m_1 = m_2 (Slope Formula).
    • Perpendicularity: Show m1m2=1m_1 \cdot m_2 = -1 (Slope Formula).
    • Bisection: Show segments share a common midpoint (Midpoint Formula).
    • How to read: “Distance d one equals distance d two; slope m one equals slope m two; and slope m one times slope m two equals negative one.”
    • Meaning: Translate each geometric claim into an algebraic identity you can verify from coordinates.

Connected Concepts