Two-Column Proofs

Learn to write two-column proofs: list each statement on the left and the reason that justifies it on the right, for equations, segments and angles.

Intermediate25 min18 problems
Practice Problems

Definition

A two-column proof is a proof written as a table. The left column lists the statements (what we know at each step) and the right column lists the reasons (why each statement is true). The proof starts from the Given (what we are told) and ends with the statement we were asked to Prove.
Given: 3x+5=203x + 5 = 20 Prove: x=5x = 5
#StatementReason
13x+5=203x + 5 = 20Given
23x=153x = 15Subtraction Property of Equality
3x=5x = 5Division Property of Equality
Every reason must be the given information, a definition, a property, a postulate or a theorem that was proven earlier. The reasons you will use most often:
ReasonWhat it allows
Addition and Subtraction Property of EqualityIf a=ba = b, then a+c=b+ca + c = b + c and a−c=b−ca - c = b - c
Multiplication and Division Property of EqualityIf a=ba = b, then ac=bcac = bc and ac=bc\frac{a}{c} = \frac{b}{c} for c≠0c \neq 0
SubstitutionIf a=ba = b, you may replace aa with bb in any statement
Distributive Propertya(b+c)=ab+aca(b + c) = ab + ac
Reflexive Propertya=aa = a
Symmetric PropertyIf a=ba = b, then b=ab = a
Transitive PropertyIf a=ba = b and b=cb = c, then a=ca = c
For segments and angles you also use:
  • Segment Addition Postulate: if BB lies between AA and CC on a line, then AB+BC=ACAB + BC = AC
  • Angle Addition Postulate: if point DD lies inside ∠ABC\angle ABC, then m∠ABD+m∠DBC=m∠ABCm\angle ABD + m\angle DBC = m\angle ABC
  • Definitions: complementary angles add up to 90∘90^\circ, supplementary angles add up to 180∘180^\circ
  • Vertical Angles Theorem: vertical angles have equal measures

Try it now

In a two-column proof, which reason is written next to statement 1?

Worked Examples

Given: 3x+5=203x + 5 = 20. Prove: x=5x = 5. Write the proof in two columns.
1

Write the given as statement 1

Statement: 3x+5=203x + 5 = 20 → Reason: Given
2

Subtract 5 from both sides

3x+5−5=20−53x + 5 - 5 = 20 - 5, so statement: 3x=153x = 15 → Reason: Subtraction Property of Equality
3

Divide both sides by 3

3x3=153\frac{3x}{3} = \frac{15}{3}, so statement: x=5x = 5 → Reason: Division Property of Equality
4

Check that the last statement is the Prove statement

Statement 3 is x=5x = 5, exactly what we had to prove → The proof is complete

Common Mistakes

Writing what you did instead of a reason, for example "I moved the 5 to the other side"

Why it's wrong: A reason must name a rule that everyone accepts. "Moving" a number is not a rule, and it hides what really happened.

Correct: Name the property: going from 3x+5=203x + 5 = 20 to 3x=153x = 15 uses the Subtraction Property of Equality (5 was subtracted from both sides).

Choosing Division instead of Multiplication for x4=3\frac{x}{4} = 3 to x=12x = 12

Why it's wrong: The step undoes a division, but the move you make is multiplying both sides by 4.

Correct: Ask what you did to both sides. x4⋅4=3⋅4\frac{x}{4} \cdot 4 = 3 \cdot 4 is the Multiplication Property of Equality.

Using the Prove statement as a reason or as statement 1

Why it's wrong: The Prove statement is the goal. If you use it before you reach it, the proof goes in a circle and proves nothing.

Correct: Statement 1 is always given information. The Prove statement appears only once, as the last statement.

Doing two moves in one row with one reason

Why it's wrong: Going from 2(x−4)=102(x - 4) = 10 straight to 2x=182x = 18 uses two different properties, so one reason cannot cover it.

Correct: One move per row: first 2x−8=102x - 8 = 10 (Distributive Property), then 2x=182x = 18 (Addition Property of Equality).

Interactive Visual

Equation Solver

Solve for xx:

3x+5=203x + 5 = 20
1
3x+5=203x + 5 = 20
Subtract 55 from both sidesRemove the constant term

Tips:

  • • Whatever you do to one side, do to the other
  • • Undo operations in reverse order (PEMDAS backwards)
  • • Check your answer by substituting back

Follow along as we solve the equation step by step.

Angle Explorer

1234
∠1 = 65°∠2 = 115°∠3 = 65°∠4 = 115°

∠1 = ∠3 = 65°, ∠2 = ∠4 = 115°

Vertical angles are opposite each other where two lines cross. They are always equal.

Drag the blue point to turn the second line and watch the four angles.

Interactive Sandbox

Expression Calculator

Try these:

History

No calculations yet

Practice Problems

18 problems
Problem 1 of 18
Easy
In a two-column proof, which reason is written next to statement 1?

Why It Matters

