RU-SPB 2015 Problem 92

$AB=CD,AD \parallel BC$ and $AD>BC$ . $\Omega$ is circumcircle of $ABCD$ . Point $E$ is on $\Omega$ such that $BE \perp AD$ . Prove that $AE+BC>DE$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.