Topic 12 | Space

Geometric proofs

Year 10 core: constructing deductive proofs involving congruent triangles, angle properties, and circle theorems to solve spatial problems.

50-65 min Printable practice Answer key Challenge included
How to use this page

Read the explanation, work through the examples, then complete the core practice before printing.

Study progress: Not started

What you will learn

Worked example 0 Real-world example: why a diagonal brace works

A rectangular gate ABCDABCD sags without a diagonal brace. A builder adds diagonal ACAC. Why does this make the gate rigid?

  1. Without the brace, the rectangle can deform into a parallelogram — the angles change while side lengths stay the same.
  2. The diagonal ACAC creates two triangles: ABC\triangle ABC and ACD\triangle ACD.
  3. Each triangle has three fixed side lengths (the two gate sides plus the brace), so by the SSS condition each triangle is rigid.
  4. Two rigid triangles sharing a common side form a rigid structure.

Key idea: a demonstration would be to push the gate and see it does not move. The proof explains why it cannot move — triangles with fixed sides cannot change shape.

1. Demonstration vs deductive proof

A demonstration (or verification) checks specific cases. For example, measuring the angles of five different triangles and finding that each set sums to 180°180° is a demonstration. It does not prove the result for all triangles.

A deductive proof uses definitions, axioms, and previously proven theorems to establish that a statement must be true in every case. Each step follows logically from the previous ones.

Worked example 1 Demonstration vs proof

Claim: the base angles of an isosceles triangle are equal.

Demonstration: draw three isosceles triangles, measure the base angles, and confirm they are equal.

Proof: let ABC\triangle ABC have AB=ACAB = AC. Draw the altitude from AA to BCBC, meeting BCBC at MM.

  1. In ABM\triangle ABM and ACM\triangle ACM: AB=ACAB = AC (given), AM=AMAM = AM (common side), AMB=AMC=90°\angle AMB = \angle AMC = 90° (altitude).
  2. By RHS, ABMACM\triangle ABM \cong \triangle ACM.
  3. Therefore ABM=ACM\angle ABM = \angle ACM (corresponding angles of congruent triangles).

The proof shows the result holds for every isosceles triangle, not just the ones we drew.

2. Proofs involving congruent triangles

Two triangles are congruent if they are identical in shape and size. The four standard tests are:

TestCondition
SSSThree pairs of corresponding sides are equal
SASTwo pairs of sides and the included angle are equal
AASTwo pairs of angles and a corresponding side are equal
RHSRight angle, hypotenuse, and one other side are equal

The structure of a congruence proof is:

  1. State which triangles you are comparing.
  2. List the matching parts with reasons.
  3. State the congruence test used.
  4. Draw your conclusion from corresponding parts.
Worked example 2 Proving a quadrilateral property

In quadrilateral ABCDABCD, the diagonals ACAC and BDBD bisect each other at point OO. Prove that ABCDABCD is a parallelogram.

  1. Since the diagonals bisect each other: AO=OCAO = OC and BO=ODBO = OD.
  2. In AOB\triangle AOB and COD\triangle COD: AO=OCAO = OC (given), BO=ODBO = OD (given), AOB=COD\angle AOB = \angle COD (vertically opposite angles).
  3. By SAS, AOBCOD\triangle AOB \cong \triangle COD.
  4. Therefore AB=CDAB = CD and OAB=OCD\angle OAB = \angle OCD (corresponding parts).
  5. Since OAB=OCD\angle OAB = \angle OCD, lines ABAB and DCDC are parallel (alternate angles with transversal ACAC).
  6. Similarly, comparing AOD\triangle AOD and COB\triangle COB gives AD=BCAD = BC and ADBCAD \parallel BC.
  7. Since both pairs of opposite sides are parallel, ABCDABCD is a parallelogram.
Worked example 3 Proving equal lengths

