On a circle , four points , , , lie in that order. Prove that if and only if at least one of and is the midpoint of arc .
Solution
1. Given: Four points lie on a circle in that order. We need to prove that if and only if at least one of and is the midpoint of arc .
2. **Construct a point **: Create a point on the arc which does not contain such that and .
3. Apply Ptolemy's Theorem: According to Ptolemy's Theorem, for a cyclic quadrilateral , the sum of the products of its two pairs of opposite sides is equal to the product of its diagonals:
Here, we need to show that .
4. Rearrange the given condition: The given condition is . We can rewrite this as:
By Ptolemy's Theorem, we have:
Therefore, if , then:
Simplifying, we get:
5. Consider configurations: We need to consider the configurations where or is the midpoint of arc . If is the midpoint of arc , then and . Similarly, if is the midpoint of arc , then and .
6. Verify the condition: If is the midpoint of arc , then:
Since and , we have:
Similarly, if is the midpoint of arc , then:
Since and , we have:
7. Conclusion: Therefore, the given condition holds if and only if at least one of and is the midpoint of arc .