Pure 3.2 - Coordinate geometry of the circle

Pure 3.2 - Coordinate geometry of the circle

A circle's equation records one fixed distance from one centre. You will uncover that centre by completing the square, use chord properties to find circumcircles, and find tangents from perpendicular radii.

The circle equation as distance

Can three points tell you the centre of a circle even when none is the centre? Try A(0,0)A(0, 0), B(6,0)B(6, 0) and C(0,8)C(0, 8). We will find their circle and explain why its centre lies halfway along BCBC.

Start with a known centre (−2,3)(-2, 3) and radius 55. A point (1,7)(1, 7) is on the circle because its horizontal and vertical separations from the centre are 33 and 44: 32+42=523^2+4^2=5^2.

You already know

Pythagoras gives squared distance (x2−x1)2+(y2−y1)2(x_2-x_1)^2+(y_2-y_1)^2. A midpoint is (x1+x22,y1+y22)\left(\frac{x_1+x_2}{2}, \frac{y_1+y_2}{2}\right); perpendicular non-vertical lines have gradient product −1-1.

Every point on the circle must satisfy the same distance condition.

Circle

A circle is the set of points in a plane at a fixed positive distance, the radius, from one point, the centre. The circumference is the boundary; a point inside the circle is not on its circumference.

The right triangle in the diagram turns this definition into an equation.

[DIAGRAM: asset_slug: p1_3_2_understand_and_use_the_coordinate_geometry_of_the_circle__diagram_01; asset_name: Circle equation from distance; caption: Horizontal and vertical separations determine the radius by Pythagoras; description: Circle with centre (-2, 3), radius 5 and point (1, 7), showing horizontal separation 3 and vertical separation 4]
Horizontal and vertical separations determine the radius by Pythagoras

Equation of a circle

For centre (a,b)(a, b) and radius r>0r>0,

(x−a)2+(y−b)2=r2(x-a)^2+(y-b)^2=r^2

Not in the formula booklet: learn it.

Subtraction from the centre explains the bracket signs. The equation (x−4)2+(y+1)2=18(x-4)^2+(y+1)^2=18, for instance, has centre (4,−1)(4, -1) and radius 18=32\sqrt{18}=3\sqrt2.

Worked example 1: centre and radius to equation

Question. Find the equation of the circle with centre (−2,3)(-2, 3) and radius 55.

Plan. Substitute the centre coordinates and square the radius.

(x−(−2))2+(y−3)2=52fixed distance from the centre(x+2)2+(y−3)2=25simplify the signs\begin{aligned} (x-(-2))^2+(y-3)^2&=5^2 &&\text{fixed distance from the centre}\\ (x+2)^2+(y-3)^2&=25 &&\text{simplify the signs} \end{aligned}

Why this step? The coordinates measure distance from the centre, so the centre values are subtracted.

Answer. (x+2)2+(y−3)2=25(x+2)^2+(y-3)^2=25.

Check. The rightmost point (3,3)(3, 3) gives 52+02=255^2+0^2=25.

Change only the radius to 323\sqrt2. This time the squared radius is an integer even though the radius is not.

Worked example 2: an exact surd radius

Question. Find the circle with centre (−2,3)(-2, 3) and radius 323\sqrt2.

Plan. Keep the same centre and calculate the new squared radius exactly.

r2=(32)2=18square both factors(x+2)2+(y−3)2=18use the centre\begin{aligned} r^2&=(3\sqrt2)^2=18 &&\text{square both factors}\\ (x+2)^2+(y-3)^2&=18 &&\text{use the centre} \end{aligned}

Why this step? The equation needs r2r^2, so there is no need to round 323\sqrt2.

Answer. (x+2)2+(y−3)2=18(x+2)^2+(y-3)^2=18.

Check. (1,6)(1, 6) lies on it because 32+32=183^2+3^2=18.

The centre is not on a genuine circle's circumference: substituting it gives zero on the left while r2>0r^2>0.

Watch out

Wrong: “(x+5)2+(y−2)2=49(x+5)^2+(y-2)^2=49 has centre (5,−2)(5, -2) and radius 4949.” Right: centre (−5,2)(-5, 2), radius 77. Reverse the bracket signs and take the positive square root.

Change the radius again, retaining the centre and exact arithmetic.

Completing the square

The expanded equation x2+y2−6x+10y+18=0x^2+y^2-6x+10y+18=0 hides the centre. Group the xx terms and yy terms, then turn each pair into a square.

You already know

