Triangle Congruence

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.

Triangle congruence is the relationship between two triangles that have the same size and shape — meaning there is a one-to-one correspondence of their vertices under which all three pairs of corresponding sides are equal in length and all three pairs of corresponding angles are equal in measure. It matters because congruence is the foundational tool for proving geometric facts: nearly every classical theorem about triangles, parallelograms, circles, and constructions rests on showing some pair of triangles congruent. The surprising fact is that you almost never need to verify all six pairs of corresponding parts — certain triples of parts (such as three sides) completely determine a triangle's congruence class, while other triples (such as three angles) do not.

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.

Formal Statement

Congruent Triangles

Two triangles $△ A B C$ and $△ D E F$ are congruent, written

△ A B C ≅ △ D E F,

⟳The symbol

≅

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:

A B = D E, B C = E F, C A = F D,

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

∠ A = ∠ D, ∠ B = ∠ E, ∠ C = ∠ F .

⟳These are the three angle equalities, measured at corresponding vertices.

Here $A B$ denotes the length of the side between vertices $A$ and $B$ ; $∠ 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.

Rigid Motion / Isometry

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

∣ T (P) - T (Q) ∣ = ∣ P - Q ∣ for all points P, Q .

⟳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.

The Five Congruence Criteria

Each of the following triples of equal corresponding parts is sufficient to conclude $△ A B C ≅ △ D E F$ :

SSS — three pairs of equal sides.
SAS — two pairs of equal sides and the equal included angle (the angle between those two sides).
ASA — two pairs of equal angles and the equal included side.
AAS — two pairs of equal angles and a pair of equal non-included sides.
HL — (right triangles only) equal hypotenuses and one equal pair of legs.

The combinations AAA and SSA are not valid criteria.

Why It Holds / Derivation

SAS 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

A B = D E

∠ A = ∠ D

, and

A C = D F

. Apply the rigid motion mapping

A \mapsto D

and ray

A B \mapsto

ray

D E

. Step 2 — Match the second side. Since

A B = D E

, the image of

B

lands exactly on

E

. Since

∠ A = ∠ D

, ray

A C

maps onto ray

D F

; and since

A C = D F

, 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

△ A B C ≅ △ D E F .

⟳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

∠ A = ∠ D

A B = D E

∠ B = ∠ E

. We must show

A C = D F

to invoke SAS. Suppose instead

A C \neq = D F

; choose