In PQR\triangle PQR, SS is the midpoint of QRQR, and PSQRPS \perp QR. Prove that PQ=PRPQ = PR.

  1. In PQS\triangle PQS and PRS\triangle PRS: QS=SRQS = SR (S is the midpoint), PS=PSPS = PS (common), PSQ=PSR=90°\angle PSQ = \angle PSR = 90° (given).
  2. By SAS, PQSPRS\triangle PQS \cong \triangle PRS.
  3. Therefore PQ=PRPQ = PR (corresponding sides).

3. Angle properties in proofs

Key angle facts used in geometric proofs:

Worked example 4 Proof using parallel lines

Lines ABCDAB \parallel CD are cut by transversal EFEF at points PP and QQ respectively. Prove that the co-interior angles APQ\angle APQ and PQD\angle PQD sum to 180°180°.

  1. APQ+BPQ=180°\angle APQ + \angle BPQ = 180° (angles on a straight line at PP).
  2. BPQ=PQD\angle BPQ = \angle PQD (alternate angles, since ABCDAB \parallel CD).
  3. Substituting step 2 into step 1: APQ+PQD=180°\angle APQ + \angle PQD = 180°.
Worked example 5 Proof using isosceles triangle properties

Triangle ABCABC is isosceles with AB=ACAB = AC. Point DD lies on BCBC such that ADAD bisects BAC\angle BAC. Prove that DD is the midpoint of BCBC.

  1. In ABD\triangle ABD and ACD\triangle ACD: AB=ACAB = AC (given), BAD=CAD\angle BAD = \angle CAD (AD bisects BAC\angle BAC), AD=ADAD = AD (common).
  2. By SAS, ABDACD\triangle ABD \cong \triangle ACD.
  3. Therefore BD=CDBD = CD (corresponding sides), so DD is the midpoint of BCBC.

4. Applying theorems to solve spatial problems

Once a theorem is proven, it can be used as a tool in further problems without re-proving it.

Worked example 6 Using congruence to find unknown lengths

In the figure, ABCDABCD is a rectangle. EE is the midpoint of ABAB and FF is the midpoint of CDCD. Prove that DE=BFDE = BF, and find DEDE if AB=12AB = 12 cm and BC=5BC = 5 cm.

  1. Since ABCDABCD is a rectangle: AD=BC=5AD = BC = 5 cm, and AB=DC=12AB = DC = 12 cm.
  2. EE is the midpoint of ABAB, so AE=6AE = 6 cm and BE=6BE = 6 cm.
  3. FF is the midpoint of CDCD, so DF=6DF = 6 cm and CF=6CF = 6 cm.
  4. In ADE\triangle ADE and BCF\triangle BCF: AD=BC=5AD = BC = 5, AE=BF...AE = BF... — wait, we need to set up the correct triangles.

Let us reconsider. In ADE\triangle ADE: AD=5AD = 5, AE=6AE = 6, DAE=90°\angle DAE = 90°. In BCF\triangle BCF: BC=5BC = 5, CF=6CF = 6, BCF=90°\angle BCF = 90°. 5. By SAS, ADEBCF\triangle ADE \cong \triangle BCF. 6. Therefore DE=BF=52+62=617.81DE = BF = \sqrt{5^2 + 6^2} = \sqrt{61} \approx 7.81 cm.

Worked example 7 Angle chasing with proven results

In ABC\triangle ABC, AB=ACAB = AC and BAC=50°\angle BAC = 50°. Point DD lies on ACAC such that BD=BCBD = BC. Find BDC\angle BDC.

  1. Since AB=ACAB = AC, base angles: ABC=ACB=180°50°2=65°\angle ABC = \angle ACB = \dfrac{180° - 50°}{2} = 65°.
  2. In BDC\triangle BDC, BD=BCBD = BC, so BDC\triangle BDC is isosceles with base angles BDC=BCD\angle BDC = \angle BCD.
  3. But BCD=ACB=65°\angle BCD = \angle ACB = 65° (same angle).
  4. So BDC=65°\angle BDC = 65° and DBC=180°65°65°=50°\angle DBC = 180° - 65° - 65° = 50°.

Key congruence tests

