Skip to content

The fourth congruence theorem and the converse of Pythagoras

The fourth congruence theorem and the converse of Pythagoras

The fourth congruence theorem

Theorem: if two sides of one triangle are equal to two sides of another, and the angles opposite the larger of the two sides are equal, the triangles are congruent.

Given: AB=DE\displaystyle {AB}={DE}, AC=DF\displaystyle {AC}={DF}, ∠C=∠F\displaystyle {\angle C}={\angle F}, and AB>AC\displaystyle AB>AC – the angles C\displaystyle C and F\displaystyle F are opposite the larger sides.
To prove: △ABC≅△DEF\displaystyle \triangle ABC\cong\triangle DEF.

The proof below is a proof by contradiction: it supposes that BC≠EF\displaystyle BC\neq EF and shows that this leads to something false.

  • Suppose EF<BC\displaystyle EF<BC. Take G\displaystyle G on CB\displaystyle CB with CG=FE\displaystyle {CG}={FE}.
  • △AGC≅△DEF\displaystyle \triangle AGC\cong\triangle DEF (SAS: AC=DF\displaystyle {AC}={DF}, ∠C=∠F\displaystyle {\angle C}={\angle F}, CG=FE\displaystyle {CG}={FE}), so AG=DE=AB\displaystyle {AG}={DE}={AB}.
  • So the triangle ABG\displaystyle ABG is isosceles, and its base angles ∠ABG\displaystyle \angle ABG and ∠AGB\displaystyle \angle AGB are equal – both acute, since two of them fit in one triangle.
  • So ∠AGC=180∘−∠AGB\displaystyle {\angle AGC}={180^{\circ}-\angle AGB} is obtuse. It is the largest angle of the triangle AGC\displaystyle AGC, and the side opposite it is the largest: AC>AG=AB\displaystyle {AC>AG}={AB}.
  • That contradicts AB>AC\displaystyle AB>AC. In the same way EF>BC\displaystyle EF>BC leads to a contradiction, with the roles of the triangles swapped.

So BC=EF\displaystyle {BC}={EF}, and the triangles are congruent by SSS.

The angle opposite the smaller side

When the equal angles are opposite the smaller of the two sides, the triangles need not be congruent.

An example: ABC\displaystyle ABC is isosceles, AB=AC\displaystyle {AB}={AC}, and D\displaystyle D is a point of the base BC\displaystyle BC that is not its midpoint.

  • The triangles ABD\displaystyle ABD and ACD\displaystyle ACD: AB=AC\displaystyle {AB}={AC}, AD\displaystyle AD is common, and ∠B=∠C\displaystyle {\angle B}={\angle C}.
  • The equal angles B\displaystyle B and C\displaystyle C are opposite AD\displaystyle AD – the smaller side, since AD<AB\displaystyle AD<AB.
  • The triangles are not congruent: BD≠DC\displaystyle BD\neq DC.

What it does give: two sides and the angle opposite the smaller of them – either the triangles are congruent, or the angles opposite the larger sides add up to 180∘\displaystyle 180^{\circ}. In the example, ∠ADB+∠ADC=180∘\displaystyle {\angle ADB+\angle ADC}={180^{\circ}}.

Exercise 1

In the quadrilateral ABCD\displaystyle ABCD, AB=CD\displaystyle {AB}={CD} and ∠B=∠D\displaystyle {\angle B}={\angle D}.
The diagonal AC\displaystyle AC is longer than AB\displaystyle AB.
Prove: BC=AD\displaystyle {BC}={AD}.

Exercise 2

Two sides of a triangle are 8\displaystyle 8 and 5\displaystyle 5, and the angle opposite the side 5\displaystyle 5 is 30∘\displaystyle 30^{\circ}.

  1. Is the angle opposite the larger side or the smaller one?
  2. Draw: a ray from B\displaystyle B at 30∘\displaystyle 30^{\circ} to BC=8\displaystyle {BC}={8}, and a circle of radius 5\displaystyle 5 centred at C\displaystyle C. How many triangles fit the data?
  3. What can you say about the angles opposite the side 8\displaystyle 8 in the triangles you found?
The converse of Pythagoras’ theorem

Theorem: a triangle in which the sum of the squares of two sides equals the square of the third side is right-angled – the right angle opposite the third side.

a2+b2\displaystyle a^{2}+b^{2} =\displaystyle = c2\displaystyle c^{2}

Given: in the triangle ABC\displaystyle ABC, BC=a\displaystyle {BC}={a}, AC=b\displaystyle {AC}={b}, AB=c\displaystyle {AB}={c} and a2+b2=c2\displaystyle {a^{2}+b^{2}}={c^{2}}.
To prove: ∠C=90∘\displaystyle {\angle C}={90^{\circ}}.

The proof below builds a right-angled triangle with the same legs and compares:

  • Build a triangle DEF\displaystyle DEF with ∠F=90∘\displaystyle {\angle F}={90^{\circ}}, EF=a\displaystyle {EF}={a} and DF=b\displaystyle {DF}={b}.
  • By Pythagoras’ theorem, DE2=a2+b2=c2\displaystyle {DE^{2}}={a^{2}+b^{2}}={c^{2}}, so DE=c\displaystyle {DE}={c}.
  • So △ABC≅△DEF\displaystyle \triangle ABC\cong\triangle DEF (SSS), and ∠C=∠F=90∘\displaystyle {\angle C}={\angle F}={90^{\circ}}.
Exercise 3

The sides of a triangle are 7\displaystyle 7, 24\displaystyle 24 and 25\displaystyle 25.

a
Find the sum of the squares of the two shorter sides.

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    b

    Is the triangle right-angled? Which angle is right?
    And a triangle with the sides 6\displaystyle 6, 8\displaystyle 8 and 11\displaystyle 11?

    Exercise 4

    The vertices of the triangle ABC\displaystyle ABC are A(1,1)\displaystyle A(1,1), B(5,3)\displaystyle B(5,3) and C(3,7)\displaystyle C(3,7).

    a

    Find the squares of the three sides.

    AB2\displaystyle AB^{2}

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      BC2\displaystyle BC^{2}

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        AC2\displaystyle AC^{2}

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          b

          What kind of triangle is ABC\displaystyle ABC? Explain by the theorems of this lesson.