TanNguyen23

 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 

Nguồn: tanphat1002