SSS
Three pairs of corresponding sides equal    congruent\text{Three pairs of corresponding sides equal} \implies \text{congruent}
SAS
Two sides and the included angle equal    congruent\text{Two sides and the included angle equal} \implies \text{congruent}
AAS
Two angles and a corresponding side equal    congruent\text{Two angles and a corresponding side equal} \implies \text{congruent}
RHS
Right angle, hypotenuse, and one side equal    congruent\text{Right angle, hypotenuse, and one side equal} \implies \text{congruent}

Practice

Fluency

Tier 1: basic skills

    1. Name the four congruence tests and for each, state what must be equal.
    2. In ABC\triangle ABC and DEF\triangle DEF: AB=DEAB = DE, BC=EFBC = EF, B=E\angle B = \angle E. Which congruence test applies?
    3. Triangle PQRPQR has PQ=PRPQ = PR and QPR=70°\angle QPR = 70°. Find PQR\angle PQR and PRQ\angle PRQ.
    4. Lines l1l2l_1 \parallel l_2 are cut by a transversal. One alternate angle is 55°55°. Find the other alternate angle and the co-interior angle on the same side.
    5. In XYZ\triangle XYZ, the exterior angle at ZZ is 130°130°. If X=80°\angle X = 80°, find Y\angle Y.
    6. Explain the difference between a demonstration and a deductive proof using an example.
    7. ABCDABCD is a parallelogram. State two properties of its diagonals that can be proven using congruent triangles.
    8. Triangle ABCABC has A=90°\angle A = 90°, AB=6AB = 6, AC=8AC = 8, BC=10BC = 10. Triangle DEFDEF has D=90°\angle D = 90°, DE=6DE = 6, DF=8DF = 8. Are the triangles congruent? State the test.
Reasoning

Tier 2: structured proofs

    1. In ABC\triangle ABC, MM is the midpoint of BCBC. AMAM is drawn and AM=12BCAM = \frac{1}{2}BC. Prove that BAC=90°\angle BAC = 90°. (Hint: show ABM\triangle ABM and ACM\triangle ACM are both isosceles.)
    2. ABCDABCD is a kite with AB=ADAB = AD and CB=CDCB = CD. Prove that diagonal ACAC bisects diagonal BDBD at right angles.
    3. Two circles of equal radius intersect at points PP and QQ. Prove that the line joining the centres is the perpendicular bisector of PQPQ.
    4. In ABC\triangle ABC, DD is on BCBC such that ADBCAD \perp BC. If AB=13AB = 13 cm, AD=12AD = 12 cm, and DC=4DC = 4 cm, find BDBD and ACAC.
    5. Prove that the diagonals of a rhombus bisect each other at right angles.
    6. ABC\triangle ABC has AB=ACAB = AC. DD and EE are points on ABAB and ACAC respectively such that BD=CEBD = CE. Prove that DEBCDE \parallel BC.
Reasoning

Tier 3: explain and apply

    1. A student claims that if two triangles have three pairs of equal angles, they must be congruent. Is this correct? Explain your reasoning with an example.
    2. Prove that the angle in a semicircle is 90°90°. (Hint: let OO be the centre, and use the isosceles triangle property for OAB\triangle OAB and OAC\triangle OAC where BCBC is the diameter.)
    3. In quadrilateral ABCDABCD, AB=CDAB = CD and ABCDAB \parallel CD. Prove that ABCDABCD is a parallelogram.
    4. Explain why SSA (two sides and a non-included angle) is not a valid congruence test. Illustrate with two non-congruent triangles that satisfy SSA.

Challenge

Reasoning

Harder reasoning

    1. In ABC\triangle ABC, A=60°\angle A = 60°, AB=AC=10AB = AC = 10 cm. Point PP lies inside the triangle such that PA=PB=PCPA = PB = PC. Find PAPA. (Hint: PP is the circumcentre; use the circumradius formula for a triangle.)
    2. Prove that the medians of a triangle are concurrent. (Hint: let two medians meet at GG and show GG divides each in the ratio 2:12:1, then prove the third median also passes through GG.)
    3. In a cyclic quadrilateral ABCDABCD, prove that opposite angles sum to 180°180°. Use the fact that the angle at the centre is twice the angle at the circumference.
    4. Two triangles ABC\triangle ABC and ABC\triangle A'B'C' have AB=ABAB = A'B', AC=ACAC = A'C', and A>A\angle A > \angle A'. Prove that BC>BCBC > B'C' (the hinge theorem). You may use the cosine rule.
