Algebraic Constraints & Loci — I can connect algebraic constraints to geometric loci (set of points satisfying a condition) at my level. - Math 3

SECTION 1

Historical Context & Motivation

For thousands of years, mathematicians studied shapes and curves by drawing them with compasses and straightedges. A circle was something you physically traced; a line was something you stretched a string along. The idea that a shape could be described entirely by an equation — and that an equation could be understood as a shape — was a breakthrough that took centuries to develop. This connection between algebra (the language of equations) and geometry (the study of shapes) is at the heart of what we call algebraic constraints and loci.

~300 BCE • Euclid & Apollonius

Greek mathematicians described curves like circles, ellipses, and parabolas purely through geometric language — no equations at all. Apollonius of Perga classified conic sections by slicing a cone at various angles.

~1000 CE • Islamic Golden Age

Mathematicians like Omar Khayyam began solving cubic equations by finding intersections of conic sections, foreshadowing the algebra–geometry link.

1637 • Descartes Invents Coordinate Geometry

René Descartes published La Géométrie, introducing the coordinate plane. For the first time, every point became a pair of numbers (x, y), and every curve could be represented by an equation.

1800s • Analytic Geometry Matures

Mathematicians formalized the concept of a locus — the complete set of points satisfying a given condition — unifying algebra and geometry into a powerful problem-solving framework used across science and engineering.

So here's the central question this lesson answers: How does an algebraic equation (a constraint) determine a geometric shape (a locus), and how can we move fluently between these two representations? Whether you realize it or not, every time you've graphed y = 2x + 3 or x² + y² = 25, you've been finding a locus. Now we'll formalize that idea and unlock its full power.

SECTION 2

Core Principles & Definitions

Before we dive into examples, let's nail down the vocabulary. A locus (plural: loci) is the set of all points in a plane (or space) that satisfy a specific condition. An algebraic constraint is that condition expressed as an equation or inequality involving coordinates. The beauty is that every constraint draws a picture, and every picture encodes a constraint.

Locus

The complete collection of points that satisfy a given geometric condition. Example: the set of all points exactly 5 units from the origin is a circle of radius 5.

Algebraic Constraint

An equation or inequality using variables (typically x and y) that acts as a rule filtering which points belong to the locus. Example: x² + y² = 25 is the constraint for the circle above.

Coordinate Plane Bridge

The coordinate plane lets us translate between the two worlds: geometric conditions become equations, and equations become curves we can see and analyze.

Satisfying a Condition

A point (a, b) 'satisfies' a constraint when substituting x = a and y = b into the equation makes it true. If it does, the point lies on the locus; if not, it doesn't.

✦

KEY TAKEAWAY

Think of a locus like a VIP list for a concert. The algebraic constraint is the rule on the list ("you must be exactly 5 miles from downtown"), and the locus is the actual crowd of points that pass the check. Change the rule, change the crowd — and therefore change the shape.

SECTION 3

Visual Explanation — Seeing the Connection

The diagram below shows three classic loci on the coordinate plane. Each one starts from a plain-language geometric condition, translates into an algebraic constraint, and produces a recognizable shape. Notice how different rules produce fundamentally different curves.

Three fundamental loci: the circle (constant distance from a center), the perpendicular bisector line (equidistant from two fixed points), and the parabola (equidistant from a focus and a directrix). Each starts from a simple distance condition and produces a specific algebraic equation.

The pattern visible in the diagram is powerful and repeatable. You begin with a geometric condition stated in plain language — for instance, "all points that are 4 units from the origin." You then express that condition using the distance formula or another algebraic tool, which gives you an equation. Finally, you recognize or graph that equation to reveal the geometric shape — the locus. This workflow is reversible: start from the equation and you can deduce the geometric condition it represents.

SECTION 4

Mathematical Framework

The tool that makes the algebra–geometry bridge work is the distance formula. Almost every locus condition can be translated into an equation by expressing distances between points algebraically and then simplifying.

DISTANCE FORMULA

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

The distance d between two points (x₁, y₁) and (x₂, y₂). This formula is derived directly from the Pythagorean theorem applied on the coordinate plane.

CIRCLE (STANDARD FORM)

