a: Xét tứ giác BKCI có
O là trung điểm của BC
O là trung điểm của KI
Do đó: BKCI là hình bình hành
Suy ra: BI//CK
hay BI\(\perp\)AB
b: Xét ΔAEB vuông tạiE và ΔAFC vuông tại F có
góc EAB chung
Do đó: ΔAEB\(\sim\)ΔAFC
SUy ra: AE/AF=AB/AC
hay \(AE\cdot AC=AB\cdot AF\)