Answers

Answer key

Attempt the practice first. When you're ready to check, expand the answers below.

Show the full answer key

Tier 1

    1. SSS: three pairs of corresponding sides equal. SAS: two sides and the included angle equal. AAS: two angles and a corresponding side equal. RHS: right angle, hypotenuse, and one other side equal.
    2. SAS (two sides and the included angle between them).
    3. PQR=PRQ=180°70°2=55°\angle PQR = \angle PRQ = \frac{180° - 70°}{2} = 55°.
    4. The other alternate angle is 55°55°. The co-interior angle on the same side is 180°55°=125°180° - 55° = 125°.
    5. Exterior angle =X+Y= \angle X + \angle Y, so 130°=80°+Y130° = 80° + \angle Y, giving Y=50°\angle Y = 50°.
    6. A demonstration checks specific cases (e.g. measuring angles in three triangles and finding they sum to 180°180°). A deductive proof uses logical steps from axioms to show the result holds for all cases. The demonstration could fail for an untested case; the proof cannot.
    7. The diagonals of a parallelogram bisect each other (proven by showing two pairs of congruent triangles using SAS with vertically opposite angles).
    8. Yes, by RHS: right angle, hypotenuse BC=36+64=10=BC = \sqrt{36 + 64} = 10 = hypotenuse of DEF\triangle DEF, and AB=DE=6AB = DE = 6.