x2+2px=(x+p)2−p2x^2+2px=(x+p)^2-p^2. The subtracted p2p^2 balances the extra constant introduced by expanding the bracket.

Apply that identity once to each coordinate in Pearson's expanded form.

Expanded circle form

For

x2+y2+2fx+2gy+c=0x^2+y^2+2fx+2gy+c=0

completing the square gives

(x+f)2+(y+g)2=f2+g2−c(x+f)^2+(y+g)^2=f^2+g^2-c

The centre is (−f,−g)(-f, -g); a real circle requires f2+g2−c>0f^2+g^2-c>0. Equality gives one point, and a negative value gives no real points. Not in the formula booklet: learn it.

The coefficient rule is a useful check, but writing the squares shows exactly where every constant goes.

Worked example 3: revealing the centre

Question. Find the centre and radius of x2+y2−6x+10y+18=0x^2+y^2-6x+10y+18=0.

Plan. Complete the square separately in xx and yy, then collect constants.

(x−3)2−9+(y+5)2−25+18=0complete both squares(x−3)2+(y+5)2=16collect constantsr=16=4take the positive root\begin{aligned} (x-3)^2-9+(y+5)^2-25+18&=0 &&\text{complete both squares}\\ (x-3)^2+(y+5)^2&=16 &&\text{collect constants}\\ r&=\sqrt{16}=4 &&\text{take the positive root} \end{aligned}

Why this step? Keeping −9-9 and −25-25 visible prevents the radius from being changed accidentally.

Answer. Centre (3,−5)(3, -5), radius 44.

Check. Expanding the final equation returns constant 9+25−16=189+25-16=18.

Change only the original constant from 1818 to −2-2. The centre stays fixed while the radius changes.

Worked example 4: changing the constant

Question. Find the centre and radius of x2+y2−6x+10y−2=0x^2+y^2-6x+10y-2=0.

Plan. Use the same completed squares and recalculate the right-hand side.

(x−3)2−9+(y+5)2−25−2=0complete the squares(x−3)2+(y+5)2=36move all constantsr=6positive square root\begin{aligned} (x-3)^2-9+(y+5)^2-25-2&=0 &&\text{complete the squares}\\ (x-3)^2+(y+5)^2&=36 &&\text{move all constants}\\ r&=6 &&\text{positive square root} \end{aligned}

Why this step? The linear coefficients locate the centre; the constant also affects the radius.

Answer. Centre (3,−5)(3, -5), radius 66.

Check. At (9,−5)(9, -5), the expanded expression is 81+25−54−50−2=081+25-54-50-2=0.

For comparison, x2+y2+8x−4y−5=0x^2+y^2+8x-4y-5=0 becomes (x+4)2+(y−2)2=25(x+4)^2+(y-2)^2=25, with centre (−4,2)(-4, 2) and radius 55. Positive and negative centre coordinates follow the same rule.

Watch out

Wrong: x2−6x=(x−3)2+9x^2-6x=(x-3)^2+9. Expanding would give x2−6x+18x^2-6x+18. Right: x2−6x=(x−3)2−9x^2-6x=(x-3)^2-9.

Try one more constant. The unchanged linear terms should make your centre predictable.

Finding a circumcircle

Three non-collinear points fix exactly one circle. Its centre must be the same distance from all three, which is a stronger condition than simply averaging their coordinates.

Chord and circumcircle

A chord joins two points on a circle; a diameter is a chord through the centre. A triangle's circumcircle passes through its three vertices. Collinear distinct points cannot be the vertices of such a triangle or lie on one finite circle.

Two circle properties locate the centre. First, an angle in a semicircle is a right angle. To see why, join a point PP on the circle to the ends AA, BB of a diameter and the centre OO. Equal radii make OAPOAP and OBPOBP isosceles. If their base angles at PP are α\alpha and β\beta, the triangle's angle sum gives 2α+2β=180∘2\alpha+2\beta=180^\circ, so ∠APB=90∘\angle APB=90^\circ. Conversely, a right-angled triangle has its hypotenuse as a diameter of its circumcircle.

Second, the perpendicular from a centre to a chord bisects that chord. If it meets chord ABAB at MM, the right triangles OMAOMA and OMBOMB have equal hypotenuses (radii) and common side OMOM, so AM=BMAM=BM. Thus the centre lies on each chord's perpendicular bisector. For a diameter, the midpoint is the centre itself.

