Question

given: if two lines intersect at a point o, and m∠dox = m∠box, then m∠aox = m∠cox. (there are two proof tables: candaces proof and judes proof, with statements and reasons, and a diagram of intersecting lines at o with points a, b, c, d, x.)

Explanation:

Step1: Identify Vertical Angles

Vertical angles are equal. From the diagram, $\angle DOA$ and $\angle BOC$ are vertical angles, so $m\angle DOA = m\angle BOC$. Also, $\angle AOD$ and $\angle COB$ are vertical angles (same as above, maybe a typo in labeling, but the key is vertical angles theorem).

Step2: Angle Addition Postulate

For $\angle AOD$, we can express it as $m\angle AOD = m\angle AO X + m\angle DOX$ (wait, no, looking at the proof, actually, the angle addition is for $\angle AOD$ and $\angle COB$ with the common angle $\angle AO X$ or $\angle CO X$. Wait, the goal is to show $m\angle AO X = m\angle CO X$ given $m\angle DOX = m\angle BOX$. Let's follow the proof structure.

1. Given: $m\angle DOX = m\angle BOX$ (from the problem statement, "if $m\angle DOX = m\angle BOX$, then $m\angle AO X = m\angle CO X$").
2. Vertical Angles: $\angle DOA$ and $\angle BOC$ are vertical angles, so $m\angle DOA = m\angle BOC$ (vertical angles theorem).
3. Angle Addition: $m\angle DOA = m\angle DOX + m\angle AO X$ and $m\angle BOC = m\angle BOX + m\angle CO X$ (angle addition postulate, as the angles are adjacent and form the larger angle).
4. Substitute Given and Vertical Angles: Since $m\angle DOX = m\angle BOX$ (given) and $m\angle DOA = m\angle BOC$ (vertical angles), we can substitute into the angle addition equations: $m\angle DOX + m\angle AO X = m\angle BOX + m\angle CO X$.
5. Subtract $m\angle DOX$ (or $m\angle BOX$, since they are equal) from both sides: $m\angle AO X = m\angle CO X$ (subtraction property of equality, or substitution and simplification).

Answer:

The proof uses the vertical angles theorem and angle addition postulate to show that if $m\angle DOX = m\angle BOX$, then $m\angle AO X = m\angle CO X$. The key steps are identifying vertical angles, applying angle addition, and using the given equal angles to derive the result.