Algebraic Constraints & Loci — I can connect algebraic...

SECTION 1

Historical Context & Motivation

For thousands of years, mathematicians studied shapes by drawing them and reasoning about their properties visually. The ancient Greeks—especially geometers like Euclid and Apollonius—catalogued curves such as circles, ellipses, parabolas, and hyperbolas, but they described them purely through geometric constructions with compass and straightedge. There was no systematic way to translate a geometric picture into a formula, or vice versa. The idea that a locus (a set of points satisfying a specific condition) could be captured by an algebraic equation was still centuries away.

~300 BCE

Euclid's Elements

Euclid formalized geometry as a system of axioms and proofs. Loci like circles were defined as 'the set of all points equidistant from a center,' but everything stayed in the language of geometry—no algebra.

~200 BCE

Apollonius & Conic Sections

Apollonius of Perga wrote eight books on conic sections, describing parabolas, ellipses, and hyperbolas by slicing a cone. His work was entirely geometric, yet it foreshadowed the algebraic descriptions that would come much later.

1637

Descartes Creates Analytic Geometry

René Descartes published La Géométrie, introducing the coordinate plane. For the first time, geometric curves could be expressed as algebraic equations—and algebraic equations could be visualized as curves. This was the birth of connecting algebraic constraints to geometric loci.

1655

Wallis & the Conic Equations

John Wallis systematically wrote the equations for all conic sections, showing that circles, ellipses, parabolas, and hyperbolas are all special cases of a single general second-degree equation.

Modern Era

Loci in Technology

Today, GPS satellites locate your phone by finding the locus of points at known distances from multiple satellites—an intersection of spheres defined by algebraic equations. Computer-aided design, robotics, and video game graphics all rely on the algebra-locus connection.

The central question this lesson addresses is: How does an algebraic equation determine a geometric shape, and how does a geometric condition translate into an equation? Once you see this connection, you'll realize that every equation you've ever graphed is actually describing a locus—a set of points obeying a rule.

SECTION 2

Core Principles & Definitions

Before diving into examples, let's establish the key ideas that tie algebra and geometry together. A locus (plural: loci) is the complete set of points that satisfy a given geometric condition. An algebraic constraint is an equation or inequality involving variables (usually x and y) that restricts which coordinate pairs are allowed. The fundamental insight of analytic geometry is that these two descriptions—geometric and algebraic—are interchangeable.

Locus as a Point Set

A locus is not just one point—it's every point (x, y) in the plane that meets a stated condition. A circle of radius 5 centered at the origin is the locus of all points whose distance from (0, 0) equals 5.

Algebraic Constraint = Rule

An algebraic constraint like x² + y² = 25 acts as a filter. Plug in any (x, y) pair: if the equation is true, the point belongs to the locus; if not, it doesn't. The equation is the condition.

Translation Process

To go from geometry to algebra: express the geometric condition using the distance formula, midpoint formula, or slope. To go from algebra to geometry: recognize the form of the equation and identify the shape it represents.

Intersection = System of Equations

When two loci overlap, the intersection points satisfy both constraints simultaneously. Finding where a line meets a circle means solving the line equation and the circle equation as a system.

Constraints Can Be Inequalities

An inequality like x² + y² < 25 defines a region (the interior of a circle) rather than a curve. The boundary is the locus of equality; the interior and exterior are determined by the direction of the inequality.

✦ KEY TAKEAWAY

Think of a locus like a club with a membership rule. The algebraic constraint is the rule (for example, 'you must live exactly 5 miles from city hall'), and the locus is the set of all addresses that pass the test. The equation doesn't create the shape—it describes which points qualify and which don't. Change the rule, and you change which points get in.

SECTION 3

Visualizing Loci on the Coordinate Plane

The diagram below shows three classic loci on a single coordinate plane: a circle, a perpendicular bisector, and a parabola. Each curve is generated by a different geometric condition, yet each can be expressed as a single algebraic equation. Notice how the algebraic form controls the shape: a squared sum gives a circle, a linear equation gives a straight line, and a relationship involving a focus and a directrix gives a parabola.

Three loci plotted on the same coordinate plane. The cyan circle is the set of all points at distance 5 from the origin. The violet line is every point equidistant from A(3, 2) and B(−3, −2). The pink parabola is the set of points equidistant from the focus (0, 1) and the directrix y = −1.

Look at how each locus tells a story. The circle in cyan collects every point whose distance from the origin is exactly 5; squaring that distance condition produces x² + y² = 25. The violet line is the perpendicular bisector of segment AB, meaning every point on it is the same distance from A as from B. Setting those distances equal and simplifying gives the linear equation 3x + 2y = 0. The pink parabola gathers every point equidistant from a fixed point (the focus) and a fixed line (the directrix). In each case, a simple geometric rule generates an entire curve, and the algebra captures that rule precisely.

SECTION 4

Mathematical Framework

Translating a geometric condition into an algebraic constraint relies on a small toolkit of formulas you already know. Below are the key equations, along with the loci they generate when used as constraints.

DISTANCE FORMULA (CIRCLE CONSTRAINT)

