← mapGeometry & Trig

Circles in the Plane

⚗ Dr. Möbius, from the lab

A circle is not a squiggle you draw freehand when you're bored in lecture. A circle is a set — the set of all points in the plane at exactly a fixed distance from a fixed point — and every property of a circle is a fucking consequence of that definition. The equation falls out of the distance formula. The tangent line falls out of the radius. Nothing is memorized; everything is derived. Today we also resurrect completing the square — yes, that technique from three strata ago — for its third job in this lab. Pay attention.

THE BIG IDEA

A circle is the set of points at a fixed distance from a center; its equation is (x−h)²+(y−k)²=r², derived from the distance formula, and completing the square recovers the center and radius from any expanded form.

A circle is a set, and sets have equations

Definition. The circle with center (h,k)(h, k) and radius r>0r > 0 is the set

{(x,y)R2:distance from (x,y) to (h,k)=r}.\{(x, y) \in \mathbb{R}^2 : \text{distance from } (x,y) \text{ to } (h,k) = r\}.

We know how to measure that distance. The Pythagorean theorem (or its coordinate avatar, the distance formula) gives:

(xh)2+(yk)2=r.\sqrt{(x-h)^2 + (y-k)^2} = r.

Square both sides:

(xh)2+(yk)2=r2.(x-h)^2 + (y-k)^2 = r^2.

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 h=k=0h = k = 0:

x2+y2=r2.x^2 + y^2 = r^2.

This is the unit circle's equation when r=1r = 1: x2+y2=1x^2 + y^2 = 1. You've already been using it in the trig identities lesson.

Reading a circle from standard form

From (xh)2+(yk)2=r2(x - h)^2 + (y - k)^2 = r^2:

  • Center =(h,k)= (h, k).
  • Radius =r2=r= \sqrt{r^2} = r (positive).

The most common trap: the signs. (x3)2+(y+2)2=25(x - 3)^2 + (y + 2)^2 = 25 has center (3,2)(3, -2) — the +2+2 in (y+2)(y+2) means k=2k = -2. Write it as (y(2))2(y - (-2))^2 and the pattern is clear.

Completing the square to find the circle

When a circle equation is given in general (expanded) form

x2+y2+Dx+Ey+F=0,x^2 + y^2 + Dx + Ey + F = 0,

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:

  1. Group xx-terms and yy-terms; move FF to the right.
  2. Complete the square in xx: add (D/2)2(D/2)^2 to both sides.
  3. Complete the square in yy: add (E/2)2(E/2)^2 to both sides.
  4. Write as (xh)2+(yk)2=r2(x-h)^2 + (y-k)^2 = r^2 and read off center and radius.

Example. x2+y26x+4y12=0x^2 + y^2 - 6x + 4y - 12 = 0.

Group: (x26x)+(y2+4y)=12(x^2 - 6x) + (y^2 + 4y) = 12.

Complete in xx: (6/2)2=9(-6/2)^2 = 9. Add to both sides: (x26x+9)+(y2+4y)=12+9=21(x^2 - 6x + 9) + (y^2 + 4y) = 12 + 9 = 21.

Complete in yy: (4/2)2=4(4/2)^2 = 4. Add to both sides: (x26x+9)+(y2+4y+4)=21+4=25(x^2 - 6x + 9) + (y^2 + 4y + 4) = 21 + 4 = 25.

Factor: (x3)2+(y+2)2=25(x - 3)^2 + (y + 2)^2 = 25.

Center =(3,2)= (3, -2), radius =5= 5.

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 PP is perpendicular to the radius at PP.

Proof. The tangent line intersects the circle at one point only. For any OTHER point QQ on the tangent line, QQ is outside the circle, so its distance to the center OO is greater than rr. The shortest path from OO to the line is the perpendicular — and the perpendicular from OO to the tangent hits it at PP (since OP=rOP = r is the minimum distance). Therefore the radius OPOP is perpendicular to the tangent. \square

Finding a tangent line

Given a circle with center O=(h,k)O = (h, k) and a point P=(x0,y0)P = (x_0, y_0) on the circle, the tangent at PP is perpendicular to the radius OPOP.

  1. Slope of radius OPOP: mOP=y0kx0hm_{OP} = \frac{y_0 - k}{x_0 - h}.
  2. Slope of tangent: mT=1mOPm_T = -\frac{1}{m_{OP}} (negative reciprocal, because perpendicular).
  3. Tangent line: yy0=mT(xx0)y - y_0 = m_T(x - x_0).

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 (Δ>0\Delta > 0): the line is a secant (cuts through the circle at two points).
  • One solution (Δ=0\Delta = 0): the line is tangent (touches at exactly one point).
  • No real solutions (Δ<0\Delta < 0): the line misses the circle entirely.

Example. Does the line y=x+3y = x + 3 intersect the circle x2+y2=25x^2 + y^2 = 25?

Substitute: x2+(x+3)2=25x^2 + (x+3)^2 = 25, so x2+x2+6x+9=25x^2 + x^2 + 6x + 9 = 25, giving 2x2+6x16=02x^2 + 6x - 16 = 0, or x2+3x8=0x^2 + 3x - 8 = 0.

Discriminant: Δ=9+32=41>0\Delta = 9 + 32 = 41 > 0. 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.

🔬 SPECIMENS (worked examples)

Worked example 1 — writing and reading the standard form

Write the equation of the circle with center (3,4)(-3, 4) and radius 77. Then verify that the point (3+7,4)=(4,4)(-3 + 7, 4) = (4, 4) lies on it.

