$ABCDE$ es un pentágono convexo con $BD=CD=AC$ , y $B$ , $C$ , $D$ , $E$ son concíclicos. Si $\angle BAC+\angle AED=180^{\circ}$ y $\angle DCA=\angle BDE$ , pruebe que $AB=DE$ o $AB=2AE$ .