Solution:
Let a=BC, b=CA, c=AB. It is well-known (and follows from, say, Stewart's Theorem) that AM=a+cbc and AN=a+bbc.
Now, the distances from O to BC, AC, AB are Rcosα, Rcosβ, Rcosγ, respectively, where α,β,γ are the angles of △ABC, and R is the circumradius of ABC.
So, O is on line MN if and only if
[ANM]⟺[ABC]⋅ABAN⋅ACAM⟺(21aRcosα+21bRcosβ+21cRcosγ)⋅a+bb⋅a+cc=[ANO]+[AOM]=[ANO]+[AOM]
(Here we use [P] for the area of polygon P.) Next, recall that AE=ccosα, AF=bcosα. Thus I is on EF if and only if
[AFE]⟺[ABC]⋅ABAF⋅ACAE⟺21r(a+b+c)cos2α⟺(a+b+c)cosα=[AFI]+[AIE]=21r⋅ccosα+21r⋅bcosα=21r(b+c)cosα=b+c.
Because AC=AE+EC, we know b=ccosα+acosγ. Similarly, c=bcosα+acosβ. Thus I is on EF if and only if
(a+b+c)cosα⟺cosα=(ccosα+acosγ)+b(cosα+acosβ)=cosβ+cosγ.
This implies the result.