C^{'}

on ray

A C

with

A C^{'} = D F

. Then

△ A B C^{'} ≅ △ D E F

by SAS, so

∠ A B C^{'} = ∠ E = ∠ B = ∠ A B C

. But two distinct rays from

B

cannot make the same angle with

B A

on the same side — contradiction. Hence

A C = D F

and SAS applies. Step 5 — Derive AAS from ASA. Given two angles, the third is fixed because angles sum to

18 0^{\circ}

∠ C = 18 0^{\circ} - ∠ A - ∠ B .

⟳Angle-sum theorem; once

∠ C = ∠ 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

A B = D E

B C = E F

C A = F D

, lay

△ D E F

so that

D E

coincides with

A B

but

F

falls on the opposite side from

C

, calling the image

F^{'}

. Then

A F^{'} = A C

and

B F^{'} = B C

, so triangles

A C F^{'}

and

B C F^{'}

are isosceles, giving

∠ A C F^{'} = ∠ A F^{'} C

and

∠ B C F^{'} = ∠ B F^{'} C

. Adding,

∠ A C B = ∠ A F^{'} B = ∠ F

, and SAS finishes.

■

HL for right triangles

Let $△ A B C$ and $△ D E F$ be right-angled at $B$ and $E$ , with hypotenuses $A C = D F$ and legs $B C = E F$ . By the Pythagorean Theorem:

A B = A C^{2} - B C^{2} = D F^{2} - E F^{2} = D E .

⟳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 $△ A B C ≅ △ D E F$ . $■$

The five valid criteria and the two failures

<svg viewBox="0 0 760 420" xmlns="http://www.w3.org/2000/svg">
<rect width="760" height="420" fill="#0a0e17"/>
<style>
.s{stroke:#94a3b8;stroke-width:2;fill:none}
.k{stroke:#d4a853;stroke-width:3;fill:none}
.l{fill:#e2e8f0;font-family:sans-serif;font-size:13px}
.t{fill:#d4a853;font-family:sans-serif;font-size:14px;font-weight:bold}
.x{fill:#ef6461;font-family:sans-serif;font-size:14px;font-weight:bold}
</style>

<!-- SSS -->
<text x="20" y="30" class="t">SSS</text>
<polygon points="20,110 100,110 70,50" class="k"/>
<text x="30" y="100" class="l">all 3 sides</text>

<!-- SAS -->
<text x="170" y="30" class="t">SAS</text>
<polygon points="170,110 250,110 220,50" class="s"/>
<line x1="170" y1="110" x2="250" y2="110" class="k"/>
<line x1="170" y1="110" x2="220" y2="50" class="k"/>
<path d="M 195 110 A 25 25 0 0 0 188 95" class="k"/>
<text x="178" y="100" class="l">incl. angle</text>

<!-- ASA -->
<text x="320" y="30" class="t">ASA</text>
<polygon points="320,110 400,110 370,50" class="s"/>
<line x1="320" y1="110" x2="400" y2="110" class="k"/>
<path d="M 345 110 A 22 22 0 0 0 338 96" class="k"/>
<path d="M 375 110 A 22 22 0 0 1 382 96" class="k"/>
<text x="328" y="100" class="l">incl. side</text>

<!-- AAS -->
<text x="470" y="30" class="t">AAS</text>
<polygon points="470,110 550,110 520,50" class="s"/>
<line x1="495" y1="50" x2="520" y2="50" class="k" transform="rotate(35 520 50)"/>
<path d="M 495 110 A 22 22 0 0 0 488 96" class="k"/>
<path d="M 525 110 A 22 22 0 0 1 532 96" class="k"/>
<line x1="520" y1="50" x2="550" y2="110" class="k"/>
<text x="476" y="100" class="l">non-incl side</text>

<!-- HL -->
<text x="620" y="30" class="t">HL (right)</text>
<polygon points="620,110 700,110 620,50" class="s"/>
<rect x="620" y="98" width="12" height="12" class="s"/>
<line x1="620" y1="110" x2="700" y2="110" class="k"/>
<line x1="620" y1="50" x2="700" y2="110" class="k"/>
<text x="628" y="92" class="l">leg+hyp</text>

<!-- AAA failure -->
<text x="120" y="220" class="x">AAA — FAILS</text>
<polygon points="60,320 160,320 110,240" class="s"/>
<polygon points="220,330 360,330 290,220" class="s"/>
<text x="80" y="360" class="l">same shape,</text>
<text x="240" y="360" class="l">bigger size → similar, not congruent</text>

<!-- SSA failure -->
<text x="520" y="220" class="x">SSA — FAILS</text>
<line x1="470" y1="330" x2="600" y2="330" class="s"/>
<line x1="470" y1="330" x2="540" y2="250" class="k"/>
<circle cx="540" cy="250" r="55" class="s" stroke-dasharray="4 3"/>
<line x1="540" y1="250" x2="556" y2="330" class="k"/>
<line x1="540" y1="250" x2="589" y2="330" class="k"/>
<text x="465" y="370" class="l">one fixed angle + two sides → two possible triangles</text>
</svg>

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.

Building 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.

Worked Examples

Proving triangles congruent with SAS

Given: In quadrilateral

A B C D

, diagonals meet at

M

with

A M = C M = 5 cm

and

B M = D M = 3 cm

. Prove

△ A M B ≅ △ C M D

. Step 1 — List equal sides.

A M = C M = 5 cm

(given) and

B M = D M = 3 cm

(given). Step 2 — Find the included angle.

∠ A M B

and

∠ C M D

are vertical angles, formed by the same two intersecting lines, so

∠ A M B = ∠ C M D .

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

Step 3 — Identify the pattern. Side

A M

, included angle

∠ A M B

, side

B M

correspond to side

C M

, included angle

∠ C M D

, side

D M

. This is SAS. Answer:

△ A M B ≅ △ C M D by SAS

. By CPCTC,

A B = C D

and

∠ B A M = ∠ D C M

Detecting the SSA ambiguity numerically

Given: A triangle has side

a = 6

, side

b = 10

, and angle

A = 3 0^{\circ}

(opposite side

a

). How many distinct triangles satisfy this SSA data? Step 1 — Apply the Law of Sines.

\frac{sin A}{a} = \frac{sin B}{b} \Rightarrow sin B = \frac{b sin A}{a} = \frac{10 \cdot sin 3 0 ^{\circ}}{6} = \frac{10 \cdot 0.5}{6} = 0.8333.

⟳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}, 18 0^{\circ})

B_{1} = arcsin (0.8333) \approx 56. 4^{\circ}, B_{2} = 18 0^{\circ} - 56. 4^{\circ} = 123. 6^{\circ} .

⟳Sine is positive in both the first and second quadrants, so

sin B = sin (18 0^{\circ} - B)

Step 3 — Check both are valid. With

A = 3 0^{\circ}

A + B_{1} = 86. 4^{\circ} < 18 0^{\circ}

✓ and

A + B_{2} = 153. 6^{\circ} < 18 0^{\circ}

✓. Both yield a legitimate triangle. Answer:

Two distinct triangles

— a concrete demonstration that SSA does not determine a triangle.

Common Misconceptions

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.

Two non-congruent triangles sharing SSA

Take $△ A B C$ with $A B = 10$ , $∠ A = 3 0^{\circ}$ , $B C = 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 = \frac{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 $9 0^{\circ}$ or obtuse, only one triangle survives — which is exactly why HL does work for right triangles.)

Connections

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.

Real-World Applications

Truss bridges & roof trusses — triangles are used because SSS makes them rigid; engineers rely on congruent triangular panels for predictable, non-deforming load paths (e.g., the Pratt and Warren truss).
Surveying & triangulation — surveyors fix one baseline and two angles (ASA) to compute inaccessible distances, the principle behind the Great Trigonometrical Survey of India.
GPS & navigation — position is resolved by trilateration, geometrically equivalent to SSS distance constraints from multiple satellites.
Manufacturing & quality control — congruence checks verify that machined parts (gussets, brackets) match a master template within tolerance.
Computer graphics & 3D meshes — triangulated surfaces use congruent or similar triangles; rigid-body transformations preserve congruence so models move without distortion.
Architecture (geodesic domes) — Buckminster Fuller's domes tile a sphere with near-congruent triangles for structural efficiency.
Robotics (forward kinematics) — fixed link lengths and joint angles (SAS-type data) determine an arm's end-effector position uniquely.

Historical Development

~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.

Subtleties & Limits

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 $18 0^{\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.

Triangle Congruence

The Core Insight

Formal Statement

Congruent Triangles

Rigid Motion / Isometry

The Five Congruence Criteria

Why It Holds / Derivation

SAS as the foundational axiom; ASA and SSS derived

HL for right triangles

The five valid criteria and the two failures

Euclid of Alexandria | fl. ~300 BCE

Building Intuition

Worked Examples

Proving triangles congruent with SAS

Detecting the SSA ambiguity numerically

Common Misconceptions

AAA and SSA are not congruence criteria

Two non-congruent triangles sharing SSA

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads