G5, G6 - Triangle congruence and geometrical arguments

G5, G6 - Triangle congruence and geometrical arguments

Two triangles can match exactly even when one is turned or reflected. You will decide when their information guarantees a match, then use congruence, angle facts and similarity to explain triangle and quadrilateral properties and prove Pythagoras' theorem.

Tests for congruent triangles

Could four identical right triangles explain why 32+42=523^2+4^2=5^2? By the end, you will use their areas to prove a result for every right triangle.

You already know

Equal sides of an isosceles triangle face equal angles. Angles in a triangle total 180∘180^\circ; parallel sides give equal alternate angles.

Congruent figures have the same shape and size. One may need moving, turning or reflecting to fit the other. Writing △ABC≅△PQR\triangle ABC\cong\triangle PQR matches AA to PP, BB to QQ, CC to RR; thus AB=PQAB=PQ, BC=QRBC=QR, AC=PRAC=PR.

TestInformation that guarantees congruenceWhy it fixes a triangle
SSSThree corresponding sides equalTwo fixed-radius arcs locate the third vertex, up to reflection.
SASTwo corresponding sides and their included angle equalThe angle fixes two rays and the lengths fix their endpoints.
ASATwo corresponding angles and a corresponding side equalThe third angle follows, and the side fixes the size.
RHSRight angles, equal hypotenuses and one other corresponding side equalThe right angle and two matched lengths fix the triangle.

For ASA, the side can be between the angles or opposite matching angles: the third angle follows from 180∘180^\circ. For RHS, identify the side opposite the right angle as the hypotenuse in each triangle. These congruence tests are not on the formula sheet: learn them.

Worked example 1: the included angle

Question. AB=DE=5 cmAB=DE=5\,\mathrm{cm}, AC=DF=7 cmAC=DF=7\,\mathrm{cm}, and ∠BAC=∠EDF=40∘\angle BAC=\angle EDF=40^\circ. Explain why triangles ABC,DEFABC,DEF are congruent and name the side equal to BCBC.

Plan. List the matching information, checking that the angle lies between the known sides.

AB=DEgiven first side pairAC=DFgiven second side pair∠BAC=∠EDFincluded angle pair△ABC≅△DEFSAS\begin{aligned} AB&=DE &&\text{given first side pair}\\ AC&=DF &&\text{given second side pair}\\ \angle BAC&=\angle EDF &&\text{included angle pair}\\ \triangle ABC&\cong\triangle DEF &&\text{SAS} \end{aligned}

Why SAS? The angle is where the two specified sides meet in each triangle.

Answer. The triangles are congruent by SAS, so BC=EFBC=EF, corresponding sides.

Check. The vertex match B↔EB\leftrightarrow E, C↔FC\leftrightarrow F gives the same side pair.

Change only the included angle from 40∘40^\circ to 60∘60^\circ in both triangles. The test should still apply.

Worked example 2: a different included angle

Question. AB=DE=5 cmAB=DE=5\,\mathrm{cm}, AC=DF=7 cmAC=DF=7\,\mathrm{cm}, and ∠BAC=∠EDF=60∘\angle BAC=\angle EDF=60^\circ. Prove BC=EFBC=EF.

Plan. Establish congruence before claiming the unknown sides equal.

AB=DE,AC=DFtwo given side pairs∠BAC=∠EDF=60∘between those sides△ABC≅△DEFSASBC=EFcorresponding sides\begin{aligned} AB=DE,\quad AC&=DF &&\text{two given side pairs}\\ \angle BAC&=\angle EDF=60^\circ &&\text{between those sides}\\ \triangle ABC&\cong\triangle DEF &&\text{SAS}\\ BC&=EF &&\text{corresponding sides} \end{aligned}

Why prove congruence first? The unknown sides are a consequence, not part of the given evidence.

Answer. BC=EFBC=EF, as required.

Check. Changing the shared angle changes the triangles, but both still have the same two lengths and included angle as each other.

ASA offers a different route. If LM=RS=8 cmLM=RS=8\,\mathrm{cm}, angles at L,RL,R are 35∘35^\circ and at M,SM,S are 65∘65^\circ, then the third angles are 80∘80^\circ. ASA gives △LMN≅△RST\triangle LMN\cong\triangle RST, hence LN=RTLN=RT, MN=STMN=ST.

