a: góc OBA+góc OCA=90+90=180 độ
=>ABOC nội tiếp
ΔOED cân tại O
mà OI là trung tuyến
nen OI vuông góc ED
góc OIA+góc OCA=180 độ
=>OIAC nội tiếp
góc OBA=góc OIA=90 độ
=>OIBA nội tiếp
góc OBA=góc OIA=góc OCA=90 độ
=>O,B,I,A,C cùng thuộc đường tròn đường kính OA
=>BOIC nội tiếp