4.3 Triangle congruence proofs

Triangle Congruence Proofs

Triangle congruence proofs let you demonstrate, with airtight logic, that two triangles are exactly the same shape and size. They're central to Honors Geometry because the reasoning skills you build here carry into every proof you'll write for the rest of the course.

This section covers the five congruence postulates/theorems, the properties and theorems you'll use as supporting reasons, and how to actually construct and verify a valid proof.

more resources to help you study

practice questions

Triangle Congruence Postulates and Theorems

You have five tools for proving two triangles congruent. Choosing the right one depends entirely on what information you're given.

• SSS (Side-Side-Side) Postulate: If all three sides of one triangle are congruent to all three sides of another triangle, the triangles are congruent. You'll use this when the problem gives you three pairs of congruent sides and no angle information.
• SAS (Side-Angle-Side) Postulate: 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, the triangles are congruent. The angle must be between the two sides; if it isn't, SAS doesn't apply.
• ASA (Angle-Side-Angle) Postulate: If two angles and the included side (the side between those two angles) of one triangle are congruent to the corresponding parts of another, the triangles are congruent.
• AAS (Angle-Angle-Side) Theorem: If two angles and a non-included side of one triangle are congruent to the corresponding parts of another, the triangles are congruent. This works because knowing two angles automatically determines the third (since angles in a triangle sum to 180°), effectively giving you ASA.
• HL (Hypotenuse-Leg) Theorem: If the hypotenuse and one leg of a right triangle are congruent to the hypotenuse and one leg of another right triangle, the triangles are congruent. This only applies to right triangles. You must establish that both triangles have right angles before using HL.

Logical Arguments in Congruence Proofs

Every congruence proof follows the same basic structure. Here's how to build one:

1. State the givens and the goal. Write down exactly what information the problem provides and what you need to prove (e.g., "Prove $\triangle ABC \cong \triangle DEF$").

2. Mark up the diagram. Use tick marks for congruent sides and arcs for congruent angles. This helps you see which postulate or theorem fits.

3. Identify which postulate/theorem to use. Count how many pairs of congruent sides and angles you can establish. If you have three side pairs, that's SSS. Two sides and an included angle? SAS. And so on.

4. Build the proof step by step. Each statement needs a reason. Reasons come from definitions, postulates, theorems, or the given information.

5. Conclude with the congruence statement. Make sure corresponding vertices are listed in the correct order. If $\angle A \cong \angle D$, $\angle B \cong \angle E$, and $\angle C \cong \angle F$, then you write $\triangle ABC \cong \triangle DEF$, not $\triangle ABC \cong \triangle FED$.

After proving triangles congruent, you can use CPCTC (Corresponding Parts of Congruent Triangles are Congruent) to show that any remaining pair of corresponding sides or angles are congruent. CPCTC is not a method for proving congruence; it's what you use after congruence is established.

Properties and Theorems That Support Proofs

These are the "reasons" column entries you'll rely on most often:

Properties of Congruence:

• Reflexive Property: Any segment or angle is congruent to itself ($\overline{AB} \cong \overline{AB}$). Use this when two triangles share a side or angle.
• Symmetric Property: If $\overline{AB} \cong \overline{CD}$, then $\overline{CD} \cong \overline{AB}$. This lets you flip a congruence statement when needed.
• Transitive Property: If $\overline{AB} \cong \overline{CD}$ and $\overline{CD} \cong \overline{EF}$, then $\overline{AB} \cong \overline{EF}$. Use this to chain congruences together across three or more figures.

Angle Theorems (for establishing congruent angles):

• Vertical Angles Theorem: When two lines intersect, the vertical angles (the pairs across from each other) are congruent. This comes up constantly in proofs involving overlapping or adjacent triangles.
• Alternate Interior Angles Theorem: If two parallel lines are cut by a transversal, the alternate interior angles are congruent. You need parallel lines to be given or previously proven.
• Corresponding Angles Postulate: If two parallel lines are cut by a transversal, corresponding angles are congruent.

Definitions (for converting between measures and congruence):

• Congruent segments are segments with equal lengths.
• Congruent angles are angles with equal measures.

These definitions matter because sometimes a problem gives you equal measures and you need to state congruence, or vice versa.

Checking the Validity of a Proof

Before you consider a proof finished, run through this checklist:

1. Every statement has a valid reason. No step should be justified by "it looks like it" or left without a reason. Acceptable reasons are: given, definitions, postulates, theorems, or properties.

2. The given information is sufficient. Make sure you haven't assumed something that wasn't provided. For example, don't assume two sides are congruent just because they appear equal in the diagram.

3. The right postulate/theorem is applied. Double-check that you actually have the parts required. If you wrote SAS, confirm the angle is truly the included angle between the two sides you cited.

4. No logical gaps exist. Each step should follow from previous steps. If step 4 depends on a fact that hasn't been established yet, you need to insert the missing step.

5. The conclusion matches the goal. The final line of your proof should be the exact congruence statement (or CPCTC result) you were asked to prove, with vertices in the correct corresponding order.

6. Corresponding vertices match. This is worth checking twice. If you claim $\triangle ABC \cong \triangle DEF$, that means $A$ corresponds to $D$, $B$ to $E$, and $C$ to $F$. Every congruence you cited in the proof should be consistent with that correspondence.