Congruent triangles are triangles for which a rigid motion maps one triangle onto the other with corresponding vertices matched. Equivalently, corresponding side lengths and corresponding angle measures are equal. Thus congruence records equality of both size and shape, whereas similar triangles record only equality of shape (Coxeter and Greitzer 1967).
Two triangles are congruent if their corresponding data satisfy any of the side-side-side, side-angle-side, angle-side-angle, or angle-angle-side criteria. For right triangles, equality of the hypotenuse and one corresponding leg is also sufficient. The required rigid motion is a composition of translations, rotations, and reflections.
