a: Xét tứ giác BKIC có
\(\widehat{BKC}=\widehat{BIC}=90^0\)
Do đó: BKIC là tứ giác nội tiếp
hay \(\widehat{KIB}=\widehat{KCB}\) và \(\widehat{KIC}+\widehat{ABC}=180^0\)
hay \(\widehat{AIK}=\widehat{ABC}\)
b: Xét ΔABI vuông tại I và ΔACK vuông tại K có
\(\widehat{KAC}\) chung
Do đó: ΔABI\(\sim\)ΔACK
Suy ra: AB/AC=AI/AK
hay \(AB\cdot AK=AI\cdot AC\)