Chapter 2 · Reasoning and Proof

Writing a Paragraph Proof

Learn to write a paragraph proof: start from what is given, state one fact at a time, and support each fact with an exact named reason.

14 min read

Earlier you decided whether a statement is always, sometimes, or never true. Now you will show why a statement is always true under its conditions. Testing examples cannot do that, because no list of examples covers every case.

A proof can. A proof is a logical argument in which every statement has a reason. A paragraph proof writes that argument as sentences in a paragraph. You already know the idea behind it from the Law of Syllogism: if p→qp \rightarrow q and q→rq \rightarrow r are true, then p→rp \rightarrow r is true. Each fact you reach becomes the starting point for the next sentence.

Every proof keeps two things apart. The Given is what you are told is true: facts stated in the text or shown by marks on a figure. The Prove statement is where you must end up, so you cannot use it as a step on the way there.

Key concept

A paragraph proof is a chain of named reasons

A paragraph proof starts from the Given and moves one statement at a time to the Prove statement. Each statement has a reason, and that reason must be the exact name of a definition, postulate, property of equality or congruence, or previously proved theorem, or the word Given.

A postulate is accepted without proof. A definition works in both directions. A theorem is a proved statement, so use one as a reason only after it has been stated and, where this course proves it, proved.

A step never rests on its own conclusion, on an unstated fact, or on how a figure looks. Figures are not drawn to scale, so only their tick, arrow and right-angle marks, along with facts stated in the text, count as given.

The reasons this lesson uses
ReasonWhat it lets you write
Given
A fact stated in the text, or shown by a tick, arrow or right-angle mark on a figure.
Segment Addition Postulate
If BB is between AA and CC on a line, then AB+BC=ACAB + BC = AC.
Angle Addition Postulate
If DD is in the interior of ∠ABC\angle ABC (inside its opening), then m∠ABD+m∠DBC=m∠ABCm\angle ABD + m\angle DBC = m\angle ABC.
Protractor Postulate
The measure of an angle is a number between 00 and 180180.
Definition of congruent segments
AB‾≅CD‾\overline{AB} \cong \overline{CD} exactly when AB=CDAB = CD. It works in both directions.
Definition of congruent angles
∠A≅∠B\angle A \cong \angle B exactly when m∠A=m∠Bm\angle A = m\angle B. It works in both directions.
Substitution Property of Equality
If a=ba = b, you may replace aa with bb in an equation.
Transitive Property of Equality
If a=ba = b and b=cb = c, then a=ca = c.
Subtraction Property of Equality
If a=ba = b, then a−c=b−ca - c = b - c.

Worked example

A first proof with actual lengths

Given: BB is between AA and CC, AB=5AB = 5, BC=7BC = 7, and DE=12DE = 12. Prove: DE‾≅AC‾\overline{DE} \cong \overline{AC}.

  1. Start with a fact you can use. It is given that B is between A and C, so the Segment Addition Postulate lets you write the whole length as the sum of its two parts.

    AB+BC=ACAB + BC = AC
  2. It is given that AB = 5 and BC = 7. The Substitution Property of Equality lets you replace AB and BC with those values. Then add 5 and 7.

    5+7=AC, so 12=AC5 + 7 = AC, \text{ so } 12 = AC
  3. It is given that DE = 12, and you just reached 12 = AC. The value 12 links the two equations, so the Transitive Property of Equality gives DE = AC.

    DE=12 and 12=AC, so DE=ACDE = 12 \text{ and } 12 = AC, \text{ so } DE = AC
  4. Congruent segments are segments with equal lengths. The Definition of congruent segments turns the equal lengths into the Prove statement.

    DE‾≅AC‾\overline{DE} \cong \overline{AC}

Answer

Segment DEDE is congruent to segment ACAC, which is the Prove statement.

Now turn the steps into a paragraph. Each step becomes a sentence that states a fact and names its reason.

