Why do I have to justify steps I already know how to do?

Because the point of the course is the reasoning, not the answer. In algebra the answer is checkable by substitution; in geometry, claims like "these triangles are congruent" cannot be checked by measuring a hand-drawn picture. Practicing named justifications on algebra you already understand builds the habit before the content gets hard. It also forces you to notice that solving an equation is a sequence of separate, legal moves rather than one blur of arithmetic.

What is the difference between the Transitive Property and Substitution?

Transitive needs two equations sharing a middle quantity: a = b and b = c gives a = c. Substitution is broader — it replaces a quantity with an equal quantity anywhere it appears, including inside a longer expression. If x = 5 and 2x + y = 14, replacing x gives 2(5) + y = 14 by Substitution; Transitive would not apply. When two plain equalities share a middle term, Transitive is the more precise name.

Can I use "combine like terms" as a reason?

Conventions differ by classroom. Many teachers accept "Simplify" or "Combine like terms" for arithmetic done on one side of an equation, since no property of equality was applied to both sides. Others fold it into the previous line. Ask your teacher which they expect, and then be consistent. What is never acceptable is a vague reason like "algebra" or "solving" for a step where you actually added, subtracted, multiplied, or divided both sides.

What is the difference between a definition, a postulate, and a theorem as reasons?

A definition states what a word means and works in both directions — "midpoint" means the point that divides a segment into two equal parts, and any such point is the midpoint. A postulate is a basic truth accepted without proof, like the Segment Addition Postulate. A theorem is a statement someone has already proved, which you may then cite. All three are valid reasons; the diagram's appearance and your intuition are not.

GEOM-2.3

Algebraic Properties & Two-Column Proofs

Learn to name the property behind every step and build a complete two-column proof from Given to Prove, with algebraic and geometric examples.

What you'll do in this lesson

A voice-first session with the Crimsora tutor on Algebraic Properties & Two-Column Proofs, then targeted practice and FRQs — with the tutor adapting to where you get stuck.

Start Algebraic Properties & Two-Column Proofs free

What this lesson covers

You already know how to solve

4x - 7 = 21

. In Geometry, solving isn't enough — you have to say why each move is legal. That sounds fussy, but it is exactly the skill that makes geometric proof possible: a proof is nothing more than a chain of statements where every link is authorized by a property, a definition, or a postulate.

This lesson gives you the vocabulary (the properties of equality and congruence) and the format (the two-column proof) you will use for the rest of the course. We start with algebra, where you already know the answers, so you can focus entirely on the justifications. Then we bring in geometric reasons like the Segment Addition Postulate and the definition of midpoint. By the end you should be able to look at any single line of a proof and answer the question: what permits this?

The Anatomy of a Two-Column Proof

Every two-column proof has four parts. The Given lists the facts you are allowed to assume. The Prove states the single claim you must reach. The diagram (when there is one) shows the figure. The body is a two-column table: statements on the left, reasons on the right.

Three structural rules make the whole thing work.

First, the proof opens with the Given information. Line 1 is almost always a statement copied from the Given, with the reason "Given."

Second, the proof closes with the Prove statement. If your last line is not exactly what you were asked to prove, you are not finished.

Third — and this is the rule students break most — every statement needs a reason, and the reason must be a property, definition, postulate, or previously proved theorem. "Because it looks that way," "obviously," and "I did it in my head" are not reasons.

Part	What goes there
Given	Facts you may assume without proof
Prove	The one statement you must arrive at
Statements	Claims, in logical order, each following from earlier lines
Reasons	The rule that authorizes that exact statement

A useful habit: number your lines and, when a reason depends on earlier lines, think about which ones. A step justified by the Transitive Property, for instance, always leans on two previous equalities. If you cannot point to the lines that feed a step, that step probably needs to be broken into smaller pieces.

The Properties of Equality

These are the reasons that justify algebraic moves. Memorize the names — in a proof you must call the move by its proper title.

