Question 130
A triangle $\triangle A B C$ with $\angle C=90^{\circ}$ is given. The midpoint of $A C$ is called $D$, and the perpendicular projection of $C$ onto $B D$ is called $E$. Prove that the tangent at $C$ to the circumcircle of $\triangle A E C$ is perpendicular to $A B$.