[DIAGRAM: asset_slug: p1_3_2_understand_and_use_the_coordinate_geometry_of_the_circle__diagram_02; asset_name: Locating a circumcentre; caption: A right triangle gives a diameter and general triangles give perpendicular bisectors; description: Two panels show a right triangle on its circumcircle with hypotenuse as diameter, and the circumcircle through (2, 1), (8, 1), (4, 5) with two perpendicular bisectors meeting at (5, 2)]
A right triangle gives a diameter and general triangles give perpendicular bisectors

These circle properties, and the midpoint and perpendicular-gradient rules used with them, are not in the formula booklet: learn them.

Worked example 5: a right-angled triangle

Question. Find the circumcircle of A(0,0)A(0, 0), B(6,0)B(6, 0), C(0,8)C(0, 8).

Plan. Recognise the right angle at AA, so BCBC is a diameter.

O=(6+02,0+82)=(3,4)midpoint of the diameterr2=(6−3)2+(0−4)2=25distance squared to B\begin{aligned} O&=\left(\frac{6+0}{2},\frac{0+8}{2}\right)=(3,4) &&\text{midpoint of the diameter}\\ r^2&=(6-3)^2+(0-4)^2=25 &&\text{distance squared to }B \end{aligned}

Why this step? The semicircle property identifies the diameter, avoiding two simultaneous bisector equations.

Answer. (x−3)2+(y−4)2=25(x-3)^2+(y-4)^2=25.

Check. At AA, BB, CC, the left sides are respectively 9+169+16, 9+169+16, 9+169+16, all 2525.

Change only the horizontal coordinate of CC, from 00 to 22. The right-angle shortcut disappears, so use perpendicular bisectors instead.

Worked example 6: a triangle without the shortcut

Question. Find the circumcircle of A(0,0)A(0, 0), B(6,0)B(6, 0), C(2,8)C(2, 8).

Plan. Intersect the perpendicular bisectors of ABAB and ACAC, then find a radius.

x=3bisector of horizontal ABMAC=(1,4),mAC=4midpoint and gradienty−4=−14(x−1)bisector of ACy=4−14(3−1)=72intersect at x=3r2=32+(72)2=854distance squared to A\begin{aligned} x&=3 &&\text{bisector of horizontal }AB\\ M_{AC}&=(1,4),\qquad m_{AC}=4 &&\text{midpoint and gradient}\\ y-4&=-\frac14(x-1) &&\text{bisector of }AC\\ y&=4-\frac14(3-1)=\frac72 &&\text{intersect at }x=3\\ r^2&=3^2+\left(\frac72\right)^2=\frac{85}{4} &&\text{distance squared to }A \end{aligned}

Why this step? Every possible centre equidistant from AA and BB is on their bisector; the second bisector picks the unique centre also equidistant from CC.

Answer. (x−3)2+(y−72)2=854(x-3)^2+(y-\frac72)^2=\frac{85}{4}.

Check. At CC, (2−3)2+(8−72)2=1+814=854(2-3)^2+(8-\frac72)^2=1+\frac{81}{4}=\frac{85}{4}.

The same construction for A(2,1)A(2, 1), B(8,1)B(8, 1), C(4,5)C(4, 5) gives bisectors x=5x=5 and y−3=−12(x−3)y-3=-\frac12(x-3). They meet at (5,2)(5, 2), and r2=(5−2)2+(2−1)2=10r^2=(5-2)^2+(2-1)^2=10. This is the second diagram's circle.

Watch out

Wrong: “The circumcentre is the average of the three vertices.” That gives the centroid, which need not be equidistant from them. Right: use a diameter when justified, otherwise intersect perpendicular bisectors.

Change CC's horizontal coordinate again. The same two-bisector method works.

Tangents from radius gradients

A radius tells you where a tangent must point: it meets the tangent at a right angle at the point of contact. First check that the specified point is actually on the circle.

Tangent to a circle

A tangent is a straight line meeting a circle at exactly one point. It is perpendicular to the radius at that point. A chord's line normally meets the circle twice, so it is not a tangent.

For centre (1,2)(1, 2) and point (5,5)(5, 5), the radius has direction changes (4,3)(4, 3). A tangent must therefore have gradient −43-\frac43, not 34\frac34.

[DIAGRAM: asset_slug: p1_3_2_understand_and_use_the_coordinate_geometry_of_the_circle__diagram_03; asset_name: Radius perpendicular to tangent; caption: The tangent at (5, 5) is perpendicular to the radius from (1, 2); description: Circle (x minus 1) squared plus (y minus 2) squared equals 25, radius to (5, 5), tangent 4x plus 3y equals 35 and right-angle marker]
The tangent at (5, 5) is perpendicular to the radius from (1, 2)