(x − h)² + (y − k)² = r²

The locus of all points at distance r from center (h, k). Derived by setting d = r in the distance formula and squaring both sides.

PERPENDICULAR BISECTOR

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

The locus of all points equidistant from (x₁, y₁) and (x₂, y₂). Squaring both sides and simplifying removes the square roots and yields a linear equation — a straight line.

GENERAL LOCUS PROCESS

Condition → Distance equation(s) → Simplify → Recognize shape

This four-step workflow applies to virtually every locus problem you'll encounter. The simplification step typically involves squaring, expanding, and combining like terms.

⚠

Watch Out!

When you square both sides of a distance equation, always check that you haven't introduced extraneous solutions. In most locus problems at this level, squaring is safe because distances are non-negative, but it's a good habit to verify a sample point on your final equation against the original condition.

SECTION 5

Detailed Breakdown — Common Loci You Should Know

Different geometric conditions produce different families of curves. The table below catalogs the most important loci you'll encounter in this course, along with the geometric condition that defines each one and the algebraic form it takes.

Locus (Shape)	Geometric Condition	Algebraic Constraint
Circle	All points at a fixed distance r from a center point (h, k)	(x − h)² + (y − k)² = r²
Line (perp. bisector)	All points equidistant from two fixed points A and B	Linear equation derived from distance equality
Parabola	All points equidistant from a fixed point (focus) and a fixed line (directrix)	y = ax² + bx + c (or similar form)
Ellipse	All points where the sum of distances to two foci is constant	(x − h)²/a² + (y − k)²/b² = 1
Horizontal/Vertical line	All points at a fixed distance from the x-axis (or y-axis)	y = c or x = c

Common loci and their algebraic forms

The locus workflow demonstrated: start with a geometric condition in plain language, translate it into a distance equation, and simplify to reveal the shape.

Notice from the table and flowchart that the degree of the resulting equation is closely tied to the type of curve. A linear condition (like equidistant from two points) simplifies to a degree-1 equation (a line). A constant-distance condition produces a degree-2 equation (a circle, parabola, or ellipse). As you advance in math, you'll see that degree-3 and higher equations produce increasingly complex and interesting curves.

SECTION 6

Worked Example — Finding the Locus of Equidistant Points

Let's work through a complete problem: Find the equation of the locus of all points equidistant from A(1, 3) and B(5, 7). Before calculating, predict what shape you expect — since we're looking for equidistant points from two fixed points, the locus should be the perpendicular bisector of segment AB, which is a line.

Finding the Perpendicular Bisector as a Locus

1
Step 1 — State the Condition Algebraically

Let P(x, y) be any point on the locus. The condition is: distance from P to A = distance from P to B. Using the distance formula: √[(x − 1)² + (y − 3)²] = √[(x − 5)² + (y − 7)²]

√[(x − 1)² + (y − 3)²] = √[(x − 5)² + (y − 7)²]
2
Step 2 — Square Both Sides

Squaring both sides eliminates the square roots. Since both sides are distances (non-negative), this step introduces no extraneous solutions. (x − 1)² + (y − 3)² = (x − 5)² + (y − 7)²

(x − 1)² + (y − 3)² = (x − 5)² + (y − 7)²
3
Step 3 — Expand Both Sides

Left side: x² − 2x + 1 + y² − 6y + 9 = x² − 2x + y² − 6y + 10. Right side: x² − 10x + 25 + y² − 14y + 49 = x² − 10x + y² − 14y + 74.

x² − 2x + y² − 6y + 10 = x² − 10x + y² − 14y + 74
4
Step 4 — Simplify by Canceling and Collecting Terms

Cancel x² and y² from both sides: −2x − 6y + 10 = −10x − 14y + 74. Move all terms to the left: 8x + 8y − 64 = 0. Divide everything by 8: x + y − 8 = 0, or equivalently y = −x + 8.

x + y = 8 (or equivalently, y = −x + 8)
5
Step 5 — Verify and Interpret

