Isosceles Triangle Theorem two-column proof demonstrating that if AB ≅ AC, then ∠B ≅ ∠C.
Two-column proof of the Isosceles Triangle Theorem showing that if two sides of a triangle are congruent, then the angles opposite those sides are congruent, with a diagram of triangle ABC and a bisector from vertex A to base BC.