Paragraph proof: It is given that BB is between AA and CC, so AB+BC=ACAB + BC = AC by the Segment Addition Postulate. It is also given that AB=5AB = 5 and BC=7BC = 7, so 5+7=AC5 + 7 = AC, or 12=AC12 = AC, by the Substitution Property of Equality. It is given that DE=12DE = 12, so DE=ACDE = AC by the Transitive Property of Equality. Therefore, DE‾≅AC‾\overline{DE} \cong \overline{AC} by the Definition of congruent segments.

The last sentence is exactly the Prove statement, so the proof is complete.

A line is shown. The drawing is not to scale. Labelled elements: line A D; segment A B; segment B C; segment C D.
Not to scale. AC‾\overline{AC} and BD‾\overline{BD} share the part BC‾\overline{BC}; their congruence is stated in the text, not marked.

Worked example

Removing a shared part

In the figure, AA, BB, CC and DD lie on line ADAD. Given: BB is between AA and CC, CC is between BB and DD, and AC‾≅BD‾\overline{AC} \cong \overline{BD}. Prove: AB‾≅CD‾\overline{AB} \cong \overline{CD}.

  1. It is given that segment AC is congruent to segment BD. A definition works in both directions, so the Definition of congruent segments takes you from congruent segments to equal lengths.

    AC=BDAC = BD
  2. Write each long segment as a sum of its parts. It is given that B is between A and C and that C is between B and D, so use the Segment Addition Postulate twice.

    AB+BC=ACandBC+CD=BDAB + BC = AC \quad \text{and} \quad BC + CD = BD
  3. In the equation AC = BD, replace AC and BD with their sums. The reason is the Substitution Property of Equality.

    AB+BC=BC+CDAB + BC = BC + CD
  4. Now BC is on both sides. The Subtraction Property of Equality lets you subtract BC from each side, which leaves the two outer parts.

    AB+BC−BC=BC+CD−BC, so AB=CDAB + BC - BC = BC + CD - BC, \text{ so } AB = CD
  5. Use the Definition of congruent segments again, this time from equal lengths to congruent segments. This is the Prove statement.

    AB‾≅CD‾\overline{AB} \cong \overline{CD}

Answer

Segment ABAB is congruent to segment CDCD, which is the Prove statement.

Paragraph proof: It is given that AC‾≅BD‾\overline{AC} \cong \overline{BD}, so AC=BDAC = BD by the Definition of congruent segments. It is also given that BB is between AA and CC and that CC is between BB and DD, so AB+BC=ACAB + BC = AC and BC+CD=BDBC + CD = BD by the Segment Addition Postulate. By the Substitution Property of Equality, AB+BC=BC+CDAB + BC = BC + CD. Subtracting BCBC from each side gives AB=CDAB = CD by the Subtraction Property of Equality. Therefore, AB‾≅CD‾\overline{AB} \cong \overline{CD} by the Definition of congruent segments.

You never used a particular length, so this argument covers every arrangement that meets the Given. That is why the statement is always true under those conditions.

The same kind of argument works for angles. The figure below keeps the four points on line ADAD and adds a point EE that is not on the line, with rays from EE through AA, BB, CC and DD. Its tick marks show the fact you just proved, AB‾≅CD‾\overline{AB} \cong \overline{CD}.

The next proof uses the Angle Addition Postulate, which has a condition: the point must be in the interior of the angle, inside the opening between its two rays. The Given states that condition, so you do not have to read it from the drawing.

A composite figure is shown. The drawing is not to scale. Labelled elements: line A D; segment A B; segment C D; ray E B; ray E C; angle A E B; angle C E D. Marks: one tick mark on segment A B and segment C D.
Not to scale. The ticks give AB‾≅CD‾\overline{AB} \cong \overline{CD}; no mark says anything about ∠AEB\angle AEB or ∠CED\angle CED.

Worked example

An angle proof that ends with a value

