GEOM-5.3

Congruence Proofs with CPCTC

Learn how to prove triangles congruent with SSS, SAS, ASA, or AAS and then use CPCTC to justify a remaining pair of sides or angles, with a reason for every step.

What you'll do in this lesson

A voice-first session with the Crimsora tutor on Congruence Proofs with CPCTC, then targeted practice and FRQs — with the tutor adapting to where you get stuck.

What this lesson covers

You already know the shortcuts for proving two triangles congruent: SSS, SAS, ASA, and AAS. Each one lets you conclude congruence from only three pairs of parts. But triangles have six parts each — three sides and three angles. What about the other three pairs?

That is exactly what CPCTC is for. Once two triangles are proven congruent, every remaining pair of corresponding parts must also be congruent, and CPCTC is the reason you write on that line. This lesson shows you how to build a two-column proof that ends in CPCTC: mark the diagram, find the third pair of congruent parts, name the criterion correctly, and only then claim the side or angle you were actually asked about. The trick is order — CPCTC is never your first move, and it is never your justification for the congruence itself.

What CPCTC Means and Why It Always Comes Second

CPCTC stands for Corresponding Parts of Congruent Triangles are Congruent. It is not a way to prove triangles congruent. It is a conclusion you draw after the triangles are already congruent.

Think of it as a trade. Criteria like SAS and ASA let you buy a full congruence statement, ABCDEF\triangle ABC \cong \triangle DEF, using only three pairs of parts. CPCTC lets you cash that congruence statement in for any of the other three pairs. If ABCDEF\triangle ABC \cong \triangle DEF was proven using two sides and the included angle, then CPCTC hands you ACDF\overline{AC} \cong \overline{DF}, BE\angle B \cong \angle E, and CF\angle C \cong \angle F for free.

The correspondence matters enormously. The statement ABCDEF\triangle ABC \cong \triangle DEF says AA matches DD, BB matches EE, and CC matches FF, in that order. So AD\angle A \cong \angle D follows by CPCTC, but AE\angle A \cong \angle E does not. When you write your congruence statement, list the vertices so that matching parts line up; otherwise every CPCTC line after it is wrong even if the picture is right.

The structural shape of one of these proofs is always the same. Everything above the congruence line is evidence about three pairs of parts. The congruence line names a criterion. Everything below it uses CPCTC. If you find yourself writing CPCTC before you have written xx\triangle \underline{\phantom{x}} \cong \triangle \underline{\phantom{x}}, you have skipped a step, and that is the single most common error in this lesson.

Finding the Hidden Third Pair

Most problems give you two pairs of congruent parts directly and expect you to discover the third from the diagram. Learning to spot these hidden pairs is what makes these proofs fast.
What you see in the figureWhat you may concludeReason to write
Two triangles share a sideThat side is congruent to itselfReflexive Property of Congruence
Two segments cross at a pointThe opposite angles are congruentVertical Angles Theorem
A point is called a midpointIt splits the segment into two congruent halvesDefinition of midpoint
A ray bisects an angleIt splits the angle into two congruent anglesDefinition of angle bisector
Parallel marks plus a transversalAlternate interior angles are congruentAlternate Interior Angles Theorem
Perpendicular marksThe angles formed are right angles, and all right angles are congruentDefinition of perpendicular; Right Angle Congruence
Start every problem by copying the given information onto the figure with tick marks and arcs. Then look for a shared side or a pair of vertical angles — those two account for a large share of textbook proofs. Once three pairs are marked, check where they sit. Two sides with the angle between them is SAS. Two angles with the side between them is ASA. Two angles and a side that is not between them is AAS. Three sides is SSS.

A warning: SSA is not a criterion. If your three marked pairs are two sides and an angle that is not included, you cannot conclude congruence, and no amount of CPCTC afterward will fix it.

Writing the Two-Column Proof

Every statement needs a reason, and "it looks that way" is never a reason. Here is the reliable order.

First, list each given exactly as stated, with the reason Given. Second, convert any given definition into congruent parts — a midpoint becomes two congruent segments, a bisector becomes two congruent angles. Third, add the hidden pair from the figure with its own theorem or property as the reason. Fourth, write the triangle congruence statement with the criterion as its reason. Fifth, and only now, write the part you were asked to prove, with CPCTC as the reason.

Some proofs continue past CPCTC. Suppose you prove 12\angle 1 \cong \angle 2 by CPCTC, and those are alternate interior angles for two lines cut by a transversal. One more line — Converse of the Alternate Interior Angles Theorem — gets you parallel lines. Or if CPCTC gives you ADBADC\angle ADB \cong \angle ADC and those two angles form a linear pair, they are supplementary right angles, so ADBC\overline{AD} \perp \overline{BC}. CPCTC is often the middle of the argument, not the end.

