Proof of the Circle Theorems
x

Revision notes for Edexcel GCSE Maths Proof of the Circle Theorems. Open the guide for explanations and worked examples. Written against the Edexcel GCSE Maths (1MA1) specification, so the content matches what's examinable rather than general Maths background.

Proof of the Circle Theorems

What you'll learn

  • How to prove circle theorems using only basic geometry facts.
  • Why equal radii create isosceles triangles.
  • How the “angle at the centre is twice the angle at the circumference” theorem leads to several others.
  • How to write clear GCSE proof steps for Grade 8/9 marks.

1. The basic ingredients

Before proving circle theorems, you need a few reliable facts.

Definition

Key circle words

Basic circle vocabulary: centre, radius, chord, diameter, tangent, and a subtended angle.

  • The centre is the fixed point in the middle of the circle, usually labelled OOO.
  • A radius is a line from the centre to the circumference.
  • A chord is a straight line joining two points on the circumference.
  • A diameter is a chord through the centre.
  • A tangent is a straight line that touches the circle at exactly one point.
  • An angle is subtended by a chord or arc if its arms meet the two ends of that chord or arc.

The most important non-circle-theorem fact is: all radii of the same circle are equal. So triangles made from two radii are isosceles.

Key Idea

The proof engine

Most circle theorem proofs start by drawing radii, then using isosceles triangle base angles and angles in a triangle.

Example

Using radii to create equal angles

Points AAA and BBB lie on a circle with centre OOO. Prove that ∠OAB=∠ABO\angle OAB = \angle ABO∠OAB=∠ABO.

Triangle AOB is isosceles because OA and OB are equal radii of the same circle.

  1. Since OAOAOA and OBOBOB are both radii of the same circle, OA=OBOA = OBOA=OB.

  2. Therefore triangle AOBAOBAOB is isosceles.

  3. In an isosceles triangle, the base angles are equal, so ∠OAB=∠ABO\angle OAB = \angle ABO∠OAB=∠ABO.

2. Angle at the centre theorem

The first big proof is the one that powers many others.

Definition

Angle at the centre theorem

The angle at the centre of a circle is twice the angle at the circumference when both angles stand on the same arc.

Suppose AAA, BBB and CCC are on a circle with centre OOO. To prove that ∠AOC=2∠ABC\angle AOC = 2\angle ABC∠AOC=2∠ABC, you draw OBOBOB and use two isosceles triangles.

Example

Proving the centre angle is double

Points PPP, QQQ and RRR are on a circle with centre OOO. Prove that the angle at the centre standing on arc PRPRPR is twice the angle at QQQ.

Joining OQ splits the proof into two isosceles triangles, OPQ and ORQ.

  1. Join OQOQOQ. Let ∠PQO=x\angle PQO = x∠PQO=x and ∠OQR=y\angle OQR = y∠OQR=y.

  2. Since OP=OQOP = OQOP=OQ, triangle OPQOPQOPQ is isosceles, so ∠OPQ=x\angle OPQ = x∠OPQ=x.

  3. Since OR=OQOR = OQOR=OQ, triangle ORQORQORQ is isosceles, so ∠ORQ=y\angle ORQ = y∠ORQ=y.

  4. In triangle OPQOPQOPQ, ∠POQ=180∘−2x\angle POQ = 180^\circ - 2x∠POQ=180∘−2x.

  5. In triangle ORQORQORQ, ∠QOR=180∘−2y\angle QOR = 180^\circ - 2y∠QOR=180∘−2y.

  6. Angles around point OOO add to 360°, so the angle at the centre standing on arc PRPRPR is:

    360∘−(180∘−2x)−(180∘−2y)=2x+2y360^\circ - (180^\circ - 2x) - (180^\circ - 2y) = 2x + 2y360∘−(180∘−2x)−(180∘−2y)=2x+2y
  7. The angle at the circumference is ∠PQR=x+y\angle PQR = x + y∠PQR=x+y.

  8. Therefore the angle at the centre is 2(x+y)2(x+y)2(x+y), which is twice the angle at the circumference.

Common Mistake

Using the theorem to prove itself

If the question says “do not use circle theorems”, you must not write “angle at centre is twice angle at circumference”. Prove it from radii and triangle angle facts instead.

3. Angle in a semicircle

A semicircle is half a circle. If a triangle has one side as the diameter of a circle, the angle opposite the diameter is a right angle.

Example

Proving the angle in a semicircle

Points AAA, BBB and CCC lie on a circle with centre OOO, and ACACAC is a diameter. Prove that ∠ABC=90∘\angle ABC = 90^\circ∠ABC=90∘ without using circle theorems.

A triangle with AC as a diameter can be split into two isosceles triangles using OB.

  1. Join OBOBOB. Let ∠ABO=x\angle ABO = x∠ABO=x and ∠OBC=y\angle OBC = y∠OBC=y.

  2. Since OA=OBOA = OBOA=OB, triangle AOBAOBAOB is isosceles, so ∠BAO=x\angle BAO = x∠BAO=x.

  3. Since OB=OCOB = OCOB=OC, triangle BOCBOCBOC is isosceles, so ∠BCO=y\angle BCO = y∠BCO=y.

  4. In triangle AOBAOBAOB, ∠AOB=180∘−2x\angle AOB = 180^\circ - 2x∠AOB=180∘−2x.

  5. In triangle BOCBOCBOC, ∠BOC=180∘−2y\angle BOC = 180^\circ - 2y∠BOC=180∘−2y.

  6. Since AOCAOCAOC is a straight line, ∠AOB+∠BOC=180∘\angle AOB + \angle BOC = 180^\circ∠AOB+∠BOC=180∘.

  7. So (180∘−2x)+(180∘−2y)=180∘(180^\circ - 2x) + (180^\circ - 2y) = 180^\circ(180∘−2x)+(180∘−2y)=180∘, giving x+y=90∘x+y=90^\circx+y=90∘.

  8. Since ∠ABC=x+y\angle ABC = x+y∠ABC=x+y, ∠ABC=90∘\angle ABC = 90^\circ∠ABC=90∘.

