What you will learn
- distinguish between demonstration (showing something works for a few cases) and deductive proof (showing it must always work),
- write structured proofs using congruent triangle tests (SSS, SAS, AAS, RHS),
- apply angle properties of parallel lines and isosceles triangles in proofs,
- use proven theorems to solve spatial problems.
A rectangular gate sags without a diagonal brace. A builder adds diagonal . Why does this make the gate rigid?
- Without the brace, the rectangle can deform into a parallelogram — the angles change while side lengths stay the same.
- The diagonal creates two triangles: and .
- Each triangle has three fixed side lengths (the two gate sides plus the brace), so by the SSS condition each triangle is rigid.
- 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 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.
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 have . Draw the altitude from to , meeting at .
- In and : (given), (common side), (altitude).
- By RHS, .
- Therefore (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:
| Test | Condition |
|---|---|
| SSS | Three pairs of corresponding sides are equal |
| SAS | Two pairs of sides and the included angle are equal |
| AAS | Two pairs of angles and a corresponding side are equal |
| RHS | Right angle, hypotenuse, and one other side are equal |
The structure of a congruence proof is:
- State which triangles you are comparing.
- List the matching parts with reasons.
- State the congruence test used.
- Draw your conclusion from corresponding parts.
In quadrilateral , the diagonals and bisect each other at point . Prove that is a parallelogram.
- Since the diagonals bisect each other: and .
- In and : (given), (given), (vertically opposite angles).
- By SAS, .
- Therefore and (corresponding parts).
- Since , lines and are parallel (alternate angles with transversal ).
- Similarly, comparing and gives and .
- Since both pairs of opposite sides are parallel, is a parallelogram.
In , is the midpoint of , and . Prove that .
- In and : (S is the midpoint), (common), (given).
- By SAS, .
- Therefore (corresponding sides).
3. Angle properties in proofs
Key angle facts used in geometric proofs:
- Angles on a straight line sum to .
- Vertically opposite angles are equal.
- Alternate angles (with parallel lines) are equal.
- Co-interior angles (with parallel lines) sum to .
- Base angles of an isosceles triangle are equal.
- Angle sum of a triangle is .
- Exterior angle of a triangle equals the sum of the two non-adjacent interior angles.
Lines are cut by transversal at points and respectively. Prove that the co-interior angles and sum to .
- (angles on a straight line at ).
- (alternate angles, since ).
- Substituting step 2 into step 1: .
Triangle is isosceles with . Point lies on such that bisects . Prove that is the midpoint of .
- In and : (given), (AD bisects ), (common).
- By SAS, .
- Therefore (corresponding sides), so is the midpoint of .
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.
In the figure, is a rectangle. is the midpoint of and is the midpoint of . Prove that , and find if cm and cm.
- Since is a rectangle: cm, and cm.
- is the midpoint of , so cm and cm.
- is the midpoint of , so cm and cm.
- In and : , — wait, we need to set up the correct triangles.
Let us reconsider. In : , , . In : , , . 5. By SAS, . 6. Therefore cm.
In , and . Point lies on such that . Find .
- Since , base angles: .
- In , , so is isosceles with base angles .
- But (same angle).
- So and .
Key congruence tests
Practice
Tier 1: basic skills
- Name the four congruence tests and for each, state what must be equal.
- In and : , , . Which congruence test applies?
- Triangle has and . Find and .
- Lines are cut by a transversal. One alternate angle is . Find the other alternate angle and the co-interior angle on the same side.
- In , the exterior angle at is . If , find .
- Explain the difference between a demonstration and a deductive proof using an example.
- is a parallelogram. State two properties of its diagonals that can be proven using congruent triangles.
- Triangle has , , , . Triangle has , , . Are the triangles congruent? State the test.
Tier 2: structured proofs
- In , is the midpoint of . is drawn and . Prove that . (Hint: show and are both isosceles.)
- is a kite with and . Prove that diagonal bisects diagonal at right angles.
- Two circles of equal radius intersect at points and . Prove that the line joining the centres is the perpendicular bisector of .
- In , is on such that . If cm, cm, and cm, find and .
- Prove that the diagonals of a rhombus bisect each other at right angles.
- has . and are points on and respectively such that . Prove that .
Tier 3: explain and apply
- 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.
- Prove that the angle in a semicircle is . (Hint: let be the centre, and use the isosceles triangle property for and where is the diameter.)
- In quadrilateral , and . Prove that is a parallelogram.
- 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
Harder reasoning
- In , , cm. Point lies inside the triangle such that . Find . (Hint: is the circumcentre; use the circumradius formula for a triangle.)
- Prove that the medians of a triangle are concurrent. (Hint: let two medians meet at and show divides each in the ratio , then prove the third median also passes through .)
- In a cyclic quadrilateral , prove that opposite angles sum to . Use the fact that the angle at the centre is twice the angle at the circumference.
- Two triangles and have , , and . Prove that (the hinge theorem). You may use the cosine rule.
Answer key
Attempt the practice first. When you're ready to check, expand the answers below.
Show the full answer key
Tier 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.
- SAS (two sides and the included angle between them).
- .
- The other alternate angle is . The co-interior angle on the same side is .
- Exterior angle , so , giving .
- A demonstration checks specific cases (e.g. measuring angles in three triangles and finding they sum to ). 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.
- The diagonals of a parallelogram bisect each other (proven by showing two pairs of congruent triangles using SAS with vertically opposite angles).
- Yes, by RHS: right angle, hypotenuse hypotenuse of , and .
Tier 2
- Since and is the midpoint, . So is isosceles () and is isosceles (). Let and . In : . In : . Also or more directly: . But . So , giving … Let us redo cleanly. In : , so . In (isosceles with ): , so . In (isosceles with ): , so . But (straight line). So , giving , so . Therefore .
- In kite with and , let diagonals meet at . In and : , , common. By SSS, . So . Now in and : , , common. By SAS, . So (diagonal bisected) and (supplementary and equal).
- Let the centres be and with equal radius . Then and . So and are each equidistant from and , meaning both lie on the perpendicular bisector of . The line is therefore the perpendicular bisector of .
- cm. cm.
- In rhombus , all sides equal. Diagonals and meet at . In and : (rhombus), common, (to prove). Instead: in and : , , common. By SSS, . So . Now in and : , , common. By SAS, congruent. So and .
- Let (since and , we have ). In : , so is isosceles with . Also . In : (isosceles) and . So . Since these are corresponding angles with transversal cutting and , we get .
Tier 3
- Incorrect. Three equal angle pairs (AAA) guarantee similarity, not congruence. For example, an equilateral triangle with side cm and an equilateral triangle with side cm both have all angles but are clearly not congruent. AAA does not fix the size of the triangle.
- Let be a diameter with centre , and a point on the circle. Then . In : , so . In : , so . In : and , i.e. , so , giving .
- In and : (given), common, (alternate angles since ). By SAS, . Therefore and (alternate angles), so . Both pairs of opposite sides are parallel, hence is a parallelogram.
- SSA is ambiguous because the given angle is not between the two known sides. For example: has , , ; has , , but can be either acute or obtuse (since gives or ). Two different triangles satisfy the same SSA conditions.
Challenge
- In with and , the triangle is isosceles. By the cosine rule: , so . The triangle is equilateral. The circumradius cm. So cm.
- Let medians from and meet at . The median from to midpoint of : by the vector approach, . Similarly, the median from to midpoint of gives the same point . The third median from to midpoint of also passes through . Since all three medians yield the same intersection point, they are concurrent, and divides each median in the ratio from vertex.
- Let and where is the centre (central angles subtended by arcs and ). Then and (angle at circumference = half central angle). Opposite angle angle subtended by arc at circumference. Arc has central angle (where is the central angle for arc ). The key result: corresponds to arcs that together make a full circle (), so the sum of the half-angles is .
- By the cosine rule in : . Similarly . Since and , and , we have (cosine is decreasing on ). Therefore , so , hence .
Prefer paper? Print the answer key as a separate booklet: open print view ->