How do I know which reason to write?

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.

What is the difference between Substitution and the Transitive Property?

Transitive works with three equal things: if $a = b$ and $b = c$, then $a = c$. Substitution is more general: you replace a quantity with an equal one inside any statement, for example $65^\circ$ in place of $m\angle 1$. Many teachers accept either one when both fit.

Can a proof have several correct versions?

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.

Teacher Resources

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 minLesson

Printable worksheet

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 = 20

Prove:

x = 5

#	Statement	Reason
1	$3x + 5 = 20$	Given
2	$3x = 15$	Subtraction Property of Equality
3	$x = 5$	Division 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:

Reason	What it allows
Addition and Subtraction Property of Equality	If $a = b$ , then $a + c = b + c$ and $a - c = b - c$
Multiplication and Division Property of Equality	If $a = b$ , then $ac = bc$ and $\frac{a}{c} = \frac{b}{c}$ for $c \neq 0$
Substitution	If $a = b$ , you may replace $a$ with $b$ in any statement
Distributive Property	$a(b + c) = ab + ac$
Reflexive Property	$a = a$
Symmetric Property	If $a = b$ , then $b = a$
Transitive Property	If $a = b$ and $b = c$ , then $a = c$

For segments and angles you also use:

Segment Addition Postulate: if $B$ lies between $A$ and $C$ on a line, then $AB + BC = AC$
Angle Addition Postulate: if point $D$ lies inside $\angle ABC$ , then $m\angle ABD + m\angle DBC = m\angle ABC$
Definitions: complementary angles add up to $90^\circ$ , supplementary angles add up to $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 = 20$ . Prove: $x = 5$ . Write the proof in two columns.

Write the given as statement 1

Statement: $3x + 5 = 20$ → Reason: Given

Subtract 5 from both sides

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

Divide both sides by 3

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

Check that the last statement is the Prove statement

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

Answer: 1. $3x + 5 = 20$ (Given); 2. $3x = 15$ (Subtraction Property of Equality); 3. $x = 5$ (Division Property of Equality).

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 = 20$ to $3x = 15$ uses the Subtraction Property of Equality (5 was subtracted from both sides).

Choosing Division instead of Multiplication for $\frac{x}{4} = 3$ to $x = 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. $\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) = 10$ straight to $2x = 18$ uses two different properties, so one reason cannot cover it.

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

Interactive Visual

Equation Solver

Solve for $x$ :

3x + 5 = 20

3x + 5 = 20

Subtract

5

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

∠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 = 21$ . A reviewer checks each line: add 7 (Addition Property), then divide by 4 (Division Property).

1Try It Yourself

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

Which value does the proof reach for $x$ ?

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^\circ$ . A brace splits this corner into two angles that add up to $90^\circ$ .

2Try It Yourself

The brace makes an angle of $38^\circ$ with the wall. The two angles at the corner together form the $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 $B$ lies between towns $A$ and $C$ , then $AB + BC = AC$ .

3Try It Yourself

Towns $A$ , $B$ , $C$ lie on a straight road in this order. $AB = 35$ km and $AC = 120$ km.

Prove how far it is from $B$ to $C$ .

Step 1: Write the mathematical expression

Write the calculation for $BC$ :

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^\circ$ ) and supplementary ( $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.

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 = 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 \Rightarrow a + c = b + c

Add the same number to both sides

Subtraction Property of Equality

a = b \Rightarrow a - c = b - c

Subtract the same number from both sides

Multiplication Property of Equality

a = b \Rightarrow ac = bc

Multiply both sides by the same number

Division Property of Equality

a = 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 \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\angle 1 + m\angle 2 = 90^\circ \text{ or } 180^\circ

Definitions of complementary and supplementary angles

Two-Column Proofs

Definition

Worked Examples

Common Mistakes

Interactive Visual

Equation Solver

Tips:

Angle Explorer

Interactive Sandbox

Expression Calculator

History

Practice Problems

Why It Matters

Real World Applications

Checking Code Line by Line

Building a Shelf Bracket

Distances on a Straight Road

Key Takeaways

Frequently Asked Questions

Glossary

Formula Card

Addition Property of Equality

Subtraction Property of Equality

Multiplication Property of Equality

Division Property of Equality

Distributive Property

Reflexive, Symmetric, Transitive

Segment Addition Postulate

Complementary and Supplementary Angles

More in This Topic

Introduction to Mathematical Proofs

Direct Proof

Paragraph Proofs

Geometric Proofs