Chapter 1: Making Connections with Proof

Rules of Logic and Valid Conclusions

  • Deductive reasoning requires the use of established rules of logic to form valid conclusions. Every conclusion must be supported by a reason written in if-then (conditional) form.

  • Example 1: Angle Congruence based on Measure

    • Given: ∠A=90∘\angle A = 90^{\circ} and ∠B=90∘\angle B = 90^{\circ}.
    • Conclusion: ∠A≅∠B\angle A \cong \angle B.
    • Reason: If two angles have the same measure, then they are congruent.
  • Example 2: Midpoints and Segment Congruence

    • Given: MM is the midpoint of XY‾\overline{XY}.
    • Conclusion: XM‾≅MY‾\overline{XM} \cong \overline{MY}.
    • Reason: If a point is a midpoint of a segment, then it splits it into two congruent segments.
  • Example 3: Trisection of Angles

    • Given: ∠ABD≅∠DBE≅∠EBC\angle ABD \cong \angle DBE \cong \angle EBC.
    • Conclusion: BD⃗\vec{BD} and BE⃗\vec{BE} trisect ∠ABC\angle ABC.
    • Reason: If three congruent angles are formed by two rays, then the rays trisect the angle.

Error Analysis in Geometric Proofs

  • Proofs are considered invalid when the reasons used to support a statement are factually incorrect or presented in the wrong logical order (converse error).

  • Invalid Logic in Angle Bisectors

    • Given: BD⃗\vec{BD} bisects ∠ABC\angle ABC.
    • Statement: ∠ABD≅∠DBC\angle ABD \cong \angle DBC.
    • Invalid Reason Provided: If a ray divides an angle into 2 congruent angles, then it bisects the angle.
    • Error Explanation: The reason is in the wrong order. It provides the definition of a bisector as the conclusion rather than the justification for the congruent angles.
    • Correct Reason: If a ray bisects an angle, then it makes two congruent angles.
  • Invalid Logic in Congruence Definitions

    • Given: ∠A=30∘\angle A = 30^{\circ} and ∠B=30∘\angle B = 30^{\circ}.
    • Statement: ∠A≅∠B\angle A \cong \angle B.
    • Invalid Reason Provided: If two angles are congruent, then they have the same measure.
    • Error Explanation: This is technically the converse of the logic needed. The goal is to prove congruence based on measure, not measure based on congruence.
    • Correct Reason: If two angles have the same measure, then the two angles are congruent.

Assumptions and Angle Relationships

  • Diagram Assumptions

    • Often, diagrams may visually suggest that specific conditions exist, such as right angles or segment congruence.
    • It is invalid to assume two angles are right angles (e.g., ∠1\angle 1 and ∠2\angle 2) simply because they appear that way in a drawing.
    • If the given information only specifies a "Diagram as shown" without explicit right angle markers or statements, concluding that ∠1≅∠2\angle 1 \cong \angle 2 based on the Right Angle Congruence Theorem is invalid because you cannot assume they are right angles.
  • Right Angle Congruence Proof

    • Given: ∠CAT\angle CAT is a right angle; ∠DOG\angle DOG is a right angle.
    • Statement: ∠CAT≅∠DOG\angle CAT \cong \angle DOG.
    • Reason: If both angles are right angles, then they are congruent.

Segment Bisectors and Compound Angle Proofs

  • Segment Bisectors

    • Given: XZ‾\overline{XZ} bisects AB‾\overline{AB}.
    • Statement: AY‾≅YB‾\overline{AY} \cong \overline{YB}.
    • Reason: If a ray/line/segment bisects a segment, then there are two congruent segments.
  • Multi-Step Proof for Angle Congruence

    • To prove that two angles are congruent when they are composed of multiple smaller angles, addition and substitution are used.
    • Example Proof:
      1. ∠ABD=50∘\angle ABD = 50^{\circ} (Given)
      2. ∠DBC=40∘\angle DBC = 40^{\circ} (Given)
      3. ∠ABC=90∘\angle ABC = 90^{\circ} (Addition)
      4. ∠XYZ\angle XYZ is a right angle (Given)
      5. ∠XYZ=90∘\angle XYZ = 90^{\circ} (If an angle is a right angle, then it measures 90∘90^{\circ})
      6. ∠ABC≅∠XYZ\angle ABC \cong \angle XYZ (If two angles have the same measure, then they are congruent.)