Fix circle with center $O$, diameter $AB$ and a point $C$ on it, different from $A, B$. Let a point $D$, different from $A, B$, vary on the arc $AB$ not containing $C$. Let $E$ lie on $CD$ such that $BE \perp CD$. Prove that $CE \cdot ED$ is maximal exactly when $BOED$ is cyclic.
Problem
Source: Italy MO 2023 P4
Tags: geometry
07.05.2023 22:11
I'm assuming $O$ is the center of the circle?
07.05.2023 22:29
lpieleanu wrote: I'm assuming $O$ is the center of the circle? a_507_bc wrote: Fix circle with center $O$, diameter $AB$ it says O is the center
07.05.2023 22:41
I edited it after his comment.
08.05.2023 01:07
Come on! This is an easy complex bash.
08.05.2023 01:57
Note that $BOED$ is cyclic iff $\angle BOD=90^{\circ}$. Now $CE\cdot ED=OA^2-OE^2$ and this is maximal iff $OE$ is minimal. As $D$ moves along arc $AB$, $E$ moves along a semicircle with radius $CB$ so $OE$ is minimal iff $E$ is the midpoint of arc $CB$ (of the semicircle). Finally $45^{\circ}=\angle ECB= \angle DCB= \angle DAB$ So $D$ is the midpoint of arc $AB$ equivalently $\angle DOB=90^{\circ}$.
Attachments:

08.05.2023 05:53
Note $B$ spirals $CE$ to $AD$ and $CA$ to $ED$. Hence $\frac{ED}{CA}=\frac{BD}{AB}$ and $\frac{EC}{AD}=\frac{BC}{AB}$. This means $$ED\times EC=\frac{BD\times BC\times CA\times AD}{AB^2}.$$The only thing that matters is $BD\times AD$, to maximise $D$ is the midpoint of arc.
08.05.2023 07:43
Let $a=-1,b=1$, wlog $C$ is on upper side and $D$ on the lower side in the argand plane. $e=\tfrac{1}{2}(1+c+d-cd)$ \[|c-e||d-e| = \frac 14|1-cd -c + d||1-cd + c-d| = \frac 14 |(1+d)(1-c)||(1+c)(1-d)| = \frac14|1-c^2||1-d^2|\]for a fixed $c$ this expression is maximized when $|1 - d^2| = 1 + |d^2| = 2$ (by triangle inequality) which occurs at $d=-i$ i.e. $DO\perp AB \implies BOED$ is cyclic.