Two-Column Proofs: How to Write Statements and Reasons

Two-Column Proofs: How to Write Statements and Reasons

A two-column proof is a logical argument arranged in a table: the left column states each fact, and the right column explains why that fact is true. Start from the givens and finish with the statement you were asked to prove. A reason can be a definition, a property, a postulate, or a theorem you are allowed to use.

Quick answer: A two-column proof is a geometry proof written as a table. The left column lists statements, and the right column gives the reason each one is true, such as a given fact, a definition, a postulate, or a theorem. You begin with the given information and end with what you must prove. Example: if ∠1 and ∠2 are vertical angles, then ∠1 ≅ ∠2 by the Vertical Angles Theorem.

How to write a two-column proof

  1. Separate the given from the goal. Write down what you know and what you must show. Mark only the information stated or indicated by the diagram; a picture that looks symmetrical is not a reason.
  2. Plan a short route. Ask which definition or theorem would establish the goal, then look for the facts it needs. Planning backward is useful, but write the finished proof forward from known facts.
  3. Pair each statement with its reason. When a step uses earlier rows, identify them. A step may depend on several earlier facts, not just the row directly above it.
  4. Reach the exact conclusion. If the goal is angle congruence, do not stop at equal angle measures. Use the definition of congruent angles for the final step.

Notation: ∠A names an angle; m∠A is its measure. Write m∠A = m∠B for equal measures and ∠A ≅ ∠B for congruent angles. AB means the length of segment AB in the examples below.

Common reasons and when to use them

  • Given: information stated in the problem.
  • Definition: translate a geometric term into usable facts. Supplementary angles have measures that add to 180°; complementary angles have measures that add to 90°.
  • Substitution: replace a quantity with an equal quantity.
  • Subtraction property of equality: subtract the same quantity from both sides of an equation.
  • Symmetric property of equality: if a = b, then b = a.
  • Definition of congruent angles: angles with equal measures are congruent.

Use the names and permitted results from your class. “It looks equal” and “algebra” do not explain which fact or operation justifies a step.

Worked example: angles supplementary to the same angle

Given: ∠A and ∠C are supplementary; ∠B and ∠C are supplementary.
Prove: ∠A ≅ ∠B.

A complete two-column proof
StatementReason
1. ∠A and ∠C are supplementary; ∠B and ∠C are supplementary.Given
2. m∠A + m∠C = 180°.Definition of supplementary angles (row 1)
3. m∠B + m∠C = 180°.Definition of supplementary angles (row 1)
4. m∠A + m∠C = m∠B + m∠C.Substitution (rows 2–3)
5. m∠A = m∠B.Subtraction property of equality: subtract m∠C from both sides (row 4)
6. ∠A ≅ ∠B.Definition of congruent angles (row 5)

The shared angle measure cancels in row 5. No particular size for ∠C is needed. Row 6 then connects the algebraic equality to the geometric conclusion.

Practice two-column proofs

Try these on paper before opening the solutions. Draw two columns labeled Statement and Reason; number the rows so you can refer to earlier facts.

  1. Given AB = CD, prove CD = AB.
  2. Given ∠X and ∠Y are complementary, and ∠Y and ∠Z are complementary, prove ∠X ≅ ∠Z.
  3. A student says, “The angles look equal in the drawing, so they are congruent.” Explain what is missing.
Solution 1: segment lengths
Reverse an equality
StatementReason
1. AB = CD.Given
2. CD = AB.Symmetric property of equality (row 1)

This is a statement about lengths. If the goal instead asked for congruent segments, you would add a step using the definition of congruent segments.

Solution 2: complementary angles
Prove the angles congruent
StatementReason
1. ∠X and ∠Y are complementary; ∠Y and ∠Z are complementary.Given
2. m∠X + m∠Y = 90°.Definition of complementary angles (row 1)
3. m∠Y + m∠Z = 90°.Definition of complementary angles (row 1)
4. m∠X + m∠Y = m∠Y + m∠Z.Substitution (rows 2–3)
5. m∠X = m∠Z.Subtraction property of equality: subtract m∠Y from both sides (row 4)
6. ∠X ≅ ∠Z.Definition of congruent angles (row 5)
Solution 3: a diagram is not enough

The student needs a given fact, a marking, a definition, or an established result that supports equality of the measures. Appearance alone does not prove congruence.

