The Triangle With a Mirror in It
An isosceles triangle is, by the classification of triangles by their sides, simply a triangle with at least two equal sides. Call them the two legs; the third side is the base. The picture everyone draws is a tent: two slanted legs of the same length leaning together at the top, a flat base across the bottom. Stare at that tent for a moment and you will feel that the left half and the right half are the same — fold the page along the vertical line down the middle and one leg would land exactly on the other.
That folding feeling is real, and it is the whole secret of this guide. The base angles — the two angles sitting at the ends of the base — are equal, and the apex angle at the top sits astride the fold. Everything else here is just turning that fold into an honest proof using the congruence criteria from the last guide, so that we believe it for the long thin tents too, not only the cozy ones we like to draw.
Proving the Base Angles Equal
Take triangle ABC with the two legs equal, |AB| = |AC|, so A is the apex and BC is the base. We claim the base angles are equal: m(angle ABC) = m(angle ACB). The clever move, which Pappus is credited with, is to compare the triangle with itself — to fold it onto its own mirror image and notice the two halves are congruent.
- List what the legs give you. The leg |AB| equals the leg |AC| — that is one pair of equal sides. And |AC| equals |AB| — reading the same two legs the other way round gives a second pair.
- Add the angle wedged between them. The apex angle at A is shared: m(angle BAC) is the same angle whether you call the triangle ABC or its mirror ACB.
- Match triangle ABC with triangle ACB by SAS: side AB to side AC, the apex angle to itself, side AC to side AB. The two triangles — really one triangle compared with its flip — are congruent.
- Read off the matching angles by CPCTC. The angle at B in ABC corresponds to the angle at C in ACB, so m(angle ABC) = m(angle ACB). The base angles are equal.
This is the isosceles triangle theorem, usually stated as: if two sides of a triangle are equal, then the angles opposite those sides are equal. Notice the word opposite — the angle at B sits across from leg AC, the angle at C across from leg AB. Equal sides force equal opposite angles. The same fold-and-compare argument is the engine; CPCTC is just how we cash it out.
Running It Backwards — and Why That Matters
A theorem and its converse are different claims, and one being true does not make the other true — you met that warning back when you first sorted out a conditional statement from its converse. So we must ask separately: if the base angles are equal, must the legs be equal? Here the answer is yes, and it is worth proving rather than assuming.
Suppose in triangle ABC the base angles are equal, m(angle ABC) = m(angle ACB). Compare triangle ABC with its flip ACB again, this time by angle-side-angle: the angle at B equals the angle at C, the base side BC equals itself (CB), and the angle at C equals the angle at B. By ASA the triangle matches its mirror, and CPCTC now hands us |AB| = |AC|. The legs are equal, so the triangle really is isosceles. This is the converse of the isosceles triangle theorem, and a clean slogan summarizes both directions: in any triangle, equal sides and equal opposite angles always travel together.
Four Lines That Secretly Coincide
Go back to the fold. In a general triangle you can draw four different special lines from the apex A: the angle bisector (cutting angle BAC in half), the median (going to the midpoint of BC), the altitude (dropping perpendicular to BC), and the perpendicular bisector of BC. These are four genuinely different lines in a lopsided triangle — that variety is exactly what the study of triangle cevians is about. But in an isosceles triangle, drawn from the apex, all four collapse onto the single fold line.
Why? Bisect the apex angle at A, and let the bisector meet the base at point M. Then triangle ABM and triangle ACM share side AM, have equal legs |AB| = |AC|, and equal apex halves m(angle BAM) = m(angle CAM) — that is SAS again, so the two small triangles are congruent. CPCTC now pours out a flood of consequences at once.
A
/|\
/ | \ |AB| = |AC| (isosceles)
/ | \ angle BAM = angle CAM (we bisected)
/ | \ AM = AM (shared)
/ | \ => triangle ABM = triangle ACM (SAS)
B-----M-----C
CPCTC then gives, all at once:
|BM| = |CM| (so AM is the MEDIAN)
angle AMB = angle AMC, and they pair to 180,
so each is 90 (so AM is the ALTITUDE, AM _|_ BC)
M is the midpoint and AM _|_ BC
(so AM is the PERPENDICULAR BISECTOR of BC)Read the sketch: |BM| = |CM| makes AM a median; the two angles at M are equal and form a linear pair, so each is 90, making AM an altitude; and since M is the midpoint with AM perpendicular to BC, AM is the perpendicular bisector of the base. One line, four jobs. This is why the fold felt so total — the line of symmetry of an isosceles triangle is doing every one of these at the same time.
The Bisectors as Loci: Sets of Points That Earn Their Place
Those two bisectors deserve a deeper look, because each is best understood not as a line you draw but as a locus — the complete set of points satisfying one condition, no more and no less. The perpendicular bisector of segment BC is the set of all points equidistant from B and from C: a point P is on it exactly when |PB| = |PC|. The proof is one quick congruence. If P sits on the perpendicular bisector through the midpoint M, then triangles PMB and PMC have |MB| = |MC|, share PM, and both have a right angle at M, so by SAS they are congruent and |PB| = |PC|. Conversely, any P with |PB| = |PC| is itself the apex of an isosceles triangle PBC, and by the previous section its fold line is the perpendicular bisector — so P lies on it.
The angle bisector has its own twin description: a point is on the bisector of an angle exactly when it is equidistant from the two sides of the angle (distance measured perpendicularly to each side). Picture standing inside a wedge made of two walls; walk the path that keeps you the same distance from each wall, and you are tracing the angle bisector. Both loci settle a deep practical question — where is the one fair point? — and both proofs are, once more, two congruent right triangles in disguise.
Honest Edges and a Common Trap
Two cautions, because warmth without honesty teaches nothing. First, the four-lines-coincide miracle happens only for the line from the apex — the vertex between the two equal legs. Draw the bisector from one of the base vertices and it splits into the usual four separate cevians; nothing special happens there. Second, the converse really did need its own proof. It is tempting to wave it through as obvious, but equal-angles-implies-equal-sides is a separate logical claim from equal-sides-implies-equal-angles, and treating a converse as automatic is one of the most common errors in early proof-writing.
There is even a famous false-proof lurking nearby. A classic exercise claims to show every triangle is isosceles by drawing an angle bisector and a perpendicular bisector and chasing congruent triangles. The catch is that the diagram secretly assumes a certain point lies inside the triangle when it actually lies outside — the picture lies, and the algebra obediently follows the wrong picture. The lesson is the same one congruence kept whispering: a convincing figure is not a proof, and a proof must survive even the diagrams you would never bother to draw.