Math Core

Lesson 5.5 · Congruent Triangles

Using CPCTC

So far, proving two triangles congruent has been the goal. Usually, though, it's a stepping stone. Once you know two triangles are congruent, every pair of corresponding parts is congruent, including the parts you weren't told anything about. That idea lets you prove that segments are equal, angles are equal, and even measure distances you can't reach.

What CPCTC means

Remember the definition of congruent triangles from the start of this unit: all six pairs of corresponding parts are congruent. The shortcuts (SSS, SAS, ASA, AAS, HL) let you establish congruence from only three pairs. After that, the definition hands you the other three pairs for free.

CPCTC

Corresponding Parts of Congruent Triangles are Congruent.

Once you have proved △ABC≅△DEF\triangle ABC \cong \triangle DEF, you may conclude any of AB‾≅DE‾\overline{AB} \cong \overline{DE}, BC‾≅EF‾\overline{BC} \cong \overline{EF}, AC‾≅DF‾\overline{AC} \cong \overline{DF}, ∠A≅∠D\angle A \cong \angle D, ∠B≅∠E\angle B \cong \angle E, ∠C≅∠F\angle C \cong \angle F, with the reason "CPCTC."

A three-step strategy

When a proof asks you to show two segments or two angles are congruent, try this plan.

  1. Find two triangles that contain the parts you want, one part in each triangle, in corresponding positions.
  2. Prove those triangles congruent with a shortcut, using the givens and any hidden facts (shared sides, vertical angles, parallel lines).
  3. Finish with CPCTC.

Common mistake

CPCTC can only be used after a line in your proof that says the triangles are congruent. A common mistake is to use CPCTC to get one of the three parts you need for SSS, SAS or another shortcut. That's circular: you would be using the conclusion to prove itself. Also, CPCTC is not a shortcut itself, so it never proves triangles congruent.

Worked example: Proving segments congruent

Given: MM is the midpoint of AE‾\overline{AE} and of BD‾\overline{BD}.

Prove: AB‾≅ED‾\overline{AB} \cong \overline{ED}

Segments AE and BD cross at M, the midpoint of both.

AB‾\overline{AB} is in △AMB\triangle AMB and ED‾\overline{ED} is in △EMD\triangle EMD, so prove those triangles congruent first.

StatementReason
1. MM is the midpoint of AE‾\overline{AE} and of BD‾\overline{BD}Given
2. AM‾≅EM‾\overline{AM} \cong \overline{EM} and BM‾≅DM‾\overline{BM} \cong \overline{DM}Definition of midpoint
3. ∠AMB≅∠EMD\angle AMB \cong \angle EMDVertical angles are congruent
4. △AMB≅△EMD\triangle AMB \cong \triangle EMDSAS
5. AB‾≅ED‾\overline{AB} \cong \overline{ED}CPCTC

In the same way you could also conclude ∠A≅∠E\angle A \cong \angle E or ∠B≅∠D\angle B \cong \angle D.

Worked example: Proving a pair of sides congruent in a quadrilateral

Given: AB‾∥DC‾\overline{AB} \parallel \overline{DC} and AB‾≅DC‾\overline{AB} \cong \overline{DC}

Prove: BC‾≅DA‾\overline{BC} \cong \overline{DA}

AB is parallel to DC, AB = DC, and AC is a diagonal.

The diagonal AC‾\overline{AC} splits the quadrilateral into △BAC\triangle BAC and △DCA\triangle DCA. BC‾\overline{BC} is in the first and DA‾\overline{DA} is in the second.

StatementReason
1. AB‾∥DC‾\overline{AB} \parallel \overline{DC}Given
2. ∠BAC≅∠DCA\angle BAC \cong \angle DCAAlternate interior angles theorem
3. AB‾≅DC‾\overline{AB} \cong \overline{DC}Given
4. AC‾≅CA‾\overline{AC} \cong \overline{CA}Reflexive property of congruence
5. △BAC≅△DCA\triangle BAC \cong \triangle DCASAS
6. BC‾≅DA‾\overline{BC} \cong \overline{DA}CPCTC

In step 5, the angle at AA in △BAC\triangle BAC is between BA‾\overline{BA} and AC‾\overline{AC}, and the angle at CC in △DCA\triangle DCA is between DC‾\overline{DC} and CA‾\overline{CA}. So it's the included angle, and SAS applies. You'll see this result again in the Quadrilaterals unit.

CPCTC with measurements

When congruent triangles have measurements attached, CPCTC turns into an equation.

Worked example: Measuring across a pond

A surveyor wants the distance ABAB across a pond. She picks a point CC on dry land, walks from AA through CC to a point DD with CD=ACCD = AC, and from BB through CC to a point EE with CE=BCCE = BC. Then she measures DEDE.

C is the midpoint of AD and of BE. Measuring DE gives AB.

Why it works. AC‾≅DC‾\overline{AC} \cong \overline{DC} and BC‾≅EC‾\overline{BC} \cong \overline{EC} by construction, and ∠ACB≅∠DCE\angle ACB \cong \angle DCE because they are vertical angles. So △ACB≅△DCE\triangle ACB \cong \triangle DCE by SAS, and AB‾≅DE‾\overline{AB} \cong \overline{DE} by CPCTC.

With algebra. Suppose a diagram of this setup labels DE=2x+18DE = 2x + 18 and AB=5x−3AB = 5x - 3 (in meters). Since AB=DEAB = DE,

5x−3=2x+18⇒3x=21⇒x=7,5x - 3 = 2x + 18 \quad\Rightarrow\quad 3x = 21 \quad\Rightarrow\quad x = 7,

so AB=5(7)−3=32AB = 5(7) - 3 = 32 meters. (Check: DE=2(7)+18=32DE = 2(7) + 18 = 32.)

Tip

When a proof asks for congruent segments or angles, don't start with the parts. Start by circling the two triangles that hold them. The rest of the proof is just proving those triangles congruent.

Practice

Practice 1

Given △RST≅△UVW\triangle RST \cong \triangle UVW, which conclusion follows by CPCTC?

Practice 2

In the proof that AB‾≅ED‾\overline{AB} \cong \overline{ED} (where MM is the midpoint of AE‾\overline{AE} and BD‾\overline{BD}), what is the reason for the last statement, AB‾≅ED‾\overline{AB} \cong \overline{ED}?

Practice 3

Jordan knows that AB‾≅DE‾\overline{AB} \cong \overline{DE}, BC‾≅EF‾\overline{BC} \cong \overline{EF} and ∠A≅∠D\angle A \cong \angle D. He concludes ∠C≅∠F\angle C \cong \angle F by CPCTC. What is wrong with his reasoning?

Practice 4

Given: AC‾\overline{AC} bisects ∠BAD\angle BAD and ∠BCD\angle BCD. Prove: AB‾≅AD‾\overline{AB} \cong \overline{AD}.

AC bisects angle BAD and angle BCD.
StatementReason
1. AC‾\overline{AC} bisects ∠BAD\angle BAD and ∠BCD\angle BCDGiven
2. ∠BAC≅∠DAC\angle BAC \cong \angle DACDefinition of angle bisector
3. AC‾≅AC‾\overline{AC} \cong \overline{AC}Reflexive property of congruence
4. ∠BCA≅∠DCA\angle BCA \cong \angle DCADefinition of angle bisector
5. △BAC≅△DAC\triangle BAC \cong \triangle DAC?
6. AB‾≅AD‾\overline{AB} \cong \overline{AD}CPCTC

What is the missing reason in step 5?

Practice 5

In the figure, AB‾∥DC‾\overline{AB} \parallel \overline{DC} and AB‾≅DC‾\overline{AB} \cong \overline{DC}, so △BAC≅△DCA\triangle BAC \cong \triangle DCA. If AD=2y+3AD = 2y + 3 and BC=4y−9BC = 4y - 9, find ADAD.

AB is parallel to DC, AB = DC, and AC is a diagonal.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

In the pond setup, CC is the midpoint of AD‾\overline{AD} and of BE‾\overline{BE}. If AB=5x−19AB = 5x - 19 and DE=3x+5DE = 3x + 5, find ABAB.

C is the midpoint of AD and of BE. Measuring DE gives AB.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

In quadrilateral ABCDABCD, AB‾≅CB‾\overline{AB} \cong \overline{CB} and AD‾≅CD‾\overline{AD} \cong \overline{CD}, with diagonal BD‾\overline{BD}. If m∠ABD=35∘m\angle ABD = 35^\circ and m∠ADB=40∘m\angle ADB = 40^\circ, find m∠BCDm\angle BCD in degrees. (The figure is not drawn to scale.)

Quadrilateral ABCD with diagonal BD.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

You want to prove ∠P≅∠S\angle P \cong \angle S, where ∠P\angle P is in △PQR\triangle PQR and ∠S\angle S is in △STU\triangle STU. Which must appear in your proof before the line "∠P≅∠S\angle P \cong \angle S, CPCTC"?