MathDB

4

Part of 2023 ITAMO

Problems(1)

A point variable on a semi-circle

Source: Italy MO 2023 P4

5/7/2023
Fix circle with center OO, diameter ABAB and a point CC on it, different from A,BA, B. Let a point DD, different from A,BA, B, vary on the arc ABAB not containing CC. Let EE lie on CDCD such that BE⊥CDBE \perp CD. Prove that CE⋅EDCE \cdot ED is maximal exactly when BOEDBOED is cyclic.
geometry