√[(x − h)² + (y − k)²] = r → (x − h)² + (y − k)² = r²

Here (h, k) is the center and r is the radius. The constraint 'distance from center equals r' produces a circle.

EQUIDISTANT CONSTRAINT (PERPENDICULAR BISECTOR)

√[(x − x₁)² + (y − y₁)²] = √[(x − x₂)² + (y − y₂)²]

Set the distance from a variable point (x, y) to two fixed points equal. After squaring both sides and simplifying, the square roots and squared terms cancel to leave a linear equation—the perpendicular bisector of the segment joining (x₁, y₁) and (x₂, y₂).

FOCUS-DIRECTRIX CONSTRAINT (PARABOLA)

√[(x − h)² + (y − k)²] = |y − d|

The distance from a point to the focus (h, k) equals its distance to the directrix y = d. Squaring and simplifying yields a quadratic equation in x and y—the equation of a parabola.

SUM OF DISTANCES (ELLIPSE)

√[(x − c)² + y²] + √[(x + c)² + y²] = 2a

The sum of distances from any point on the curve to two foci is constant (2a). After algebraic manipulation this simplifies to x²/a² + y²/b² = 1, the standard form of an ellipse where b² = a² − c².

💡 The General Strategy

No matter the locus, the process is the same: (1) State the geometric condition in words. (2) Assign coordinates to the variable point and the fixed elements. (3) Translate the condition into an equation using distance, slope, or another formula. (4) Simplify the equation. The result is your algebraic constraint, and every (x, y) satisfying it belongs to the locus.

SECTION 5

Classifying Common Loci

Different geometric conditions produce different families of curves. The table below summarizes the most common loci you'll encounter in high school geometry and precalculus. Pay attention to how the type of constraint—fixed distance, equal distance, constant sum, or constant difference—determines the shape.

Common geometric conditions and the loci they produce

Geometric Condition	Locus (Shape)	Standard Algebraic Form
All points at distance r from center (h, k)	Circle	(x − h)² + (y − k)² = r²
All points equidistant from two fixed points	Perpendicular bisector (line)	ax + by = c (linear)
All points equidistant from a point (focus) and a line (directrix)	Parabola	(x − h)² = 4p(y − k) or (y − k)² = 4p(x − h)
All points where the sum of distances to two foci is constant	Ellipse	x²/a² + y²/b² = 1
All points where the absolute difference of distances to two foci is constant	Hyperbola	x²/a² − y²/b² = 1
All points at distance d from a given line	Pair of parallel lines	Two linear equations offset by ±d from the line

Five classic loci side by side. Each panel states the geometric condition at the bottom. Notice the progression: a single fixed distance gives a circle, equal distances from two points give a line, a constant sum gives an ellipse, a constant difference gives a hyperbola, and equal distance from a point and a line gives a parabola.

The important pattern here is that the type of distance relationship in the condition directly determines the degree and form of the resulting equation. Equal distances from two points collapse (after squaring) to a first-degree equation—a line. A fixed distance from one point gives a second-degree equation with equal coefficients on x² and y²—a circle. When two distances are added or subtracted and set equal to a constant, the algebra produces second-degree equations with different coefficients on x² and y², yielding ellipses or hyperbolas.

SECTION 6

Worked Example — Finding the Equation of a Locus

Let's walk through a complete example. We'll take a geometric condition, translate it into algebra, and identify the resulting locus.

Find the locus of all points equidistant from A(2, 5) and B(−4, 1).

Step 1 — State the Condition AlgebraicallyLet P(x, y) be any point on the locus. The condition is: distance from P to A equals distance from P to B. Using the distance formula: √[(x − 2)² + (y − 5)²] = √[(x + 4)² + (y − 1)²].

Step 2 — Square Both SidesSquaring eliminates the square roots: (x − 2)² + (y − 5)² = (x + 4)² + (y − 1)².

Step 3 — Expand Both SidesLeft side: x² − 4x + 4 + y² − 10y + 25 = x² − 4x + y² − 10y + 29. Right side: x² + 8x + 16 + y² − 2y + 1 = x² + 8x + y² − 2y + 17.

Step 4 — SimplifyCancel x² and y² from both sides: −4x − 10y + 29 = 8x − 2y + 17. Collect like terms: −4x − 8x − 10y + 2y = 17 − 29, which gives −12x − 8y = −12. Divide everything by −4 to get: 3x + 2y = 3.

3x + 2y = 3

Step 5 — Identify the LocusThe equation 3x + 2y = 3 is linear, so the locus is a straight line. Geometrically, this is the perpendicular bisector of segment AB. You can verify: the midpoint of A(2, 5) and B(−4, 1) is (−1, 3), and plugging in: 3(−1) + 2(3) = −3 + 6 = 3 ✓. Also, the slope of AB is (5 − 1)/(2 − (−4)) = 4/6 = 2/3, and the slope of our line is −3/2, confirming perpendicularity since (2/3)(−3/2) = −1.

The locus is the perpendicular bisector of AB: the line 3x + 2y = 3.

🔍 Why This Works

