MathDB
A point variable on a semi-circle

Source: Italy MO 2023 P4

May 7, 2023
geometry

Problem Statement

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 BECDBE \perp CD. Prove that CEEDCE \cdot ED is maximal exactly when BOEDBOED is cyclic.