Ta có góc AEB là góc nội tiếp chắn nửa đường tròn => góc AEB = 90 độ
Tam giác HEM vuông tại E có :
IE là đường trung tuyến ( I là trung điểm HM) => IE = 1/2.HM
C/m tương tự , ta dc IF = 1/2.HM vậy IE = IF (1)
Mà OE = OF ( =R) nên OI là đường trung trực của EF => OI vuông góc với EF