Skip to content

The isosceles triangle: the converse theorems

The isosceles triangle: the converse theorems

A converse theorem

In a converse theorem, what is given and what is to be proved change places.

  • The theorem: if AB=AC\displaystyle {AB}={AC}, then ∠B=∠C\displaystyle {\angle B}={\angle C}.
  • The converse theorem: if ∠B=∠C\displaystyle {\angle B}={\angle C}, then AB=AC\displaystyle {AB}={AC}.

Careful: the converse of a true theorem is not always true. “If a quadrilateral is a square, all its angles are right” – true; “if all the angles of a quadrilateral are right, it is a square” – false: a long rectangle has four right angles too. So every converse theorem needs a proof of its own.

Two equal angles
The equal angles are the base angles, and the side between them is the base.

Theorem: a triangle with two equal angles is isosceles: the sides facing the equal angles are equal.

  • In triangle ABC\displaystyle ABC, if ∠B=∠C\displaystyle {\angle B}={\angle C}, then AB=AC\displaystyle {AB}={AC}.
  • AB\displaystyle AB faces ∠C\displaystyle \angle C, and AC\displaystyle AC faces ∠B\displaystyle \angle B.
Proving the theorem

Given: ∠B=∠C\displaystyle {\angle B}={\angle C}.
Prove: AB=AC\displaystyle {AB}={AC}.

The proof below draws AD\displaystyle AD, the bisector of angle A\displaystyle A, and shows that triangles ABD\displaystyle ABD and ACD\displaystyle ACD are congruent by ASA:

ClaimReason
1∠B=∠C\displaystyle {\angle B}={\angle C}Given
2∠BAD=∠CAD\displaystyle {\angle BAD}={\angle CAD}AD\displaystyle AD bisects angle A\displaystyle A (by construction)
3∠ADB=∠ADC\displaystyle {\angle ADB}={\angle ADC}(1), (2); the angles of a triangle add up to 180∘\displaystyle 180^{\circ}
4AD=AD\displaystyle {AD}={AD}A common side
5△ABD≅△ACD\displaystyle \triangle ABD\cong\triangle ACD(2), (3), (4); the congruence theorem ASA
6AB=AC\displaystyle {AB}={AC}(5); in congruent triangles, equal angles face equal sides
Exercise 1

In triangle ABC\displaystyle ABC, ∠A=50∘\displaystyle {\angle A}={50^{\circ}} and ∠B=65∘\displaystyle {\angle B}={65^{\circ}}.
The sides: AB=2x+3\displaystyle {AB}={2x+3} and AC=x+8\displaystyle {AC}={x+8} (in cm).
Find x\displaystyle x and the length of the side AB\displaystyle AB. Give the reasons.

AB\displaystyle AB

    / – 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

    The angle bisector, the median and the altitude from one vertex
    The legs meet at the vertex the segment starts from.

    Theorem: if two of the angle bisector, the median and the altitude from the same vertex of a triangle coincide, the triangle is isosceles.

    These are three theorems, one for each pair. In triangle ABC\displaystyle ABC the point D\displaystyle D is on the side BC\displaystyle BC, and AB=AC\displaystyle {AB}={AC} if the segment AD\displaystyle AD is:

    • an angle bisector and a median;
    • an angle bisector and an altitude;
    • a median and an altitude.
    An angle bisector that is also a median

    Given: ∠BAD=∠CAD\displaystyle {\angle BAD}={\angle CAD} and BD=CD\displaystyle {BD}={CD}.
    Prove: AB=AC\displaystyle {AB}={AC}.

    The proof below adds a helping construction: it extends AD\displaystyle AD beyond D\displaystyle D to the point E\displaystyle E, so that DE=AD\displaystyle {DE}={AD}, and joins E\displaystyle E to C\displaystyle C:

    • triangle ECD\displaystyle ECD is congruent to triangle ABD\displaystyle ABD, so EC=AB\displaystyle {EC}={AB};
    • triangle ACE\displaystyle ACE has two equal angles, so EC=AC\displaystyle {EC}={AC}.
    ClaimReason
    1BD=CD\displaystyle {BD}={CD}AD\displaystyle AD is a median (given)
    2AD=DE\displaystyle {AD}={DE}By construction
    3∠ADB=∠EDC\displaystyle {\angle ADB}={\angle EDC}Vertical angles are equal
    4△ABD≅△ECD\displaystyle \triangle ABD\cong\triangle ECD(1), (2), (3); the congruence theorem SAS
    5AB=EC\displaystyle {AB}={EC}(4); corresponding sides of congruent triangles
    6∠BAD=∠CED\displaystyle {\angle BAD}={\angle CED}(4); corresponding angles of congruent triangles
    7∠BAD=∠CAD\displaystyle {\angle BAD}={\angle CAD}AD\displaystyle AD bisects angle A\displaystyle A (given)
    8∠CAD=∠CED\displaystyle {\angle CAD}={\angle CED}(6), (7)
    9AC=EC\displaystyle {AC}={EC}(8); a triangle with two equal angles is isosceles
    10AB=AC\displaystyle {AB}={AC}(5), (9)
    Exercise 2

    Prove the theorem: an angle bisector that is also an altitude.

    Given: ∠BAD=∠CAD\displaystyle {\angle BAD}={\angle CAD} and AD⊥BC\displaystyle AD\perp BC.
    Prove: AB=AC\displaystyle {AB}={AC}.

    Exercise 3

    Prove the theorem: a median that is also an altitude.

    Given: BD=CD\displaystyle {BD}={CD} and AD⊥BC\displaystyle AD\perp BC.
    Prove: AB=AC\displaystyle {AB}={AC}.

    Exercise 4

    Calculate, and give the reason for each step.

    a

    In triangle KLM\displaystyle KLM, the segment KN\displaystyle KN is the median to the side LM\displaystyle LM, and also the altitude to it.
    KL=10\displaystyle {KL}={10} cm and ∠L=48∘\displaystyle {\angle L}={48^{\circ}}.
    Find KM\displaystyle KM and the angle LKM\displaystyle LKM.

    KM\displaystyle KM

      / – 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

      ∠LKM\displaystyle \angle LKM

        / – 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

        In triangle PQR\displaystyle PQR, the bisector of angle P\displaystyle P is also the median to the side QR\displaystyle QR.
        ∠Q=35∘\displaystyle {\angle Q}={35^{\circ}}.
        Find the angle R\displaystyle R and the angle P\displaystyle P.

        ∠R\displaystyle \angle R

          / – 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

          ∠P\displaystyle \angle P

            / – 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