The radius-tangent property is not in the formula booklet: learn it. Combine it with the straight-line methods you already know.

Worked example 7: tangent with a finite gradient

Question. Find the tangent to (x−1)2+(y−2)2=25(x-1)^2+(y-2)^2=25 at P(5,5)P(5, 5).

Plan. Find the radius gradient and use its negative reciprocal through PP.

mOP=5−25−1=34centre to contact pointmtan=−43perpendicular directiony−5=−43(x−5)line through P\begin{aligned} m_{OP}&=\frac{5-2}{5-1}=\frac34 &&\text{centre to contact point}\\ m_{\mathrm{tan}}&=-\frac43 &&\text{perpendicular direction}\\ y-5&=-\frac43(x-5) &&\text{line through }P \end{aligned}

Why this step? The tangent passes through the contact point, rather than through the centre.

Answer. 4x+3y=354x+3y=35.

Check. PP satisfies the circle because 16+9=2516+9=25, and satisfies the line because 20+15=3520+15=35. The gradient product is −1-1.

Change only the contact point to the circle's rightmost point. The geometry still works, but the tangent now has no finite gradient.

Worked example 8: a vertical tangent

Question. Find the tangent to (x−1)2+(y−2)2=25(x-1)^2+(y-2)^2=25 at P(6,2)P(6, 2).

Plan. Recognise the horizontal radius and use a vertical line through PP.

P−O=(5,0)horizontal radiusx=6vertical line through P\begin{aligned} P-O&=(5,0) &&\text{horizontal radius}\\ x&=6 &&\text{vertical line through }P \end{aligned}

Why this step? Trying −1/0-1/0 is unnecessary; perpendicular to horizontal means vertical.

Answer. x=6x=6.

Check. Substituting x=6x=6 into the circle gives 25+(y−2)2=2525+(y-2)^2=25, hence the unique contact y=2y=2.

A vertical radius similarly gives a horizontal tangent. For the expanded circle x2+y2−4x+6y−12=0x^2+y^2-4x+6y-12=0, completing the square gives centre (2,−3)(2, -3) and radius 55; its tangent at (6,0)(6, 0) is 4x+3y=244x+3y=24, by the same finite-gradient method.

Watch out

Wrong: “The tangent gradient is the radius gradient.” Right: the two are perpendicular. Also, a line perpendicular to the radius but through the centre is not the required tangent.

Change the contact point from the rightmost to the topmost point on the circle used in the worked examples.

Choosing the method

A circle equation, a triangle and a point of contact offer different information. Choose the geometric fact that turns the given information into the unknown.

UnknownUseful informationStarting idea
Centre and radiusExpanded circle equationComplete both squares
CircumcircleA verified right angleHypotenuse is a diameter
CircumcircleGeneral triangleIntersect perpendicular bisectors
TangentCentre and contact pointRadius is perpendicular to tangent

For example, A(0,0)A(0, 0), B(10,0)B(10, 0), C(0,4)C(0, 4) form a right triangle at AA. The midpoint of BCBC is (5,2)(5, 2), and r2=52+22=29r^2=5^2+2^2=29. Its circumcircle is (x−5)2+(y−2)2=29(x-5)^2+(y-2)^2=29; no simultaneous bisectors are needed.

Here is a surprising feature: a triangle's circumcentre need not be inside the triangle. For A(−1,0)A(-1, 0), B(1,0)B(1, 0), C(0,12)C(0, \frac12), equal squared distances give 1+k2=(12−k)21+k^2=(\frac12-k)^2, so the centre is (0,−34)(0, -\frac34), below all three vertices. It still lies on the perpendicular bisectors. A sketch is a guide, not permission to assume an acute triangle.

The opening triangle has a right angle at (0,0)(0, 0), so its centre is the midpoint (3,4)(3, 4) of BCBC, and its radius is 55. Three points really can reveal a fourth point that none of them names.

Key idea

A circumcentre is characterised by equal distances from the vertices, not by being visually central inside the triangle.

The next diagnostic distinguishes the centre from another familiar triangle point.

Quick Recap

  • A circle's equation is a fixed-distance statement, with a positive radius.
  • Complete both squares to recover its centre and squared radius.
  • The angle in a semicircle is right; a perpendicular from the centre bisects a chord.
  • A circumcentre lies on perpendicular bisectors; a tangent is perpendicular to its contact radius.

The opening points lie on (x−3)2+(y−4)2=25(x-3)^2+(y-4)^2=25, centred at the midpoint (3,4)(3, 4) of their hypotenuse.