AAA establishes similarity, with equal angles and proportional sides, but not necessarily equal size: equilateral triangles of sides 3 and 6 both have three 60∘60^\circ angles. SSA is not a general congruence test. Fix AB=5 cmAB=5\,\mathrm{cm}, BC=4 cmBC=4\,\mathrm{cm}, and ∠BAC=30∘\angle BAC=30^\circ: a radius-4 circle about BB crosses the ray from AA twice, giving two possible triangles. RHS handles the special right-angle case.

Watch out

Wrong: “Two sides and an angle are equal, so SAS.” The angle must be included between those two sides. With a non-included angle, two different triangles may fit. Name the sides and their meeting vertex before choosing SAS.

This time the supplied angle has moved away from the meeting point of the known sides.

Why isosceles base angles are equal

A proof explains why equal base angles follow from equal sides, without relying on a perfectly symmetrical sketch.

Let AB=ACAB=AC. Bisect the apex angle at AA, meeting BCBC at DD. The two smaller triangles have equal outer sides, common ADAD, and equal included half-apex angles. They are congruent by SAS. Their corresponding base angles are equal; corresponding base halves are equal too. Their equal adjacent angles at DD total 180∘180^\circ, so each is 90∘90^\circ.

[DIAGRAM: asset_name: Congruence derivation in an isosceles triangle; asset_slug: 1ma1_m48_isosceles; caption: Bisecting the apex creates two SAS-congruent triangles and proves the base-angle and midpoint properties.; description: Isosceles triangle ABC has AB and AC marked equal and apex bisector AD. Equal half-apex angles are marked, and D lies on BC. Two lightly filled matching halves identify triangles ABD and ACD; a right-angle square and equal base-half ticks show the derived results.]
Bisecting the apex creates two SAS-congruent triangles and proves the base-angle and midpoint properties.

The diagram records the conclusions as well as the starting information. In a proof, state which facts you were given and which you deduced. The isosceles base-angle result is not on the formula sheet: derive it from SAS congruence when a proof is requested.

Worked example 3: starting with an angle bisector

Question. AB=ACAB=AC, and ADAD bisects ∠BAC\angle BAC, with DD on BCBC. Prove BD=DCBD=DC.

Plan. Compare ABDABD with ACDACD using the included half-apex angles.

AB=ACgivenAD=ADcommon side∠BAD=∠DACangle bisector△ABD≅△ACDSASBD=DCcorresponding sides\begin{aligned} AB&=AC &&\text{given}\\ AD&=AD &&\text{common side}\\ \angle BAD&=\angle DAC &&\text{angle bisector}\\ \triangle ABD&\cong\triangle ACD &&\text{SAS}\\ BD&=DC &&\text{corresponding sides} \end{aligned}

Why not assume DD is the midpoint? That is exactly what the proof must establish.

Answer. BD=DCBD=DC, so DD is the midpoint of BCBC.

Check. The matching order sends BB to CC, giving the intended base halves.

Change only the condition defining DD: it is now given as the midpoint instead of the point where the apex bisector meets the base. The congruence test changes.

Worked example 4: starting with a midpoint

Question. AB=ACAB=AC, and DD is the midpoint of BCBC. Prove that ADAD bisects ∠BAC\angle BAC.

Plan. Use three side pairs to prove congruence, then match apex angles.

AB=ACgivenBD=DCmidpointAD=ADcommon side△ABD≅△ACDSSS∠BAD=∠DACcorresponding angles\begin{aligned} AB&=AC &&\text{given}\\ BD&=DC &&\text{midpoint}\\ AD&=AD &&\text{common side}\\ \triangle ABD&\cong\triangle ACD &&\text{SSS}\\ \angle BAD&=\angle DAC &&\text{corresponding angles} \end{aligned}

Why SSS rather than SAS? We now know the base halves, but have not yet established equal apex angles.

Answer. ADAD bisects the apex angle.

Check. The conclusion uses an angle pair at AA, the required vertex.

The converse base-angle result also holds: two equal triangle angles imply equal opposite sides. Compare the triangle with its reversed vertex order; the equal angles and shared intervening side give ASA. Thus base angles 58∘58^\circ imply equal opposite sides and apex angle 64∘64^\circ. Given equal sides and apex angle 36∘36^\circ, each base angle is (180∘−36∘)/2=72∘(180^\circ-36^\circ)/2=72^\circ.

Watch out

Wrong: “AB=ACAB=AC, and ADAD looks central, so BD=DCBD=DC.” An unmarked line need not bisect anything. Give a construction or midpoint condition, then use congruence to derive the remaining properties.

Use the midpoint information again, with new labels, to prove another consequence of the same congruence.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account