Isosceles Triangle Theorem (Proof, Converse, & Examples)
Isosceles triangle
Isosceles triangles have equal legs (that’s what the word “isosceles” means). Yippee for them, but what do we know about their base angles? How do we know those are equal, too? We reach into our geometer’s toolbox and take out the Isosceles Triangle Theorem. No need to plug it in or recharge its batteries — it’s right there, in your head!
Here we have on display the majestic isosceles triangle, △DUK. You can draw one yourself, using △DUK as a model.
Hash marks show sides ∠DU ≅ ∠DK, which is your tipoff that you have an isosceles triangle. If these two sides, called legs, are equal, then this is an isosceles triangle. What else have you got?
Properties of an isosceles triangle
Let’s use △DUK to explore the parts:

Like any triangle, △DUK has three interior angles: ∠D, ∠U, and ∠K

All three interior angles are acute.

Like any triangle, △DUK has three sides: DU, UK, and DK

∠DU ≅ ∠DK, so we refer to those twins as legs.

The third side is called the base (even when the triangle is not sitting on that side).

The two angles formed between base and legs, ∠DUK and ∠DKU, or ∠D and ∠K for short, are called base angles.
Isosceles triangle theorem
Knowing the triangle’s parts, here is the challenge: how do we prove that the base angles are congruent? That is the heart of the Isosceles Triangle Theorem, which is built as a conditional (if, then) statement:
To mathematically prove this, we need to introduce a median line, a line constructed from an interior angle to the midpoint of the opposite side. We find Point C on base UK and construct line segment DC:
There! That’s just DUCK! Look at the two triangles formed by the median. We are given:

UC ≅ CK (median)

DC ≅ CD (reflexive property)

DU ≅ DK (given)
We just showed that the three sides of △DUC are congruent to △DCK, which means you have the Side Side Side Postulate, which gives congruence. So if the two triangles are congruent, then corresponding parts of congruent triangles are congruent (CPCTC), which means:

∠U ≅ ∠K
Converse of the isosceles triangle theorem
The converse of a conditional statement is made by swapping the hypothesis (if …) with the conclusion (then …). You may need to tinker with it to ensure it makes sense. So here once again is the Isosceles Triangle Theorem:
To make its converse, we could exactly swap the parts, getting a bit of a mishmash:
That is awkward, so tidy up the wording:
Now it makes sense, but is it true? Not every converse statement of a conditional statement is true.
If the original conditional statement is false, then the converse will also be false. If the premise is true, then the converse could be true or false:

If I see a bear, then I will lie down and remain still.

If I lie down and remain still, then I will see a bear.
For that converse statement to be true, sleeping in your bed would become a bizarre experience.
Or this one:

If I have honey, then I will attract bears.

If I attract bears, then I will have honey.
Unless the bears bring honeypots to share with you, the converse is unlikely ever to happen. And bears are famously selfish.
Proving the converse statement
To prove the converse, let’s construct another isosceles triangle, △BER.
Given that ∠BER ≅ ∠BRE, we must prove that BE ≅ BR.
Add the angle bisector from ∠EBR down to base ER. Where the angle bisector intersects base ER, label it Point A.
Now we have two small, right triangles where once we had one big, isosceles triangle: △BEA and △BAR. Since line segment BA is an angle bisector, this makes ∠EBA ≅ ∠RBA.
Since line segment BA is used in both smaller right triangles, it is congruent to itself. What do we have?

∠BER ≅ ∠BRE (given)

∠EBA ≅ ∠RBA (angle bisector)

BA ≅ BA (reflexive property)
Let’s see…that’s an angle, another angle, and a side. That would be the AngleAngleSide Theorem (AAS).
The AngleAngleSide Theorem states that If two angles and the nonincluded side of one triangle are congruent to the corresponding parts of another triangle, then the triangles are congruent. With the triangles themselves proved congruent, their corresponding parts are congruent (CPCTC), which makes BE ≅ BR. The converse of the isosceles triangle theorem is true!
Lesson summary
By working through these exercises, you now are able to recognize and draw an isosceles triangle, mathematically prove congruent isosceles triangles using the isosceles triangles theorem, and mathematically prove the converse of the Isosceles Triangles Theorem.
You also should now see the connection between the Isosceles Triangle Theorem to the Side Side Side Postulate and the Angle Angle Side Theorem.