A circle is a set, and sets have equations
Definition. The circle with center and radius is the set
We know how to measure that distance. The Pythagorean theorem (or its coordinate avatar, the distance formula) gives:
Square both sides:
That's the standard form of a circle's equation. It was not handed down from the sky, it was not memorized, it was not in some table in the back of a textbook — we derived it from the definition of "circle" using the distance formula. The equation IS the definition, in algebra form. No bullshit.
Special case: center at the origin. Set :
This is the unit circle's equation when : . You've already been using it in the trig identities lesson.
Reading a circle from standard form
From :
- Center .
- Radius (positive).
The most common trap: the signs. has center — the in means . Write it as and the pattern is clear.
Completing the square to find the circle
When a circle equation is given in general (expanded) form
we use completing the square to get it into standard form. This is the same algebraic procedure from the Quadratic Equations lesson — now in two variables simultaneously.
Procedure:
- Group -terms and -terms; move to the right.
- Complete the square in : add to both sides.
- Complete the square in : add to both sides.
- Write as and read off center and radius.
Example. .
Group: .
Complete in : . Add to both sides: .
Complete in : . Add to both sides: .
Factor: .
Center , radius .
Notice: completing the square is doing its third job in this course. First job: solving quadratics. Second job: converting parabolas to vertex form. Third job: reading circles. Same algebraic move, three different contexts — one tool, many applications, zero apologies. I love this tool. It's the Swiss Army knife of algebra and the Federation of Boring Textbook Authors treats it like a footnote.
Tangent lines: perpendicular to radii
A tangent line to a circle touches the circle at exactly one point. The key geometric fact:
Theorem. A tangent to a circle at a point is perpendicular to the radius at .
Proof. The tangent line intersects the circle at one point only. For any OTHER point on the tangent line, is outside the circle, so its distance to the center is greater than . The shortest path from to the line is the perpendicular — and the perpendicular from to the tangent hits it at (since is the minimum distance). Therefore the radius is perpendicular to the tangent.
Finding a tangent line
Given a circle with center and a point on the circle, the tangent at is perpendicular to the radius .
- Slope of radius : .
- Slope of tangent: (negative reciprocal, because perpendicular).
- Tangent line: .
Intersecting a line and a circle
To find where a line meets a circle, substitute the line equation into the circle equation and solve the resulting quadratic. The discriminant of that quadratic tells you the story:
- Two solutions (): the line is a secant (cuts through the circle at two points).
- One solution (): the line is tangent (touches at exactly one point).
- No real solutions (): the line misses the circle entirely.
Example. Does the line intersect the circle ?
Substitute: , so , giving , or .
Discriminant: . Two intersections — the line is a secant.
The quadratic machinery from Algebra Core is doing its job here: the intersection question reduces to "does this equation have real roots?" and the discriminant answers it in one shot.