Gọi J là trung điểm EK => OJ _|_ EK (*)
Ta có ^AEK = ^HBK (1) và ^AKE = ^ABE = ^BAC = ^BKH (2)
(1) và (2) => ∆AEK ~ ∆HBK (g.g) => AE/HB = EK/BK <=> AE/(AB/2) = (2EJ)/BK <=> AE/AB = EJ/BK (3)
(1) và (3) => ∆AEJ ~ ∆ABK (g. cạnh tương ứng tỷ lệ) => ^AJE = ^AKB = ^SAB (3)
Tương tư : ^BJE = ^AKB = ^SBA (4)
(3) và (4) => ^AJB = ^AJE + ^BJE = ^SAB + ^SBA = 180o - ^ASB => SAJB nội tiếp đường tròn đk SO => OJ _|_ SJ (**)
Từ (*) và (**) => đpcm
ý chứng minh tương tự làm như thế nào?