Two-column proofs make every step of an argument visible:
  • No hidden jumps: each statement needs its own reason, so a gap or a mistake shows up at once
  • Algebra with understanding: when you solve an equation, you learn exactly which property allows each move
  • Geometry: most school proofs about segments, angles and triangles are written in two columns
  • Programming: checking code line by line, with a reason for every line, works the same way
  • Clear communication: a reader can check your proof one row at a time
Once you can justify every step, you can trust your answer, and so can everyone else!

Real World Applications

Checking Code Line by Line

Programmers prove that a calculation is correct by justifying every line, just like the rows of a two-column proof.

Example:

A program solves 4x−7=214x - 7 = 21. A reviewer checks each line: add 7 (Addition Property), then divide by 4 (Division Property).

1Try It Yourself

The program receives 4x−7=214x - 7 = 21 as given and must prove that x=7x = 7.

Which value does the proof reach for xx?

Step 1: Write the mathematical expression

Write the calculation that undoes both operations:

Building a Shelf Bracket

Carpenters use the Angle Addition Postulate when a diagonal brace splits the right angle between a wall and a shelf.

Example:

The wall and the shelf meet at 90∘90^\circ. A brace splits this corner into two angles that add up to 90∘90^\circ.

2Try It Yourself

The brace makes an angle of 38∘38^\circ with the wall. The two angles at the corner together form the 90∘90^\circ angle between wall and shelf.

Prove the size of the angle between the brace and the shelf.

Step 1: Write the mathematical expression

Write the calculation for the second angle:

Distances on a Straight Road

On a straight road, distances between towns follow the Segment Addition Postulate, so a missing distance can be proven.

Example:

If town BB lies between towns AA and CC, then AB+BC=ACAB + BC = AC.

3Try It Yourself

Towns AA, BB, CC lie on a straight road in this order. AB=35AB = 35 km and AC=120AC = 120 km.

Prove how far it is from BB to CC.

Step 1: Write the mathematical expression

Write the calculation for BCBC:

Key Takeaways

  • 1A two-column proof lists statements on the left and their reasons on the right
  • 2It starts from the Given and ends with exactly the statement you were asked to Prove
  • 3Every reason is the given, a definition, a property, a postulate or an earlier theorem
  • 4Properties of equality: whatever you add, subtract, multiply or divide on one side, you do on the other side too
  • 5Substitution, the Reflexive, Symmetric and Transitive Properties and the Distributive Property are also valid reasons
  • 6For segments and angles use segment and angle addition, the definitions of complementary (90∘90^\circ) and supplementary (180∘180^\circ) angles and the Vertical Angles Theorem

Frequently Asked Questions

The steps are the same. The difference is that in a proof you write the reason for every step, so you show not only the answer but also why each move is allowed.
The steps are the same. The difference is that in a proof you write the reason for every step, so you show not only the answer but also why each move is allowed.
Compare the new statement with the one before it and ask what changed. Was something added to both sides? Was a bracket multiplied out? Was a value put in place of another one? The change tells you the reason.
Transitive works with three equal things: if a=ba = b and b=cb = c, then a=ca = c. Substitution is more general: you replace a quantity with an equal one inside any statement, for example 65∘65^\circ in place of m∠1m\angle 1. Many teachers accept either one when both fit.
Yes. You can sometimes do the steps in a different order or use a different property. A proof is correct as long as every statement follows from earlier ones and every reason is valid.

Glossary

Two-column proof
A proof written as a table with statements on the left and reasons on the right
Statement
One step of the proof: a fact we know at that point, such as 3x=153x = 15
Reason
The rule that justifies a statement: given, definition, property, postulate or theorem
Given / Prove
Given is the information you start from; Prove is the statement you must reach at the end
Property of equality
A rule saying that an equation stays true when you do the same operation to both sides
Postulate
A statement accepted without proof, such as the Segment Addition Postulate

Formula Card

Addition Property of Equality

a=b⇒a+c=b+ca = b \Rightarrow a + c = b + c

Add the same number to both sides

Subtraction Property of Equality

a=b⇒a−c=b−ca = b \Rightarrow a - c = b - c

Subtract the same number from both sides

Multiplication Property of Equality

a=b⇒ac=bca = b \Rightarrow ac = bc

Multiply both sides by the same number

Division Property of Equality

a=b⇒ac=bc, c≠0a = b \Rightarrow \frac{a}{c} = \frac{b}{c},\ c \neq 0

Divide both sides by the same nonzero number

Distributive Property

a(b + c) = ab + ac

Multiply a number into brackets

Reflexive, Symmetric, Transitive

a=a; a=b⇒b=a; a=b, b=c⇒a=ca = a;\ a = b \Rightarrow b = a;\ a = b,\ b = c \Rightarrow a = c

Basic properties of equality

Segment Addition Postulate

AB + BC = AC

When B lies between A and C on a line

Complementary and Supplementary Angles

m∠1+m∠2=90∘ or 180∘m\angle 1 + m\angle 2 = 90^\circ \text{ or } 180^\circ

Definitions of complementary and supplementary angles

Today's challengeOne problem, three tries

More in This Topic

Introduction to Mathematical Proofs

Advanced25 min

Direct Proof

Advanced25 min

Paragraph Proofs

Advanced30 min

Geometric Proofs

Advanced30 min