Tier 2

    1. Since AM=12BCAM = \frac{1}{2}BC and MM is the midpoint, BM=MC=AMBM = MC = AM. So ABM\triangle ABM is isosceles (AM=BMAM = BM) and ACM\triangle ACM is isosceles (AM=CMAM = CM). Let ABM=α\angle ABM = \alpha and ACM=β\angle ACM = \beta. In ABM\triangle ABM: BAM=180°2α\angle BAM = 180° - 2\alpha. In ACM\triangle ACM: CAM=180°2β\angle CAM = 180° - 2\beta. Also α+β=AMB\alpha + \beta = \angle AMB or more directly: BAC=BAM+CAM=(180°2α)+(180°2β)=360°2(α+β)\angle BAC = \angle BAM + \angle CAM = (180° - 2\alpha) + (180° - 2\beta) = 360° - 2(\alpha + \beta). But α+β=ABC+ACB=180°BAC\alpha + \beta = \angle ABC + \angle ACB = 180° - \angle BAC. So BAC=360°2(180°BAC)=360°360°+2BAC\angle BAC = 360° - 2(180° - \angle BAC) = 360° - 360° + 2\angle BAC, giving BAC=2BAC0\angle BAC = 2\angle BAC - 0… Let us redo cleanly. In ABC\triangle ABC: A+α+β=180°\angle A + \alpha + \beta = 180°, so α+β=180°A\alpha + \beta = 180° - \angle A. In ABM\triangle ABM (isosceles with AM=BMAM = BM): BAM=α\angle BAM = \alpha, so AMB=180°2α\angle AMB = 180° - 2\alpha. In ACM\triangle ACM (isosceles with AM=CMAM = CM): CAM=β\angle CAM = \beta, so AMC=180°2β\angle AMC = 180° - 2\beta. But AMB+AMC=180°\angle AMB + \angle AMC = 180° (straight line). So (180°2α)+(180°2β)=180°(180° - 2\alpha) + (180° - 2\beta) = 180°, giving 360°2(α+β)=180°360° - 2(\alpha + \beta) = 180°, so α+β=90°\alpha + \beta = 90°. Therefore A=180°90°=90°\angle A = 180° - 90° = 90°.
    2. In kite ABCDABCD with AB=ADAB = AD and CB=CDCB = CD, let diagonals meet at OO. In ABC\triangle ABC and ADC\triangle ADC: AB=ADAB = AD, CB=CDCB = CD, ACAC common. By SSS, ABCADC\triangle ABC \cong \triangle ADC. So BAC=DAC\angle BAC = \angle DAC. Now in ABO\triangle ABO and ADO\triangle ADO: AB=ADAB = AD, BAO=DAO\angle BAO = \angle DAO, AOAO common. By SAS, ABOADO\triangle ABO \cong \triangle ADO. So BO=DOBO = DO (diagonal bisected) and AOB=AOD=90°\angle AOB = \angle AOD = 90° (supplementary and equal).
    3. Let the centres be O1O_1 and O2O_2 with equal radius rr. Then O1P=O1Q=rO_1P = O_1Q = r and O2P=O2Q=rO_2P = O_2Q = r. So O1O_1 and O2O_2 are each equidistant from PP and QQ, meaning both lie on the perpendicular bisector of PQPQ. The line O1O2O_1O_2 is therefore the perpendicular bisector of PQPQ.
    4. BD=AB2AD2=169144=5BD = \sqrt{AB^2 - AD^2} = \sqrt{169 - 144} = 5 cm. AC=AD2+DC2=144+16=160=41012.65AC = \sqrt{AD^2 + DC^2} = \sqrt{144 + 16} = \sqrt{160} = 4\sqrt{10} \approx 12.65 cm.
    5. In rhombus ABCDABCD, all sides equal. Diagonals ACAC and BDBD meet at OO. In AOB\triangle AOB and COB\triangle COB: AB=CBAB = CB (rhombus), OBOB common, AO=OCAO = OC (to prove). Instead: in ABD\triangle ABD and CBD\triangle CBD: AB=CBAB = CB, AD=CDAD = CD, BDBD common. By SSS, ABDCBD\triangle ABD \cong \triangle CBD. So ABD=CBD\angle ABD = \angle CBD. Now in ABO\triangle ABO and CBO\triangle CBO: AB=CBAB = CB, ABO=CBO\angle ABO = \angle CBO, BOBO common. By SAS, congruent. So AO=COAO = CO and AOB=COB=90°\angle AOB = \angle COB = 90°.
    6. Let AD=AEAD = AE (since BD=CEBD = CE and AB=ACAB = AC, we have AD=ABBD=ACCE=AEAD = AB - BD = AC - CE = AE). In ADE\triangle ADE: AD=AEAD = AE, so ADE\triangle ADE is isosceles with ADE=AED\angle ADE = \angle AED. Also ADE+AED+A=180°\angle ADE + \angle AED + \angle A = 180°. In ABC\triangle ABC: ABC=ACB\angle ABC = \angle ACB (isosceles) and ABC+ACB+A=180°\angle ABC + \angle ACB + \angle A = 180°. So ADE=ABC\angle ADE = \angle ABC. Since these are corresponding angles with transversal ABAB cutting DEDE and BCBC, we get DEBCDE \parallel BC.