When you are stuck, work backward. Ask which two triangles contain the segment or angle you must prove congruent. Those are the triangles to target. Then ask what three pairs you can establish in exactly those two triangles. This backward planning step is not written in the proof, but it is what turns a blank page into a plan.

Common Errors and How to Avoid Them

Using CPCTC as a congruence criterion. Writing "ABCDEF\triangle ABC \cong \triangle DEF by CPCTC" is circular reasoning. CPCTC assumes the congruence you are trying to prove. The reason on a congruence line must be SSS, SAS, ASA, AAS, or HL.

Mismatched vertex order. If you prove ABCDEF\triangle ABC \cong \triangle DEF but the actual correspondence pairs BB with FF, then every CPCTC claim afterward is unreliable. Trace the marked parts around each triangle in the same rotational direction to get the order right.

Assuming from the picture. Segments that look equal, angles that look right, and lines that look parallel prove nothing. Only given statements, marks in the figure, and previously proven results count.

Leaving out the shared side. In figures where two triangles overlap or share an edge, students often mark only the two given pairs and then cannot name a criterion. The reflexive property is a legitimate statement and belongs in the proof.

Choosing the wrong two triangles. If the segment you must prove congruent is not a side of both triangles you proved congruent, CPCTC cannot reach it. Identify the target part first, then pick the triangles that contain it.

Skipping definition steps. "MM is the midpoint of AB\overline{AB}" and "AMMB\overline{AM} \cong \overline{MB}" are different statements. Write both lines, the second justified by the definition of midpoint. These proofs are read line by line, and an unjustified jump reads as a gap in reasoning even when you understood it.

Key terms

CPCTC.
Corresponding Parts of Congruent Triangles are Congruent; the reason used to justify that any remaining pair of matching sides or angles is congruent after two triangles have been proven congruent.
Corresponding parts.
Sides or angles that occupy matching positions in two triangles, determined by the order of vertices in the congruence statement.
Congruence criterion.
A minimal set of three pairs of congruent parts — SSS, SAS, ASA, AAS, or HL for right triangles — sufficient to conclude two triangles are congruent.
Reflexive Property of Congruence.
Any segment or angle is congruent to itself; used to supply the shared-side or shared-angle pair in overlapping or adjacent triangles.
Included angle.
The angle formed between two named sides of a triangle; SAS requires the congruent angle pair to be included between the two congruent side pairs.
Angle bisector.
A ray that divides an angle into two congruent angles; its definition supplies a pair of congruent angles in a proof.
Two-column proof.
A proof format listing statements in one column and a justifying reason for each statement in the other.
Vertical angles.
The pair of nonadjacent angles formed by two intersecting lines; they are always congruent, which often supplies the hidden third pair.

Worked example

In the figure, ABCB\overline{AB} \cong \overline{CB} and BD\overline{BD} bisects ABC\angle ABC, with DD on AC\overline{AC}. Prove that AC\angle A \cong \angle C.
First plan it. The target angles, A\angle A and C\angle C, live in ABD\triangle ABD and CBD\triangle CBD. So those are the two triangles to prove congruent.

Now inventory the parts. The first given hands you ABCB\overline{AB} \cong \overline{CB} — one pair of sides. The bisector given, translated through the definition of an angle bisector, gives ABDCBD\angle ABD \cong \angle CBD — one pair of angles. The hidden third pair is the shared side BD\overline{BD}, congruent to itself by the reflexive property.

Check the arrangement: AB\overline{AB} and BD\overline{BD} are sides of ABD\triangle ABD with ABD\angle ABD between them; CB\overline{CB} and BD\overline{BD} are sides of CBD\triangle CBD with CBD\angle CBD between them. Side, included angle, side — that is SAS.
StatementReason
ABCB\overline{AB} \cong \overline{CB}Given
BD\overline{BD} bisects ABC\angle ABCGiven
ABDCBD\angle ABD \cong \angle CBDDefinition of angle bisector
BDBD\overline{BD} \cong \overline{BD}Reflexive Property of Congruence
ABDCBD\triangle ABD \cong \triangle CBDSAS
AC\angle A \cong \angle CCPCTC
Notice the vertex order in line five: AA matches CC, BB matches BB, DD matches DD. That correspondence is what licenses the final line. Notice also that this proof is exactly how the Isosceles Triangle Theorem is established — CPCTC is the engine behind many results you already use.

Practice questions

