1: Xét tứ giác BHEK có
\(\widehat{BHE}+\widehat{BKE}=180^0\)
Do đó: BHEK là tứ giác nội tiếp
2: Xét ΔBEC vuông tại E có EK là đường cao
nên \(BK\cdot BC=BE^2\left(1\right)\)
Xét ΔBEA vuông tại E có EH là đường cao
nên \(BH\cdot BA=BE^2\left(2\right)\)
Từ (1) và (2) suy ra \(BH\cdot BA=BK\cdot BC\)