Do EI là tiếp tuyến của (O) tại I
⇒ EI OI
⇒ ∆OEI vuông tại I
⇒ O, E, I cùng thuộc đường tròn đường kính OE (1)
Do EK là tiếp tuyến của (O) tại K
⇒ EK OK
⇒ ∆OEK vuông tại K
⇒ O, E, K cùng thuộc đường tròn đường kính OE (2)
Từ (1) và (2) suy ra E, I, O, K cùng thuộc đường tròn đường kính OE