KöMaL 2025 B5439

Rectangle $ABCD$ satisfies $AD<AB<2AD$. Let point $O$ be chosen on side $AB$ satisfying $OB=AD$. The circle with center $O$ and radius $OB$ intersects side $AD$ at point $E$. Prove that the area of rectangle $ABCD$ equals $BE^2/2$.