Sea $ABCD$ un cuadrado. Los puntos $X$ en el lado $AB$ e $Y$ en el lado $AD$ satisfacen $AX \cdot AY = 2 \, BX \cdot DY$. Las rectas $CX$ y $CY$ cortan la diagonal $BD$ en dos puntos. Probar que esos puntos pertenecen a la circunferencia circunscrita de $AXY$.