Kẻ EM ; FN vuông góc với AH

+)Tam giác EMA vuông tại M => góc MEA + EAM = 90o

Mà góc BAH + EAM = 90o (do góc BAE = 90o) nên góc MEA = BAH

Xét tam giác vuông BAH  và AEM có: BA = AE; góc BAH = AEM 

=> tam giác BAH = AEM ( cạnh huyền - góc nhọn)

=> EM  = AH  (1)

+) Tương tự, ta chứng minh tam giác vuông AHC = tam giác vuông FNA ( cạnh huyền - góc nhọn)

=> AH = FN    (2)

Từ (1)(2) => EM = FN

+) EM // FN (vì cùng vuông góc với AH) => góc MEO = NFO ( SLT)

+) Xét tam giác vuông MEO và NFO có: MEO = NFO; ME = NF; góc EMO = FNO (=90o)

=> tam giác MEO = tam giác  NFO ( g - c- g)

=> OE = OF => O là trung điểm của EF