Congruence & Proof

Writing Two-Column Proofs

Structuring a formal proof of triangle congruence.

Advanced25 min lesson3 min readUpdated August 12, 2026Author not yet attributed

Prerequisites

Congruence Criteria

What Separates a Proof from 'It Looks True'

Before reading on, think about the difference between saying 'these two triangles look congruent' and actually proving it. What would make an argument count as a genuine proof rather than just a strong impression from a picture?

Definition — Two-Column Proof

A formal proof organized into two columns: statements (claims about the figure) on the left, and reasons (the specific given fact, definition, postulate, or previously proven statement that justifies each claim) on the right. Every single statement must have a valid reason — no step is ever accepted just because it 'looks right.'

A proof is a genuine proof precisely because every single step is individually justified, with no gaps — each new statement follows logically from information already established, whether that's something explicitly given, a definition, a postulate, or an earlier proven statement in the same proof. A picture can suggest a claim is true; a proof demonstrates it's true using nothing but logic and already-accepted facts.

One especially useful reason, CPCTC (Corresponding Parts of Congruent Triangles are Congruent), applies once two triangles have already been proven congruent — every remaining pair of corresponding sides and angles is then automatically congruent too, since congruent triangles agree on all their measurements by definition. This makes CPCTC the standard way to conclude a proof once triangle congruence is established, when the goal was actually to prove something about a specific side or angle.

Worked Example — A Complete Two-Column Proof

Given: AB ≅ DC and AB ∥ DC, with diagonal BD drawn. Prove: triangle ABD ≅ triangle CDB.

Statement	Reason
1. AB ≅ DC	1. Given
2. AB ∥ DC	2. Given
3. ∠ABD ≅ ∠CDB	3. Alternate interior angles formed by a transversal (BD) crossing parallel lines are congruent
4. BD ≅ BD	4. Reflexive property (a segment is congruent to itself)
5. △ABD ≅ △CDB	5. SAS (statements 1, 3, and 4)

Statements and Reasons

Worked Example — Using CPCTC to Finish a Proof

Continuing the proof above, prove that ∠A ≅ ∠C. Statement 6: ∠A ≅ ∠C. Reason 6: CPCTC — since △ABD ≅ △CDB was already established in statement 5, every pair of corresponding parts, including angles A and C, must be congruent too.

Tip

Before writing a proof, mark every given piece of information directly on a sketch of the figure first — seeing exactly what's already established, and what still needs proving, makes planning the logical chain of statements much easier.

Common Mistakes

Using CPCTC before the triangles' congruence has actually been established earlier in the proof.
CPCTC only becomes a valid reason after a statement proving the two triangles congruent — using it earlier skips the very step CPCTC depends on.
Writing a statement based on how a diagram looks, such as assuming two segments are equal just because they appear similar in length, without a given fact or proven reason to support it.
Every statement needs an explicit, valid reason — a diagram's appearance is never an acceptable justification on its own, since diagrams aren't drawn to exact scale.

Key Takeaways

A two-column proof pairs every statement with a specific, valid reason — a given fact, definition, postulate, or earlier proven statement.
CPCTC concludes that corresponding parts of two triangles are congruent, but only after their congruence has already been proven.
A genuine proof leaves no logical gaps, unlike an argument based on how a figure merely appears.

Summary

Two-column proofs make every logical step explicit and verifiable, the hallmark of formal geometric reasoning. The next unit shifts from congruent (identical) triangles to similar (same shape, different size) ones.

Track your progress

← Congruence Criteria Back to Congruence & Proof