Triangle Congruence

⚡ Key Takeaways

Two triangles are congruent if one can be mapped exactly onto the other by a rigid motion (translation, rotation, reflection), making all corresponding sides and angles equal. Key result: you need only check a minimal subset of parts — SSS, SAS, ASA, AAS, or HL — not all six. Applies throughout Euclidean geometry, trigonometry, engineering, and proof writing. Formalized by Euclid (~300 BCE) and refined through the 19th–20th centuries.

💡 The Core Insight

A triangle has six measurable parts: three sides and three angles. Specifying the right three of them locks the triangle's shape and size completely, so any two triangles sharing those three parts must be identical copies. The "congruence criteria" (SSS, SAS, ASA, AAS, HL) are precisely the catalog of which triples suffice — and the famous failures (AAA, SSA) tell you which triples do not.

DefinitionCongruent Triangles

Two triangles $\triangle ABC$ and $\triangle DEF$ are congruent, written

1

\quad \triangle ABC \cong \triangle DEF,

Derivation hint: The symbol $\cong$ combines " $\sim$ " (same shape) with " $=$ " (same size); the vertex order encodes the correspondence $A\leftrightarrow D$ , $B\leftrightarrow E$ , $C\leftrightarrow F$ . if and only if there exists a correspondence of vertices under which all six corresponding parts are equal:

2

\quad AB = DE,\quad BC = EF,\quad CA = FD,

Derivation hint: These are the three side equalities; each segment length is the Euclidean distance between the corresponding endpoints.

3

\quad \angle A = \angle D,\quad \angle B = \angle E,\quad \angle C = \angle F.

Derivation hint: These are the three angle equalities, measured at corresponding vertices. Here $AB$ denotes the length of the side between vertices $A$ and $B$ ; $\angle A$ denotes the interior angle at vertex $A$ . The phrase CPCTC ("Corresponding Parts of Congruent Triangles are Congruent") names the converse use: once congruence is established, all six equalities follow.

DefinitionRigid Motion / Isometry

A rigid motion (isometry) of the plane is a transformation $T$ preserving all distances:

4

\quad |T(P) - T(Q)| = |P - Q| \quad \text{for all points } P, Q.

Derivation hint: This single distance-preserving condition forces preservation of angles and areas too; every planar isometry is a composition of at most three reflections. Two figures are congruent precisely when some rigid motion carries one onto the other.

TheoremThe Five Congruence Criteria

Each of the following triples of equal corresponding parts is sufficient to conclude $\triangle ABC \cong \triangle DEF$ : 1. SSS — three pairs of equal sides. 2. SAS — two pairs of equal sides and the equal included angle (the angle between those two sides). 3. ASA — two pairs of equal angles and the equal included side. 4. AAS — two pairs of equal angles and a pair of equal non-included sides. 5. HL — (right triangles only) equal hypotenuses and one equal pair of legs. The combinations AAA and SSA are not valid criteria.

ProofSAS as the foundational axiom; ASA and SSS derived

In modern treatments (following Hilbert), SAS is taken as an axiom because it cannot be proved from the more basic incidence/order axioms without circular reasoning involving motion. From SAS the others follow.

Step 1 — Set up SAS. Suppose $AB = DE$ , $\angle A = \angle D$ , and $AC = DF$ . Apply the rigid motion mapping $A \mapsto D$ and ray $AB \mapsto$ ray $DE$ .

Step 2 — Match the second side. Since $AB = DE$ , the image of $B$ lands exactly on $E$ . Since $\angle A = \angle D$ , ray $AC$ maps onto ray $DF$ ; and since $AC = DF$ , the image of $C$ lands exactly on $F$ .

Step 3 — Conclude congruence. With $A,B,C$ mapped onto $D,E,F$ by an isometry, all distances and angles agree, so

5

\quad \triangle ABC \cong \triangle DEF.

Derivation hint: A triangle is determined by its three vertices; fixing the images of all three vertices fixes the entire triangle.

Step 4 — Derive ASA from SAS. Suppose $\angle A = \angle D$ , $AB = DE$ , $\angle B = \angle E$ . We must show $AC = DF$ to invoke SAS. Suppose instead $AC \neq DF$ ; choose $C'$ on ray $AC$ with $AC' = DF$ . Then $\triangle ABC' \cong \triangle DEF$ by SAS, so $\angle ABC' = \angle E = \angle B = \angle ABC$ . But two distinct rays from $B$ cannot make the same angle with $BA$ on the same side — contradiction. Hence $AC = DF$ and SAS applies.

Step 5 — Derive AAS from ASA. Given two angles, the third is fixed because angles sum to $180^\circ$ :

6

\quad \angle C = 180^\circ - \angle A - \angle B.

