Let $ABCD$ be a square with centre $O$. Let $M$ lie on $AB$, distinct from $A,B$. The line through $M$ parallel to $BD$ meets $AC$ at $N$. Lines $DN$ and $CM$ meet at $E$, and $DN$ meets $AB$ at $F$.
a) Prove that angle $DEC$ is constant as $M$ varies.
b) Prove that $E$ lies on the circle with centre $O$ and radius $OA$.
Let the isosceles trapezoid $ABCD$, with $AB\parallel CD$ and $AB\lt CD$, be inscribed in a circle with centre $O$. Let $K$ be the intersection of its diagonals. Let $M,N$ be the circumcentres of triangles $KAB,KCD$, respectively, and let $P,Q$ be the circumcentres of $KAD,KBC$, respectively.