Let k1,k2 and k3 be the incircles of triangles ABM,MNC, and NDA, respectively (see Figure 1). We shall show that the tangent h from C to k1 which is different from CB is also tangent to k3. ! Figure 1 To this end, let X denote the point of intersection of g and h. Then ABCX and ABCD are circumscribed quadrilaterals, whence
CD−CX=(AB+CD)−(AB+CX)=(BC+AD)−(BC+AX)=AD−AX
i.e.
AX+CD=CX+AD
which in turn reveals that the quadrilateral AXCD is also circumscribed. Thus h touches indeed the circle k3. Moreover, we find that ∠I3CI1=∠I3CX+∠XCI1=21(∠DCX+∠XCB)=21∠DCB=21(180∘−∠MCN)=180∘−∠MI2N=∠I3I2I1, from which we conclude that C,I1,I2,I3 are concyclic. Let now L1 and L3 be the reflection points of C with respect to the lines I2I3 and I1I2 respectively. Since I1I2 is the angle bisector of ∠NMC, it follows that L3 lies on g. By analogous reasoning, L1 lies on g. Let H be the orthocenter of △I1I2I3. We have ∠I2L3I1=∠I1CI2=∠I1I3I2=180∘−∠I1HI2, which entails that the quadrilateral I2HI1L3 is cyclic. Analogously, I3HL1I2 is cyclic. Then, working with oriented angles modulo 180∘, we have
∠L3HI2=∠L3I1I2=∠I2I1C=∠I2I3C=∠L1I3I2=∠L1HI2,
whence L1,L3, and H are collinear. By L1=L3, the claim follows.
Comment. The last part of the argument essentially reproves the following fact: The Simson line of a point P lying on the circumcircle of a triangle ABC with respect to that triangle bisects the line segment connecting P with the orthocenter of ABC.