Reasoning and proof Knowledge-Based Study

Study notes

1. Inductive vs. Deductive Reasoning

   Mathematical arguments in geometry rely on two primary modes of reasoning: inductive reasoning and deductive reasoning.

   Inductive Reasoning and Conjectures

   Inductive reasoning is the process of looking for patterns, observing specific examples, and arriving at a generalized conclusion called a conjecture.

   • A conjecture is an unproven statement that is based on observations.
   • To show that a conjecture is false, you only need to provide one counterexample—a single specific case for which the conjecture fails.
   • Example: If a student observes that four different right triangles each have acute angles measuring $30^\circ$ and $60^\circ$, claiming that “all right triangles contain a $30^\circ$ angle” is a conjecture. A right triangle with acute angles measuring $45^\circ$ and $45^\circ$ serves as a counterexample disproving the conjecture.

   Deductive Reasoning

   Deductive reasoning uses known facts, definitions, accepted postulates, and confirmed theorems to form a logical argument. Unlike inductive reasoning, deductive reasoning guarantees that if the premises are true, the conclusion must also be true.

   Structure of Conditional Statements

   A conditional statement is a logical statement that has two parts: a hypothesis and a conclusion. In standard form, it is written as an “if-then” statement: $p ightarrow q$ (read “if $p$, then $q$”).

   • Hypothesis ($p$): The phrase immediately following the word “if”.
   • Conclusion ($q$): The phrase immediately following the word “then”.

   Related Conditionals

   Given the original statement $p ightarrow q$, three related conditionals can be formed:

   • Converse ($q ightarrow p$): Formed by switching the hypothesis and conclusion.
   • Inverse ($\sim p ightarrow \sim q$): Formed by negating both the hypothesis and the conclusion.
   • Contrapositive ($\sim q ightarrow \sim p$): Formed by negating and switching both the hypothesis and the conclusion.

   Logical Equivalence and Biconditionals

   Statements that share the same truth value are logically equivalent. A conditional statement is always logically equivalent to its contrapositive, while the converse is logically equivalent to the inverse.

   When a conditional statement and its converse are both true, they can be combined using the phrase “if and only if” to form a biconditional statement, denoted symbolically as $p \leftrightarrow q$.

   Fundamental Laws of Deductive Inference

   Valid deductive reasoning relies on established logical laws to derive conclusions from true conditional statements.

   The Law of Detachment

   If a conditional statement $p ightarrow q$ is true and the hypothesis $p$ is true, then the conclusion $q$ is true.

   • Premise 1: If two lines intersect to form a right angle, then they are perpendicular.
   • Premise 2: Line $m$ and line $n$ intersect to form a right angle.
   • Conclusion: Line $m$ and line $n$ are perpendicular.

   The Law of Syllogism

   The Law of Syllogism allows you to draw a conclusion from two conditional statements when the conclusion of one is the hypothesis of the other.

   If $p ightarrow q$ is true and $q ightarrow r$ is true, then $p ightarrow r$ is also true.

   • Premise 1: If a polygon is a regular pentagon, then it has five congruent sides.
   • Premise 2: If a polygon has five congruent sides, then it has five congruent interior angles.
   • Conclusion: If a polygon is a regular pentagon, then it has five congruent interior angles.

   Constructing Formal Proofs

   A geometric proof is a logical sequence of statements, each supported by an accepted reason, demonstrating that a conjecture is universally true.

   Algebraic and Geometric Properties

   Proofs frequently cite algebraic properties applied to geometric quantities (such as segment lengths or angle measures) as well as equivalence properties of congruence:

   • Reflexive Property: $AB = AB$ or $\angle A \cong \angle A$.
   • Symmetric Property: If $AB = CD$, then $CD = AB$; if $\angle A \cong \angle B$, then $\angle B \cong \angle A$.
   • Transitive Property: If $AB = CD$ and $CD = EF$, then $AB = EF$.
   • Substitution Property: If $a = b$, then $a$ may be replaced by $b$ in any expression or equation.

   Two-Column Proofs

   A standard two-column proof organizes the argument into two parallel lists: Statements on the left (the mathematical assertions) and Reasons on the right (the definitions, postulates, given information, or previously proven theorems that justify each step).

   Every proof begins with the Given conditions and concludes when the target statement is derived through direct deductive steps.