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 ; angles on a line sum to ; angles round a point sum to ; 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 and 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 (circumference) to centre and to a point on the circumference; extend to .
Let , so .
Since (radii), is isosceles: . The exterior angle rule gives . By the same logic on : .
QED. (Three configurations exist depending on whether lies inside, on, or outside — 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: is a diameter, centre ; is any point on the circumference. Draw radius . Let .
Since and (radii), both and are isosceles, so and .
Angles in sum to : .
Since , . QED.
05 — Explanation
How do I prove angles in the same segment are equal?
Let (angle at centre). By the master proof, and (both subtend the same arc ). So . QED.
06 — Explanation
How do I prove opposite angles of a cyclic quadrilateral sum to 180°?
Join centre to opposite vertices of cyclic quadrilateral . The reflex (angle at centre, major arc) and the minor (angle at centre, minor arc). Since these two angles at together complete a full turn: . QED.
07 — Explanation
How do I prove a tangent meets a radius at 90°?
This one uses proof by contradiction, not algebra. Any point on the tangent line must lie outside the circle (since the tangent touches at only one point ), so for every such . This means is the shortest distance from to the tangent line — and the shortest distance from a point to a line is always the perpendicular. So tangent. QED.
08 — Explanation
How do I prove two tangents from an external point are equal?
Join external point to centre , and to the two points of contact . In and : both have a right angle (radius⊥tangent), share hypotenuse , and have (radii) — RHS congruence. Congruent triangles have equal corresponding sides, so . QED.
09 — Explanation
How do I prove the Alternate Segment Theorem?
The hardest proof on the specification — a multi-step chain. Tangent at , chord , point in the alternate segment; let . Draw the diameter through , join to .
- (tangent⊥radius/diameter)
- (angles making up )
- (angle in semicircle, subtended by diameter )
- Angles in sum to :
- (angles in the same segment, both subtend arc )
- So . 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
are points on a circle. is a tangent at . . . Prove .
- — Alternate Segment Theorem.
- — base angles of isosceles (since ).
- — angles in a triangle.
- — opposite angles of cyclic quadrilateral .
- . QED.