Do vẽ hình không nhập được kí tự O' nên mình đổi O' thành điểm M.
Gọi IO và IM cắt (O) VÀ (M) hay (O') tại lần lượt H;J
Ta có$\bigtriangleup EAF$ có $O;I;M$ lần lượt là trung điểm của $EA;EF;FA$
Dễ chứng minh được $\lozenge IOAM$ là hình bình hành$\Rightarrow \widehat{IOA}= \widehat{IMA}$$\Rightarrow \widehat{HOA}= \widehat{AMJ}$
Ta có $\bigtriangleup HOA$ cân tại O$\Rightarrow \widehat{OHA}= \widehat{OAH}= \frac{180-\widehat{HOA}}{2}$ (1)
Tương tự với $\bigtriangleup AMJ$ ta có$\widehat{JAM}= \widehat{AJM}= \frac{180-\widehat{AMJ}}{2}$(2)
Từ (1) và (2)$\Rightarrow \widehat{HAO}= \widehat{AJM}$
Mặt khác AO song song với JM (chứng minh trên )$\Rightarrow H;A;J$ thẳng hàng
Từ đây ta có$\widehat{OHA}= \widehat{MJA}$ Hay$\widehat{IHJ}= \widehat{IJH}$$\Rightarrow \bigtriangleup IHJ$ cân tại I $\Rightarrow IH=IJ\Rightarrow$ Đường tròn tâm $I$ bán kính IH (IJ)
tiếp xúc với (O) và (O') hay (M) (Vì I;O;H và I;M;J thẳng hàng)