Lesson 4.3
The Base Angles Theorem and Its Converse
Focus: two hikers — converse by contradiction — the first major biconditional
The two-hikers scenario is read aloud, not written on the board. The scenario encodes an isosceles triangle — the two equal walking distances are the equal sides, the line between the hikers at the end is the base — but this is not announced. Students discover it. Let the class arrive at a shared picture before groups begin generating conjectures.
The key conjecture is that the two base angles are equal. One reasoning path worth watching for: the hikers’ exterior angles are equal by symmetry of equal distances, and interior base angles are supplementary to their exterior angles, so both expressions ‘180° − exterior angle’ are equal by Common Notion 1. This is valid and worth celebrating if a group finds it. Though still not a proof.
The proof uses the angle bisector from the apex — a tool established on the Unit 3 Exam. This makes the argument considerably cleaner than Euclid’s original, which extends the equal sides beyond the base and uses SAS twice in a more involved auxiliary construction. Euclid could not use the angle bisector at Proposition 5 because he had not yet established it — the bisector construction comes later in the Elements. Our proof is more direct because we built the tools in a different order. This is a good moment to name that explicitly: the elegance of a proof depends partly on what has been established before it.
The converse — if the base angles are equal, the sides opposite them are equal — is proven by contradiction. Assume the sides are not equal. One must be larger. Cut off from the larger a segment equal to the smaller. Now apply SAS to two overlapping triangles. The conclusion is that a triangle is congruent to a proper part of itself, which contradicts Common Notion 5: the whole is greater than the part. Therefore, the assumption that the sides are not equal must be false.
Students attempting the converse often try to apply the angle bisector approach directly and find it does not transfer. The symmetry argument worked because they knew the sides were equal — which is exactly what the converse is trying to establish. That dead end is productive: it is the felt experience of why a converse needs its own proof. Let groups feel it before offering the contradiction approach.
The pons asinorum — the bridge of asses:
Euclid’s Proposition 5 — the base angles theorem — was historically nicknamed the pons asinorum, Latin for ‘bridge of asses.’ Two explanations survive.
One is that the diagram in Euclid’s original proof, with its extended sides and auxiliary lines, resembles a bridge in shape.
The other is that Proposition 5 was considered the first theorem in the Elements that seriously tested whether a student could follow a geometric argument. Those who could not were said to be like a stubborn donkey refusing to cross a bridge — unlikely to progress further.
The difficulty was not inherent to the result itself but to the limited tools available at that point in the logical sequence. A student today, with access to the angle bisector construction, can prove the same theorem in five lines. What changed is not the theorem but the tools available before it.