17 $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$, demuestra que $AB=DE$ o $AB=2AE$.