Xét ΔABM vuông tại M và ΔACI vuông tại I có
góc BAM chung
=>ΔABM đồng dạng với ΔACI
Ta có:
`hat{BAM}=\hat{CAI}` (vì cả hai đều bằng góc nội tiếp cùng nhìn vào cung `AC`)
`hat{ABM}=hat{AIC}=90^o` (vì `BM` vuông góc với `AC` và `CI` vuông góc với `AB`)
Và `hat{BMA}=hat{CIA}` (vì chúng là các góc đối diện với cạnh `AB`)
`=>` Theo góc-góc, ta có `△ABM` đồng dạng `△ACI`