MathNet 2008-part-05 — 164 problems (EN–VI) Question 39

Cyclic pentagon $A B C D E$ has a right angle $\angle A B C = 90^{\circ}$ and side lengths $A B = 15$ and $B C = 20$. Supposing that $A B = D E = E A$, find $C D$.