Ta có`:` $\triangle$`ABO` vuông tại B `(hat(ABO) = 90^o` do `OB \bot BA` $(gt))$

`=>` `A,B,O` $\in$  đường tròn đường kính `OA_((1)`

Ta có`:` $\triangle$`AIO` vuông tại B `(hat(AIO) = 90^o` do `OI \bot AE` $(gt))$

`=>` `A,I,O` $\in$ đường tròn đường kính `OA_((2)`

Từ `(1)` và `(2)` ta có`:`

`=>` `A,B,I,O` $\in$ đường tròn đường kính `OA`