Gọi H là giao điểm của AB và OO’

Vì OO’ là đường trung trực của AB nên OO’ ⊥ AB tại H

Ta có: HA = HB

I là trung điểm của OO’ nên IH ⊥ AB     (1)

Trong tam giác ABK, ta có:

HA = HB (chứng minh trên)

IA = IK (tính chất đối xứng tâm)

Suy ra IH là đường trung bình của tam giác ABK

Suy ra IH // BK     (2)

Từ (1) và (2) suy ra: AB ⊥ KB