Property	Statement	Use it when
Addition	If $a = b$ , then $a + c = b + c$	You add the same amount to both sides
Subtraction	If $a = b$ , then $a - c = b - c$	You subtract from both sides
Multiplication	If $a = b$ , then $ac = bc$	You multiply both sides
Division	If $a = b$ and $c \neq 0$ , then $\frac{a}{c} = \frac{b}{c}$	You divide both sides
Distributive	$a(b + c) = ab + ac$	You clear parentheses
Substitution	If $a = b$ , then $a$ may replace $b$ in any expression	You swap in a known value
Reflexive	$a = a$	A quantity equals itself
Symmetric	If $a = b$ , then $b = a$	You flip an equation
Transitive	If $a = b$ and $b = c$ , then $a = c$	Two equations share a middle quantity

Two cautions. The Distributive Property justifies rewriting

3(x + 4)

3x + 12

; it does not justify then combining

3x + 12

with other terms. Many teachers accept "Simplify" or "Combine like terms" as a separate reason, but check the convention your class uses.

Also, Substitution and Transitive are close cousins and students mix them up constantly. Transitive links two equations through a shared middle quantity (

AB = CD

and

CD = EF

gives

AB = EF

). Substitution is broader: it replaces a quantity with its equal anywhere, including inside a longer expression, as when

x + y = 10

and

x = 4

give

4 + y = 10

Congruence, Definitions, and Postulates

Equality (

=

) compares numbers: lengths, angle measures, areas. Congruence (

\cong

) compares figures: segments, angles, triangles. The bridge between them is the definition of congruence:

\overline{AB} \cong \overline{CD}

if and only if

AB = CD

, and

\angle A \cong \angle B

if and only if

m\angle A = m\angle B

.

This matters because algebra runs on equality. If a proof gives you

\overline{AB} \cong \overline{CD}

and you want to add lengths, you first convert with the definition of congruence, then do the algebra, then convert back. Skipping that conversion is one of the most common ways a proof is left incomplete.

Congruence also has Reflexive, Symmetric, and Transitive properties of its own (

\overline{AB} \cong \overline{AB}

, and so on), and they are named "of Congruence," not "of Equality."

Geometric steps get geometric reasons. The essential starter set:

Reason	What it lets you write
Segment Addition Postulate	If $B$ is between $A$ and $C$ , then $AB + BC = AC$
Angle Addition Postulate	If $P$ is in the interior of $\angle ABC$ , then $m\angle ABP + m\angle PBC = m\angle ABC$
Definition of midpoint	$M$ midpoint of $\overline{AB}$ gives $AM = MB$
Definition of angle bisector	$\overrightarrow{BD}$ bisects $\angle ABC$ gives $m\angle ABD = m\angle DBC$
Definition of congruence	Converts between $\cong$ and $=$

A definition is reversible and comes from naming something. A postulate is accepted without proof. A theorem has been proved earlier. All three are legal reasons; a hunch from the picture is not.

Where Proofs Go Wrong

Reading the diagram instead of the Given. A diagram may look like two segments are equal, but unless it is given, marked with tick marks, or follows from your reasons, you cannot use it. Diagrams show arrangement (which point is between which), not measurement.

Doing two moves in one line. Going from

3(2x - 5) = 21

straight to

x = 6

hides two properties. Each line of a two-column proof should contain exactly one justified move.

Vague reasons. "Algebra," "math," "solving," and "because it's equal" are not properties. If you cannot name the property, the fix is to look at what physically changed from the previous line: did something get added to both sides? Distributed? Replaced by an equal quantity?

Mixing $=$ and $\cong$ . Writing

\overline{AB} = \overline{CD}

m\angle A \cong m\angle B

is a notation error. Segments and angles are congruent; their measures are equal.

Assuming the Prove. You may never start from the conclusion and work backward inside the proof body. Working backward is a great planning strategy on scratch paper, but the written proof must flow forward from Given to Prove.

A reliable planning routine: write the Given statements down the left column first, write the Prove at the bottom, and then fill the gap. Ask at each stage, "What do I know now, and what single legal move gets me closer?" If you get stuck, look at the Prove and ask what would have to be true one line before it. The gap usually closes from both ends.

Justifying a Geometric Argument

