Geometry Proofs: Angle Relationships, Equality Properties, and Postulates

Angle Relationships and Transversals

• Parallel Line Relationships (formed when a transversal intersects parallel lines):

  • Corresponding Angle Postulate: Angles in the same relative position on opposite parallel lines are congruent ($\angle 2 \cong \angle 4$).

  • Alternate Interior Angle Theorem: Angles on alternate sides of the transversal and in the interior of the parallel lines are congruent ($\angle 3 \cong \angle 6$).

  • Alternate Exterior Angle Theorem: Angles on alternate sides of the transversal and in the exterior of the parallel lines are congruent ($\angle 1 \cong \angle 8$).

  • Same-Side Interior Angle Theorem: Angles on the same side of the transversal and in the interior of parallel lines are supplementary ($m\angle 6 + m\angle 7 = 180^\circ$).

  • Same-Side Exterior Angle Theorem: Angles on the same side of the transversal and in the exterior of parallel lines are supplementary ($m\angle 5 + m\angle 8 = 180^\circ$).

  • Converse Angle Theorems: The converse of each parallel line postulate and theorem is used specifically to prove lines are parallel.

• General Angle Pair Relationships:

  • Linear Pair Postulate: Adjacent angles that share a common side and form a straight line are supplementary ($m\angle 1 + m\angle 4 = 180^\circ$).

  • Vertical Angle Theorem: Non-adjacent angles that share a common vertex are congruent ($\angle 1 \cong \angle 3$, $\angle 4 \cong \angle 2$).

Algebraic Proof Properties of Equality

• Addition Property of Equality: If the same value is added to both sides of an equation, the equation remains equal ($a = b \implies a + c = b + c$).

• Subtraction Property of Equality: If the same value is subtracted from both sides of an equation, the equation remains equal ($a = b \implies a - c = b - c$).

• Multiplication Property of Equality: If both sides of an equation are multiplied by the same value, the equation remains equal ($a = b \implies a \times c = b \times c$).

• Division Property of Equality: If both sides of an equation are divided by the same value, the equation remains equal ($a = b \implies a \div c = b \div c$).

• Substitution Property: If two values are equal, one can be substituted for the other in an equation.

• Transitive Property: If $a = b$ and $b = c$, then $a = c$ ("cut out the middleman").

• Distributive Property: Expands terms across parentheses according to $a(x + y) = ax + ay$; not commonly used in geometry proofs.

• Reflexive Property: A value or figure is always equal to itself ($x = x$, $\angle ABC = \angle ABC$); typically used to identify shared information in a diagram that is not explicitly given.

Geometric Definitions and Basic Postulates

• Definition of Congruent: If the measures of two figures are equal, the figures are congruent ($m\angle A = m\angle D \implies \angle A \cong \angle D$).

• Definition of Midpoint: The midpoint of a line segment divides it into two congruent segments (if $M$ is the midpoint of $\overline{AB}$, then $\overline{AM} \cong \overline{MB}$).

• Definition of Bisect: Divides an angle or segment into two congruent parts (if $\vec{BD}$ bisects $\angle ABC$, then $\angle ABD \cong \angle DBC$).

• Definition of Perpendicular: Perpendicular lines intersect to form right angles measuring $90^\circ$ ($\overline{AB} \perp \overline{CD} \implies m\angle ABC = 90^\circ$).

• Definition of Complementary: Angles whose measures sum to $90^\circ$ ($m\angle ABD + m\angle BDC = 90^\circ$).

• Definition of Supplementary: Angles whose measures sum to $180^\circ$ ($m\angle ABD + m\angle BDC = 180^\circ$).

• Segment Addition/Subtraction Postulate: Part of a segment plus another contiguous part equals the whole segment ($\overline{MN} + \overline{NO} = \overline{MO}$).

• Angle Addition/Subtraction Postulate: Part of an angle plus an adjacent part equals the whole angle ($\angle WAY + \angle YAZ = \angle WAZ$).