Ta có OO' là đường nối tâm của (O) và (O') nên OO' là đường trung trực của AB.
Suy ra IE ⊥ AB và EA = EB
Ta lại có IA = IK (do K là điểm đối xứng của A qua I).
Nên IE là đường trung bình của tam giác AKB.
Suy ra IE // KB
Mà IE ⊥ AB
Suy ra KB ⊥ AB (đpcm)