Tier 3

    1. Incorrect. Three equal angle pairs (AAA) guarantee similarity, not congruence. For example, an equilateral triangle with side 33 cm and an equilateral triangle with side 66 cm both have all angles =60°= 60° but are clearly not congruent. AAA does not fix the size of the triangle.
    2. Let BCBC be a diameter with centre OO, and AA a point on the circle. Then OA=OB=OC=rOA = OB = OC = r. In OAB\triangle OAB: OA=OBOA = OB, so OAB=OBA=α\angle OAB = \angle OBA = \alpha. In OAC\triangle OAC: OA=OCOA = OC, so OAC=OCA=β\angle OAC = \angle OCA = \beta. In ABC\triangle ABC: BAC=α+β\angle BAC = \alpha + \beta and ABC+BCA+BAC=180°\angle ABC + \angle BCA + \angle BAC = 180°, i.e. α+β+(α+β)=180°\alpha + \beta + (\alpha + \beta) = 180°, so 2(α+β)=180°2(\alpha + \beta) = 180°, giving BAC=90°\angle BAC = 90°.
    3. In ABC\triangle ABC and CDA\triangle CDA: AB=CDAB = CD (given), ACAC common, BAC=DCA\angle BAC = \angle DCA (alternate angles since ABCDAB \parallel CD). By SAS, ABCCDA\triangle ABC \cong \triangle CDA. Therefore BC=DABC = DA and BCA=DAC\angle BCA = \angle DAC (alternate angles), so BCADBC \parallel AD. Both pairs of opposite sides are parallel, hence ABCDABCD is a parallelogram.
    4. SSA is ambiguous because the given angle is not between the two known sides. For example: 1\triangle_1 has a=5a = 5, b=7b = 7, A=30°\angle A = 30°; 2\triangle_2 has a=5a = 5, b=7b = 7, A=30°\angle A = 30° but B\angle B can be either acute or obtuse (since sinB=7sin30°5=0.7\sin B = \frac{7\sin 30°}{5} = 0.7 gives B44.4°B \approx 44.4° or B135.6°B \approx 135.6°). Two different triangles satisfy the same SSA conditions.

Challenge

    1. In ABC\triangle ABC with A=60°\angle A = 60° and AB=AC=10AB = AC = 10, the triangle is isosceles. By the cosine rule: BC2=100+1002(100)cos60°=200100=100BC^2 = 100 + 100 - 2(100)\cos 60° = 200 - 100 = 100, so BC=10BC = 10. The triangle is equilateral. The circumradius R=a2sinA=102sin60°=103=10335.77R = \frac{a}{2\sin A} = \frac{10}{2\sin 60°} = \frac{10}{\sqrt{3}} = \frac{10\sqrt{3}}{3} \approx 5.77 cm. So PA=1033PA = \frac{10\sqrt{3}}{3} cm.
    2. Let medians from AA and BB meet at GG. The median from AA to midpoint MM of BCBC: by the vector approach, G=A+23(MA)=A+2M3=A+B+C3G = A + \frac{2}{3}(M - A) = \frac{A + 2M}{3} = \frac{A + B + C}{3}. Similarly, the median from BB to midpoint NN of ACAC gives the same point G=A+B+C3G = \frac{A + B + C}{3}. The third median from CC to midpoint PP of ABAB also passes through A+B+C3\frac{A + B + C}{3}. Since all three medians yield the same intersection point, they are concurrent, and GG divides each median in the ratio 2:12:1 from vertex.
    3. Let AOB=2α\angle AOB = 2\alpha and AOD=2β\angle AOD = 2\beta where OO is the centre (central angles subtended by arcs ABAB and ADAD). Then ACB=α\angle ACB = \alpha and ACD=β\angle ACD = \beta (angle at circumference = half central angle). Opposite angle B=\angle B = angle subtended by arc ADCADC at circumference. Arc ADCADC has central angle 2β+2γ2\beta + 2\gamma (where 2γ2\gamma is the central angle for arc DCDC). The key result: B+D\angle B + \angle D corresponds to arcs that together make a full circle (360°360°), so the sum of the half-angles is 180°180°.
    4. By the cosine rule in ABC\triangle ABC: BC2=AB2+AC22ABACcosABC^2 = AB^2 + AC^2 - 2 \cdot AB \cdot AC \cos A. Similarly BC2=AB2+AC22ABACcosAB'C'^2 = A'B'^2 + A'C'^2 - 2 \cdot A'B' \cdot A'C' \cos A'. Since AB=ABAB = A'B' and AC=ACAC = A'C', and A>A\angle A > \angle A', we have cosA<cosA\cos A < \cos A' (cosine is decreasing on [0°,180°][0°, 180°]). Therefore 2ABACcosA>2ABACcosA-2 \cdot AB \cdot AC \cos A > -2 \cdot A'B' \cdot A'C' \cos A', so BC2>BC2BC^2 > B'C'^2, hence BC>BCBC > B'C'.

Prefer paper? Print the answer key as a separate booklet: open print view ->