Xét (O1) ta có
^ACE = ^AEF ( góc nt tiếp chắn cung AE, góc taọ bởi tiếp tuyến chắn cung AE )
^ACE = ^IEF (đồng vị do CD // EF )
=> ^AEF = ^IEF
Tương tự xét (O2) ta có ^AFE = ^IFE
Xét tam giác AEF và tam giác IEF ta có
^AEF = ^IEF (cmt) ; ^AFE = ^IFE (cmt) ; EF chung
Vậy tam giác AEF = tam giác IEF (g.c.g)