a, AH cắt BC tại D; SK cắt BC tại D'. SA _I_ (ABC) => SA _I_ BC 
{ BC _I_ SA mà BC _I_ AD => BC _I_ (SAD) (1) 
{ BC _I_ SA mà BC _I_ SD' => BC _I_ (SAD') (2) 
(1) và (2) => (SAD') trùng (SAD) => D' trùng D => AH; SK; BC đồng quy 
b. SA _I_ (ABC) => SA _I_ BH mà AC _I_ BH => BH _I_ (SAC) => BH _I_ SC (3) 
và BK _I_ SC (4) 
Từ (3) và (4) => SC _I_ (BHK) 
c. Theo câu a. BC _I_ (SAD) => BC _I_ HK (5) 
Theo câu b. SC _I_ (BHK) => SC _I_ HK (6) 
Từ (5) và (6) => HK _I_ (SBC)