Method

Two-Column Proof

A two-column proof, or formal proof, is a compact way of showing the reasoning behind a mathematical proof. It consists of two columns, one for the statements and one for the reasons. The reasons can be postulates, theorems, or other mathematical reasoning the reader is assumed to be able to follow without difficulty. For example, consider proving the following statement.

If is the midpoint of then

Three main steps can be followed when writing a two-column proof.
1
Write the Given Information
expand_more

In the first row, write the given statement in the left-hand side column. This statement is given, not derived, so write given in the right-hand column.

0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given

If possible, draw a diagram that helps to derive the information that will be written in the table. This diagram will not be included in the table, though.

Segment AB with its midpoint.
2
Develop Logical Conclusions
expand_more
Starting from what is given, develop logical statements that help to prove the desired statement. Since point is the midpoint of it divides the segment into two parts of equal length.
Write this equation in the next row in the statements column. Since this equation came from the definition of a midpoint, write that in the reasons column.
0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given
2.
2.
Definition of Midpoint
3
Repeat the Step as Many Times as Necessary
expand_more

The statements written so far are not enough to reach to the desired conclusion, so continue deriving information and combining it until it points to the desired statement. Remember that postulates, theorems, or other mathematical reasoning can be used.

0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given
2.
2.
Definition of Midpoint
The Segment Addition Postulate says that the length of a segment equals the sum of the lengths of its parts. Then, the following equation can be derived.
As before, write the equation in the left-hand side and the reason in the right-hand side.
0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given
2.
2.
Definition of Midpoint
3.
3.
Segment Addition Postulate

Next, use the Substitution Property of Equality to substitute the equation written in the second row into the equation written in the third row.

0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given
2.
2.
Definition of Midpoint
3.
3.
Segment Addition Postulate
4.
4.
Substitution Property of Equality

The right-hand side of the last equation can be simplified by adding the two terms.

0.
Statements
0.
Reasons
1.
is the midpoint of
1.
Given
2.
2.
Definition of Midpoint
3.
3.
Segment Addition Postulate
4.
4.
Substitution Property of Equality
5.
5.
Simplify

Notice that the last statement is the desired one. Therefore, the proof is done!

Exercises