Once the algebra habits are in place, geometric proofs follow the same rhythm, with definitions supplying the openings. Consider a standard setup:

M

is the midpoint of

\overline{AB}

, and you know

AB = 4x + 6

and

AM = 3x - 1

.

The chain of reasoning is: midpoint gives

AM = MB

(definition of midpoint);

AM + MB = AB

(Segment Addition Postulate); substituting gives

AM + AM = AB

, so

2 \cdot AM = AB

(Substitution and simplification); now substitute the expressions,

2(3x - 1) = 4x + 6

; distribute to get

6x - 2 = 4x + 6

; subtract

4x

from both sides; add

2

to both sides; divide by

2

to get

x = 4

.

Notice how the first three lines are pure geometry — they earn the equation — and everything after is pure algebra with named properties. Most geometric proofs in this course have that shape: definitions and postulates translate the picture into equations, then equality properties finish the job.

The reverse move matters too. If a problem asks you to prove two segments congruent, your algebra ends with an equality of lengths, and the final line converts back:

AM = MB

, therefore

\overline{AM} \cong \overline{MB}

, by the definition of congruence. That last conversion line is short, easy to forget, and genuinely required, because the Prove statement was written with the congruence symbol.

Key terms

Two-column proof.: A formal argument organized in a table, with numbered statements on the left and the property, definition, postulate, or theorem justifying each statement on the right.
Postulate.: A statement accepted as true without proof, such as the Segment Addition Postulate. Postulates are legal reasons in a proof.
Theorem.: A statement that has been proved from definitions, postulates, and earlier theorems. Once proved, it may be cited as a reason in later proofs.
Substitution Property of Equality.: If $a = b$ , then $a$ may replace $b$ in any expression or equation without changing its truth.
Transitive Property of Equality.: If $a = b$ and $b = c$ , then $a = c$ . It requires two equations that share a common middle quantity.
Reflexive Property.: Any quantity equals itself ( $a = a$ ); any figure is congruent to itself ( $\overline{AB} \cong \overline{AB}$ ). Used to justify a shared side or angle.
Definition of congruence.: Segments are congruent exactly when their lengths are equal, and angles are congruent exactly when their measures are equal. This is the bridge between $\cong$ and $=$ .
Segment Addition Postulate.: If point $B$ lies between $A$ and $C$ on a line, then $AB + BC = AC$ .

Worked example

Given:

3(2x - 5) + 7 = 4x + 6

. Prove:

x = 7

. Write a two-column proof.

Start by writing the Given as line 1 and the Prove as the target for the final line. Then make one move per line and name it.

#	Statement	Reason
1	$3(2x - 5) + 7 = 4x + 6$	Given
2	$6x - 15 + 7 = 4x + 6$	Distributive Property
3	$6x - 8 = 4x + 6$	Simplify (combine like terms)
4	$2x - 8 = 6$	Subtraction Property of Equality
5	$2x = 14$	Addition Property of Equality
6	$x = 7$	Division Property of Equality

Line 2: only the parentheses changed, so the reason is Distributive, not "simplify." Line 3: nothing was done to both sides — two constants on one side were combined — so this is arithmetic simplification, a separate step from the distribution. Line 4:

4x

was subtracted from both sides. Line 5:

8

was added to both sides. Line 6: both sides were divided by

2

.

Check the finish: the last statement is exactly the Prove statement,

x = 7

. Verify by substituting into the original:

3(14 - 5) + 7 = 3(9) + 7 = 34

, and

4(7) + 6 = 34

. The equation holds, so the algebra is sound and every line is justified.

Practice questions

In a proof, line 4 says

m\angle 1 = m\angle 3

, and it follows from line 2 (

m\angle 1 = m\angle 2

) and line 3 (

m\angle 2 = m\angle 3

). Which reason belongs on line 4?

Reflexive Property of Equality
Symmetric Property of Equality
Transitive Property of Equality
Angle Addition Postulate

Answer: Transitive Property of Equality

Two equations share the middle quantity

m\angle 2

, and the conclusion links the two outer quantities. That is exactly the Transitive Property: if

a = b

and

b = c

, then

a = c