Tip

Spot the diameter

If a line passes through the centre and both ends are on the circle, it is a diameter. The angle opposite it on the circumference will be 90°.

The diameter is the side opposite the right angle on the circumference.

4. Angles in the same segment

A segment is the region between a chord and an arc. Angles in the same segment stand on the same chord and sit on the same side of it.

Example

Proving angles in the same segment are equal

Points AAA, BBB, CCC and DDD lie on a circle. Angles ∠ABD\angle ABD∠ABD and ∠ACD\angle ACD∠ACD both stand on chord ADADAD. Prove that they are equal.

Angles ABD and ACD are in the same segment because they stand on the same chord AD.

  1. Draw the radii OAOAOA and ODODOD.

  2. The angle at the centre standing on chord ADADAD is ∠AOD\angle AOD∠AOD.

  3. By the angle at the centre theorem, ∠AOD=2∠ABD\angle AOD = 2\angle ABD∠AOD=2∠ABD.

  4. By the same theorem, ∠AOD=2∠ACD\angle AOD = 2\angle ACD∠AOD=2∠ACD.

  5. Since both angles are half of the same central angle, ∠ABD=∠ACD\angle ABD = \angle ACD∠ABD=∠ACD.

5. Opposite angles in a cyclic quadrilateral

Definition

Cyclic quadrilateral

A cyclic quadrilateral is a four-sided shape whose four vertices all lie on the circumference of a circle.

The theorem says: opposite angles in a cyclic quadrilateral add to 180°.

Example

Proving opposite angles add to 180°

A quadrilateral ABCDABCDABCD is drawn inside a circle, with its vertices on the circumference. Prove that ∠ABC+∠ADC=180∘\angle ABC + \angle ADC = 180^\circ∠ABC+∠ADC=180∘.

In a cyclic quadrilateral, opposite angles such as ABC and ADC add to 180°.

  1. Join OAOAOA and OCOCOC.

  2. Angle ∠ABC\angle ABC∠ABC stands on the arc from AAA to CCC that does not contain BBB.

  3. Angle ∠ADC\angle ADC∠ADC stands on the other arc from AAA to CCC.

  4. The two central angles standing on these two arcs add to 360° because they make a full turn around OOO.

  5. Each circumference angle is half its matching central angle.

  6. Therefore ∠ABC+∠ADC\angle ABC + \angle ADC∠ABC+∠ADC is half of 360°, so ∠ABC+∠ADC=180∘\angle ABC + \angle ADC = 180^\circ∠ABC+∠ADC=180∘.

Common Mistake

Only opposite angles

In a cyclic quadrilateral, opposite angles add to 180°. Adjacent angles do not necessarily add to 180°.

6. The tangent and chord theorem

The tangent-chord theorem is often called the alternate segment theorem.

It says: the angle between a tangent and a chord equals the angle in the opposite segment.

You also need the fact that a radius meets a tangent at 90°.

Example

Proving the alternate segment theorem

A tangent touches a circle at CCC. Points AAA and BBB are also on the circumference, and chord BCBCBC is drawn. Prove that the angle between the tangent and BCBCBC equals ∠BAC\angle BAC∠BAC.

The radius to the point of contact is perpendicular to the tangent, and the tangent-chord angle matches the angle in the opposite segment.

  1. Join OCOCOC and OBOBOB.

  2. The radius OCOCOC is perpendicular to the tangent, so the angle between OCOCOC and the tangent is 90°.

  3. Let ∠OCB=y\angle OCB = y∠OCB=y. Then the angle between the tangent and chord BCBCBC is 90∘−y90^\circ - y90∘−y.

  4. Since OB=OCOB = OCOB=OC, triangle OBCOBCOBC is isosceles, so ∠OBC=y\angle OBC = y∠OBC=y.

  5. In triangle OBCOBCOBC, ∠BOC=180∘−2y\angle BOC = 180^\circ - 2y∠BOC=180∘−2y.

  6. By the angle at the centre theorem, ∠BAC\angle BAC∠BAC is half of ∠BOC\angle BOC∠BOC.

  7. So ∠BAC=90∘−y\angle BAC = 90^\circ - y∠BAC=90∘−y.

  8. Therefore the angle between the tangent and chord BCBCBC equals ∠BAC\angle BAC∠BAC.

Exam technique

In the exam

  1. Draw in the centre and any missing radii before starting the proof.

  2. Use named basic facts clearly: “radii are equal”, “base angles in an isosceles triangle are equal”, and “angles in a triangle add to 180°”.

  3. If you use a theorem already proved, state it precisely and make sure it applies to the correct chord or arc.

Self review

Check yourself

  • Can you prove the angle at the centre theorem without quoting any circle theorem?
  • In a cyclic quadrilateral, which pair of angles must add to 180°?
  • Why does drawing a radius to the point of contact help in a tangent proof?

Recap questions

Test yourself with 5 quick questions on this guide. Answer them all correctly to complete it.

You've reached the end

Test yourself on this topic, or move on to the next guide.

Practice questionsTake a quick quiz on this topicFlashcardsSelf-test with active recall
Perpendicular Lines and the equation of a tangentUp next

How was this guide?

Proof of the Circle Theorems Revision Guide

  1. GCSE
  2. /Maths
  3. /Proof of the Circle Theorems