a: Xét tứ giác BEMC có
góc BEC=góc BMC=90 độ
=>BEMC là tứ giác nội tiếp
b: AEHM; BEHI;CIHM;AEIC; BIMA
c: Xét (O) có
ΔACK nội tiếp
AK là đường kính
=>ΔACK vuông tại C
Xét ΔACK vuông tại C và ΔAIB vuông tại I có
góc AKC=góc ABI
=>ΔACK đồng dạng vơi ΔAIB
=>AC/AI=AK/AB
=>AC*AB=AK*AI