Congruence
Triangle Criteria
| Property | Statement |
|---|---|
| SSS | All three sides equal |
| SAS | Two sides and included angle |
| ASA | Two angles and included side |
| AAS | Two angles and non-included side |
Examples
Example 1. Two triangles: sides 5,7,9 each. Congruent?
Solution. Yes, by SSS.
In Depth
Two figures are congruent if one can be obtained from the other by rigid motions (isometries): translations, rotations, and reflections. Congruent figures have identical shape and size. The congruence criteria for triangles — SSS, SAS, ASA, AAS, and HL (for right triangles) — are the workhorses of Euclidean proof.
The SAS congruence criterion: if two sides and the included angle of one triangle equal the corresponding parts of another, the triangles are congruent. This is Euclid's Proposition 4 and is the basis for many geometric proofs.
CPCTC (Corresponding Parts of Congruent Triangles are Congruent) is the standard conclusion after proving triangles congruent. It allows deducing that specific angles or sides are equal, which is often the goal of a proof.
In abstract algebra, congruence generalizes to equivalence relations. Two integers are congruent modulo \(n\) if they differ by a multiple of \(n\). Two matrices are congruent if one can be obtained from the other by a congruence transformation \(A\mapsto P^TAP\).
Rigid motions form a group under composition — the Euclidean group E(n). In 2D, every rigid motion is a translation, rotation, reflection, or glide reflection. This classification is used in crystallography to describe the symmetries of wallpaper patterns (17 wallpaper groups).
Key Properties & Applications
The triangle congruence criteria (SSS, SAS, ASA, AAS) are used in engineering to ensure structural rigidity. A triangulated truss is rigid because triangles are the only rigid polygon — adding a diagonal to a quadrilateral creates two triangles and rigidifies it.
In manufacturing, congruence (dimensional tolerance) ensures interchangeable parts. Two parts are 'congruent' within tolerance if their dimensions agree within specified limits. Statistical process control monitors whether manufactured parts remain within tolerance.
Congruence transformations (isometries) form the Euclidean group E(n). In 2D, every isometry is a translation, rotation, reflection, or glide reflection. The classification of wallpaper patterns (17 groups) and frieze patterns (7 groups) uses the theory of isometry groups.
Further Reading & Context
The study of congruence connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.
Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.
In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.
Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.
Deep Dive: Congruence
This lesson extends core ideas for congruence with rigorous reasoning, edge-case checks, and application framing in geometry.
Practice Set
Practice. Derive one main result on this page and validate with a numeric or geometric check.
Goal. Confirm assumptions, transformation steps, and final interpretation.
References & Editorial Notes
- Stewart, Calculus.
- Strang, Introduction to Linear Algebra.
- Apostol, Mathematical Analysis.
Last editorial review: 2026-04-14.