a) Let T be the projection of A on GD, it is well known that T is the second intersection of (AEF) and (O). We observe that △TEB∼△TFC then
TCTB=CFBE.

On the other hand,
CFBE=IBBE⋅CFIC=cosABCcosACB=CDBD,
which implies that TBDC is a harmonic quadrilateral, or TD passes through K, which is the intersection of the tangents at B,C of (O).
b) Let X,Y be the intersections of KB,KC with IN,IM, respectively. The tangents at B,C of (O) meet the tangent at A at X′,Y′. Because IX∥OX′ and IY∥OY′, then
△KX′Y′∼△KXY
with O,I are corresponding. Note that O is the incenter of KX′Y′, it implies that I is the incenter of triangle KXY.
Let (KXY) meet IY,IX at R,S respectively. Clearly, R,S are the circumcenters of triangles KIX and KIY. Hence, RS is the perpendicular bisector of IK or H lies on RS. Applying Pascal's theorem for (KSXYRK), we obtain that the tangent at K of (KXY), RS and MN are concurrent, which means KH is the tangent of (KXY). By angle chasing, we have
∠HIK=∠HKI=∠HKB+∠BKI=∠KYX+90∘−∠BAC=270∘−2∠ABC−∠BAC=90∘+∠ACB−∠ABC
also, ∠(AO,BC)=∠OAC+∠ACB=90∘−∠ABC+∠ACB=∠HIK. Note that IK⊥BC, thus IH⊥AO. Hence, PBQC is cyclic or I has the same power to (ABC) and (APQ), which means AI passes through the second intersection of (APQ) and (O). □