Use the figure above. Given: BB is in the interior of ∠AEC\angle AEC, CC is in the interior of ∠BED\angle BED, ∠AEC≅∠BED\angle AEC \cong \angle BED, m∠AEB=(2x+4)∘m\angle AEB = (2x + 4)^\circ, and m∠CED=(x+14)∘m\angle CED = (x + 14)^\circ. Prove: m∠AEB=24∘m\angle AEB = 24^\circ.

  1. It is given that angle AEC is congruent to angle BED, so apply the Definition of congruent angles.

    m∠AEC=m∠BEDm\angle AEC = m\angle BED
  2. The interior facts are given, so apply the Angle Addition Postulate to each large angle.

    m∠AEB+m∠BEC=m∠AECandm∠BEC+m∠CED=m∠BEDm\angle AEB + m\angle BEC = m\angle AEC \quad \text{and} \quad m\angle BEC + m\angle CED = m\angle BED
  3. Replace the two large measures with their sums, by the Substitution Property of Equality.

    m∠AEB+m∠BEC=m∠BEC+m∠CEDm\angle AEB + m\angle BEC = m\angle BEC + m\angle CED
  4. Subtract the measure of angle BEC from each side, by the Subtraction Property of Equality.

    m∠AEB=m∠CEDm\angle AEB = m\angle CED
  5. Replace each measure with its given expression, by the Substitution Property of Equality, and compare the numbers of degrees. Then subtract x and then 4 from each side, by the Subtraction Property of Equality.

    (2x+4)∘=(x+14)∘,2x+4=x+14,x+4=14,x=10(2x + 4)^\circ = (x + 14)^\circ,\quad 2x + 4 = x + 14,\quad x + 4 = 14,\quad x = 10
  6. Replace x with 10, by the Substitution Property of Equality. Check: angle CED also measures 24 degrees, and the Protractor Postulate allows this measure because 24 is between 0 and 180.

    m∠AEB=(2(10)+4)∘=24∘,m∠CED=(10+14)∘=24∘m\angle AEB = (2(10) + 4)^\circ = 24^\circ, \quad m\angle CED = (10 + 14)^\circ = 24^\circ

Answer

Angle AEBAEB measures 24∘24^\circ, which is the Prove statement.

Paragraph proof: It is given that ∠AEC≅∠BED\angle AEC \cong \angle BED, so m∠AEC=m∠BEDm\angle AEC = m\angle BED by the Definition of congruent angles. It is also given that BB is in the interior of ∠AEC\angle AEC and CC is in the interior of ∠BED\angle BED, so m∠AEB+m∠BEC=m∠AECm\angle AEB + m\angle BEC = m\angle AEC and m∠BEC+m∠CED=m∠BEDm\angle BEC + m\angle CED = m\angle BED by the Angle Addition Postulate. By the Substitution Property of Equality, m∠AEB+m∠BEC=m∠BEC+m∠CEDm\angle AEB + m\angle BEC = m\angle BEC + m\angle CED. Subtracting m∠BECm\angle BEC from each side gives m∠AEB=m∠CEDm\angle AEB = m\angle CED by the Subtraction Property of Equality. Substituting the given expressions gives 2x+4=x+142x + 4 = x + 14 by the Substitution Property of Equality. Subtracting xx and then 44 from each side gives x=10x = 10 by the Subtraction Property of Equality. Replacing xx with 1010 gives (2(10)+4)∘=24∘(2(10) + 4)^\circ = 24^\circ, a measure the Protractor Postulate allows because 2424 is between 00 and 180180. Therefore, m∠AEB=24∘m\angle AEB = 24^\circ by the Substitution Property of Equality.

The ticks never appear in this proof. They are true, but the chain to the Prove statement runs only through the facts about angles.

You now have the whole method. Start from the Given, write one statement at a time, and back each statement with the exact name of a definition, postulate, property or previously proved theorem, or with the word Given. Finish when your last sentence is the Prove statement. If a step rests on how a figure looks or on what you are trying to prove, replace it with a stated fact, a mark or a named reason.