Angle Proofs and Computations in Deductive Geometry

Geometric Angle Proofs: Core Principles and Axiomatic Foundations

• Deductive geometry relies on establishing relationships between angles using fundamental axioms and algebraic properties of equality.

• Angle Addition Postulate: If a ray $EB$ lies in the interior of an angle $\angle AEC$, the measure of the whole angle is the sum of the measures of its non-overlapping adjacent constituent angles: $\angle AEC = \angle AEB + \angle BEC$.

• Common Angle Addition Property: If equal angles are added to the same angle (or to equal angles), the resulting sums are equal. Formally, if $\angle 1 = \angle 2$, then $\angle 1 + \angle 3 = \angle 2 + \angle 3$.

• Common Angle Subtraction Property: If equal angles are subtracted from equal angles, the resulting differences are equal. Formally, if $\angle A = \angle B$ and $\angle 1 = \angle 2$, then $\angle A - \angle 1 = \angle B - \angle 2$.

• Substitution Property of Equality: A quantity may be substituted for its equal in any geometric expression without altering the truth of the statement.

• Additional proof problems involving angles appear in subsequent sections of the curriculum.

Exercise 1: Proof of Angle Equality via Addition of an Intermediate Shared Angle

• Geometric Configuration:

  • Four coplanar rays originate from a single shared vertex $E$: ray $ED$, ray $EC$, ray $EB$, and ray $EA$.
  • The angle formed between ray $ED$ and ray $EC$ is designated as $\alpha$, such that $\angle DEC = \alpha$.
  • The angle formed between ray $EB$ and ray $EA$ is designated as $\beta$, such that $\angle BEA = \beta$.
  • An intermediate angle, $\angle CEB$, lies situated between rays $EC$ and $EB$.

• Given Conditions (נתון):

  • $\alpha = \beta$

• Required to Prove (הוכח):

  • $\angle AEC = \angle BED$

• Formal Proof Steps and Geometric Justifications:

  • Step 1: Express $\angle AEC$ as the composite sum of its adjacent parts using the Angle Addition Postulate:     $\angle AEC = \angle CEB + \angle BEA$
  • Step 2: Substitute the given value $\angle BEA = \beta$ into the expression:     $\angle AEC = \angle CEB + \beta$
  • Step 3: Express $\angle BED$ as the composite sum of its adjacent parts using the Angle Addition Postulate:     $\angle BED = \angle DEC + \angle CEB$
  • Step 4: Substitute the given value $\angle DEC = \alpha$ into the expression:     $\angle BED = \alpha + \angle CEB$
  • Step 5: Apply the Commutative Property of Addition to rewrite the expression for $\angle BED$:     $\angle BED = \angle CEB + \alpha$
  • Step 6: Substitute $\alpha = \beta$ (given) into the expression for $\angle BED$:     $\angle BED = \angle CEB + \beta$
  • Step 7: By transitivity and substitution between Step 2 and Step 6:     $\angle AEC = \angle BED$
  • Conclusion: Equal angles added to a common shared angle yield equal angles ($\text{Q.E.D.}$).

Exercise 2: Overlapping Angle Subtraction Proof and Numerical Computation

• Geometric Configuration:

  • Four distinct rays emanate from vertex $O$ in consecutive order: ray $OD$, ray $OC$, ray $OB$, and ray $OA$.
  • The angle between ray $OD$ and ray $OC$ is designated as $\angle O_1$ (or $\angle COD$).
  • The angle between ray $OC$ and ray $OB$ is the central overlapping angle $\angle BOC$.
  • The angle between ray $OB$ and ray $OA$ is designated as $\angle O_2$ (or $\angle AOB$).
  • The composite angle $\angle BOD$ comprises $\angle O_1 + \angle BOC$.
  • The composite angle $\angle AOC$ comprises $\angle O_2 + \angle BOC$.
  • The total outer angle encompassing all rays is $\angle AOD$.

• Part A: Deductive Proof:

  • Given (נתון):$\angle AOC = \angle BOD$
  • Required to Prove (הוכח):$\angle O_1 = \angle O_2$
  • Proof Steps and Justifications:
  • Step 1: Decompose $\angle AOC$ into adjacent components:       $\angle AOC = \angle AOB + \angle BOC = \angle O_2 + \angle BOC$
  • Step 2: Decompose $\angle BOD$ into adjacent components:       $\angle BOD = \angle COD + \angle BOC = \angle O_1 + \angle BOC$
  • Step 3: Equate the two decomposed expressions based on the given condition $\angle AOC = \angle BOD$:       $\angle O_2 + \angle BOC = \angle O_1 + \angle BOC$
  • Step 4: Subtract the common shared angle $\angle BOC$ from both sides of the equation using the Subtraction Property of Equality:       $\angle O_2 = \angle O_1$
  • Step 5: By the Symmetric Property of Equality:       $\angle O_1 = \angle O_2$
  • Conclusion: Subtracting a common angle from equal angles results in equal angles ($\text{Q.E.D.}$).

