4 En el hexágono convexo $ABCYXD$ tenemos $$\angle{ACY}=\angle{BDX}=90^\circ$$ $$\angle{BAC}=2\angle{CAY}, \angle{ABD}=2\angle{DBX}$$ $$XY=DX+CY$$ Demuestra que $$\sqrt{(CD-DX)(CD-CY)} \le \frac{AC+BD-AB}{2}$$ Propuesto por Iman Maghsoudi - Irán