How to Write Two-Column Geometry Proofs — Step-by-Step Tutorial

A two-column proof is the standard format used in US high-school geometry to demonstrate that a statement is true. The left column lists statements, the right column lists the reason each statement is valid (a postulate, theorem, definition, or given). Once you internalize the pattern, almost every assigned proof becomes a matter of picking the right reasons in the right order.

The Two-Column Format

Every two-column proof has the same skeleton:

1. Given — what the problem tells you (facts, marks on the figure)
2. Prove — the statement you must justify
3. Statements / Reasons table — one row per logical step, ending with the “Prove” statement

The reason on each row must be one of:

• Given (restating a fact from the problem)
• A definition (e.g. “Definition of midpoint”)
• A postulate (a rule accepted without proof, e.g. SSS, SAS, ASA)
• A theorem (a rule proved earlier, e.g. Vertical Angles Theorem)
• A property of equality / congruence (Reflexive, Symmetric, Transitive, Substitution)

The Postulate/Theorem Cheat List

Memorize these — together they cover 90% of high-school proofs:

• SSS Postulate — three pairs of equal sides ⇒ triangles congruent
• SAS Postulate — two sides and the included angle equal ⇒ congruent
• ASA Postulate — two angles and the included side equal ⇒ congruent
• AAS Theorem — two angles and a non-included side equal ⇒ congruent
• HL Theorem — hypotenuse + one leg equal (right triangles only) ⇒ congruent
• CPCTC — “Corresponding Parts of Congruent Triangles are Congruent” (use AFTER proving the triangles congruent to conclude pairs of sides/angles match)
• Vertical Angles Theorem — vertical angles are congruent
• Alternate Interior Angles Theorem — parallel lines + transversal ⇒ alt. interior angles equal
• Isosceles Triangle Theorem — angles opposite equal sides are equal (and the converse)
• Reflexive Property — any segment or angle is congruent to itself (∠A ≅ ∠A, AB ≅ AB)

For deeper coverage of the congruence postulates see How to Prove Two Triangles Are Congruent: 5 Methods.

The Universal Template

Almost every triangle congruence proof follows this 6-step skeleton. Fill in the brackets:

1. [Given fact 1] — Given
2. [Given fact 2] — Given
3. [A shared side or vertical-angle observation] — Reflexive / Vertical Angles Theorem
4. △ABC ≅ △DEF — [SSS / SAS / ASA / AAS / HL]
5. [Desired side/angle pair from the conclusion] — CPCTC
6. QED (or “∎”) — proof complete

Worked Proof 1 — SSS Congruence

Given: AB ≅ DE, BC ≅ EF, AC ≅ DF.
Prove: △ABC ≅ △DEF.

Worked Proof 2 — SAS with a Shared Side (Reflexive)

Given: AB ≅ AD, ∠BAC ≅ ∠DAC.
Prove: △ABC ≅ △ADC.

The reflexive step on row 3 is what lets two triangles that share a side qualify for SAS or ASA. Forgetting it is the #1 cause of incomplete student proofs.

Worked Proof 3 — Parallel Lines + Alternate Interior Angles

Given: AB ∥ CD, AC ≅ BD.
Prove: △ABE ≅ △DCE, where E is the intersection of AD and BC.

Worked Proof 4 — Isosceles Triangle Base Angles + CPCTC

Given: AB ≅ AC, AD bisects ∠BAC.
Prove: ∠B ≅ ∠C.

This is the classical proof of the Isosceles Triangle Theorem. The 6-step skeleton — Given → Given → Definition → Reflexive → Congruence → CPCTC — repeats over and over in textbook problems.

Common Proof Mistakes

• Citing CPCTC before proving congruence — CPCTC is always row N+1 after the row that proves △ABC ≅ △DEF, never before
• Using SSA — there is no SSA congruence postulate (it’s the “ambiguous case” — multiple triangles can fit). HL works only for right triangles
• Skipping the Reflexive step — if two triangles share a side or angle, you must cite the Reflexive Property explicitly, even though it feels obvious
• Treating “Definition of midpoint” as a postulate — they are different categories of reason. Definitions are reversible (M is a midpoint ⇔ AM ≅ MB); postulates are usually one-way rules
• Conflating ∥ with ⊥ — parallel marks (» on the segment) and perpendicular marks (□ at the angle) get mixed up under exam pressure. Slow down and label the figure first

Diagnostic Flowchart for Picking a Method

1. Are you proving two triangles congruent? → pick the strongest postulate the givens support: SSS > SAS > ASA > AAS > HL
2. Are you proving two segments or two angles congruent? → first prove the enclosing triangles congruent, then finish with CPCTC
3. Are parallel lines involved? → expect Alternate Interior Angles Theorem or Corresponding Angles Postulate to feature
4. Are two triangles sharing a side or vertex? → expect a Reflexive row
5. Are the triangles right triangles? → consider HL before SSS/SAS (often fewer steps)

FAQ

Is a two-column proof the only acceptable format? No — paragraph proofs and flowchart proofs are also valid. Two-column is the default for US high-school and the easiest to grade, which is why teachers usually require it.

Do I need to memorize every theorem? Not all of them. Memorize the cheat list above (SSS/SAS/ASA/AAS/HL + CPCTC + Reflexive + Vertical Angles + Alternate Interior Angles + Isosceles Theorem). Almost every other theorem either composes from these or can be looked up in your textbook.

What’s “QED”? Latin quod erat demonstrandum — “which was to be demonstrated”. Modern textbooks use the symbol ∎ (a filled square) or simply write “Proof complete”.

Why use a two-column format at all if paragraph proofs are valid? The two-column structure forces you to justify every statement with a specific reason, which catches sloppy logic that paragraph proofs can hide.

For congruence postulates in depth, see How to Prove Two Triangles Are Congruent. For “solve for x” methods used inside proofs, see How to Find x in Geometry Problems. Stuck on a specific assigned proof? Upload a photo to the AI Math Solver for a step-by-step walkthrough.