Derivation hint: Angle-sum theorem; once $\angle C = \angle F$ follows, AAS becomes ASA with the third angle. So any AAS configuration is logically an ASA configuration in disguise.

Step 6 — Derive SSS from SAS. Given $AB=DE$ , $BC=EF$ , $CA=FD$ , lay $\triangle DEF$ so that $DE$ coincides with $AB$ but $F$ falls on the opposite side from $C$ , calling the image $F'$ . Then $AF' = AC$ and $BF' = BC$ , so triangles $ACF'$ and $BCF'$ are isosceles, giving $\angle ACF' = \angle AF'C$ and $\angle BCF' = \angle BF'C$ . Adding, $\angle ACB = \angle AF'B = \angle F$ , and SAS finishes. $\blacksquare$

∎

ProofHL for right triangles

Let $\triangle ABC$ and $\triangle DEF$ be right-angled at $B$ and $E$ , with hypotenuses $AC = DF$ and legs $BC = EF$ . By the Pythagorean Theorem:

7

\quad AB = \sqrt{AC^2 - BC^2} = \sqrt{DF^2 - EF^2} = DE.

Derivation hint: In a right triangle the two legs and hypotenuse satisfy $a^2 + b^2 = c^2$ ; knowing the hypotenuse and one leg determines the other leg uniquely (positive root). Now all three sides are equal, so SSS gives $\triangle ABC \cong \triangle DEF$ . $\blacksquare$

∎

Figure

The five valid criteria and the two failures

```svg

```

mathematician · Euclid of Alexandria | fl. ~300 BCE

Euclid's Elements, Book I, contains the earliest systematic treatment of triangle congruence. Proposition I.4 is SAS, proved by his controversial method of superposition — sliding one triangle onto another. Proposition I.8 is SSS, and I.26 covers both ASA and AAS. Euclid never stated congruence as an equation; he wrote that triangles were "equal in all respects." His superposition argument was criticized for over two millennia as logically unjustified, since it implicitly assumes figures can move without deforming — a gap finally closed by David Hilbert in 1899, who simply postulated SAS as an axiom of congruence.

🧠 Intuition

Think of building a triangle out of rigid sticks (sides) and protractor settings (angles). SSS: if you have three sticks of fixed lengths, there is exactly one triangle you can hinge them into (up to flipping) — they snap rigid. This is why triangles, not squares, are used in bridges and trusses: a quadrilateral with fixed sides can still flex, but a triangle cannot.

SAS: glue two sticks at a fixed angle; the third side is then forced — there is no freedom left. ASA: draw a base of fixed length, then shoot a ray from each end at a fixed angle; the rays meet at exactly one point. Why AAA fails: angles fix only the shape, not the scale — a photo and its enlargement have identical angles but different sizes (this is Triangle Similarity). Why SSA fails: if you fix an angle and the opposite side, the side can swing to two different landing spots on the base, producing two non-congruent triangles — the "swinging door" ambiguity that reappears as the ambiguous case of the Law of Sines.

ExampleProving triangles congruent with SAS

Given: In quadrilateral $ABCD$ , diagonals meet at $M$ with $AM = CM = 5\text{ cm}$ and $BM = DM = 3\text{ cm}$ . Prove $\triangle AMB \cong \triangle CMD$ .

Step 1 — List equal sides. $AM = CM = 5\text{ cm}$ (given) and $BM = DM = 3\text{ cm}$ (given).

Step 2 — Find the included angle. $\angle AMB$ and $\angle CMD$ are vertical angles, formed by the same two intersecting lines, so

8

\quad \angle AMB = \angle CMD.

Derivation hint: Vertical (opposite) angles are equal because each is the supplement of the same adjacent angle.

Step 3 — Identify the pattern. Side $AM$ , included angle $\angle AMB$ , side $BM$ correspond to side $CM$ , included angle $\angle CMD$ , side $DM$ . This is SAS.

Answer: $\boxed{\triangle AMB \cong \triangle CMD \text{ by SAS}}$ . By CPCTC, $AB = CD$ and $\angle BAM = \angle DCM$ .

ExampleDetecting the SSA ambiguity numerically

Given: A triangle has side $a = 6$ , side $b = 10$ , and angle $A = 30^\circ$ (opposite side $a$ ). How many distinct triangles satisfy this SSA data?

Step 1 — Apply the Law of Sines.

9

\quad \frac{\sin A}{a} = \frac{\sin B}{b} \;\Rightarrow\; \sin B = \frac{b \sin A}{a} = \frac{10 \cdot \sin 30^\circ}{6} = \frac{10 \cdot 0.5}{6} = 0.8333.

Derivation hint: The Law of Sines relates each side to the sine of its opposite angle; solve for $\sin B$ directly.

