Chapter 2 — Front Matter
Purpose and Overview
Mathematics is not only about computing answers. It is also about explaining why those answers must be true. Geometry, perhaps more than any other subject in secondary mathematics, asks students to do both: to find answers through measurement, algebra, and spatial reasoning, and to justify those answers through careful logical argument.
This chapter introduces you to the language and structure of mathematical reasoning. You will learn how definitions give geometric words precise meaning, how conditional statements organize geometric relationships, how counterexamples can overturn a claim in a single step, and how deductive reasoning allows you to build from what is known toward what must follow. You will write your first algebraic proofs, your first segment and angle proofs, and your first two-column and paragraph proofs.
The ideas in this chapter may feel different from the geometry of Chapter 1. Chapter 1 was largely about vocabulary and measurement. This chapter is about argument. That shift can feel uncomfortable at first. Students sometimes ask: why must I prove something that already seems obvious? The answer is that in mathematics, obvious is not the same as certain. Proof makes certainty possible.
Work through this chapter patiently. Every proof structure you learn here will reappear in later chapters — when you prove angle relationships, when you prove triangles congruent, when you prove lines parallel, when you prove figures similar, and when you prove geometric facts using coordinates. Proof is not a single chapter in geometry. It is the backbone of the entire subject.
Opening Question
A student claims: "I noticed that in every triangle I have ever drawn, the three angles always add up to 180 degrees. I checked at least twenty triangles. Doesn't that prove it?"
Is the student right? Has she proved the triangle angle sum? What would it actually take to prove a statement like that? Keep this question in mind as you read through the chapter.
14Sections
14Objectives
22Key Terms
12+Worked Examples
Learning Objectives
- 1Explain what a mathematical proof is and why geometry uses proof.
- 2Identify statements and their truth values.
- 3Use precise mathematical definitions.
- 4Write and analyze conditional statements in if-then form.
- 5Form the converse, inverse, and contrapositive of a conditional statement.
- 6Recognize and write biconditional statements.
- 7Use counterexamples to disprove a universal claim.
- 8Distinguish between inductive and deductive reasoning.
- 9Apply properties of equality and congruence as justifications.
- 10Write algebraic proofs with reasons for each step.
- 11Write segment and angle proofs.
- 12Write two-column proofs.
- 13Write paragraph proofs.
- 14Recognize and avoid common proof mistakes.
Sections 2.1 – 2.3
What Proof Is and Why It Matters
Why Proof · Statements and Truth Values · Definitions in Mathematics
Section 2.1
Why Geometry Uses Proof
What Is a Proof?
A proof is a logical argument that shows, step by step, why a conclusion must be true. Each step in a proof follows from something that is already known: a definition, an agreed-upon assumption, a previously proven result, or a property of algebra or equality.
In geometry, a proof begins with a given — a set of conditions assumed to be true for the situation being studied. From those given conditions, each step moves toward the conclusion: the statement we are trying to establish.
A proof is not a demonstration. Demonstrating something with a diagram or a measurement shows that a relationship appears to hold in a specific case. A proof shows that the relationship must hold in every case where the given conditions are satisfied.
Why Not Just Measure?
Measurement is an important tool in geometry, but it has real limitations. First, measurement is approximate — even a carefully drawn segment is not perfectly straight, and a protractor reading of 90° might actually be 89.7° or 90.3°. Second, measurement applies only to the specific figure you measured. Third, diagrams can be drawn inaccurately, and a student who trusts the diagram alone may reach a wrong conclusion. Proof closes these gaps by reasoning from given conditions to an unavoidable conclusion.
What Counts as a Reason in a Proof?
Definitions — The precise meaning of a geometric term.
Postulates — Statements accepted as true without proof (axioms).
Theorems — Statements that have already been proven and can be cited.
Properties of equality and congruence — Algebraic properties such as reflexive, symmetric, transitive, addition, subtraction, multiplication, and division.
Given information — Conditions stated at the beginning of the problem.
Not a Valid Reason
A feeling that something is obvious is not a reason. A diagram is not a reason. The fact that you measured it is not a reason. A reason in a proof is a named, cited source of mathematical authority.
- In your own words, explain the difference between demonstrating a geometric relationship and proving it. Give one example of each.
- Why is checking a statement for twenty specific cases not sufficient to prove it holds for all cases?
- List four types of statements that are acceptable as reasons in a geometric proof.
Section 2.2
Statements and Truth Values
A statement is a sentence that is either true or false, but not both. Every statement has a truth value: true (T) or false (F).
| Sentence | Is It a Statement? | Truth Value |
|---|
| "A right angle measures 90 degrees." | Yes | True |
| "All triangles are equilateral." | Yes | False |
| "Draw a triangle." | No — it is a command | — |
| "Is this angle acute?" | No — it is a question | — |
| "Two parallel lines never intersect." | Yes | True |
Negation
The negation of a statement is formed by asserting the opposite. If a statement is true, its negation is false, and vice versa. The negation is often formed by inserting "not" or by rephrasing. In symbolic logic, if p represents a statement, then ¬p (read "not p") represents its negation.
| Statement | Negation |
|---|
| "Angle A is a right angle." | "Angle A is not a right angle." |
| "Lines ℓ and m are parallel." | "Lines ℓ and m are not parallel." |
| "All squares are rectangles." | "Not all squares are rectangles." (i.e., some are not) |
Tip — Negating "All"
The negation of "all" is "not all" (equivalently, "some are not"), not "none." The negation of "no triangles are equilateral" is "some triangles are equilateral," not "all triangles are equilateral." Be precise with quantifiers.
- Identify as statement or non-statement: "A right angle measures 90°."
- Identify as statement or non-statement: "Find the midpoint."
- Write the negation of: "Angle B is obtuse."
- Write the negation of: "All rectangles are squares."
- Write the negation of: "No two perpendicular lines are parallel."
- Is "That angle looks like 45°" a statement? Explain.
Section 2.3
Definitions in Mathematics
In everyday language, words can be approximate. In mathematics, every technical term must have a definition: a precise statement that tells exactly what qualifies and exactly what does not qualify. A good mathematical definition has no borderline cases.
| Term | Definition |
|---|
| Right angle | An angle whose measure is exactly 90 degrees. |
| Midpoint of a segment | The point on a segment that divides it into two congruent (equal-length) segments. |
| Perpendicular lines | Two lines that intersect to form right angles. |
| Segment bisector | A line, segment, ray, or plane that passes through the midpoint of a segment. |
Using Definitions in Proof — Both Directions
Definitions work in both directions. If you know point M is the midpoint of AB, you may conclude AM = MB. Conversely, if you have shown AM = MB and M lies on AB, you may conclude M is the midpoint of AB. This bidirectional use is what makes definitions so powerful in proof.
- Explain why "an angle that looks square" is not an acceptable mathematical definition of a right angle.
- Use the definition of midpoint to complete: "If M is the midpoint of AB, then ___________."
- Use the definition of midpoint in the other direction: "If AM = MB and M lies on AB, then ___________."
- Write a precise definition of an acute angle. Explain what qualifies and what does not.
Sections 2.4 – 2.7
Conditional Statements, Logic Forms, and Counterexamples
Conditionals · Converse/Inverse/Contrapositive · Biconditionals · Counterexamples
Section 2.4
Conditional Statements
A conditional statement is a statement written in if-then form. The hypothesis is the "if" part; the conclusion is the "then" part. In symbolic logic, a conditional is written p ⇒ q (read "if p, then q").
Truth Values of a Conditional Statement p ⇒ q
A conditional is false only when a true hypothesis leads to a false conclusion. In all other cases, it is true.
Key row: p = True, q = False → p ⇒ q is False. This is the only failing case.
| p | q | p ⇒ q |
|---|
| True | True | True |
| True | False | False |
| False | True | True |
| False | False | True |
Example 2.4.1
Rewriting geometric statements in if-then form
- ProblemRewrite each statement as a conditional. Identify the hypothesis and conclusion.
(a) "Supplementary angles have measures that add to 180 degrees."
(b) "An equilateral triangle has three congruent sides."
- ThinkLook for the condition and the result. Every geometric statement has a condition and a conclusion, even without the word "if."
- Solve
(a) If two angles are supplementary, then their measures add to 180°.
Hypothesis: two angles are supplementary
Conclusion: their measures add to 180°
(b) If a triangle is equilateral, then it has three congruent sides.
Hypothesis: a triangle is equilateral
Conclusion: it has three congruent sides
Conditional form makes the logical structure of every theorem explicit.
- "Vertical angles are congruent."
- "An angle bisector divides an angle into two congruent angles."
- "Perpendicular lines form right angles."
- "A midpoint divides a segment into two equal parts."
- p = T, q = F: find truth value of p ⇒ q.
- p = F, q = T: find truth value of p ⇒ q.
Section 2.5
Converse, Inverse, and Contrapositive
| Form | Statement | Symbol |
|---|
| Conditional | If p, then q | p ⇒ q |
| Converse | If q, then p | q ⇒ p |
| Inverse | If not p, then not q | ¬p ⇒ ¬q |
| Contrapositive | If not q, then not p | ¬q ⇒ ¬p |
Key Logical Equivalences
The conditional and contrapositive are always logically equivalent — they have the same truth value.
The converse and inverse are logically equivalent to each other, but NOT necessarily to the original conditional.
Always test the converse independently. A true conditional does not guarantee a true converse.
Example 2.5.1
All four forms — parallel lines
- ProblemWrite all four forms of "If two lines are parallel, then they do not intersect." Determine which are true.
- ThinkIdentify p ("two lines are parallel") and q ("they do not intersect"). Form each variant.
- Solve
Conditional: If two lines are parallel, then they do not intersect. → TRUE
Converse: If two lines do not intersect, then they are parallel. → FALSE
(Skew lines in 3D space are non-intersecting but not parallel)
Inverse: If two lines are not parallel, then they do intersect. → FALSE
(Same reason — skew lines)
Contrapositive: If two lines do intersect, then they are not parallel. → TRUE
(Logically equivalent to the original)
The original and contrapositive are true. The converse and inverse are false in three-dimensional space.
Critical Warning — Do Not Assume the Converse
A very common error in geometric reasoning is to assume that because p ⇒ q is true, q ⇒ p must also be true. Always test the converse independently. The converse is a separate claim that requires its own justification.
- For "If a triangle is equilateral, then it is isosceles," write the converse, inverse, and contrapositive. Determine which are true.
- For "If two angles form a linear pair, then they are supplementary," write all four forms.
- For "If a quadrilateral is a square, then all four sides are congruent," write the contrapositive. Is it true?
- Explain in your own words why the contrapositive is always equivalent to the original conditional.
Section 2.6
Biconditional Statements
A biconditional statement asserts that two statements are true together: p is true if and only if q is true. We write this as p ⟺ q. A biconditional is true when both the conditional p ⇒ q and its converse q ⇒ p are both true.
All mathematical definitions are biconditional. Because a definition must work in both directions — a term applies if and only if the conditions are met — every geometric definition can be restated as a biconditional. This is what allows definitions to be used in both directions during a proof.
| Definition | Biconditional Form |
|---|
| Right angle | An angle is a right angle if and only if it measures 90°. |
| Midpoint | Point M is the midpoint of AB if and only if M is on AB and AM = MB. |
| Perpendicular lines | Lines ℓ and m are perpendicular if and only if they intersect to form right angles. |
Tip — Not All True Conditionals Form Biconditionals
Always check both directions. "If it is raining, then the ground is wet" is true, but the converse is false, so no biconditional exists. For a biconditional to hold, both the conditional AND its converse must be true.
- Determine whether each pair forms a true biconditional. If so, write the biconditional.
(a) "If an angle is a right angle, then it measures 90°." / "If an angle measures 90°, then it is a right angle."
(b) "If a quadrilateral has four right angles, then it is a square." / "If a quadrilateral is a square, then it has four right angles."
- Write the definition of an acute angle as a biconditional statement.
- Why are all mathematical definitions written as biconditionals?
Section 2.7
Counterexamples
A counterexample is a specific case in which the hypothesis of a conditional statement is true but the conclusion is false. A single counterexample is sufficient to prove that a universal conditional statement is false. This creates an important asymmetry: proving a universal statement requires a general proof covering all cases; disproving one requires only a single counterexample.
Example 2.7.1
Finding a counterexample
- ProblemShow that "If a quadrilateral has four equal angles, then it has four equal sides" is false.
- ThinkFind a quadrilateral where all four angles are 90° but the sides are not all equal.
- DiagramDraw a rectangle with length 6 and width 3. All four angles measure 90°.
- Solve
Rectangle: length = 6, width = 3
All four angles = 90° → hypothesis is TRUE
Sides: 6, 3, 6, 3 → not all equal → conclusion is FALSE
Counterexample: a non-square rectangle. The statement is false.
Example 2.7.2
Recognizing when no counterexample exists
- ProblemCan you find a counterexample to "If two angles are supplementary, then their measures add to 180°"?
- ThinkThis is the definition of supplementary angles. By definition, no such counterexample can exist.
No counterexample exists. This statement is true by definition.
Tip — Where to Look for Counterexamples
Try extreme cases: very long and narrow figures, degenerate angles, figures in three-dimensional space, or cases where two conditions are met independently but not jointly. False statements most often fail in unusual or boundary cases.
- "If a polygon has four sides, then it is a rectangle."
- "If two angles are congruent, then they are complementary."
- "If a quadrilateral has two pairs of parallel sides, then all four sides are congruent."
- "If a number is odd, then it is prime."
- "If two triangles have the same perimeter, then they are congruent."
- "If two angles are supplementary, then one must be obtuse."
Sections 2.8 – 2.9
Inductive and Deductive Reasoning · Properties of Equality and Congruence
Inductive vs. Deductive · Modus Ponens · Properties for Proof Justification
Section 2.8
Inductive and Deductive Reasoning
| Type | Direction | Result | Sufficient for Proof? |
|---|
| Inductive | Specific observations → General conclusion | Conjecture | No |
| Deductive | General rule + specific case → Necessary conclusion | Proven conclusion | Yes |
Inductive reasoning moves from specific observations to a general conjecture. A conjecture is a statement believed to be true based on observations but not yet proven. Inductive reasoning is useful for discovering patterns, but in mathematics, evidence — however extensive — does not constitute proof.
Deductive reasoning moves from established general truths to a specific, logically necessary conclusion. Every geometric proof uses deductive reasoning. The classic form of deductive argument is modus ponens: (1) If p, then q is known. (2) p is true. (3) Therefore, q must be true.
Example 2.8.1
Inductive vs. deductive — angle sums
- Inductive"I measured ten pairs of vertical angles and they were always equal. Vertical angles must always be congruent." — This is a conjecture based on evidence, not a proof.
- Deductive"The given conditions produce a linear pair, which forces the angles to sum to 180°. From this algebraic fact and the definition of congruent angles, I can prove that vertical angles must always be congruent." — This is a proof.
Only the deductive argument constitutes a proof. We will prove the Vertical Angles Theorem in Chapter 3.
- A student notices: 1+3=4=2², 1+3+5=9=3², 1+3+5+7=16=4². She conjectures: "The sum of the first n odd numbers equals n²." Is this inductive or deductive reasoning? Is it a conjecture or a proof?
- Given: "If lines are parallel, then alternate interior angles are congruent" (a theorem). Given: Lines ℓ and m are parallel. Conclusion: Alternate interior angles are congruent. Is this inductive or deductive? Identify the form of argument used.
- A doctor notes that all twenty patients who took a new medicine improved. She concludes the medicine is effective. Is this inductive or deductive? Could she have missed important cases?
Section 2.9
Properties of Equality and Congruence
Properties of Equality
| Property | Statement |
|---|
| Reflexive | a = a |
| Symmetric | If a = b, then b = a |
| Transitive | If a = b and b = c, then a = c |
| Addition | If a = b, then a + c = b + c |
| Subtraction | If a = b, then a − c = b − c |
| Multiplication | If a = b, then ac = bc |
| Division | If a = b and c ≠ 0, then a/c = b/c |
| Substitution | If a = b, then a can replace b in any expression |
| Distributive | a(b + c) = ab + ac |
Properties of Congruence
| Property | For Segments | For Angles |
|---|
| Reflexive | AB ≅ AB | ∠A ≅ ∠A |
| Symmetric | If AB ≅ CD, then CD ≅ AB | If ∠A ≅ ∠B, then ∠B ≅ ∠A |
| Transitive | If AB ≅ CD and CD ≅ EF, then AB ≅ EF | If ∠A ≅ ∠B and ∠B ≅ ∠C, then ∠A ≅ ∠C |
Connecting Equality and Congruence
Definition of Congruent Segments: AB ≅ CD if and only if AB = CD
Definition of Congruent Angles: ∠A ≅ ∠B if and only if m∠A = m∠B
Use these definitions to move between congruence statements (figures) and equality statements (numbers) during a proof.
- Name the property: "If AB = 7, then 7 = AB."
- Name the property: "If m∠A = m∠B and m∠B = m∠C, then m∠A = m∠C."
- Name the property: "If 2x = 14, then x = 7."
- Name the property: "PQ ≅ PQ."
- Name the property: "If x + 3 = 10, then x = 7."
- Name the property: "3(x + 4) = 3x + 12."
Sections 2.10 – 2.14
Writing Proofs: Algebraic, Geometric, Two-Column, and Paragraph
Algebraic Proofs · Segment & Angle Proofs · Two-Column Proofs · Paragraph Proofs · Common Mistakes
Section 2.10
Algebraic Proofs
An algebraic proof uses the properties of equality to justify each step of an equation-solving process. You already know how to solve equations. An algebraic proof simply requires you to name the reason for each step. This develops the habit of justifying every move — a habit that carries directly into geometric proof.
Example 2.10.1
Algebraic proof — solving a linear equation
- ProblemGiven that 2(3x − 4) = 14, prove that x = 11/3.
| Statement | Reason |
|---|
| 2(3x − 4) = 14 | Given |
| 6x − 8 = 14 | Distributive Property |
| 6x − 8 + 8 = 14 + 8 | Addition Property of Equality |
| 6x = 22 | Simplification |
| 6x / 6 = 22 / 6 | Division Property of Equality |
| x = 11/3 | Simplification |
Answer: x = 11/3
Example 2.10.2
Algebraic proof — geometric linear pair setup
- ProblemTwo angles form a linear pair. Their measures are (5x + 10)° and (3x + 30)°. Prove that x = 17.5.
- DiagramDraw two adjacent angles sharing a common side, with non-common sides forming a straight line. Label the angles (5x + 10)° and (3x + 30)°.
| Statement | Reason |
|---|
| The two angles form a linear pair | Given |
| (5x + 10) + (3x + 30) = 180 | Definition of linear pair (supplementary angles) |
| 8x + 40 = 180 | Simplification |
| 8x = 140 | Subtraction Property of Equality |
| x = 17.5 | Division Property of Equality |
- Check(5(17.5) + 10) + (3(17.5) + 30) = 97.5 + 82.5 = 180° ✓
Answer: x = 17.5
Write a two-column algebraic proof for each.
- Given: 4x − 7 = 25. Prove: x = 8.
- Given: (x + 3)/2 = 7. Prove: x = 11.
- Given: 3(2x − 1) = 2x + 13. Prove: x = 4.
- Given: m∠A + m∠B = 90° and m∠A = 40°. Prove: m∠B = 50°.
- Given: Ray BD bisects ∠ABC and m∠ABC = 110°. Prove: m∠ABD = 55°.
Section 2.11
Segment and Angle Proofs
Postulates Used in This Section
Segment Addition Postulate: If point B is between points A and C on a line, then AB + BC = AC.
Angle Addition Postulate: If ray BD is in the interior of ∠ABC, then m∠ABD + m∠DBC = m∠ABC.
Example 2.11.1
Segment proof — midpoints and fractions of a segment
- GivenM is the midpoint of AC; B is the midpoint of AM.
- ProveAB = (1/4)AC
- DiagramDraw segment AC. Mark M halfway between A and C. Mark B halfway between A and M. Label all four points A, B, M, C from left to right.
| Statement | Reason |
|---|
| M is the midpoint of AC | Given |
| AM = MC | Definition of midpoint |
| AM + MC = AC | Segment Addition Postulate |
| AM + AM = AC | Substitution Property of Equality |
| 2(AM) = AC | Simplification |
| AM = (1/2)AC | Division Property of Equality |
| B is the midpoint of AM | Given |
| AB = BM | Definition of midpoint |
| AB + BM = AM | Segment Addition Postulate |
| AB + AB = AM | Substitution Property of Equality |
| 2(AB) = AM | Simplification |
| AB = (1/2)AM | Division Property of Equality |
| AB = (1/2)(1/2)AC | Substitution Property of Equality |
| AB = (1/4)AC | Simplification |
Proved: AB = (1/4)AC
Example 2.11.2
Angle proof — bisector and angle measure
- GivenRay BD bisects ∠ABC; m∠ABD = 35°.
- Provem∠ABC = 70°
- DiagramDraw angle ∠ABC with vertex B. Draw ray BD inside the angle, dividing it into ∠ABD and ∠DBC. Label m∠ABD = 35°.
| Statement | Reason |
|---|
| Ray BD bisects ∠ABC | Given |
| ∠ABD ≅ ∠DBC | Definition of angle bisector |
| m∠ABD = m∠DBC | Definition of congruent angles |
| m∠ABD = 35° | Given |
| m∠DBC = 35° | Substitution Property of Equality |
| m∠ABD + m∠DBC = m∠ABC | Angle Addition Postulate |
| 35° + 35° = m∠ABC | Substitution Property of Equality |
| m∠ABC = 70° | Simplification |
Proved: m∠ABC = 70°
- Given: M is the midpoint of PQ. Prove: PM = (1/2)PQ.
- Given: Ray QS bisects ∠PQR; m∠PQS = (2x + 15)° and m∠SQR = (4x − 9)°. Prove: x = 12.
- Given: AB = CD. Prove: AC = BD, assuming B is between A and C and C is between B and D. (Use the Segment Addition Postulate.)
Section 2.12
Two-Column Proofs
A two-column proof organizes the argument into two parallel columns. The left column lists numbered statements; the right column lists a reason for each statement. The first statement is usually the given information, and the last statement is the conclusion.
Before writing any formal proof, follow this planning process: (1) read the given information carefully, (2) draw and label a diagram, (3) identify what you need to prove, (4) plan a path of reasoning from the given to the conclusion, (5) write the formal proof checking that every statement follows from its reason.
Example 2.12.1
Two-column proof — Congruent Supplements Theorem
- Given∠1 and ∠2 are supplementary. ∠1 and ∠3 are supplementary.
- Prove∠2 ≅ ∠3
- PlanBoth m∠2 and m∠3 must equal 180° − m∠1. Use the definition of supplementary angles and algebra.
| Statement | Reason |
|---|
| 1. ∠1 and ∠2 are supplementary | 1. Given |
| 2. m∠1 + m∠2 = 180° | 2. Definition of supplementary angles |
| 3. ∠1 and ∠3 are supplementary | 3. Given |
| 4. m∠1 + m∠3 = 180° | 4. Definition of supplementary angles |
| 5. m∠1 + m∠2 = m∠1 + m∠3 | 5. Transitive Property of Equality (both equal 180°) |
| 6. m∠2 = m∠3 | 6. Subtraction Property of Equality |
| 7. ∠2 ≅ ∠3 | 7. Definition of congruent angles |
Proved. This result is the Congruent Supplements Theorem — a useful theorem that can be cited in later proofs.
Example 2.12.2
Two-column proof — midpoint and half-segment
- GivenM is the midpoint of PQ.
- ProvePM = (1/2)PQ
| Statement | Reason |
|---|
| 1. M is the midpoint of PQ | 1. Given |
| 2. PM = MQ | 2. Definition of midpoint |
| 3. PM + MQ = PQ | 3. Segment Addition Postulate |
| 4. PM + PM = PQ | 4. Substitution Property of Equality |
| 5. 2 · PM = PQ | 5. Simplification |
| 6. PM = (1/2)PQ | 6. Division Property of Equality |
Proved.
- Given: M is the midpoint of AB; N is the midpoint of MB. Prove: MN = (1/4)AB.
- Given: ∠1 ≅ ∠2 and ∠2 ≅ ∠3. Prove: ∠1 ≅ ∠3. (Two-column format.)
- Given: Ray BD bisects ∠ABC; m∠ABD = (3x + 10)° and m∠DBC = (5x − 6)°. Prove: x = 8.
Section 2.13
Paragraph Proofs
A paragraph proof presents the same logical argument as a two-column proof, written in connected sentences. Every statement still requires a reason, but the reasons are woven into the prose. Paragraph proofs are widely used in higher mathematics. They require you to organize your reasoning clearly enough that a reader can follow it without a table structure.
Use connective language throughout: "Because…", "Therefore…", "Since…", "It follows that…", "By the definition of…", "By the Segment Addition Postulate…"
Example 2.13.1
Paragraph proof — Transitive Property of Congruence
- Given∠A ≅ ∠B and ∠B ≅ ∠C
- Prove∠A ≅ ∠C
- ProofWe are given that ∠A ≅ ∠B. By the definition of congruent angles, m∠A = m∠B. We are also given that ∠B ≅ ∠C, so by the same definition, m∠B = m∠C. Since m∠A = m∠B and m∠B = m∠C, the Transitive Property of Equality gives us m∠A = m∠C. Therefore, by the definition of congruent angles, ∠A ≅ ∠C.
Proved. (This is the Transitive Property of Congruence for angles.)
Example 2.13.2
Paragraph proof — Addition Property applied to segments
- GivenAB ≅ CD
- ProveAB + EF = CD + EF (where EF is any segment length)
- ProofWe are given that AB ≅ CD. By the definition of congruent segments, AB = CD. By the Addition Property of Equality, adding the same quantity EF to both sides gives AB + EF = CD + EF.
Proved.
Two-Column vs. Paragraph Proof
Two-column proofs are clear and structured, making them excellent for learning proof. Paragraph proofs are more natural for mathematical writing and appear frequently in textbooks, journals, and advanced courses. In this course you will practice both. Neither format is inherently superior — what matters is that every statement is justified.
- Write a paragraph proof. Given: AB = CD. Prove: AC = BD. (Assume B is between A and C, and C is between B and D.)
- Write a paragraph proof. Given: ∠1 and ∠2 are complementary; ∠3 and ∠4 are complementary; ∠2 ≅ ∠4. Prove: ∠1 ≅ ∠3.
- Convert one of your two-column proofs from Practice 2.12 into a paragraph proof. Compare the two formats: which did you find clearer? Why?
Section 2.14
Common Proof Mistakes
Mistake 1 — Reasoning from the Diagram Alone
"These segments are equal because they look equal in the diagram."
Correct habit: Use the diagram to orient yourself, but base every statement on written justification. Diagrams can be misleading.
Mistake 2 — Assuming the Converse
Citing "If parallel lines are cut by a transversal, alternate interior angles are congruent" to conclude that congruent alternate interior angles prove the lines parallel — without citing the converse as a separate theorem.
Correct habit: The converse must be proven separately and cited explicitly. Never assume p ⇒ q also gives q ⇒ p automatically.
Mistake 3 — Skipping Steps
"It follows that x = 5." (with no algebraic steps shown)
Correct habit: Show every step. If a step seems unnecessary in hindsight, you can condense later. Missing steps cannot be checked.
Mistake 4 — "Because It's Obvious"
"Angle A = Angle B. Reason: It's obvious from the diagram."
Correct habit: When tempted to write "obvious," stop and ask: what definition or property makes this step valid? Name it precisely.
Mistake 5 — Circular Reasoning
"Trying to prove vertical angles are congruent by assuming the angles are equal mid-proof, rather than deriving that equality from the linear pair structure."
Correct habit: Never use what you are trying to prove as a reason inside the proof. Every step must rely on something independently established.
Mistake 6 — Confusing Congruence with Equality
AB ≅ CD = 7 or AB = CD (when the intended meaning is segment congruence)
Correct habit: Use = for numbers (lengths, measures). Use ≅ for figures (segments, angles, triangles). The definition of congruent segments converts between them.
Mistake 7 — Forgetting to State the Given
(Proof begins mid-argument without establishing what is given)
Correct habit: The first statement of every proof should record the given conditions. Without this, a reader has no starting point.
Mistake 8 — Ending Before the Conclusion
(Proof ends one step before reaching the exact statement required by the "Prove")
Correct habit: The final statement must be the exact conclusion — the statement you were asked to prove. Proving a related but different statement is not a complete proof.
Chapter 2 — Back Matter
Chapter Summary
- Sec 2.1A proof is a deductive argument in which each statement is justified by a definition, postulate, property, or previously proven theorem. Proof is not demonstration or measurement; it establishes that a conclusion must hold for all cases satisfying the given conditions.
- Sec 2.2A statement has a definite truth value: true or false. The negation reverses a statement's truth value. Negation of "all" is "not all" — not "none."
- Sec 2.3Mathematical definitions are precise statements that work in both directions. In proof, definitions can be used from the term to its properties, and from the properties back to the term.
- Sec 2.4A conditional statement p ⇒ q has hypothesis p and conclusion q. It is false only when p is true and q is false. Most geometric theorems are conditionals in disguise.
- Sec 2.5The converse (q ⇒ p), inverse (¬p ⇒ ¬q), and contrapositive (¬q ⇒ ¬p) are related forms. The contrapositive is logically equivalent to the original. The converse and inverse are not. Always test the converse independently.
- Sec 2.6A biconditional p ⟺ q is true when both the conditional and its converse are true. All mathematical definitions are biconditionals. This allows definitions to be used in both directions during proof.
- Sec 2.7A counterexample is a single case where the hypothesis is true but the conclusion is false. One counterexample disproves a universal claim. To prove a universal claim, a general proof covering all cases is required.
- Sec 2.8Inductive reasoning moves from specific observations to a general conjecture. Deductive reasoning moves from general established truths to a necessarily true conclusion. All geometric proof is deductive.
- Sec 2.9Nine properties of equality (reflexive, symmetric, transitive, addition, subtraction, multiplication, division, substitution, distributive) and three properties of congruence (reflexive, symmetric, transitive) provide formal justifications in proof. The definitions of congruent segments and angles connect equality and congruence.
- Sec 2.10An algebraic proof justifies every equation-solving step with a named property. Writing algebraic proofs builds the habit of justifying every move — essential for geometric proof.
- Sec 2.11Segment and angle proofs use the Segment Addition and Angle Addition Postulates alongside definitions of midpoint and angle bisector. Moving between congruence and equality via definitions is a core technique.
- Sec 2.12A two-column proof lists numbered statements in the left column and a reason for each in the right column. Planning — reading the given, drawing a diagram, identifying the goal, mapping a path — precedes every formal proof.
- Sec 2.13A paragraph proof presents the same deductive argument in connected prose with connective language. Both formats are valid; two-column proofs are better for learning; paragraph proofs are common in advanced mathematics.
- Sec 2.14Eight common proof mistakes: reasoning from the diagram alone; assuming the converse; skipping steps; writing "obvious" as a reason; circular reasoning; confusing congruence with equality; omitting the given; stopping before the conclusion.
Key Terms Review
biconditional
A statement of the form "if and only if," true when both a conditional and its converse are true. All mathematical definitions are biconditionals.
conclusion
The "then" part of a conditional statement. What follows from the hypothesis if the conditional is true.
conditional statement
A statement in if-then form: if p, then q. False only when the hypothesis is true and the conclusion is false.
conjecture
A statement believed to be true based on observations, but not yet proven by deductive argument.
contrapositive
The statement formed by negating both parts of a conditional and switching them: if ¬q, then ¬p. Logically equivalent to the original conditional.
converse
The statement formed by switching the hypothesis and conclusion of a conditional: if q, then p. Not necessarily equivalent to the original.
counterexample
A specific case where the hypothesis of a conditional is true but the conclusion is false. One counterexample disproves a universal claim.
deductive reasoning
Reasoning from established general truths to a specific, logically necessary conclusion. The basis of all mathematical proof.
definition
A precise statement giving the exact meaning of a mathematical term. Always a biconditional; works in both directions in a proof.
hypothesis
The "if" part of a conditional statement. The condition that must be satisfied for the conclusion to follow.
inductive reasoning
Reasoning from specific observations to a general conclusion. Produces conjectures but not proofs.
inverse
The statement formed by negating both the hypothesis and conclusion of a conditional: if ¬p, then ¬q.
negation
The statement formed by asserting the opposite of a given statement. Reverses the truth value.
paragraph proof
A proof written in connected prose sentences. Every statement still requires a justified reason.
postulate
A statement accepted as true without proof. Also called an axiom.
proof
A logical argument showing why a conclusion must be true. Every step is justified by a definition, postulate, property, or previously proven theorem.
property of congruence
Reflexive, symmetric, and transitive properties applied to congruence relationships among figures.
property of equality
Reflexive, symmetric, transitive, addition, subtraction, multiplication, division, substitution, and distributive properties applied to equations.
statement
A sentence with a definite truth value: true or false, but not both.
theorem
A statement that has been proven using definitions, postulates, properties, and previously proven theorems.
truth value
Whether a statement is true (T) or false (F).
two-column proof
A proof organized with numbered statements in the left column and reasons in the right column.
Concept Review Questions
Answer in complete sentences.
- What is the difference between a proof and a demonstration using examples? Give one concrete example of each.
- What is the difference between inductive and deductive reasoning? Give a geometric example of each.
- A student says: "I looked at fifty parallelograms and in every case, the diagonals bisected each other. I proved that the diagonals of every parallelogram bisect each other." What is wrong with this claim?
- What makes a mathematical definition different from an informal description? Why must definitions be biconditional?
- Why is the contrapositive always logically equivalent to the original conditional, but the converse is not?
- When is a conditional statement false?
- What is the minimum number of counterexamples needed to disprove a universal statement? Why?
- What are the three properties of congruence? Give a geometric example of the transitive property.
- What is the difference between congruent segments and equal lengths? Give an example of correct notation for each.
- What are the Segment Addition Postulate and the Angle Addition Postulate? Why are postulates accepted without proof?
Logic Practice
Determine whether each statement is true or false.
- "A right angle measures 90 degrees."
- "All rectangles are squares."
- "The sum of two obtuse angles is always greater than 180°."
- "If a segment has a midpoint, it has exactly one midpoint."
- "Two lines in the same plane either intersect or are parallel."
- "Angle A is acute."
- "All right angles are congruent."
- "No two parallel lines intersect."
- "The quadrilateral has four right angles."
- "Line ℓ contains point P."
- "Some triangles are obtuse."
Conditional Statement Practice
- "If two angles are complementary, then their measures add to 90 degrees."
- "If a triangle is equilateral, then all three sides are congruent."
- "If a point lies on a segment's perpendicular bisector, then it is equidistant from the endpoints."
- "If lines are parallel, then they do not intersect."
- "If the measure of an angle is between 90° and 180°, then the angle is obtuse."
For each conditional, write the converse, inverse, and contrapositive. Determine which are true.
- "If a triangle is equilateral, then it is isosceles."
- "If two angles form a linear pair, then they are supplementary."
- "If a figure has four sides, then it is a quadrilateral."
- "If a quadrilateral is a square, then all four sides are congruent."
Counterexample Practice
Find a counterexample to show that each statement is false. Describe the counterexample clearly.
- "If a polygon has four sides, then it is a rectangle."
- "If two angles are congruent, then they are complementary."
- "If a quadrilateral has two pairs of parallel sides, then all four sides are congruent."
- "If a number is odd, then it is prime."
- "If two triangles have the same perimeter, then they are congruent."
- "If two angles are supplementary, then one must be obtuse."
Algebraic Proof Practice
Write a two-column algebraic proof for each problem.
- Given: 4x − 7 = 25. Prove: x = 8.
- Given: (x + 3)/2 = 7. Prove: x = 11.
- Given: 3(2x − 1) = 2x + 13. Prove: x = 4.
- Given: m∠A + m∠B = 90° and m∠A = 40°. Prove: m∠B = 50°.
- Given: Two angles form a linear pair; measures are (4x − 12)° and (2x + 24)°. Prove: x = 28.
- Given: Ray BD bisects ∠ABC and m∠ABC = 110°. Prove: m∠ABD = 55°.
Geometric Proof Practice
- Given: M is the midpoint of AB; N is the midpoint of MB. Prove: MN = (1/4)AB.
- Given: ∠1 ≅ ∠2 and ∠2 ≅ ∠3. Prove: ∠1 ≅ ∠3.
- Given: Ray BD bisects ∠ABC; m∠ABD = (3x + 10)° and m∠DBC = (5x − 6)°. Prove: x = 8.
- Given: AB = CD. Prove: AC = BD. (Assume B is between A and C, and C is between B and D.)
- Given: ∠1 and ∠2 are complementary; ∠3 and ∠4 are complementary; ∠2 ≅ ∠4. Prove: ∠1 ≅ ∠3.
- Given: AB ≅ DE and BC ≅ EF. Prove: AC = DF. (Assume B is between A and C, and E is between D and F.) Write in the format of your choice.
Real-World Applications
- Architecture: An architect states: "If a corner is a right angle, then the walls meeting at that corner are perpendicular." Identify the hypothesis and conclusion. Write the converse. Is the converse true?
- Engineering: A structural engineer claims: "If a bridge truss uses triangles, then it is structurally rigid," and also that every structurally rigid truss uses triangles. What combined form do these two claims produce? What would be required to prove it?
- Navigation: A GPS system uses the rule: "If a path forms a right angle with a boundary line, then the path is perpendicular to the boundary." Is this a definition, a conditional, or a biconditional? Explain.
- Law: A judge rules: "If the defendant was at the location at the time, then the defendant cannot have an alibi." Write the contrapositive. What does the contrapositive tell you logically?
- Science: A chemist observes ten samples of pure water all boiling at 100°C at sea level. She concludes all pure water boils at 100°C at sea level. Is this inductive or deductive reasoning? Is her conclusion a conjecture or a proven fact in this context?
Error Analysis
Each item contains a logical or proof error. Identify the error and explain what the correct reasoning should be.
Problem 1
"I drew three rectangles and in each one, the diagonals were equal. Therefore, I have proved that the diagonals of all rectangles are congruent."
Identify the type of reasoning error. What would an actual proof require?
Problem 2
Given: Lines ℓ and m are cut by a transversal. The alternate interior angles are congruent.
Student conclusion: "Therefore ℓ ∥ m."
Student reason: "If parallel lines are cut by a transversal, then alternate interior angles are congruent."
Identify the logical error. What theorem is actually needed as the reason?
Problem 3
Statement: AB = CD | Reason: Because it looks that way in the diagram.
Identify the error. What constitutes an acceptable reason in a proof?
Problem 4
"Since AB ≅ CD, we have AB = CD."
Is this reasoning correct? What is the precise relationship between congruence and equality, and what notation should be used?
Problem 5
"We want to show ∠A = ∠B. Since ∠A = ∠B, and this is what we wanted to show, we are done."
Name this type of proof error. Why is it invalid?
Problem 6
Original: "If a figure is a square, then it has four right angles."
Student writes the contrapositive (correctly). Student then says: "The contrapositive is true, so its converse — 'If a figure does not have four right angles, then it is a square' — must also be true because the contrapositive is true."
Identify the error in the student's logical reasoning.
Chapter 2 Checkpoint
Chapter 2 Checkpoint
Complete without assistance — assesses all key skills and concepts from Chapter 2
Part 1 — Logic
- Write the negation of: "Every angle in an equilateral triangle measures 60 degrees."
- Write the converse of: "If two lines are perpendicular, then they form four right angles."
- Write the contrapositive of: "If a quadrilateral is a rhombus, then all four sides are congruent."
- Is the following a biconditional? Explain fully: "A polygon is a triangle if and only if it has exactly three sides."
Part 2 — Truth and Counterexample
- Find a counterexample to: "If a quadrilateral has two congruent sides, then it is a parallelogram."
- Determine whether each conditional is true or false. If false, give a counterexample.
(a) "If two angles are complementary, then both are acute."
(b) "If two segments are congruent, then they share an endpoint."
Part 3 — Reasoning
- A student draws ten isosceles triangles and observes that the two base angles are always congruent. She concludes that this holds for all isosceles triangles.
(a) Is this inductive or deductive reasoning?
(b) Is her conclusion a proven theorem or a conjecture?
(c) What would a proof of this statement require?
Part 4 — Algebraic Proof
- Write a two-column algebraic proof.
Given: 5(x − 3) = 2x + 6. Prove: x = 7.
Part 5 — Geometric Proof
- Write a two-column proof.
Given: Ray QS bisects ∠PQR; m∠PQS = (2x + 15)° and m∠SQR = (4x − 9)°. Prove: m∠PQR = 72°.
- Write a paragraph proof.
Given: ∠A ≅ ∠B and ∠B ≅ ∠C. Prove: m∠A = m∠C.
Looking Ahead
Chapter 3: Lines, Angles, and Parallel Relationships
The reasoning tools you practiced in this chapter are not a one-time event — they are the language of the rest of this textbook. In Chapter 3, you will use conditional statements and two-column proofs to establish the angle relationships created by parallel lines and transversals. You will prove the Vertical Angles Theorem and the Congruent Supplements Theorem — both of which grow directly from the proof structure practiced here. In Chapter 4, every congruence proof for triangles will follow the two-column and paragraph formats you have built in this chapter. In Chapter 5, indirect reasoning — connected directly to the contrapositive and counterexample ideas from this chapter — will let you prove inequality relationships in triangles. In Chapter 13, coordinate proofs will use the properties of equality you named here to prove geometric facts algebraically. Every chapter in this book depends on the discipline this chapter established: every claim must be supported by a named reason, reasoning moves from the given to the conclusion, and the argument must hold not just for a particular diagram but for every case satisfying the stated conditions.
MGU Library Connection
- Appendix C: Logic and Proof Reference — summary of conditional forms, proof formats, and properties
- Appendix D: Angle Relationship Reference — for Chapter 3 angle proofs
- Appendix E: Triangle Congruence and Similarity Reference — for Chapters 4 and 6 proofs
- Geometry Chapter 3: Lines, Angles, and Parallel Relationships — first application of Chapter 2 proof methods
- MGU Discrete Mathematics: Propositional logic, truth tables, and formal proof methods studied in depth
- MGU Dictionary entries: conditional statement, biconditional, contrapositive, deductive reasoning, proof, theorem, postulate