The key algebraic move is squaring both sides to remove the square roots. When both sides of the original equation have the form √(something), squaring doesn't introduce extraneous solutions (both sides are already non-negative). The x² and y² terms cancel because they appear on both sides, which is why an equidistance condition between two points always reduces to a linear equation—giving a line as the locus.

SECTION 7

Strengths & Limitations of the Algebraic Approach

Connecting algebra to loci is powerful, but like every mathematical tool it has both strengths and limitations. Understanding these will help you decide when an algebraic approach is the best strategy and when a purely geometric argument might be more efficient.

Strengths and limitations of the algebraic-locus approach

Strengths	Limitations
Converts visual intuition into precise, verifiable equations that anyone can check.	Algebra can get messy—especially with square roots and higher-degree expressions—making errors easy to introduce.
Makes intersection problems solvable: just solve a system of equations to find where two loci meet.	Some geometric conditions (e.g., involving angle bisectors or tangency) produce complicated equations that may not simplify neatly.
Works for any coordinate system—Cartesian, polar, or even 3D—so the same idea scales to advanced settings.	The choice of coordinate system matters: a poor choice of axes can make a simple locus look complicated.
Allows technology (graphing calculators, Desmos) to plot loci instantly, aiding visualization.	Squaring both sides can sometimes introduce extraneous solutions that must be checked against the original condition.

✦ KEY TAKEAWAY

Think of algebra and geometry as two languages describing the same reality—like English and Spanish both describing the weather. Sometimes one language is more concise for a given idea. The algebraic approach shines when you need exact coordinates, when you're intersecting curves, or when the shape is hard to draw precisely. The geometric approach is often better for building intuition and for short, elegant proofs. Mastering both languages—and knowing when to switch—is what makes you a versatile problem solver.

SECTION 8

Connection to Advanced Topics

The algebra-locus connection you're building now is the foundation for several advanced topics you may encounter in precalculus, calculus, and beyond. Here's a preview of where these ideas lead.

How today's concepts connect to future coursework

What You Learn Now	Where It Leads
Circle equation from the distance formula	In precalculus and calculus, you'll generalize to spheres in 3D: (x − h)² + (y − k)² + (z − l)² = r². In linear algebra, you'll study quadratic forms.
Conic sections as loci (parabola, ellipse, hyperbola)	These curves appear in physics (planetary orbits are ellipses, projectile paths are parabolas) and in the general second-degree equation Ax² + Bxy + Cy² + Dx + Ey + F = 0.
Systems of equations to find intersections of loci	In multivariable calculus, you'll work with surfaces and level curves. Constraint optimization (Lagrange multipliers) finds extrema on a locus.
Translating geometric conditions to algebraic constraints	In computer science and robotics, this skill is used to define workspaces, collision boundaries, and motion paths. Every GPS fix is a locus intersection problem.

One especially exciting extension is parametric equations, where instead of writing y as a function of x, you express both x and y in terms of a third variable (usually t for time). This lets you trace out a locus point by point, which is exactly how computers render curves in animation and gaming. Another extension is polar coordinates, where the constraint r = f(θ) naturally describes spirals, rose curves, and cardioids—shapes that are awkward in Cartesian form but elegant in polar form. The central idea remains the same: an equation defines which points are 'in' and which are 'out.'

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

In your own words, explain why the set of all points equidistant from two fixed points forms a line rather than a curve. What happens algebraically that causes the x² and y² terms to cancel?

PROBLEM 2 — BASIC CALCULATION

Find the equation of the locus of all points that are exactly 4 units from the point (3, −2). Identify the shape.

PROBLEM 3 — INTERMEDIATE

Find the equation of the locus of all points P(x, y) such that the distance from P to the point (0, 3) equals the distance from P to the line y = −3. Simplify completely and identify the curve.

PROBLEM 4 — APPLIED

A cell phone tower is located at T(−1, 2) and broadcasts a signal that reaches up to 10 km. A highway runs along the line y = x + 6. Find the algebraic constraints that describe the tower's coverage area and the highway, then determine whether the entire stretch of highway within −15 ≤ x ≤ 15 falls within the coverage zone.

PROBLEM 5 — CRITICAL THINKING

Prove that the locus of all points P(x, y) such that the sum of the squares of the distances from P to A(1, 0) and from P to B(−1, 0) equals 10 is a circle. Find its center and radius.

SUMMARY

Lesson Summary

A locus is the complete set of points in a plane that satisfy a specific geometric condition. An algebraic constraint is an equation or inequality that captures that condition using coordinates. The bridge between them is the distance formula: by expressing distances, midpoints, or slopes algebraically and then simplifying, you convert geometric rules into equations. A fixed distance from one point produces a circle; equal distances from two points produce a perpendicular bisector (line); equal distance from a point and a line produces a parabola; a constant sum of distances gives an ellipse; and a constant difference gives a hyperbola.

To solve locus problems, follow a consistent strategy: state the condition, translate to an equation using distance or slope, simplify by squaring and collecting terms, and identify the shape from the equation's form. When two loci intersect, solve their equations as a system to find the meeting points. This algebra-geometry connection, born from Descartes' coordinate revolution, remains one of the most powerful tools in all of mathematics—and the foundation for everything from conic sections to GPS technology.