Ta có: AI ⊥ EF (gt)
BK ⊥ EF (gt)
Suy ra: AI // BK
Suy ra tứ giác ABKI là hình thang
Kẻ OH ⊥ EF
Suy ra: OH // AI // BK
Ta có: OA = OB (= R)
Suy ra: HI = HK
Hay: HE + EI = HF + FK (1)
Lại có: HE = HF (đường kính dây cung) (2)
Từ (1) và (2) suy ra: IE = KF