A student writes: "PRQS\overline{PR} \cong \overline{QS} because CPCTC." What must appear earlier in the proof for this line to be valid?
  1. A statement that PR\overline{PR} and QS\overline{QS} look equal in the diagram
  2. A congruence statement for two triangles, justified by SSS, SAS, ASA, AAS, or HL, in which PR\overline{PR} and QS\overline{QS} are corresponding sides
  3. A statement that the two triangles have the same perimeter
  4. A statement that PR\overline{PR} and QS\overline{QS} are parallel

Answer: A congruence statement for two triangles, justified by SSS, SAS, ASA, AAS, or HL, in which PR\overline{PR} and QS\overline{QS} are corresponding sides

CPCTC only extracts information from an established triangle congruence, so the proof must already contain a line of the form ______\triangle \_\_\_ \cong \triangle \_\_\_ backed by a real criterion. It also matters that the two segments correspond under that particular vertex ordering — equal perimeters, parallel marks, or the appearance of the drawing do nothing here.
Segments AC\overline{AC} and BD\overline{BD} intersect at MM, and MM is the midpoint of both segments. Write a two-column proof that ABCD\overline{AB} \cong \overline{CD}.

Answer: Prove AMBCMD\triangle AMB \cong \triangle CMD by SAS, then conclude ABCD\overline{AB} \cong \overline{CD} by CPCTC.

Because MM is the midpoint of AC\overline{AC}, the definition of midpoint gives AMCM\overline{AM} \cong \overline{CM}; because MM is the midpoint of BD\overline{BD}, it gives BMDM\overline{BM} \cong \overline{DM}. The hidden third pair comes from the intersection: AMB\angle AMB and CMD\angle CMD are vertical angles, so they are congruent. That angle sits between the two pairs of congruent sides, so the criterion is SAS, giving AMBCMD\triangle AMB \cong \triangle CMD with AA matching CC, MM matching MM, and BB matching DD. Under that correspondence, AB\overline{AB} and CD\overline{CD} are corresponding sides, so CPCTC finishes the proof. A frequent slip is naming the triangles as AMBDMC\triangle AMB \cong \triangle DMC. That ordering pairs AA with DD, so it claims AMDM\overline{AM} \cong \overline{DM} — something nothing in the givens supports. Write the vertices in matching order so the statement you make is the one you actually proved.
In XYZ\triangle XYZ and XWZ\triangle XWZ, you are given XYXW\overline{XY} \cong \overline{XW} and YW\angle Y \cong \angle W, and the triangles share side XZ\overline{XZ}. Explain why you cannot yet conclude YZWZ\overline{YZ} \cong \overline{WZ} by CPCTC.

Answer: The three marked pairs form an SSA arrangement, which is not a valid congruence criterion, so no triangle congruence has been established.

You do have three pairs: two sides, XYXW\overline{XY} \cong \overline{XW} and XZXZ\overline{XZ} \cong \overline{XZ}, plus one angle pair, YW\angle Y \cong \angle W. But Y\angle Y is not included between XY\overline{XY} and XZ\overline{XZ} — it sits opposite the shared side. That is the SSA pattern, which can describe two genuinely different triangles, so it proves nothing. CPCTC requires a completed congruence, and none exists here. To fix it you would need different given information, such as a pair of included angles or a right angle that lets you use HL.

FAQ

Can I use CPCTC to prove two triangles are congruent?
No. CPCTC works in one direction only: it takes a congruence you have already proven and produces additional congruent parts. Using it to justify the triangle congruence itself is circular. The reason on a triangle congruence line must be SSS, SAS, ASA, AAS, or HL.
Do I have to write out the full phrase, or is the abbreviation enough?
Most teachers accept the abbreviation CPCTC on the reason line, but check your class's convention. If you are asked to explain in words, say that corresponding parts of congruent triangles are congruent, and name which congruence statement you are drawing from.
How do I know which two triangles to use?
Start from the segment or angle you are asked to prove congruent and find the two triangles that contain the two matching parts. If your target is ABCD\overline{AB} \cong \overline{CD}, you need triangles that have AB\overline{AB} and CD\overline{CD} as corresponding sides. Then look for three pairs of congruent parts inside just those two triangles.
What if the proof asks for parallel lines or a perpendicular instead of a congruence?
Use CPCTC to get a pair of congruent angles first, then add one more line. Congruent alternate interior or corresponding angles give parallel lines by the appropriate converse theorem. Congruent adjacent angles that form a linear pair are right angles, which gives perpendicularity by the definition of perpendicular.

Learn this with a teacher, not a page

The Crimsora tutor teaches Congruence Proofs with CPCTC live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.