Introduction to Geometric Proofs Revision Notes | GCSE AQA Higher Further Maths
A geometric proof is a sequence of logical statements, each with a named reason; congruent triangles are identical in size and shape. 10 questions answered.
Updated 14 Mar 2026 · Revise Right Team
Introduction to Geometric Proofs is part of Understand and construct geometrical proofs using formal arguments in GCSE AQA Higher Further Maths.
4 min
Reading time
16
Lessons in this topic
GCSE AQA Higher
Pathway
Reviewed by Revise Right
Content review
What this lesson covers
A geometric proof is a sequence of logical statements, each with a named reason; congruent triangles are identical in size and shape. 10 questions answered.
Construct geometrical proofs using formal, logical arguments with correct mathematical language
Apply angle theorems for triangles, quadrilaterals, and parallel lines to prove geometric results
Apply circle theorems to prove relationships between angles and chords
Identify and justify each step in a proof using named geometric reasons
Key ideas to keep in view
Use this lesson to stay inside Understand and construct geometrical proofs using formal arguments while connecting the detail back to the wider Geometry topic.
Geometry
Understand and construct geometrical proofs using formal arguments
GCSE AQA Higher Further Maths
Revision notes
Read the core explanations from Introduction to Geometric Proofs before testing yourself from memory.
1. What Geometric Proof Actually Is
You have been using angle facts and circle theorems for a while now. Geometric proof is the step up: instead of finding a missing angle, you are explaining why a result must always be true, for any diagram that fits the description.
Think of it like a court case. Every claim you make needs evidence — a named theorem or a given fact. A bare statement such as "the angles are equal" earns no marks without a reason attached.
The two key specification requirements for this topic are: constructing proofs using formal arguments, and applying the theorems listed in sections 3.7 and 6.1 of the specification. Both requirements are woven through every section of this lesson.
2. The Theorem Toolkit
Before you can write a proof, you need the tools. The theorems below are the ones you are expected to use as reasons. You do not need to prove them from scratch — you cite them, the way a lawyer cites a law.
3. The Language of Proof
Proof has its own grammar. Each line follows the pattern: statement — reason. The reason must name the theorem or given fact precisely. Vague reasons such as "because of angles" or "obvious from the diagram" score zero.
State what you know from the given information first.
Work step by step — each new fact must follow from the previous one.
Write the reason in brackets or after a dash on the same line.
End with a clear conclusion: 'Therefore, [result], as required.' or 'QED'.
Never assume what you are trying to prove — that is circular reasoning.
4. Proving Results with Angle Theorems
The most common proof tasks at GCSE involve parallel lines, triangles, and quadrilaterals. The strategy is always the same: identify which theorem connects the given information to what you need to show, then build a chain of statements.
Here is a classic example that uses alternate angles and the angle sum of a triangle — two theorems from the 3.7 toolkit.
Worked example: Proof: Angle Sum of a Triangle is 180°
Prove that the angles in any triangle sum to $180^\circ$. [Triangle $ABC$ with a line $DE$ drawn through $B$, parallel to $AC$.]
Draw line $DE$ through $B$, parallel to $AC$. — This is the construction we are allowed to use. State it clearly at the start.
$\angle DBA = \angle BAC$ — alternate angles, $DE \parallel AC$ — Angle $DBA$ (between ray $BD$ and ray $BA$ at vertex $B$) equals angle $BAC$ at vertex $A$. These are alternate angles between the parallel lines $DE$ and $AC$, with transversal $AB$. [M1]
$\angle EBC = \angle BCA$ — alternate angles, $DE \parallel AC$ — Angle $EBC$ (between ray $BE$ and ray $BC$ at vertex $B$) equals angle $BCA$ at vertex $C$. These are alternate angles between the parallel lines $DE$ and $AC$, with transversal $BC$. [M1]
$\angle DBA + \angle ABC + \angle EBC = 180^\circ$ — angles on a straight line at $B$ — The three angles together form the straight line $DE$ at point $B$. [M1]
$\angle BAC + \angle ABC + \angle BCA = 180^\circ$ — Replacing $\angle DBA$ with $\angle BAC$ and $\angle EBC$ with $\angle BCA$ (from steps 2 and 3) gives the angle sum of triangle $ABC$. Therefore the angles in any triangle sum to $180^\circ$. QED [A1]
Answer: The angles in triangle $ABC$ sum to $180^\circ$, proved using alternate angles and angles on a straight line.
Notice the structure: every step names the theorem and, where parallel lines are involved, names the specific parallel lines. That level of precision is what separates a full-mark proof from a partial one.
5. Proving Results with Circle Theorems
Circle theorem proofs follow the same principle, but now your toolkit includes the theorems from section 6.1. The most frequently examined are the angle at the centre, angles in the same segment, and the alternate segment theorem.
A common exam task asks you to prove that the angle at the centre is twice the angle at the circumference. Here is how that proof is constructed formally.
Worked example: Proof: Angle at Centre is Twice Angle at Circumference
Circle with centre $O$. Points $A$, $B$, $C$ lie on the circumference. Prove that $\angle AOB = 2 \angle ACB$.
Draw radius $OC$ and extend it to point $D$ on the far side of the circle. — This construction splits the diagram into two isosceles triangles. State it explicitly.
$OA = OC$ (radii), so triangle $OAC$ is isosceles. Therefore $\angle OAC = \angle OCA$. — Equal radii give an isosceles triangle. Base angles of an isosceles triangle are equal. [M1]
$\angle AOD = \angle OAC + \angle OCA = 2\angle OCA$ — exterior angle of a triangle — The exterior angle at $O$ (which is $\angle AOD$) equals the sum of the two non-adjacent interior angles. Since both are equal, $\angle AOD = 2\angle OCA$. [M1]
$OB = OC$ (radii), so $\angle OBC = \angle OCB$. Therefore $\angle BOD = 2\angle OCB$ — same reasoning. — The same argument applies to triangle $OBC$. [M1]
$\angle AOB = \angle AOD + \angle BOD = 2\angle OCA + 2\angle OCB = 2(\angle OCA + \angle OCB) = 2\angle ACB$ — Adding the two results gives the required conclusion. Therefore $\angle AOB = 2\angle ACB$. QED [A1]
Answer: $\angle AOB = 2\angle ACB$ — the angle at the centre is twice the angle at the circumference subtended by the same arc.
6. Congruence Proofs
Another major proof type asks you to show that two triangles are congruent. Congruence means the triangles are identical in size and shape. There are four conditions — you only need to establish one of them to conclude congruence.
Condition
Abbreviation
What you need to show
Three sides equal
SSS
All three pairs of corresponding sides are equal.
Two sides and included angle equal
SAS
Two pairs of sides and the angle between them are equal.
Two angles and corresponding side equal
ASA or AAS
Two pairs of angles and one pair of corresponding sides are equal.
Right angle, hypotenuse, side equal
RHS
Both triangles have a right angle, equal hypotenuses, and one other equal side.
The proof structure for congruence is: establish three matching facts (sides or angles), name the congruence condition, and state the conclusion. Each fact needs its own reason.
Worked example: Congruence Proof: Two Triangles in a Parallelogram
$ABCD$ is a parallelogram. Diagonal $AC$ is drawn. Prove that triangle $ABC$ is congruent to triangle $CDA$.
$AC = CA$ — common side (shared by both triangles) — The diagonal is a side of both triangles. This is always a valid reason. [M1]
$\angle BAC = \angle DCA$ — alternate angles, $AB \parallel DC$ — In a parallelogram, opposite sides are parallel. Alternate angles between parallel lines are equal. [M1]
$\angle BCA = \angle DAC$ — alternate angles, $BC \parallel AD$ — The other pair of parallel sides gives a second pair of alternate angles. [M1]
Triangle $ABC \cong$ triangle $CDA$ — ASA (two angles and the included side are equal) — We have two pairs of equal angles and the side between them ($AC$) is shared. The ASA condition is satisfied. Therefore the triangles are congruent. QED [A1]
Answer: Triangle $ABC \cong$ triangle $CDA$ by ASA congruence.
7. Exam Technique and Common Mistakes
Proof questions are worth several marks and are often the most discriminating questions on the paper. The marks are awarded for method — for the quality of your reasoning — not just for reaching the right answer.
Here is a worked example of a circle theorem proof that students frequently lose marks on, followed by the exam technique guidance that ties together everything from this lesson.
Worked example: Exam-Style Proof: Opposite Angles of a Cyclic Quadrilateral
$ABCD$ is a cyclic quadrilateral with centre $O$. Prove that $\angle ABC + \angle ADC = 180^\circ$. [5 marks]
Let $\angle AOC = 2x$ (the non-reflex angle at centre subtended by arc $ADC$). — Naming the central angle sets up the next step cleanly. [M1]
$\angle ADC = x$ — angle at circumference is half the angle at centre, subtended by arc $AC$ — The angle at the circumference on the same arc is half the central angle. [M1]
Reflex $\angle AOC = 360^\circ - 2x$ — angles at a point sum to $360^\circ$ — The reflex angle and the non-reflex angle together make a full turn. [M1]
$\angle ABC = \frac{1}{2}(360^\circ - 2x) = 180^\circ - x$ — angle at circumference subtended by arc $ADC$ — The angle at $B$ is subtended by the major arc $ADC$, so it equals half the reflex central angle. [M1]
$\angle ABC + \angle ADC = (180^\circ - x) + x = 180^\circ$ — The two expressions sum to exactly $180^\circ$. Therefore opposite angles in a cyclic quadrilateral sum to $180^\circ$. QED [A1]
Answer: $\angle ABC + \angle ADC = 180^\circ$ — proved using the angle at the centre theorem and angles at a point.
Geometric proof brings together every angle theorem and circle theorem you have studied, requiring you to deploy them as named reasons in a logical chain. Mastering the language — statement plus reason, building to a clear conclusion — is the skill that earns full marks on these questions.
Sources and content standards
Published by Revise Right. Use the official specification reference to check the requirements for your course. Content updated: 2026-03-14.
Congruent means two triangles are identical in size and shape. A congruence proof establishes three matching facts, sides or angles, each with its own reason, then names the condition such as SSS, SAS, ASA or RHS.
What does QED mean?
QED marks the end of a proof, showing the required result has been reached. A proof can also end with 'Therefore, [result], as required.' after a chain of statements, each supported by a named reason.
What are the conditions for congruent triangles?
The four conditions for congruent triangles are SSS, three pairs of equal sides; SAS, two sides and the included angle; ASA or AAS, two angles and a corresponding side; and RHS, a right angle, equal hypotenuses and one other equal side. Only one condition needs to be established to conclude congruence.
What is a geometric proof?
A formal geometric proof is a sequence of logical statements, each supported by a named geometric reason, leading from given information to a conclusion that must always be true. Each line follows the pattern statement then reason, and a bare statement such as 'the angles are equal' earns no marks without a reason.
How do you prove the angles in a triangle add up to 180°?
Draw a line DE through B parallel to AC. Then angle DBA = angle BAC and angle EBC = angle BCA (alternate angles, DE parallel to AC), and angle DBA + angle ABC + angle EBC = 180° (angles on a straight line). Substituting gives angle BAC + angle ABC + angle BCA = 180°.
How do you prove triangles in a parallelogram are congruent?
For parallelogram ABCD with diagonal AC: AC = CA (common side); angle BAC = angle DCA (alternate angles, AB parallel to DC); angle BCA = angle DAC (alternate angles, BC parallel to AD). So triangle ABC is congruent to triangle CDA by ASA.
How do you prove opposite angles in a cyclic quadrilateral add to 180°?
Let the angle at the centre O subtended by arc ADC be 2x, so angle ADC = x (angle at the circumference is half the angle at the centre). The reflex angle at O is 360° − 2x, so angle ABC = 180° − x. Adding gives angle ABC + angle ADC = 180°.
What is circular reasoning in a proof?
Circular reasoning is assuming what is being proved, which a proof must never do. Each statement must instead follow from the given information or a previous step, supported by a named geometric reason.
How do you write each line of a geometric proof?
Each line of a geometric proof follows the pattern statement — reason, with the reason naming the theorem or given fact precisely, such as 'alternate angles, DE ∥ AC'. Vague reasons like 'obvious from the diagram' score zero, and the proof ends with a clear conclusion or QED.
How do you prove the angle at the centre is twice the angle at the circumference?
The proof draws radius OC and extends it to D, making isosceles triangles OAC and OBC with equal radii. By the exterior angle theorem, angle AOD = 2 × angle OCA and angle BOD = 2 × angle OCB, so adding gives angle AOB = 2 × angle ACB.