Geometry Proofs Key Concept: Properties of Equality & Distributive Property Let π, π, and π be any real numbers. Addition Property If π = π, then π + π = π + π. Subtraction Property If π = π, then π − π = π − π. Multiplication Property If π = π, then π β π = π β π. ! ! Division Property If π = π and π ≠ 0, then = . ! Reflexive Property Symmetric Property Transitive Property Substitution Property Distributive Property* ! π = π. If π = π, then π = π. If π = π and π = π, then π = π. If π = π, then π can replace π in any expression. Sum: π π + π = ππ + ππ Difference: π π − π = ππ − ππ *Use the reason Distributive Property for combining like terms Key Concept: Properties of Congruence Reflexive Property π΄π΅ ≅ π΄π΅; ∠π΄ ≅ ∠π΄ Symmetric Property If π΄π΅ ≅ πΆπ·, then πΆπ· ≅ π΄π΅. If ∠π΄ ≅ ∠π΅, then ∠π΅ ≅ ∠π΄. Transitive Property If π΄π΅ ≅ πΆπ· and πΆπ· ≅ πΈπΉ, then π΄π΅ ≅ πΈπΉ. If ∠π΄ ≅ ∠π΅ and ∠π΅ ≅ ∠πΆ, then ∠π΄ ≅ ∠πΆ. If ∠π΅ ≅ ∠π΄ and ∠π΅ ≅ ∠πΆ, then ∠π΄ ≅ ∠πΆ. Mini-­βProof 1: Justifying Steps When Solving an Equation What is the value of π₯ ? Justify each step. Statements ∠π΄ππ and ∠πππΆ are supplementary. π∠π΄ππ + π∠πππΆ = 180 2π₯ + 30 + π₯ = 180 3π₯ + 30 = 180 3π₯ = 150 π₯ = 50 Reasons Angles that form a linear pair are supplementary. Definition of supplementary angles OR Linear Pair Postulate Substitution Property Distributive Property Subtraction Property of Equality Division Property of Equality 1 Proof 1: Writing a Two-­βColumn Proof Write a two-­βcolumn proof. Given: π∠1 = π∠3 Prove: π∠π΄πΈπΆ = π∠π·πΈπ΅ Know: π∠1 = π∠3 Need: π∠π΄πΈπΆ = π∠π·πΈπ΅ Plan: Add π∠2 to both π∠1 and π∠3. The resulting angles will have equal measure. Statements Reasons 1. π∠1 = π∠3 1. Given 2. π∠2 = π∠2 2. Reflexive Property of Equality 3. π∠1 + π∠2 = π∠3 + π∠2 3. Addition Property of Equality 4. π∠1 + π∠2 = π∠π΄πΈπΆ 4. Angle Addition Postulate π∠3 + π∠2 = π∠π·πΈπ΅ 5. π∠π΄πΈπΆ = π∠π·πΈπ΅ 5. Substitution Property Proof 2: Writing a Two-­βColumn Proof Given: π΄π΅ ≅ πΆπ· Prove: π΄πΆ ≅ π΅π· Statements 1. 2. 3. 4. 5. π΄π΅ ≅ πΆπ· π΅πΆ ≅ π΅πΆ π΄π΅ = πΆπ· π΄π΅ + π΅πΆ = πΆπ· + π΅πΆ π΄π΅ + π΅πΆ = π΄πΆ π΅πΆ + πΆπ· = π΅π· 6. π΄πΆ = π΅π· 7. π΄πΆ ≅ π΅π· Reasons 1. 2. 3. 4. 5. Given Reflexive Property of Congruence Congruent segments have equal length Addition Property of Equality Segment Addition Postulate 6. Substitution Property 7. Segments with equal length are congruent 2 Proof 3: Vertical Angles Theorem Given: ∠1 and ∠3 are vertical angles Prove: ∠1 ≅ ∠3 Statements 1. ∠1 and ∠3 are vertical angles 2. ∠1 and ∠2 are supplementary ∠2 and ∠3 are supplementary 3. π∠1 + π∠2 = 180 π∠2 + π∠3 = 180 4. π∠1 + π∠2 = π∠2 + π∠3 5. π∠1 = π∠3 6. ∠1 ≅ ∠3 Reasons 1. Given 2. Angles that form a linear pair are supplementary 3. The sum of the measures of supplementary angles is 180 4. Transitive Property of Equality 5. Subtraction Property of Equality 6. Angles with the same measure are congruent Proof 4: Proof using the Vertical Angles Theorem Given: ∠1 ≅ ∠4 Prove: ∠2 ≅ ∠3 Statements 1. ∠1 ≅ ∠4 2. ∠4 ≅ ∠2 3. ∠1 ≅ ∠2 4. ∠1 ≅ ∠3 5. ∠2 ≅ ∠3 Reasons 1. Given 2. Vertical angles are congruent (vertical angles theorem) 3. Transitive Property of Congruence 4. Vertical angles are congruent (vertical angles theorem) 5. Transitive Property of Congruence 3 Proof 5: Proof using the Vertical Angles Theorem Given: ∠1 ≅ ∠2 Prove: ∠1 ≅ ∠2 ≅ ∠3 ≅ ∠4 Statements 1. ∠1 ≅ ∠2 2. ∠1 ≅ ∠3; ∠2 ≅ ∠4 3. ∠1 ≅ ∠4; ∠2 ≅ ∠3 4. ∠1 ≅ ∠2 ≅ ∠3 ≅ ∠4 Problem 3: Writing a Paragraph Proof Reasons 1. Given 2. Vertical angles are congruent (vertical angles theorem) 3. Transitive Property of Congruence 4. Transitive Property of Congruence Given: ∠1 and ∠3 are supplementary. ∠2 and ∠3 are supplementary. Prove: ∠1 ≅ ∠2 Proof: ∠1 and ∠3 are supplementary because it is given. So π∠1 + π∠3 = 180 by the definition of supplementary angles. ∠2 and ∠3 are supplementary because it is given, so π∠2 + π∠3 = 180 by the same definition. By the Transitive Property of Equality, π∠1 + π∠3 = π∠2 + π∠3. Subtract π∠3 from each side. By the Subtraction Property of Equality, π∠1 = π∠2. Angles with the same measure are congruent, so ∠1 ≅ ∠2. 4