To prove a triangle is isosceles, you need to show that at least two of its sides are equal in length, or that at least two of its angles are equal. Those are the two core strategies, and every specific proof method builds on one of them. Which approach you use depends on what information you’re given: coordinates on a graph, a geometric diagram with marked angles, or a formal proof setup with postulates.
What Makes a Triangle Isosceles
An isosceles triangle has at least two congruent sides. The word “at least” matters. An equilateral triangle, where all three sides are equal, is technically a special case of isosceles. So if you end up showing all three sides are equal, you’ve still proven the triangle is isosceles.
The two equal sides are called the legs, and the third side is the base. The angle formed where the two legs meet is the vertex angle, and the two angles at either end of the base are the base angles. A key property ties all of this together: if the two legs are equal, the two base angles are also equal, and vice versa. That relationship is the foundation of almost every proof method below.
Using the Distance Formula on a Coordinate Plane
If you’re given three vertices as coordinate points, the most direct method is to calculate the length of each side and show that two of them match. The distance formula gives you the length between two points (x₁, y₁) and (x₂, y₂):
distance = √[(x₂ − x₁)² + (y₂ − y₁)²]
Say your triangle has vertices A(−2, −3), B(3, 2), and C(2, 3). You’d calculate all three sides:
- AB = √[(3 − (−2))² + (2 − (−3))²] = √[25 + 25] = √50
- BC = √[(2 − 3)² + (3 − 2)²] = √[1 + 1] = √2
- CA = √[(−2 − 2)² + (−3 − 3)²] = √[16 + 36] = √52
In this example, no two sides are equal, so the triangle is not isosceles. But if any two of those results had been equal, you’d be done. You don’t need to simplify the square roots fully. If two expressions under the radical are identical, the side lengths are equal. This method is common on coordinate geometry assignments and standardized tests because it’s purely computational, with no need for theorems or postulates.
Proving Equal Angles With the Isosceles Triangle Theorem
The Isosceles Triangle Theorem states that if two sides of a triangle are congruent, the angles opposite those sides are also congruent. Its converse is equally useful: if two angles of a triangle are congruent, the sides opposite those angles are congruent, making the triangle isosceles.
This converse is powerful because it lets you work backward from angles to sides. If a problem gives you enough information to show two angles are equal (maybe through parallel lines creating alternate interior angles, or through angle addition), you can conclude the triangle is isosceles without ever measuring a side. In a two-column proof, your final statement would be something like “Triangle ABC is isosceles” with the justification “Converse of the Isosceles Triangle Theorem.”
Using Congruent Triangles and CPCTC
Many geometry proofs don’t hand you side lengths or angle measures directly. Instead, you build toward showing two sides are equal by first proving that two smaller triangles within the figure are congruent. This is where the congruence postulates come in:
- SSS (Side-Side-Side): All three corresponding sides of two triangles are equal.
- SAS (Side-Angle-Side): Two corresponding sides and the angle between them are equal.
- ASA (Angle-Side-Angle): Two corresponding angles and the side between them are equal.
Once you establish that two triangles are congruent using any of these, you can invoke CPCTC, which stands for “corresponding parts of congruent triangles are congruent.” This lets you conclude that specific sides (or angles) from the two triangles are equal. If those sides happen to be two sides of the larger triangle you care about, you’ve proven it’s isosceles.
Here’s how this plays out in practice. Suppose triangle ABC has an angle bisector drawn from vertex A to point F on side BC. If you’re given that AB ≅ AC, you can prove triangle ABF ≅ triangle ACF using SAS: AB ≅ AC (given), angle BAF ≅ angle CAF (definition of angle bisector), and AF ≅ AF (reflexive property, since it’s a shared side). Then by CPCTC, angle B ≅ angle C. This particular proof demonstrates the Isosceles Triangle Theorem itself, but the same CPCTC strategy applies whenever you need to extract a side equality from a larger figure.
Using the Altitude, Median, or Perpendicular Bisector
Isosceles triangles have a unique symmetry property that you can use in reverse as a proof tool. In an isosceles triangle, the altitude from the vertex angle, the median to the base, the angle bisector of the vertex angle, and the perpendicular bisector of the base are all the same line. This single “line of symmetry” splits the triangle into two congruent right triangles.
Working backward, if you can show that any two of these coincide, the triangle must be isosceles. For example, if the altitude from a vertex also bisects the opposite side (meaning it hits the midpoint), that’s sufficient to prove the triangle is isosceles. Or if the median from a vertex is also perpendicular to the base, same conclusion. In a two-column proof, you’d typically show the two resulting smaller triangles are congruent (often by SAS or the Hypotenuse-Leg theorem, since the altitude creates right angles), then use CPCTC to get the two sides equal.
Choosing the Right Method
The proof method you pick should match the information in the problem. If you have coordinates, go straight to the distance formula. If you have a diagram with angle markings or parallel lines, look for equal angles and apply the converse of the Isosceles Triangle Theorem. If the problem involves a complex figure with auxiliary lines, shared sides, or bisectors, you’re likely headed toward a congruent-triangle argument with CPCTC as the finishing step.
Regardless of the method, every proof of “this triangle is isosceles” ends in one of two places: showing two sides have equal length, or showing two angles have equal measure. Everything else is scaffolding to get you there. When you’re stuck, ask yourself which of those two endpoints seems more reachable given what you know, and work backward from there.