Honors Geometry Unit 2 ReviewLogic and Proof

Key Concepts and Definitions

• Logic the study of reasoning and arguments, forms the foundation for mathematical proofs
• Statement a declarative sentence that is either true or false, but not both
• Conditional statement consists of a hypothesis (if) and a conclusion (then), denoted as $p \rightarrow q$
• Converse of a conditional statement switches the hypothesis and conclusion, denoted as $q \rightarrow p$
• Inverse of a conditional statement negates both the hypothesis and conclusion, denoted as $\sim p \rightarrow \sim q$
• Contrapositive of a conditional statement combines the converse and inverse, denoted as $\sim q \rightarrow \sim p$
• Biconditional statement a conditional statement that is true in both directions, denoted as $p \leftrightarrow q$
• Logical equivalence two statements that have the same truth value for all possible cases

Types of Statements and Conditionals

• Simple statement a single declarative sentence that is either true or false (The sky is blue)
• Compound statement formed by combining two or more simple statements using logical connectives
• Logical connectives include "and" (conjunction), "or" (disjunction), and "not" (negation)
• Truth tables used to determine the truth value of compound statements based on the truth values of their components
• Conditional statement (if-then) links a hypothesis to a conclusion (If a triangle has three equal sides, then it is an equilateral triangle)
• Converse, inverse, and contrapositive are related conditional statements formed by altering the original conditional
• Biconditional statement (if and only if) a conditional statement that is true in both directions (A triangle is equilateral if and only if it has three equal sides)
• Logical equivalence two statements that have the same truth value for all possible cases, such as a conditional and its contrapositive

Logical Reasoning and Arguments

• Logical reasoning the process of drawing conclusions from given statements or premises
• Argument a series of statements, called premises, that lead to a conclusion
• Valid argument an argument in which the conclusion necessarily follows from the premises
• Invalid argument an argument in which the conclusion does not necessarily follow from the premises
• Fallacy an error in reasoning that leads to an invalid argument
  • Common fallacies include circular reasoning, false dilemma, and ad hominem attacks
• Counterexample a specific case that disproves a general statement or argument
• Inductive reasoning drawing a general conclusion from specific observations or examples
• Deductive reasoning drawing a specific conclusion from general statements or premises

Deductive Reasoning in Geometry

• Deductive reasoning in geometry involves drawing conclusions from given statements, definitions, and previously proven theorems
• Geometric proof a logical argument that demonstrates the truth of a statement using deductive reasoning
• Axioms (postulates) statements accepted as true without proof, serving as the foundation for deductive reasoning in geometry
• Theorems statements that can be proven using deductive reasoning and previously established axioms or theorems
• Corollaries statements that follow directly from a theorem, often providing a specific case or application
• Lemmas intermediate steps or "helping theorems" used to prove a larger theorem
• Congruence and similarity proofs involve using deductive reasoning to establish the congruence or similarity of geometric figures
• Coordinate proofs utilize the coordinate plane and algebraic techniques to prove geometric statements

Proof Techniques and Methods

• Direct proof a straightforward approach that assumes the hypothesis and logically deduces the conclusion
• Proof by contradiction assumes the negation of the statement to be proven and derives a contradiction, thus proving the original statement
• Proof by contrapositive proves the contrapositive of the statement, which is logically equivalent to the original
• Proof by cases breaks down a statement into distinct cases and proves each case separately
• Proof by induction proves a statement for a base case and then shows that if it holds for one case, it holds for the next case
  • Mathematical induction is commonly used to prove statements involving natural numbers
• Proof by exhaustion proves a statement by examining all possible cases (often used for a finite set of cases)
• Indirect proof a general term for proofs that do not assume the hypothesis and directly prove the conclusion (e.g., proof by contradiction, proof by contrapositive)
• Existence proofs demonstrate that an object with certain properties exists without necessarily constructing it

Common Theorems and Postulates

• Parallel Postulate (Euclid's Fifth Postulate) given a line and a point not on the line, there is exactly one line through the point that is parallel to the given line
• Angle-Angle Similarity (AA) two triangles are similar if two pairs of corresponding angles are congruent
• Side-Side-Side Congruence (SSS) two triangles are congruent if all three pairs of corresponding sides are congruent
• Side-Angle-Side Congruence (SAS) two triangles are congruent if two pairs of corresponding sides and the included angle are congruent
• Angle-Side-Angle Congruence (ASA) two triangles are congruent if two pairs of corresponding angles and the included side are congruent
• Pythagorean Theorem in a right triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides ($a^2 + b^2 = c^2$)
• Triangle Inequality the sum of the lengths of any two sides of a triangle is greater than the length of the third side
• Exterior Angle Theorem the measure of an exterior angle of a triangle is equal to the sum of the measures of the two non-adjacent interior angles

Applications in Geometric Problems

• Logical reasoning and proof techniques are essential for solving complex geometric problems
• Applying theorems and postulates to specific problem situations helps break down the problem into manageable steps
• Congruence and similarity proofs are often used to establish relationships between geometric figures
  • Example: proving that two triangles are congruent can help solve problems involving shared side lengths or angle measures
• Coordinate proofs can simplify geometric problems by translating them into algebraic equations
  • Example: using the distance formula to prove that a quadrilateral is a rhombus
• Indirect proofs, such as proof by contradiction, can be useful when a direct approach is not apparent
  • Example: proving that the square root of 2 is irrational using a proof by contradiction
• Recognizing patterns and applying inductive reasoning can lead to general solutions for classes of problems
• Real-world applications of geometry, such as in architecture or engineering, rely on logical reasoning and proof techniques to ensure the validity of designs and constructions

Practice and Review

• Review key concepts, definitions, and terminology related to logic and proof
• Practice identifying types of statements (simple, compound, conditional) and their components (hypothesis, conclusion)
• Construct truth tables for compound statements and determine their logical equivalence
• Analyze arguments for validity and identify common fallacies
• Apply deductive reasoning to solve geometric problems and construct proofs
• Practice various proof techniques (direct, contradiction, contrapositive, cases, induction) with different types of problems
• Review common theorems and postulates and their applications in problem-solving
• Work through proofs of important theorems to understand the logical steps and reasoning involved
• Solve geometric problems that require a combination of logical reasoning, proof techniques, and application of theorems and postulates
• Collaborate with classmates to discuss problem-solving strategies and proof techniques, and to provide constructive feedback on each other's work