Maths Olympiad Prep

Library / /382 of 520

Geometry Difficulty 7.2 National olympiad, round 2 Prove it

On a circle ω1\omega_1, four points AA, CC, BB, DD lie in that order. Prove that CD2=ACBC+ADBDCD^2 = AC \cdot BC + AD \cdot BD if and only if at least one of CC and DD is the midpoint of arc ABAB.

Solution

1. Given: Four points A,C,B,D A, C, B, D lie on a circle ω1\omega_1 in that order. We need to prove that CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD if and only if at least one of C C and D D is the midpoint of arc AB AB .

2. **Construct a point B B' **: Create a point B B' on the arc CD CD which does not contain A A such that BD=CB B'D = CB and BC=BD B'C = BD .

3. Apply Ptolemy's Theorem: According to Ptolemy's Theorem, for a cyclic quadrilateral ABCD ABCD , the sum of the products of its two pairs of opposite sides is equal to the product of its diagonals:
ACBD+ADBC=ABCD AC \cdot BD + AD \cdot BC = AB \cdot CD
Here, we need to show that AB=CD AB' = CD .

4. Rearrange the given condition: The given condition is CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD . We can rewrite this as:
CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD
By Ptolemy's Theorem, we have:
ACBD+ADBC=ABCD AC \cdot BD + AD \cdot BC = AB \cdot CD
Therefore, if AB=CD AB' = CD , then:
CD2=ABCD CD^2 = AB' \cdot CD
Simplifying, we get:
CD=AB CD = AB'

5. Consider configurations: We need to consider the configurations where C C or D D is the midpoint of arc AB AB . If C C is the midpoint of arc AB AB , then AC=BC AC = BC and AD=BD AD = BD . Similarly, if D D is the midpoint of arc AB AB , then AD=BD AD = BD and AC=BC AC = BC .

6. Verify the condition: If C C is the midpoint of arc AB AB , then:
CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD
Since AC=BC AC = BC and AD=BD AD = BD , we have:
CD2=AC2+AD2 CD^2 = AC^2 + AD^2
Similarly, if D D is the midpoint of arc AB AB , then:
CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD
Since AC=BC AC = BC and AD=BD AD = BD , we have:
CD2=AC2+AD2 CD^2 = AC^2 + AD^2

7. Conclusion: Therefore, the given condition CD2=ACBC+ADBD CD^2 = AC \cdot BC + AD \cdot BD holds if and only if at least one of C C and D D is the midpoint of arc AB AB .

\blacksquare

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.