Tam giác ABI nội tiếp đường tròn đường kính AI nên tam giác ABI vuông tại B.

=> IB ⊥ AB.

Lại có OE ⊥ AB (quan hệ đường kính và dây cung). Do đó OE // IB. Suy ra OEBI là hình thang.

Mà HK là đường trung bình của hình thang OEBI => HK // OE // IB => HK ⊥ EB.