Let's check: the midpoint of A(1, 3) and B(5, 7) is (3, 5). Does (3, 5) satisfy x + y = 8? Yes: 3 + 5 = 8 ✓. The slope of AB is (7 − 3)/(5 − 1) = 1. The slope of our locus line is −1, which is the negative reciprocal of 1 — confirming it's perpendicular. The locus is indeed the perpendicular bisector of AB.

The locus is a line through (3, 5) with slope −1, perpendicular to segment AB.

💡

Why Did x² and y² Cancel?

Whenever you set two distance expressions equal and square both sides, the squared terms (x² and y²) always cancel. This is why the locus of equidistant points from two fixed points is always a line, not a curve. The quadratic terms vanish, leaving only a linear equation.

SECTION 7

Geometric vs. Algebraic Approaches — Strengths & Limitations

You might wonder: if I can draw a shape, why bother with the equation? Or if I have the equation, why think about geometry at all? The truth is that each approach has strengths where the other has weaknesses. Skilled mathematicians switch between them freely, choosing whichever representation makes the current task easier.

Feature	Geometric Approach	Algebraic Approach
Intuition	Excellent — you can visualize the shape and spatial relationships immediately	Weaker — an equation like 3x² + 2y² = 12 isn't obviously an ellipse until you simplify
Precision	Limited — drawings are approximate; hard to identify exact intersection points	Exact — you can compute coordinates, areas, and lengths to any desired precision
Handling complexity	Difficult — overlapping conditions or 3D problems get messy to visualize	Strong — systems of equations handle multiple constraints systematically
Proof capability	Informal — diagrams illustrate but don't prove	Rigorous — algebraic derivations constitute formal proof
Technology	Compass, straightedge, geometry software	Graphing calculators, Desmos, computer algebra systems

Comparing geometric and algebraic approaches to loci

✦

KEY TAKEAWAY

Think of the geometric and algebraic approaches like two languages describing the same reality. A travel guide in French and the same guide in English convey the same information, but some ideas are easier to express in one language than the other. Being fluent in both algebra and geometry — and knowing when to switch — is what makes you a powerful problem solver.

SECTION 8

Connection to Advanced Theory

The locus concept you're learning now is the foundation for some of the most powerful ideas in higher mathematics. In precalculus and calculus, you'll work with conic sections (circles, ellipses, parabolas, and hyperbolas) defined entirely through locus conditions. In college courses, the idea extends to three dimensions and beyond, where surfaces and higher-dimensional objects are defined as solution sets of algebraic equations.

What You Learn Now	Where It Leads
Locus in 2D: set of (x, y) satisfying one equation	Surfaces in 3D: set of (x, y, z) satisfying one equation (e.g., x² + y² + z² = r² is a sphere)
Single constraint → one curve	System of constraints → intersection of curves (solving systems of equations)
Distance formula for basic loci	Parametric equations, polar coordinates, and vector equations for complex curves
Verifying individual points	Algebraic geometry: studying entire families of curves using abstract algebra

From loci to advanced mathematics

One exciting application is in GPS technology. Your phone determines your location by finding the intersection of several loci — each satellite tells your device "you are at a certain distance from me," which defines a sphere. The intersection of three or four spheres narrows your position down to a single point. That's the locus concept in action, saving you from getting lost every day.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

In your own words, explain why the set of all points equidistant from two fixed points forms a straight line rather than a curve. What happens algebraically that forces this result?

Show answer

When you set the distance from a general point (x, y) to each of the two fixed points equal and square both sides, the x² and y² terms appear on both sides and cancel completely. This leaves only linear terms in x and y, which means the resulting equation is first-degree — the equation of a line. Geometrically, this line is the perpendicular bisector of the segment connecting the two fixed points, and it makes intuitive sense: any point on this bisector is by definition the same distance from both endpoints.

Question 2: BASIC CALCULATION

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

Show answer

Using the distance formula, we set √[(x − (−3))² + (y − 4)²] = 6. Squaring both sides gives (x + 3)² + (y − 4)² = 36. This is the standard form equation of a circle with center (−3, 4) and radius 6. You can verify by checking a point: (3, 4) should be 6 units from (−3, 4), and indeed |3 − (−3)| = 6 and (3 + 3)² + (4 − 4)² = 36 ✓.

Question 3: INTERMEDIATE

