Congruence Criteria

Two triangles are congruent when every corresponding side and every corresponding angle is equal — they are, in effect, identical shapes that could be placed exactly on top of each other. In principle, you would need to verify all three pairs of sides and all three pairs of angles (six conditions) to be sure. The congruence criteria — SSS, SAS, ASA, and AAS — are powerful shortcuts proved within Euclidean geometry that let you establish full congruence from just three carefully chosen pieces of information. These criteria are not mere conventions; they are theorems that follow from Euclid's postulates and from the rigorous structure of deductive proof. Once you know a triangle is congruent to another by one of these criteria, every remaining measurement (area, perimeter, any angle or side) is automatically equal between the two triangles. This makes the criteria indispensable tools for proving geometric results in a logical chain. A fifth criterion, SSA (two sides and a non-included angle), does NOT in general guarantee congruence — it can produce two different triangles. Understanding why SSS, SAS, ASA, and AAS work while SSA does not is a key lesson in deductive reasoning: checking a rule carefully, testing it, and understanding its logical boundaries.

Key takeaways
  • SSS — Side-Side-Side
  • SAS — Side-Angle-Side
  • ASA — Angle-Side-Angle
  • AAS — Angle-Angle-Side
  • Why SSA Fails (The Ambiguous Case)

SSS — Side-Side-Side

If all three sides of one triangle are equal in length to the three corresponding sides of another triangle, the triangles are congruent. Formally: if AB = DE, BC = EF, and CA = FD, then △ABC ≅ △DEF. The idea is that once three side lengths are fixed, the shape is completely rigid — you cannot flex it into a different triangle without changing a side length. This rigidity of triangles (unlike quadrilaterals) is why SSS works.

SAS — Side-Angle-Side

If two sides and the included angle (the angle formed between those two sides) of one triangle equal the corresponding two sides and included angle of another, the triangles are congruent. The word 'included' is critical: the angle must be sandwiched between the two sides. For △ABC ≅ △DEF by SAS, you need AB = DE, ∠BAC = ∠EDF, and AC = DF. Knowing two sides and the angle between them uniquely determines the third side and remaining angles via the Law of Cosines, explaining why SAS is sufficient.

ASA — Angle-Side-Angle

If two angles and the included side (the side lying between those two angles) of one triangle equal the corresponding parts of another triangle, the triangles are congruent. For example: ∠B = ∠E, BC = EF, and ∠C = ∠F implies △ABC ≅ △DEF. Note that knowing two angles of a triangle automatically tells you the third (since all three sum to 180°), so ASA and AAS are closely related.

AAS — Angle-Angle-Side

If two angles and a non-included side of one triangle are equal to the corresponding two angles and non-included side of another, the triangles are congruent. Because the angle sum in any triangle is 180°, two equal angle pairs force the third pair of angles to be equal as well. Then the specified side sits opposite a known angle in each triangle, and by the Law of Sines the remaining sides are uniquely determined. AAS is sometimes derived as a corollary of ASA for this reason.

Why SSA Fails (The Ambiguous Case)

SSA — two sides and a non-included angle — does not guarantee congruence. Given sides a and b and angle A (opposite side a), two different triangles can sometimes be constructed if a < b and a > b·sin(A). This is the ambiguous case of the Law of Sines. Because two distinct triangles can satisfy the same SSA data, SSA cannot serve as a congruence criterion. The only SSA situation that works is when the angle is 90° (the Hypotenuse-Leg or HL theorem for right triangles), because then the Pythagorean theorem uniquely determines the missing side.

The Key Equation

△ABC≅△DEF  ⟺  {AB=DE,  BC=EF,  CA=FD∠A=∠D,  ∠B=∠E,  ∠C=∠F\triangle ABC \cong \triangle DEF \iff \begin{cases} AB=DE,\; BC=EF,\; CA=FD \\ \angle A=\angle D,\; \angle B=\angle E,\; \angle C=\angle F \end{cases}
  • \cong — Congruence symbol (dimensionless): Indicates that two geometric figures are identical in shape and size.
  • AB, BC, CA — Side lengths of △ABC (length units): The three sides of the first triangle, measured between the named vertices.
  • \angle A, \angle B, \angle C — Interior angles of △ABC (degrees or radians): The interior angles at each vertex; they sum to 180°.

Worked Example

Problem. In the figure, triangles PQR and XYZ share the following measurements: PQ = 7 cm, QR = 9 cm, ∠PQR = 54°, XY = 7 cm, YZ = 9 cm, ∠XYZ = 54°. Are the triangles congruent? If so, state the criterion and write the congruence statement.

△PQR≅△XYZ(SAS: PQ=XY,  ∠PQR=∠XYZ,  QR=YZ)\triangle PQR \cong \triangle XYZ \quad (\text{SAS: } PQ=XY,\; \angle PQR=\angle XYZ,\; QR=YZ)

Answer. Yes, the triangles are congruent by the SAS criterion.

Figure
Diagram
Four Triangle Congruence CriteriaSSSall 3 sides equalabcSAS∠2 sides + included ∠ASA∠∠2 angles + included sideAAS∠∠2 angles + non-incl. side⚠ SSA does NOT guarantee congruenceTriangle 1ABCTriangle 2ABC'Same two sides and non-included angle — two different triangles possible
Origins · 1 minEuclid of Alexandria and how this was discovered
EO
Euclid of Alexandria
-325–-265 · Greek (Alexandrian)

Euclid systematized all of ancient Greek geometry in his thirteen-book treatise 'Elements' (c. 300 BCE). Book I contains the propositions that underpin triangle congruence: Propositions 4 (SAS), 8 (SSS), and 26 (ASA and AAS) are among the earliest formal proofs that specific combinations of parts suffice to establish full triangle congruence. His axiomatic method — starting from five postulates and building theorems through logical deduction — remains the model for mathematical proof to this day. When King Ptolemy I asked Euclid if there was a shorter road to geometry than studying the Elements, Euclid reportedly replied: 'There is no royal road to geometry.' This phrase has echoed through two millennia of mathematics education.

  • Triangle Similarity Criteria (AA, SAS~, SSS~) — Similarity criteria parallel congruence criteria but establish equal shape with proportional (not equal) sides — a natural extension once congruence is mastered.
  • CPCTC — Corresponding Parts of Congruent Triangles — Once congruence is established by SSS/SAS/ASA/AAS, CPCTC is the logical rule used to extract further equal measurements from the congruent triangles.
  • Two-Column Geometric Proofs — Congruence criteria are most commonly applied inside two-column proofs, where each criterion provides a 'reason' to justify a statement of congruence.
  • Law of Cosines — The Law of Cosines provides the algebraic justification for why SSS and SAS uniquely determine a triangle, connecting congruence criteria to trigonometry.