Suppose a triangle $\vartriangle ABC$ with $\angle C = 90^o$ is given. Let $D$ be the midpoint of $AC$, and let $E$ be the foot of the altitude through $C$ on $BD$. Show that the tangent in $C$ of the circumcircle of $\vartriangle AEC$ is perpendicular to $AB$.