Find the equation of the locus of all points equidistant from A(2, −1) and B(−4, 5). Write the equation in slope-intercept form and verify that the midpoint of AB lies on the locus.

Show answer

Set the distances equal: √[(x − 2)² + (y + 1)²] = √[(x + 4)² + (y − 5)²]. Square both sides: (x − 2)² + (y + 1)² = (x + 4)² + (y − 5)². Expand: x² − 4x + 4 + y² + 2y + 1 = x² + 8x + 16 + y² − 10y + 25. Cancel x² and y²: −4x + 2y + 5 = 8x − 10y + 41. Combine: −12x + 12y = 36, so −x + y = 3, giving y = x + 3. The midpoint of AB is ((2 + (−4))/2, (−1 + 5)/2) = (−1, 2). Check: 2 = −1 + 3 ✓. The locus is a line with slope 1 and y-intercept 3, which is the perpendicular bisector of AB.

Question 4: APPLIED

A cell tower at point T(0, 0) can reach any phone within 10 miles, and a second tower at S(12, 0) can reach phones within 8 miles. Write the algebraic constraints for each tower's coverage area as inequalities. Then describe geometrically where a phone would receive a signal from both towers simultaneously.

Show answer

Tower T's coverage: x² + y² ≤ 100 (the interior and boundary of a circle centered at the origin with radius 10). Tower S's coverage: (x − 12)² + y² ≤ 64 (the interior and boundary of a circle centered at (12, 0) with radius 8). A phone receives both signals when both inequalities hold simultaneously, meaning the phone must be in the region where the two circles overlap. Geometrically, this overlapping region is a lens-shaped area. To find the boundary intersection points, set x² + y² = 100 and (x − 12)² + y² = 64; subtracting gives x² − (x − 12)² = 36, which simplifies to 24x − 144 = 36, so x = 7.5. Then y² = 100 − 56.25 = 43.75, and y ≈ ±6.61. The dual-coverage region lies between these intersection points.

Question 5: CRITICAL THINKING

Consider the locus of all points P(x, y) such that the distance from P to the point F(0, 2) equals the distance from P to the line y = −2. Derive the equation of this locus and identify the curve. Then explain how changing the fixed point to F(0, 5) while keeping the line at y = −5 would affect the shape.

Show answer

Distance from P to F(0, 2): √(x² + (y − 2)²). Distance from P to the line y = −2: |y − (−2)| = |y + 2|. Setting them equal and squaring: x² + (y − 2)² = (y + 2)². Expanding: x² + y² − 4y + 4 = y² + 4y + 4. Simplifying: x² = 8y, or y = x²/8. This is a parabola opening upward with vertex at the origin. The focus is at (0, 2) and the directrix is y = −2, with the distance from vertex to focus (and vertex to directrix) being 2. If we change to F(0, 5) and y = −5, the same process yields x² + (y − 5)² = (y + 5)², which simplifies to x² = 20y. This is still a parabola with vertex at the origin, but it's wider because the focus is farther from the directrix. The parameter p (half the distance from focus to directrix) increases from 2 to 5, and the coefficient 4p goes from 8 to 20, stretching the parabola horizontally. The fundamental shape doesn't change — it's always a parabola — but the "openness" does.

SUMMARY

Lesson Summary

Summary

A locus is the set of all points satisfying a given geometric condition, and an algebraic constraint is that condition written as an equation or inequality in terms of coordinates. The distance formula is the essential tool for translating geometric conditions into algebraic form: set up a distance equation, square both sides, expand, simplify, and recognize the resulting shape. When points must be a fixed distance from a center, the locus is a circle. When points are equidistant from two fixed points, the x² and y² terms cancel, yielding a straight line — the perpendicular bisector. When points are equidistant from a point and a line, the locus is a parabola.

The power of this framework lies in its bidirectional nature: you can move from a geometric condition to an algebraic equation, or start with an equation and deduce the geometric shape it describes. Mastering both directions — and knowing when to use the geometric viewpoint versus the algebraic one — is the key skill this lesson develops. These ideas extend naturally to conic sections, 3D surfaces, and real-world applications from GPS navigation to computer graphics.