Check your proof before handing it in

Read each row as “This is true because…” Check that its reason uses facts already established, that every equation preserves equality, and that the last row matches the goal. Do not use the result you are trying to prove as its own justification. More than one valid proof may be possible; a longer proof is not automatically a better proof.

If angle vocabulary is the sticking point, review complementary and supplementary angles. For the next geometry topic, use the Geometry course topic index.

Common reasons for two-column proofs

Almost every proof in a first geometry course uses reasons from this list. Keep it next to you while you practice.

ReasonWhat it lets you write
GivenAny fact stated in the problem
Definition of midpointM is the midpoint of AB, so AM ≅ MB
Definition of angle bisectorA bisector splits an angle into two congruent angles
Reflexive propertyAB ≅ AB (a shared side)
Symmetric / Transitive propertyIf a = b, then b = a; if a = b and b = c, then a = c
Substitution propertyReplace a quantity with an equal one
Segment Addition PostulateIf B is between A and C, then AB + BC = AC
Angle Addition Postulatem∠ABD + m∠DBC = m∠ABC
Linear Pair PostulateAngles that form a linear pair are supplementary
Vertical Angles TheoremVertical angles are congruent
SSS, SAS, ASA, AASTwo triangles are congruent
CPCTCCorresponding parts of congruent triangles are congruent

Full worked proof: triangles that meet at a midpoint

Given: Segments AB and CD cross at point M. M is the midpoint of AB and the midpoint of CD.

Prove: △AMC ≅ △BMD

StatementReason
1. M is the midpoint of AB and of CDGiven
2. AM ≅ BMDefinition of midpoint
3. CM ≅ DMDefinition of midpoint
4. ∠AMC ≅ ∠BMDVertical Angles Theorem
5. △AMC ≅ △BMDSAS

Notice that the angle in step 4 sits between the two sides from steps 2 and 3. That is what makes SAS the right reason. Once the triangles are congruent, you could add a step 6, AC ≅ BD, with the reason CPCTC.

Frequently Asked Questions

What is a two-column proof in geometry?

A two-column proof is a geometry argument written as a table. The left column lists numbered statements, and the right column gives the reason each statement is true, such as Given, a definition, a postulate or a theorem. The first rows usually restate the given facts, and the last row is exactly the statement you were asked to prove.

How do you write two-column proofs in geometry?

Write the given facts and the goal first, then mark the diagram with only what is stated. Plan backward: ask which theorem would prove the goal and what facts it needs. Then write the proof forward, one statement per row, each with its reason. When a step depends on earlier rows, cite them, and make sure your final row matches the goal word for word.

How do you do two-column proofs in geometry with angles?

Angle proofs usually move between measures and congruence. Suppose ∠1 and ∠2 are supplementary and ∠3 and ∠2 are supplementary. Write m∠1 + m∠2 = 180° and m∠3 + m∠2 = 180° by the definition of supplementary angles, then m∠1 = m∠3 by substitution and subtraction. Finish with ∠1 ≅ ∠3 by the definition of congruent angles, or cite the Congruent Supplements Theorem.

How do you do two-column proofs in geometry with triangles?

First collect three pairs of matching parts, then name a congruence rule such as SSS, SAS, ASA, AAS or HL. For example, if M is the midpoint of both AD and BC, then AM ≅ DM and BM ≅ CM by the definition of midpoint, and ∠AMB ≅ ∠DMC as vertical angles, so the triangles are congruent by SAS. After that, CPCTC proves any other matching parts congruent.

Why is a two-column proof a good format choice?

The two-column format makes every step and its justification easy to see. Because each statement must sit next to a reason, it is hard to skip a step or rely on how the diagram looks. Teachers can quickly spot where an argument breaks, and students learn to separate what they know from why they know it, a habit that carries into later proofs.

How do you write statements and reasons in geometry?

A statement is a specific fact about the figure, written with correct notation, such as AB = CD or ∠A ≅ ∠B. Its reason names the rule that makes it true, such as Given, Definition of midpoint, Segment Addition Postulate or Vertical Angles Theorem. Keep reasons general rules, not descriptions of the picture, and avoid saying something is true because it looks that way.

Related to This Article

What people say about "Two-Column Proof: Definition, Reasons List, and Examples"?

No one replied yet.

Leave a Reply