a) Xét \(\Delta OHA\) và \(\Delta OKB\) có:
+) \(\widehat {OHA} = \widehat {OKB} = {90^o}\) (giả thiết)
+) \(\widehat O\) chung,
+) OA = OB (giả thiết)
Vậy \(\Delta OHA = \Delta OKB\) (g.c.g).
b) Xét \(\Delta OKI\) và \(\Delta OHI\) có
+) \(\widehat {OKI} = \widehat {OHI} = {90^o}\)(giả thiết),
+) OK = OH \(\left( {\Delta OKB = \Delta OHA} \right)\),
+) OI cạnh chung
Do đó \(\Delta OKI = \Delta OHI\)(ch.cgv)
\( \Rightarrow \widehat {IOK} = \widehat {IOH}\) (góc tương ứng) hay OI là tia phân giác của \(\widehat {xOy}.\)
