Geometry Study Guide: Deductive Reasoning, Proof Methods, and Theorems

Sequence Patterns and Counterexample Principles

• Numerical Sequences:

  • Sequence 1: $3, 5, 8, 10, 13, \dots$
  • Sequence 2: $17, 21, 25, 29, 33, \dots$

• Disproving Conjectures via Counterexamples:

  • Definition: A counterexample is a specific case or example that demonstrates a conjecture or conditional statement is false.
  • Sufficiency of a Single Counterexample: To disprove any general claim or conjecture (e.g., statements regarding congruent angles, or claims such as "when $p$ is even, $p + 12$ is even"), exactly one counterexample is required.
  • Logical Basis: A universal conjecture asserts that a condition holds for all possible cases. Proving that it fails in even a single instance breaks the universal claim, making additional counterexamples unnecessary.

• Linear Data and Savings Tracking:

  • Savings Data Table:
  • Week $0$: $\$1.75$
  • Subsequent values: $\$3.50$, $\$5.25$, $\$7.00$
  • Pattern Analysis: The cumulative savings increase at a constant rate of $\$1.75$ per weekly interval.

Deductive Reasoning and Logical Laws

• Fundamental Definition:

  • Deductive Reasoning: A system of logic that uses established facts, definitions, rules, postulates, and properties to reach a necessary and logically valid conclusion.

• Primary Laws of Logic:

  • Law of Detachment:
  • Rule: If a conditional statement $p \rightarrow q$ is true and the hypothesis $p$ is true, then the conclusion $q$ must also be true.
  • Symbolic Structure:
    • Premise 1: $p \rightarrow q$
    • Premise 2: $p$
    • Conclusion: $q$
  • Law of Syllogism:
  • Rule: If two conditional statements $p \rightarrow q$ and $q \rightarrow r$ are true, then the combined conditional statement $p \rightarrow r$ is also true.
  • Symbolic Structure:
    • Premise 1: $p \rightarrow q$
    • Premise 2: $q \rightarrow r$
    • Conclusion: $p \rightarrow r$

• Application Tip for Logical Laws:

  • Laws of logic, such as the Law of Syllogism, can be repeatedly applied to connect one statement to another in a continuous logical chain, directly driving the argument from initial given statements to the final desired conclusion.

• Applied Examples and Problem Solving:

  • Example 1: Law of Syllogism with Angle Definitions:
  • Given Premise 1: If $m\angle A < 90$, then $\angle A$ is acute.
  • Given Premise 2: If $\angle A$ is acute, then it is not a right angle.
  • Deductive Conclusion: If $m\angle A < 90$, then $\angle A$ is not a right angle.
  • Example 2: Segment Equality Deduction:
  • Given Premise: If $AB = BC$, then $DE = 2(AB)$.
  • Given Values: $AB = 6$ and $BC = 6$
  • Conclusion: Since $AB = BC = 6$, the hypothesis holds true. Therefore, $DE = 2(6) = 12$
  • Example 3: Water Park Scenario (Law of Syllogism):
  • Given Premise 1: If it is a sunny day, the water park is filled with people.
  • Given Premise 2: If the water park is filled with people, the lines for each ride are long.
  • Deductive Conclusion: If it is a sunny day, then the lines for each ride are long.
  • Example 4: Toothpaste Advertisement (Law of Detachment):
  • Given Premise: An advertisement states that if you use their toothpaste for more than a week ($> 7\,\text{days}$), you will have fresher breath.
  • Given Fact: You use the toothpaste for $10\,\text{days}$.
  • Conclusion: Because $10\,\text{days} > 7\,\text{days}$, the hypothesis is satisfied, and you can conclude that you will have fresher breath.

Structure and Methodologies of Geometric Proofs

• Core Terminology:

  • Conjecture: An unproven statement based on observations or patterns.
  • Proof: A convincing argument that utilizes deductive reasoning to prove that a conjecture is true.
  • Theorem: A conjecture that has been formally proven using deductive reasoning.

• Anatomy of a Theorem:

  • When a theorem is written in conditional ("If-Then") form:
  • The "If" statement constitutes the Given statement for the proof.
  • The "Then" statement constitutes the Prove statement (the conclusion that must be established).

