Given triangle $ABC$ with the circumcircle $(O)$. An arbitrary line meets the sides $AC$, $AB$ at $D$, $E$, respectively, and meets $(O)$ at $P$ and $Q$. Let $BD$ meets $(O)$ at $M$, $CE$ meets $(O)$ at $N$. Let $I=MP\cap NQ$, $K=MN\cap PQ$. Prove that $AI\perp OK$.
It's obviously that $I$ lies on the polar of $K$, hence, we just need to show that $A$ lies on the polar of $K$ (we may prove that $AK$ is the tangent line of $(O)$). I've tried to use Pascal theorem for some hexagon inscribed the circle (such as $AAMNPQ$) but got stuck at lots of points. I'm wondering whether we can apply harmonic division or any lemma relating pole and polar to solve this problem. I need help with this, thank you so much!
