4.1 Triangle congruence postulates and theorems

Triangle Congruence Postulates and Theorems

Two triangles are congruent when they have exactly the same size and shape, meaning every side and every angle in one triangle matches a corresponding side or angle in the other. Proving triangle congruence is one of the most important skills in geometry because it lets you deduce unknown side lengths and angle measures, and it forms the backbone of more complex proofs later in the course.

more resources to help you study

practice questions

Triangle Congruence

Triangle Congruence Conditions

For two triangles to be congruent, all six parts (three sides and three angles) must match up between them. But here's what makes this topic useful: you don't actually need to verify all six. The postulates and theorems below let you prove congruence by checking just three specific parts.

• Two triangles are congruent if their corresponding sides are equal in length and their corresponding angles are equal in measure.
• Congruence is written with the symbol $\cong$, as in $\triangle ABC \cong \triangle DEF$.
• The order of the vertices matters. Writing $\triangle ABC \cong \triangle DEF$ means $A$ corresponds to $D$, $B$ corresponds to $E$, and $C$ corresponds to $F$. Every congruence statement you write carries this vertex-to-vertex mapping, so be deliberate about the order.

SSS, SAS, and ASA Postulates

These three postulates are accepted without proof. Each one specifies a different combination of three parts that, when matched, guarantee congruence.

Side-Side-Side (SSS): If all three sides of one triangle are congruent to all three sides of another triangle, the triangles are congruent.

$\overline{AB} \cong \overline{DE}, \quad \overline{BC} \cong \overline{EF}, \quad \overline{AC} \cong \overline{DF} \quad \implies \quad \triangle ABC \cong \triangle DEF$

SSS is the most straightforward postulate. If you know all three side lengths match, you're done. No angle information needed.

Side-Angle-Side (SAS): If two sides and the included angle (the angle formed between those two sides) of one triangle are congruent to the corresponding parts of another triangle, the triangles are congruent.

$\overline{AB} \cong \overline{DE}, \quad \angle B \cong \angle E, \quad \overline{BC} \cong \overline{EF} \quad \implies \quad \triangle ABC \cong \triangle DEF$

The word included is critical here. The angle must be between the two sides you're using. Two sides and a non-included angle is a different situation entirely (see the warning below).

Angle-Side-Angle (ASA): If two angles and the included side (the side between those two angles) of one triangle are congruent to the corresponding parts of another triangle, the triangles are congruent.

$\angle A \cong \angle D, \quad \overline{AB} \cong \overline{DE}, \quad \angle B \cong \angle E \quad \implies \quad \triangle ABC \cong \triangle DEF$

AAS Theorem for Congruence

Angle-Angle-Side (AAS): If two angles and a non-included side of one triangle are congruent to the corresponding two angles and non-included side of another triangle, the triangles are congruent.

$\angle A \cong \angle D, \quad \angle B \cong \angle E, \quad \overline{BC} \cong \overline{EF} \quad \implies \quad \triangle ABC \cong \triangle DEF$

AAS is classified as a theorem, not a postulate, because it can be derived from ASA. Here's why: if two angles of one triangle are congruent to two angles of another, the third angles must also be congruent (since angles in a triangle sum to $180°$). That gives you two angles and the side between two of them, which is just ASA in disguise.

Applications of Congruence Postulates

When you need to prove two triangles congruent in a problem or proof, follow these steps:

1. Mark the given information. Label all sides and angles you know are congruent. Look for information that isn't stated explicitly, like shared sides (reflexive property) or vertical angles.
2. Identify the corresponding parts. Decide which vertices in one triangle correspond to which vertices in the other. This determines how you'll write your congruence statement.
3. Choose the right postulate or theorem. Count what you have: three sides → SSS; two sides with the angle between them → SAS; two angles with the side between them → ASA; two angles with a non-included side → AAS.
4. Write the congruence statement. Use correct vertex order so corresponding parts align: $\triangle ABC \cong \triangle DEF$.
5. Use CPCTC if needed. Once triangles are proven congruent, Corresponding Parts of Congruent Triangles are Congruent (CPCTC) lets you conclude that any remaining pair of corresponding sides or angles are also congruent. This is often the final step when the problem asks you to prove a specific side or angle relationship.