Xét tứ giác OECF có
góc OEC+góc OFC=180 độ
nên OECF là tứ giác nội tiếp(1)
ΔOAB cân tại O
mà OH là đường trung tuyến
nên OH vuông góc với AB
Xét tứ giác OHCF có
góc OHC+góc OFC=180 độ
nên OHCF là tứ giác nội tiếp(2)
Từ (1), (2) suy ra O,H,E,C,F cùng thuộc 1 đường tròn