. Symmetric would only flip a single equation, Reflexive says a quantity equals itself, and the Angle Addition Postulate is about an angle split into two parts, which is not happening here. Some teachers accept Substitution for this step as well, since substituting

m\angle 3

for

m\angle 2

produces the same result — but Transitive is the precise name when a shared middle term links two equalities.

Write a two-column proof. Given:

\overrightarrow{BD}

bisects

\angle ABC

m\angle ABD = 5x - 4

, and

m\angle DBC = 3x + 10

. Prove:

x = 7

Answer: Line 1: $\overrightarrow{BD}$ bisects $\angle ABC$ ; $m\angle ABD = 5x - 4$ ; $m\angle DBC = 3x + 10$ — Given. Line 2: $m\angle ABD = m\angle DBC$ — Definition of angle bisector. Line 3: $5x - 4 = 3x + 10$ — Substitution Property of Equality. Line 4: $2x - 4 = 10$ — Subtraction Property of Equality. Line 5: $2x = 14$ — Addition Property of Equality. Line 6: $x = 7$ — Division Property of Equality.

The geometry does the first two lines of work: the word "bisects" is useless until you translate it with its definition into an equation about measures. Line 3 replaces each measure with the expression given for it, which is Substitution. From there the proof is ordinary equation solving, one property per line. A frequent slip is jumping from line 2 straight to

5x - 4 = 3x + 10

with the reason "definition of angle bisector" — but the bisector definition only produced equal measures; the expressions came from the Given, so Substitution is what permits line 3.

A student writes: "Statement:

\overline{AB} = \overline{CD}

. Reason: Definition of congruence." Identify and fix the error.

Answer: The notation is wrong. Congruent figures use $\cong$ ; equal numbers use $=$ . The statement should read either $\overline{AB} \cong \overline{CD}$ or $AB = CD$ , depending on which the next step needs.

The bar over

AB

names the segment itself, a geometric object, and objects are congruent, not equal. Writing

AB

without the bar names its length, a number, and numbers are equal. The definition of congruence is precisely the rule that lets you move between the two forms: from

\overline{AB} \cong \overline{CD}

you may conclude

AB = CD

, and from

AB = CD

you may conclude

\overline{AB} \cong \overline{CD}

. Getting this right matters because you can only apply the properties of equality — adding, substituting, dividing — to the numerical form.

FAQ

Why do I have to justify steps I already know how to do?: Because the point of the course is the reasoning, not the answer. In algebra the answer is checkable by substitution; in geometry, claims like "these triangles are congruent" cannot be checked by measuring a hand-drawn picture. Practicing named justifications on algebra you already understand builds the habit before the content gets hard. It also forces you to notice that solving an equation is a sequence of separate, legal moves rather than one blur of arithmetic.
What is the difference between the Transitive Property and Substitution?: Transitive needs two equations sharing a middle quantity: $a = b$ and $b = c$ gives $a = c$ . Substitution is broader — it replaces a quantity with an equal quantity anywhere it appears, including inside a longer expression. If $x = 5$ and $2x + y = 14$ , replacing $x$ gives $2(5) + y = 14$ by Substitution; Transitive would not apply. When two plain equalities share a middle term, Transitive is the more precise name.
Can I use "combine like terms" as a reason?: Conventions differ by classroom. Many teachers accept "Simplify" or "Combine like terms" for arithmetic done on one side of an equation, since no property of equality was applied to both sides. Others fold it into the previous line. Ask your teacher which they expect, and then be consistent. What is never acceptable is a vague reason like "algebra" or "solving" for a step where you actually added, subtracted, multiplied, or divided both sides.
What is the difference between a definition, a postulate, and a theorem as reasons?: A definition states what a word means and works in both directions — "midpoint" means the point that divides a segment into two equal parts, and any such point is the midpoint. A postulate is a basic truth accepted without proof, like the Segment Addition Postulate. A theorem is a statement someone has already proved, which you may then cite. All three are valid reasons; the diagram's appearance and your intuition are not.

Learn this with a teacher, not a page

The Crimsora tutor teaches Algebraic Properties & Two-Column Proofs live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.

Try a live session free