• Part B: Quantitative Calculations:

  • Given Conditions (נתון):
  • $\angle AOD = 110^\circ$
  • $\angle BOC = 30^\circ$
  • Required Calculations:
  • Compute the measure of angle $O_1$
  • Compute the measure of angle $AOC$
  • Step-by-Step Derivation of $\angle O_1$:
  • Express the total angle $\angle AOD$ as the sum of its three non-overlapping adjacent constituent angles:       $\angle AOD = \angle O_2 + \angle BOC + \angle O_1$
  • Substitute the proven equality from Part A ($\angle O_2 = \angle O_1$) into the angle sum equation:       $\angle AOD = \angle O_1 + \angle BOC + \angle O_1$$\angle AOD = 2 \times \angle O_1 + \angle BOC$
  • Substitute the given numerical values ($\angle AOD = 110^\circ$ and $\angle BOC = 30^\circ$):       $110^\circ = 2 \times \angle O_1 + 30^\circ$
  • Isolate the term containing $\angle O_1$ by subtracting $30^\circ$ from both sides:       $2 \times \angle O_1 = 110^\circ - 30^\circ$$2 \times \angle O_1 = 80^\circ$
  • Divide both sides by $2$:       $\angle O_1 = \frac{80^\circ}{2} = 40^\circ$
  • Consequently, $\angle O_2 = 40^\circ$ as well.
  • Step-by-Step Derivation of $\angle AOC$:
  • Express $\angle AOC$ as the sum of its adjacent parts:       $\angle AOC = \angle O_2 + \angle BOC$
  • Substitute the computed value $\angle O_2 = 40^\circ$ and given value $\angle BOC = 30^\circ$:       $\angle AOC = 40^\circ + 30^\circ = 70^\circ$
  • Verification using the equivalence $\angle AOC = \angle BOD$:       $\angle BOD = \angle O_1 + \angle BOC = 40^\circ + 30^\circ = 70^\circ$$\angle AOC = 70^\circ$

Exercise 3: Transitive Additive Proof of Composite Angles

• Geometric Configuration:

  • Five coplanar rays emanate sequentially from a common vertex $O$: ray $OA$, ray $OB$, ray $OC$, ray $OD$, and ray $OE$.
  • Four adjacent elementary angles are formed in order:
  • $\angle AOB$
  • $\angle BOC$
  • $\angle COD$
  • $\angle DOE$
  • Two pairwise composite angles are evaluated:
  • $\angle AOC$, formed by rays $OA$ and $OC$, spanning $\angle AOB + \angle BOC$
  • $\angle COE$, formed by rays $OC$ and $OE$, spanning $\angle COD + \angle DOE$

• Given Conditions (נתון):

  • Condition 1: $\angle AOB = \angle COD$
  • Condition 2: $\angle BOC = \angle DOE$

• Required to Prove (הוכח):

  • $\angle AOC = \angle COE$

• Formal Proof Steps and Geometric Justifications:

  • Step 1: Partition angle $\angle AOC$ into adjacent components according to the Angle Addition Postulate:     $\angle AOC = \angle AOB + \angle BOC$
  • Step 2: Partition angle $\angle COE$ into adjacent components according to the Angle Addition Postulate:     $\angle COE = \angle COD + \angle DOE$
  • Step 3: State the given relation between the first pair of components:     $\angle AOB = \angle COD$
  • Step 4: State the given relation between the second pair of components:     $\angle BOC = \angle DOE$
  • Step 5: Add the two given equality equations together using the Addition Property of Equality (adding equals to equals results in equals):     $\angle AOB + \angle BOC = \angle COD + \angle DOE$
  • Step 6: Substitute the definitions from Step 1 and Step 2 into the equation from Step 5:     $\angle AOC = \angle COE$
  • Conclusion: Since both constituent parts of $\angle AOC$ are respectively equal to both constituent parts of $\angle COE$, their sums are equal ($\text{Q.E.D.}$).

Source Citation and Curricular Context

• Textbook Title: Geometry Part A (הנדסה חלק א').
• Author: Benny Goren (בני גורן).
• Page Number: 48.
• Chapter Focus: Exercises involving deductive angle proofs (תרגילים - הוכחות עם זויות).
• Pedagogical Significance: These exercises serve as the entry point into two-column and narrative Euclidean proofs, bridging intuitive angle measurement with rigorous deductive arguments based on addition and subtraction postulates.