a: Xét ΔAKB vuông tại K và ΔCAB vuông tại A có
góc B chung
=>ΔAKB đồng dạng với ΔCAB
b: Xét ΔBAC có BO/BC=BI/BA
nên OI//AC
=>OI vuông góc AB
Xét ΔBIO vuông tại I và ΔBKA vuông tại K có
góc B chung
=>ΔBIO đồng dạng với ΔBKA
=>BI/BK=BO/BA
=>BI*BA=BK*BO