Let in triangle ABC, points Ia, H, and D be the A-excenter, foot of the altitude from A, and foot of the angle bisector from A, respectively. Since (AD,IIa)=−1 and ∠AHD=90∘, we have ∠IHD=∠DHIa. Further, AIHQ is cyclic, So ∠QAI=∠IHD, hence ∠QAI=∠DHIa and △QAI∼△IaHE. We know ∠AHE∼∠FAI, therefore ∠QIF∼∠IaEA and we have
∠FQI=∠AIaE=∠IQB.
Now let ω be the circle centered at M, has the radius MB=MC, and X and Y be the intersections of line FQ with AB and AC, respectively. Point I lies on the angle bisector of ∠QYC, since I lies on the angle bisector of ∠YQB and ∠YCQ. Therefore Y, I, and Oc are collinear, where Oc is the center of ωc. Now we have
∠IOcC=90∘−21∠QYC=21(∠YQC+∠YCQ)=∠IQB+∠ICB=21(∠B−∠C)+21∠C=21∠B
Therefore Oc lies on ω. Similarly we can show that Ob lies on ω, where Ob is the center of ωb. Notice that I is the A-excenter of triangle AXY so
∠ObIOc=∠YIX=90−21∠A=∠BIaC,
hence BOb=COc. Finally
PωbM=MOb2−ObB2=MOc2−OcC2=PωcM,
we are done.