Let AM meet Γ again at point Y, and let XY meet BC at point D′. By the same reasoning method, it suffices to prove that D=D′; we first prove the following lemma.
Lemma. Let the two diagonals of a cyclic quadrilateral PQRS meet at point T, then
TSQT=PS⋅SRPQ⋅QR.
Proof of Lemma. Denote the (signed) area of triangle W1W2W3 by [W1W2W3], then
TSQT=[PSR][PQR]=21PS⋅SRsin∠PSR21PQ⋅QRsin∠PQR=PS⋅SRPQ⋅QR
(since ∠PQR and ∠PSR are supplementary). This proves the lemma.
Applying the above lemma to quadrilaterals ABYC and XBYC respectively, we know
1=MCBM=AC⋅CYAB⋅BYandD′CBD′=XC⋅CYXB⋅BY.
Combining these two equations, we get
D′CBD′=XC⋅CYXB⋅BY=XC⋅ABXB⋅AC.(1)
Hence triangle XBF is similar to XCE, and we obtain
XCXB=CEBF.(2)

Since ∠FIB=∠AIB−90∘=21∠ACB=∠ICB and ∠FBI=∠IBC,
we get that triangle FBI is similar to IBC. Similarly, triangle EIC is also similar to IBC. Hence
IBFB=BCBIandICEC=BCIC.(3)
Now draw a line parallel to BC and tangent to the incircle, and let it meet sides AB and AC at points B1,C1 respectively. Also let the incircle be tangent to sides AB,AC at points B2,C2 respectively. By the homothety, line B1I is parallel to the external angle bisector of ∠ABC, so ∠B1IB=90∘. Also ∠BB2I=90∘, from which we know BB2⋅BB1=BI2. Similarly we know CC2⋅CC1=CI2. Therefore
CI2BI2=CC2⋅CC1BB2⋅BB1=CC1BB1⋅CDBD=ACAB⋅CDBD.(4)
Combining Eq. (1), Eq. (2), Eq. (3) and Eq. (4), we get
CD′BD′=XCXB⋅ABAC=CEBF⋅ABAC=CI2BI2⋅ABAC=CDBD,
hence D=D′. This completes the proof.