Xét tam giác AOH và tam giác BOH có
OH chung
\(\widehat{BOH}=\widehat{AOH}\\ \widehat{OAH}=\widehat{OBH}=90^o\)
--> tam giác AOH = tam giác BoH (gcg)
=> AH = BH ( 2 cạnh tương ứng )
mà
EK = FK
=> OK là phân giác của \(\widehat{EOF}\)
Mà lại có OH là phân giác \(\stackrel\frown{AOB}\)
--> K, O, H thẳng hàng

