Skip to content

The congruence theorems SAS and ASA

The congruence theorems SAS and ASA

Three parts instead of six

To know that two triangles are congruent, you need not check all six pairs of corresponding parts: some three parts fix the whole triangle. Every triangle built from three such parts comes out the same triangle – so two triangles that share those three parts are congruent.

  • A congruence theorem says which three parts are enough.
  • Its name is made of S (side) and A (angle), in the order the parts sit in the triangle.
The congruence theorem SAS

The congruence theorem side, angle, side (SAS): if two sides and the angle between them in one triangle are equal to two sides and the angle between them in another triangle, the triangles are congruent.

  • In the drawing: AB=DE\displaystyle {AB}={DE}, ∠B=∠E\displaystyle {\angle B}={\angle E} and BC=EF\displaystyle {BC}={EF}, so △ABC≅△DEF\displaystyle \triangle ABC\cong\triangle DEF.
  • The angle must be between the two sides: ∠B\displaystyle \angle B is between AB\displaystyle AB and BC\displaystyle BC.
  • Why this is enough: we build the triangle. We draw ∠B\displaystyle \angle B, and measure BA\displaystyle BA along one arm and BC\displaystyle BC along the other. That fixes the vertices A\displaystyle A and C\displaystyle C, and only one segment joins them – no choice is left.
The congruence theorem ASA
Two angles are known, but the side is not between them? Then the third angle is known too, since the angles of a triangle add up to 180∘\displaystyle 180^{\circ} – and now the side lies between two known angles.

The congruence theorem angle, side, angle (ASA): if a side and the two angles beside it in one triangle are equal to a side and the two angles beside it in another triangle, the triangles are congruent.

  • In the drawing: ∠B=∠E\displaystyle {\angle B}={\angle E}, BC=EF\displaystyle {BC}={EF} and ∠C=∠F\displaystyle {\angle C}={\angle F}, so △ABC≅△DEF\displaystyle \triangle ABC\cong\triangle DEF.
  • Why this is enough: we draw BC\displaystyle BC, and the two angles at its ends. The arm from B\displaystyle B and the arm from C\displaystyle C meet at one point only – the vertex A\displaystyle A.
Example: proving a congruence

The segments AB\displaystyle AB and CD\displaystyle CD cross at the point O\displaystyle O.
O\displaystyle O is the midpoint of AB\displaystyle AB, and O\displaystyle O is the midpoint of CD\displaystyle CD.
Prove: △AOC≅△BOD\displaystyle \triangle AOC\cong\triangle BOD.

The proof below finds two pairs of equal sides in triangles AOC\displaystyle AOC and BOD\displaystyle BOD, and the angle between them – the angles at O\displaystyle O are vertical angles:

ClaimReason
1AO=BO\displaystyle {AO}={BO}Given (O\displaystyle O is the midpoint of AB\displaystyle AB)
2CO=DO\displaystyle {CO}={DO}Given (O\displaystyle O is the midpoint of CD\displaystyle CD)
3∠AOC=∠BOD\displaystyle {\angle AOC}={\angle BOD}Vertical angles
4△AOC≅△BOD\displaystyle \triangle AOC\cong\triangle BOD(1), (2), (3); the congruence theorem SAS
Equal parts that are not given

A proof uses equal parts that the data does not list; they are found in the drawing:

  • A common side – a side of both triangles: it equals itself, AC=AC\displaystyle {AC}={AC}.
  • Vertical angles – they are equal.
  • Alternate or corresponding angles between parallel lines – they are equal.
Exercise 1

The triangles are congruent. Write the congruence in the right order, and the congruence theorem.

a
b
c

In triangles ABC\displaystyle ABC and DEF\displaystyle DEF:
∠A=∠D=50∘\displaystyle {\angle A}={\angle D}={50^{\circ}}, ∠B=∠E=70∘\displaystyle {\angle B}={\angle E}={70^{\circ}}.
BC=EF\displaystyle {BC}={EF}.

Exercise 2

D\displaystyle D is a point on the side BC\displaystyle BC of triangle ABC\displaystyle ABC.
AD\displaystyle AD bisects the angle A\displaystyle A: ∠BAD=∠CAD\displaystyle {\angle BAD}={\angle CAD}.
AD⊥BC\displaystyle AD\perp BC.
Prove: △ABD≅△ACD\displaystyle \triangle ABD\cong\triangle ACD.

Exercise 3

In the quadrilateral ABCD\displaystyle ABCD: AB∥CD\displaystyle AB\parallel CD, and AB=CD\displaystyle {AB}={CD}.
AC\displaystyle AC is a diagonal.
Prove: △ABC≅△CDA\displaystyle \triangle ABC\cong\triangle CDA.