Two-Column Geometric Proofs Study Guide
Fundamental Definitions and Theorems in Geometric Proofs
Definition of Angle Bisector: A ray, segment, or line that divides an angle into two congruent angles of equal measure. If bisects , then .
Angle Addition Postulate: If a point lies in the interior of an angle, the measures of the two adjacent angles sum to the measure of the overall angle. For divided by ray , .
Definition of Perpendicular Lines: Two lines, segments, or rays that intersect to form right angles. If , then is a right angle.
Definition of Right Angle: An angle with a measure equal to exactly .
Definition of Congruent Angles: Angles that possess identical angle measures. If , then
Definition of Complementary Angles: Two angles whose measures add up to .
Linear Pair Theorem: If two angles form a linear pair, then they are supplementary (their measures sum to ).
Congruent Supplements Theorem: If two angles are supplementary to the same angle (or to congruent angles), then those two angles are congruent to each other.
Vertical Angles Theorem: Vertical angles formed by two intersecting lines are congruent.

Proof 1: Bisected Angle Measure Derivation
Given: bisects
Prove:
Two-Column Proof Steps:
- Statement 1: bisects
- Reason 1: Given
- Statement 2:
- Reason 2: Definition of Angle Bisector
- Statement 3:
- Reason 3: Angle Addition Postulate
- Statement 4:
- Reason 4: Substitution Property of Equality
- Statement 5:
- Reason 5: Combine Like Terms
- Statement 6:
- Reason 6: Division Property of Equality
Proof 2: Perpendicularity and Complementary Angles
Given: ;
Prove: and are complementary
Two-Column Proof Steps:
- Statement 1:
- Reason 1: Given
- Statement 2: is a right angle
- Reason 2: Definition of Perpendicular Lines
- Statement 3:
- Reason 3: Definition of Right Angle
- Statement 4:
- Reason 4: Angle Addition Postulate
- Statement 5:
- Reason 5: Substitution Property of Equality
- Statement 6:
- Reason 6: Given
- Statement 7:
- Reason 7: Definition of Congruent Angles
- Statement 8:
- Reason 8: Substitution Property of Equality
- Statement 9: and are complementary
- Reason 9: Definition of Complementary Angles
Proof 3: Linear Pairs and Congruent Supplements
Given: and form a linear pair; and are supplementary
Prove:
Two-Column Proof Steps:
- Statement 1: and form a linear pair
- Reason 1: Given
- Statement 2: and are supplementary
- Reason 2: Linear Pair (Supplement) Theorem
- Statement 3: and are supplementary
- Reason 3: Given
- Statement 4:
- Reason 4: Congruent Supplements Theorem
- Statement 5:
- Reason 5: Vertical Angles Theorem
- Statement 6:
- Reason 6: Transitive Property of Congruence