Let $A$ and $B$ be points, and let $C$ be a point that varies on the open semicircle with diameter $AB$. Construct squares externally on sides $AC$ and $BC$, and let $D$ and $E$ be the centers of these squares, respectively. Find the locus of the midpoint $M$ of $DE$.
I found that the locus of $M$ is the upper half of the inscribed circle in the semicircle with $AB$ as the diameter, however, I am having trouble proving it, and proving that there are no other places where $M$ can exist. Can I have a hint as to how to prove it geometrically? Thanks!
Hints:
Let $O$ the midpoint of $AB$ and $Y$ the point where line $DC$ intercepts the circle$(O, OA)$.
Show that $C$ is a point of $DE$.
Show that $m(\angle AOY)=90 ^{\circ}$. Use the inscribed angle theorem.
Show that $m(\angle DMO)=90 ^{\circ}$.
So, if $Y$ and $O$ are fixed points and $OMY$ is a right-angled triangle, what comes after?