Since ∠CIIa=∠BIIa=90∘ the excenter Ia belongs to the circumcircle of the triangle BIC. Moreover in the triangle CDA, CI,CIa are the internal and external bisector, respectively, and therefore the points A,D are the conjugate harmonics of the points I,Ia. Since M is the midpoint of the segment AD, from the relation of Newton we have:
MA2=MI⋅MIa.(1)
Taking the power of M with respect to the circle (I,B,C) we have:
MI⋅MIa=MF⋅MB.(2)
From (1) and (2) it follows that:
MA2=MF⋅MB,
Which means that MA is tangent of the circumcircle of the triangle AFB. Therefore
∠MBA=∠FAM.(3)
and finally
∠FAC+∠FCA=∠FAM+2∠A+∠FCI+2∠C=(3)∠MBA+2∠A+∠FBI+2∠C=2∠A+2∠B+2∠C=90∘.
Hence: AF⊥FC.

Figure 2
We draw from C the parallel line to the bisector AD which meets the line AB at point N and the line AM at point Z. Taking angle equalities we have:
∠ACN=∠DAC=2∠A,∠ANC=∠BAD=2∠A
And so the triangle ACN is isosceles. Since M is the midpoint of AD it follows that Z is the midpoint of CN. Hence AZ⊥CN⇒∠AZC=90∘.
Therefore, in order to have ∠AFC=90∘, it is enough to prove that the quadrilateral CFAZ is cyclic. In fact, we have
∠CFZ=180∘−∠BFC=180∘−∠BIC=180∘−(90∘+2∠A)=90∘−2∠A=∠CAZ.

Figure 3