Xét tứ giác MIOK có
\(\widehat{MIO}+\widehat{MKO}=90^0+90^0=180^0\)
=>MIOK là tứ giác nội tiếp
=>M,I,O,K cùng thuộc một đường tròn
lấy A là trung điểm của OM,xét tam giác OMI có:
A là trung điểm của OM
O,M,I thuộc 1 đường tròn. (1)
Xét tam giác OMK có A là trung điểm của OM
O,M,K thuộc 1 đường tròn (2)
từ (1) và (2) suy ra 4 điểm M,I,O,K cùng thuộc 1 đường tròn