• Two-Column Proof Organization:

  • A two-column proof organizes a logical argument into two parallel vertical columns:
  1. Statements (Left Column): The sequential mathematical steps, equations, or geometric claims.
  2. Reasons (Right Column): The corresponding justification for each statement (e.g., Given, Definition, Postulate, Theorem, or Algebraic Property of Equality).
  • Standard Progression:
  • Step 1 always starts with the Given information.
  • Intermediate steps apply geometric postulates and algebraic properties.
  • The final statement is the exact proposition required to be proven.

• Indirect Proof and Proof by Contrapositive:

  • Indirect Proof (Proof by Contradiction):
  • Procedure: Assume the negation of what is to be proven.
  • Process: Reason deductively until the assumption leads to an explicit contradiction of a given fact, definition, postulate, or previously proven theorem.
  • Conclusion: Since the negation leads to a contradiction, the original premise/statement must be true.
  • Proof by Contrapositive:
  • Proving a conditional statement $p \rightarrow q$ by proving its logically equivalent contrapositive $\sim q \rightarrow \sim p$.

Formal Proof Implementations and Geometric Applications

• Two-Column Proof: Vertical Angles Theorem:

  • Theorem: Vertical angles are congruent.
  • Given: $\angle ABC$ and $\angle DBE$ are vertical angles.
  • Prove: $\angle ABC \cong \angle DBE$
  • Proof Steps:
  1. Statement: $\angle ABC$ and $\angle DBE$ are vertical angles.        Reason: Given
  2. Statement: $m\angle ABE = 180$ and $m\angle DBE + m\angle CBE = 180$        Reason: Definition of straight angle
  3. Statement: $m\angle ABC + m\angle CBE = m\angle ABE$        Reason: Angle Addition Postulate
  4. Statement: $m\angle ABC + m\angle CBE = 180$ and $m\angle DBE + m\angle CBE = 180$        Reason: Substitution
  5. Statement: $m\angle ABC = 180 - m\angle CBE$ and $m\angle DBE = 180 - m\angle CBE$        Reason: Subtraction Property of Equality
  6. Statement: $m\angle ABC = m\angle DBE$        Reason: Transitive Property of Equality
  7. Statement: $\angle ABC \cong \angle DBE$        Reason: Definition of congruent angles

• Paragraph Proof: Congruent Supplements Application:

  • Given: $m\angle BDC + m\angle ADE = 180$
  • Prove: $\angle ADB \cong \angle BDC$
  • Written Proof: By definition of supplementary angles, $m\angle ADB + m\angle ADE = 180$. Since it is given that $m\angle BDC + m\angle ADE = 180$, by the Congruent Supplements Theorem, $\angle ADB \cong \angle BDC$

• Algebraic Angle Measure Proof:

  • Given: $m\angle TUV = 90$, with adjacent angle parts $(4x)^\circ$ and $42^\circ$
  • Prove: $x = 12$
  • Deductive Process:
  • By the Angle Addition Postulate, $(4x) + 42 = m\angle TUV$
  • Substituting $m\angle TUV = 90$ yields $4x + 42 = 90$
  • Subtracting $42$ from both sides yields $4x = 48$
  • Dividing by $4$ yields $x = 12$

• Indirect Proof for Segment Lengths:

  • Given: Segment $GJ = 48$, composed of sub-segments $GH = 2x$ and $HJ = x$
  • Prove: $x = 12$
  • Method: Prove by demonstrating the contrapositive or establishing a contradiction when assuming $x \neq 12$

• Algebraic Angle Practice Problems:

  • Problem 44: Given supplementary expressions $(2x + 32)^\circ$ and $(3x - 5)^\circ$
  • Equation: $(2x + 32) + (3x - 5) = 180 \Rightarrow 5x + 27 = 180 \Rightarrow 5x = 153 \Rightarrow x = 30.6$
  • Problem 45: Given angle expressions $(3x - 6)^\circ$ and $(2x + 22)^\circ$
  • Setting equal for vertical angles: $3x - 6 = 2x + 22 \Rightarrow x = 28$
  • Calculated angle measures: $3(28) - 6 = 78^\circ$ and $2(28) + 22 = 78^\circ$