Given triangle $ ABC$ and its circumcircle $ \Gamma$, let $ M$ and $ N$ be the midpoints of arcs $ BC$ (that does not contain $ A$) and $ CA$ (that does not contain $ B$), repsectively. Let $ X$ be a variable point on arc $ AB$ that does not contain $ C$. Let $ O_1$ and $ O_2$ be the incenter of triangle $ XAC$ and $ XBC$, respectively. Let the circumcircle of triangle $ XO_1O_2$ meets $ \Gamma$ at $ Q$. (a) Prove that $ QNO_1$ and $ QMO_2$ are similar. (b) Find the locus of $ Q$ as $ X$ varies.