`a)`
Xét `2Δ` vuông `HBC` và `KCB` có:
`BC` cạnh chung
`hat{HCB}=hat{KBC}`(t/c`Δ` cân)
`⇒ΔHBC=ΔKCB`(cạnh huyền-góc nhọn)
`⇒CH=BK`(`2` cạnh tương ứng)
`b)`
Xét `2ΔHBC` và `IAC` có:
`hat{C}` chung
`hat{BHC}=hat{AIC}=90^o`
`⇒ΔHBC`$\backsim$`ΔIAC`
`⇒(HC)/(IC)=(BC)/(AC)`
`⇒HC.AC=IC.BC`