POPStudying

Pearson Edexcel 4MA1 IGCSE  ·  Topic G8.8  ·  Higher tier

G8.8 Circle Theorem Proofs

Image  ·  914 × 270

01 — Explanation

What am I actually allowed to use in a "prove from first principles" proof?

Only basic axioms — never the theorem you're trying to prove (that would be circular reasoning). Your toolkit: angles in a triangle sum to 180°180°; angles on a line sum to 180°180°; angles round a point sum to 360°360°; base angles of an isosceles triangle are equal; exterior angle = sum of opposite interior angles; and conditions for congruence (RHS, SSS, SAS, ASA).

02 — Explanation

What's the one strategy that starts almost every circle proof?

Draw the radius. Any two radii drawn to points on the circumference form an isosceles triangle (since all radii are equal), and the equal base angles become your algebraic foothold — label them xx and yy and work from there.

03 — Explanation

How do I prove the angle at the centre is twice the angle at the circumference?

This is the master proof — nearly every other angle theorem follows from it.

Construction: Join A,BA,B (circumference) to centre OO and to a point PP on the circumference; extend POPO to QQ.

Let ∠OPA=x, ∠OPB=y\angle OPA=x,\ \angle OPB=y, so ∠APB=x+y\angle APB=x+y.

Since OA=OPOA=OP (radii), △APO\triangle APO is isosceles: ∠OAP=∠OPA=x\angle OAP=\angle OPA=x. The exterior angle rule gives ∠AOQ=x+x=2x\angle AOQ = x+x = 2x. By the same logic on △BPO\triangle BPO: ∠BOQ=2y\angle BOQ=2y.

∠AOB=∠AOQ+∠BOQ=2x+2y=2(x+y)=2×∠APB\angle AOB = \angle AOQ+\angle BOQ = 2x+2y = 2(x+y) = 2\times\angle APB

QED. (Three configurations exist depending on whether OO lies inside, on, or outside ∠APB\angle APB — the reflex-angle version of this proof is what makes the cyclic quadrilateral proof below possible.)

04 — Explanation

How do I prove the angle in a semicircle is 90°, without using the angle-at-centre theorem?

Questions sometimes explicitly forbid using the master proof above, forcing this "ab initio" version.

Construction: ABAB is a diameter, centre OO; CC is any point on the circumference. Draw radius OCOC. Let ∠OAC=x, ∠OBC=y\angle OAC=x,\ \angle OBC=y.

Since OA=OCOA=OC and OB=OCOB=OC (radii), both △AOC\triangle AOC and △BOC\triangle BOC are isosceles, so ∠OCA=x\angle OCA=x and ∠OCB=y\angle OCB=y.

Angles in △ABC\triangle ABC sum to 180°180°: x+y+(x+y)=180°  ⟹  2(x+y)=180°  ⟹  x+y=90°x+y+(x+y)=180° \implies 2(x+y)=180° \implies x+y=90°.

Since ∠ACB=x+y\angle ACB=x+y, ∠ACB=90°\angle ACB=90°. QED.

05 — Explanation

How do I prove angles in the same segment are equal?

Let ∠AOB=x\angle AOB=x (angle at centre). By the master proof, ∠AOB=2×∠ACB\angle AOB=2\times\angle ACB and ∠AOB=2×∠ADB\angle AOB=2\times\angle ADB (both C,DC,D subtend the same arc ABAB). So 2∠ACB=2∠ADB  ⟹  ∠ACB=∠ADB2\angle ACB=2\angle ADB \implies \angle ACB=\angle ADB. QED.

06 — Explanation

How do I prove opposite angles of a cyclic quadrilateral sum to 180°?

Join centre OO to opposite vertices B,DB,D of cyclic quadrilateral ABCDABCD. The reflex ∠BOD=2∠DAB\angle BOD = 2\angle DAB (angle at centre, major arc) and the minor ∠BOD=2∠BCD\angle BOD = 2\angle BCD (angle at centre, minor arc). Since these two angles at OO together complete a full turn: 2∠DAB+2∠BCD=360°  ⟹  ∠DAB+∠BCD=180°2\angle DAB+2\angle BCD=360° \implies \angle DAB+\angle BCD=180°. QED.

07 — Explanation

How do I prove a tangent meets a radius at 90°?

This one uses proof by contradiction, not algebra. Any point Q≠PQ\ne P on the tangent line must lie outside the circle (since the tangent touches at only one point PP), so OQ>OPOQ>OP for every such QQ. This means OPOP is the shortest distance from OO to the tangent line — and the shortest distance from a point to a line is always the perpendicular. So OP⊥OP\perp tangent. QED.

08 — Explanation

How do I prove two tangents from an external point are equal?

Join external point PP to centre OO, and to the two points of contact A,BA,B. In △PAO\triangle PAO and △PBO\triangle PBO: both have a right angle (radius⊥tangent), share hypotenuse OPOP, and have OA=OBOA=OB (radii) — RHS congruence. Congruent triangles have equal corresponding sides, so PA=PBPA=PB. QED.

09 — Explanation

How do I prove the Alternate Segment Theorem?

The hardest proof on the specification — a multi-step chain. Tangent at AA, chord ACAC, point BB in the alternate segment; let ∠TAC=x\angle TAC=x. Draw the diameter ADAD through AA, join DD to CC.

  1. ∠TAD=90°\angle TAD=90° (tangent⊥radius/diameter)
  2. ∠DAC=90°−x\angle DAC = 90°-x (angles making up ∠TAD\angle TAD)
  3. ∠ACD=90°\angle ACD=90° (angle in semicircle, subtended by diameter ADAD)
  4. Angles in △ADC\triangle ADC sum to 180°180°: ∠ADC+90°+(90°−x)=180°  ⟹  ∠ADC=x\angle ADC+90°+(90°-x)=180° \implies \angle ADC=x
  5. ∠ABC=∠ADC\angle ABC=\angle ADC (angles in the same segment, both subtend arc ACAC)
  6. So ∠ABC=x=∠TAC\angle ABC=x=\angle TAC. QED.

Exam Tip

A correct algebraic proof without stated reasons ("base angles of isosceles triangle," "angles in a triangle sum to 180°," etc.) loses the final communication mark — write the reason after every line.

10 — Worked example

Worked exam-style question

A,B,C,DA,B,C,D are points on a circle. PCQPCQ is a tangent at CC. AB=CBAB=CB. ∠BCQ=x°\angle BCQ=x°. Prove ∠CDA=2x°\angle CDA=2x°.

  1. ∠BAC=x°\angle BAC=x° — Alternate Segment Theorem.
  2. ∠BCA=∠BAC=x°\angle BCA=\angle BAC=x° — base angles of isosceles △ABC\triangle ABC (since AB=CBAB=CB).
  3. ∠ABC=180°−2x°\angle ABC=180°-2x° — angles in a triangle.
  4. ∠CDA+∠ABC=180°\angle CDA+\angle ABC=180° — opposite angles of cyclic quadrilateral ABCDABCD.
  5. ∠CDA=180°−(180°−2x°)=2x°\angle CDA = 180°-(180°-2x°) = 2x°. QED.