1)
We have
∠EGF=∠BGE+∠CGF−∠EGF=360∘−2∠BAC−(180∘−2∠BAC)=180∘
then three points E,G,F are collinear. Since ∠ABK+∠ACK=∠AGE+∠AGF=180∘ then K belongs to the circle (O).
It is easy to check that G is the Miquel point then two triangles GBA and GKC are similar, which implies that ∠BGA=∠KGC. We also have GO is the angle bisector of ∠BGC then GO is the angle bisector of ∠AGK. Combine with OA=OK, we can conclude that AOKG is cyclic quadrilateral. Consider the radical axis of circles (O),(AOKG),(BOC), we can see that AK,OG and BC are concurrent.
2)
In this part, we just need (O),(I) are two fixed circles that pass through B,C, point D is fixed on (I) while G moves on (I). By applying Pascal's theorem for the tuple (BCCBDG), one can check that the line MN passes through the intersection of the tangent line at B,C, namely J of the fixed circle (I). Suppose that JD meet (I) at the second point X then X is the fixed point and the quadrilateral BCDX is harmonic then G(BC,DX)=−1. Denote T as the intersection of MN and BC then G(BC,DT)=−1, which means GX passes through T. Thus
TX⋅TG=TB⋅TC=TP⋅TQ.
This implies that (GPQ) passes through the fixed point X. Suppose that Y is the intersection of (GPQ) and DX (which differs from X) then
JX⋅JY=JP⋅JQ=PJ/(O)
which is a constant then Y is fixed. Therefore, the circles (GPQ) passes through two fixed points X,Y.