Step 2 — Solve for $B$ . Since $\sin B = 0.8333 < 1$ , there are two angles in $(0^\circ,180^\circ)$ :

10

\quad B_1 = \arcsin(0.8333) \approx 56.4^\circ, \qquad B_2 = 180^\circ - 56.4^\circ = 123.6^\circ.

Derivation hint: Sine is positive in both the first and second quadrants, so $\sin B = \sin(180^\circ - B)$ .

Step 3 — Check both are valid. With $A = 30^\circ$ : $A + B_1 = 86.4^\circ < 180^\circ$ ✓ and $A + B_2 = 153.6^\circ < 180^\circ$ ✓. Both yield a legitimate triangle.

Answer: $\boxed{\text{Two distinct triangles}}$ — a concrete demonstration that SSA does not determine a triangle.

⚠️ AAA and SSA are not congruence criteria

Students often invent "AAA" or "SSA" by analogy with the valid criteria. AAA guarantees only that triangles are similar (same shape, possibly different size). SSA ("ass" / "donkey theorem") fails because the non-included side can hinge into two positions. The order of letters also matters: SAS requires the angle to be between the two named sides; if it is not, you have the invalid SSA configuration. Always confirm the angle is included before citing SAS.

CounterexampleTwo non-congruent triangles sharing SSA

Take $\triangle ABC$ with $AB = 10$ , $\angle A = 30^\circ$ , $BC = 6$ . From Example 2, both $B \approx 56.4^\circ$ and $B \approx 123.6^\circ$ produce valid triangles with these exact same three parts. Compute their third sides via $c = \dfrac{a \sin C}{\sin A}$ : one gives $C_1 \approx 93.6^\circ$ , the other $C_2 \approx 26.4^\circ$ , so $c_1 \approx 11.98$ while $c_2 \approx 5.34$ . Same SSA data, two genuinely different triangles — SSA is not a valid criterion. (The exception: when the given angle is $90^\circ$ or obtuse, only one triangle survives — which is exactly why HL does work for right triangles.)

connection

Triangle congruence is the special case of Triangle Similarity in which the scale factor equals $1$ — similarity criteria (AA, SAS~, SSS~) parallel the congruence criteria. The distance-preserving maps behind congruence are the isometries studied in Transformational Geometry and group theory (the Euclidean group). The HL criterion is a direct consequence of the Pythagorean Theorem, and the failure of SSA is the geometric root of the ambiguous case in the Law of Sines. Congruence underlies the proofs of the Isosceles Triangle Theorem, properties of Parallelograms, and the validity of classical Compass and Straightedge Constructions.

🔬 Where this appears

⏳ History

- ~300 BCE — Euclid's Elements Book I states SAS (I.4), SSS (I.8), and ASA/AAS (I.26), using superposition.

- ~250 BCE — Archimedes and later Greek geometers freely apply congruence in computing areas and constructing figures.

- ~1000 CE — Islamic mathematicians (Ibn al-Haytham, al-Tusi) examine the logical status of superposition and the parallel postulate's role.

- 1733 — Giovanni Saccheri's Euclides ab omni naevo vindicatus probes the foundations, indirectly exposing assumptions behind congruence.

- 1832 — Bolyai and Lobachevsky develop non-Euclidean geometry, where AAA does determine congruence (no similar-but-unequal triangles exist!).

- 1882 — Moritz Pasch publishes the first rigorous axiomatic geometry, clarifying betweenness assumptions implicit in Euclid's proofs.

- 1899 — David Hilbert's Grundlagen der Geometrie adopts SAS as an axiom of congruence, finally eliminating the superposition gap.

- 20th century — The acronyms SSS/SAS/ASA/AAS/HL become standard pedagogical shorthand in American and British school curricula.

- 1932 — George Birkhoff offers an alternative ruler-and-protractor axiom system reducing congruence to real-number measurement.

open-problem

Congruence is sharper than it first appears once you leave the flat plane.

Non-Euclidean surprise: On a sphere or hyperbolic plane, AAA is a congruence criterion — there are no similar-but-unequal triangles, because triangle area is determined by the angle sum's deviation from $180^\circ$ . This single fact distinguishes the geometries.
The status of superposition: Whether motion is a primitive notion or derived from static axioms is a deep foundational choice (Hilbert vs. Birkhoff). Both work, but neither is "more correct."
Orientation: A triangle and its mirror image are congruent (a reflection is a rigid motion), yet they cannot be slid onto each other without flipping — the distinction between direct and opposite isometries matters in physics (chirality) and in higher dimensions.
Tarski's program: Alfred Tarski proved Euclidean geometry (and hence triangle congruence) is decidable and complete as a first-order theory — every congruence statement is algorithmically settleable, a property arithmetic famously lacks.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also