Step 1. Write the equation. Substitute h=3h = -3, k=4k = 4, r=7r = 7 into (xh)2+(yk)2=r2(x-h)^2 + (y-k)^2 = r^2:

(x(3))2+(y4)2=49,(x - (-3))^2 + (y - 4)^2 = 49, (x+3)2+(y4)2=49.(x + 3)^2 + (y - 4)^2 = 49.

Step 2. Verify (4,4)(4, 4) lies on the circle. Substitute: (4+3)2+(44)2=49+0=49.(4+3)^2 + (4-4)^2 = 49 + 0 = 49. \checkmark

The point lies on the circle, as expected: it's at distance 77 from the center along the horizontal.

Worked example 2 — the square-completing gauntlet: identify that circle

Find the center and radius of the circle with equation x2+y2+10x4y20=0x^2 + y^2 + 10x - 4y - 20 = 0.

Step 1. Group and move the constant: (x2+10x)+(y24y)=20.(x^2 + 10x) + (y^2 - 4y) = 20.

Step 2. Complete the square in xx: take (10/2)2=25(10/2)^2 = 25: (x2+10x+25)+(y24y)=20+25=45.(x^2 + 10x + 25) + (y^2 - 4y) = 20 + 25 = 45.

Step 3. Complete the square in yy: take (4/2)2=4(-4/2)^2 = 4: (x2+10x+25)+(y24y+4)=45+4=49.(x^2 + 10x + 25) + (y^2 - 4y + 4) = 45 + 4 = 49.

Step 4. Factor as perfect squares: (x+5)2+(y2)2=49.(x + 5)^2 + (y - 2)^2 = 49.

Read off: center =(5,2)= (-5, 2), radius =49=7= \sqrt{49} = 7.

Verify: check that (x,y)=(5+7,2)=(2,2)(x,y) = (-5+7, 2) = (2, 2) is on the circle: (2+5)2+(22)2=49+0=49(2+5)^2 + (2-2)^2 = 49 + 0 = 49. Correct.

Worked example 3 — tangent line: perpendicularity is not optional

Find the equation of the tangent line to the circle x2+y2=25x^2 + y^2 = 25 at the point (3,4)(3, 4).

Step 1. Confirm (3,4)(3, 4) is on the circle: 9+16=259 + 16 = 25. Yes.

Step 2. The center is (0,0)(0, 0). Slope of the radius from (0,0)(0,0) to (3,4)(3,4): mOP=4030=43.m_{OP} = \frac{4-0}{3-0} = \frac{4}{3}.

Step 3. The tangent is perpendicular to the radius: mT=1mOP=34.m_T = -\frac{1}{m_{OP}} = -\frac{3}{4}.

Step 4. Tangent line through (3,4)(3, 4) with slope 3/4-3/4: y4=34(x3).y - 4 = -\frac{3}{4}(x - 3). y=34x+94+4=34x+254.y = -\frac{3}{4}x + \frac{9}{4} + 4 = -\frac{3}{4}x + \frac{25}{4}.

Or equivalently: 3x+4y=253x + 4y = 25.

Check: does this line intersect the circle at exactly one point? Substitute y=(253x)/4y = (25-3x)/4 into x2+y2=25x^2+y^2=25: x2+(253x)2/16=25x^2 + (25-3x)^2/16 = 25, so 16x2+625150x+9x2=40016x^2 + 625 - 150x + 9x^2 = 400, giving 25x2150x+225=025x^2 - 150x + 225 = 0, or x26x+9=(x3)2=0x^2 - 6x + 9 = (x-3)^2 = 0. One solution x=3x = 3, confirming tangency.

☠ KNOWN HAZARDS

  • Reading the center sign wrong. (x3)2+(y+5)2=16(x-3)^2 + (y+5)^2 = 16 has center (3,5)(3,-5), not (3,5)(3,5). Rewrite as (y(5))2(y-(-5))^2 to make the pattern explicit. The center is the value that makes the squared factor equal zero. Get the sign wrong and you'll be graphing a circle around the wrong damn point.

  • Forgetting to balance both sides when completing the square. When you add (D/2)2(D/2)^2 inside the xx-group, you must add the same amount to the RIGHT side of the equation. Forgetting this shifts the center or scrambles the radius.

  • Confusing the equation of a circle with an inequality. (xh)2+(yk)2=r2(x-h)^2+(y-k)^2 = r^2 is the circle (the boundary). (xh)2+(yk)2<r2(x-h)^2+(y-k)^2 < r^2 is the disk (the filled interior). These are different sets.

  • Assuming every x2+y2+=0x^2+y^2+\ldots=0 is a circle. It might be a single point (radius 00) or empty (if completing the square gives a negative right side). Check that r2>0r^2 > 0 after completing the square.

TL;DR

  • A circle is a set: all points at distance rr from center (h,k)(h,k). Its equation (xh)2+(yk)2=r2(x-h)^2 + (y-k)^2 = r^2 is derived directly from the distance formula.

  • To find center and radius from expanded form x2+y2+Dx+Ey+F=0x^2+y^2+Dx+Ey+F=0: group, complete the square in xx and yy separately, add the same quantities to both sides.

  • Tangent lines are perpendicular to the radius at the point of tangency — proved from the fact that the perpendicular is the shortest distance.

  • Line-circle intersection reduces to a quadratic; the discriminant tells you secant, tangent, or no intersection.