Lesson 14.3: Supporting Formal Proofs Mixed Proof Set

Learning Objectives

• Strengthen skills in constructing formal proofs.
• Apply geometric theorems and postulates to solve proofs.
• Recognize patterns in deductive reasoning and argument structures.

Topics Covered

• Supporting formal proofs with logical reasoning
• Congruence postulates (SSS, SAS, ASA, AAS)
• Proof strategies for triangles and quadrilaterals
• Using theorems to justify steps
• Mixed proof exercises combining multiple concepts

Key Terms

• Proof: A logical argument demonstrating the truth of a statement.
• Deductive Reasoning: Reasoning from general rules to specific conclusions.
• Congruence Postulates: Rules used to prove triangles are congruent.
• Theorem: A statement proven based on previously established statements.
• Given: Information provided at the start of a proof.
• Prove: The statement or property that must be demonstrated.

Lesson Examples

Example 1: Triangle Congruence Proof

Given △ABC and △DEF with AB = DE, AC = DF, and ∠A = ∠D, prove △ABC ≅ △DEF.

1. Identify given information: AB = DE, AC = DF, ∠A = ∠D.
2. Apply SAS congruence postulate.
3. Conclude △ABC ≅ △DEF.

Example 2: Quadrilateral Proof

Prove that a parallelogram’s opposite sides are congruent.

1. Identify the parallelogram ABCD.
2. Draw diagonal AC and consider â–³ABC and â–³CDA.
3. Use ASA congruence postulate to prove triangles are congruent.
4. Conclude opposite sides AB = CD and BC = AD.

Practice Problems

1. Given △XYZ and △PQR with XY = PQ, ∠X = ∠P, and XZ = PR, prove the triangles are congruent.
2. Prove that the diagonals of a rectangle are congruent using triangle congruence.
3. Given two isosceles triangles sharing a base, prove they are congruent.

Tips & Common Mistakes

• Always start by listing given information and what you are asked to prove.
• Check which postulate or theorem is most appropriate before beginning the proof.
• Use diagrams to visualize relationships and justify each step.

Summary

This lesson reinforced strategies for constructing formal proofs, emphasizing deductive reasoning, congruence postulates, and geometric theorem application. Practice with mixed exercises helps prepare for complex proofs.

Challenge Problems

1. Given △MNO ≅ △PQR, use congruence postulates to prove that ∠N = ∠Q and sides MN = PQ.
2. Prove that the diagonals of a rhombus are perpendicular using triangle congruence.
3. Create a two-column proof to show that in an isosceles trapezoid, the base angles are congruent.