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