a) Xét ΔOHA vuông tại H và ΔOKB vuông tại K có
OA=OB(gt)
\(\widehat{AOH}\) chung
Do đó: ΔOHA=ΔOKB(cạnh huyền-góc nhọn)
b)
Xét ΔOAB có OA=OB(gt)
nên ΔOAB cân tại O(Định nghĩa tam giác cân)
Xét ΔAHB vuông tại H và ΔBKA vuông tại K có
BA chung
\(\widehat{ABH}=\widehat{BAK}\)(hai góc ở đáy của ΔOAB cân tại O)
Do đó: ΔAHB=ΔBKA(cạnh huyền-góc nhọn)
Suy ra: \(\widehat{HAB}=\widehat{KBA}\)(hai góc tương ứng)
hay \(\widehat{IAB}=\widehat{IBA}\)
Xét ΔIBA có \(\widehat{IAB}=\widehat{IBA}\)(cmt)
nên ΔIBA cân tại I(Định lí đảo của tam giác cân)
Suy ra: IA=IB(hai cạnh bên)
Xét ΔOIA và ΔOIB có
OI chungIA=IB(cmt)
OA=OB(Gt)
Do đó: ΔOIA=ΔOIB(c-c-c)
Suy ra: \(\widehat{AOI}=\widehat{BOI}\)(hai góc tương ứng)
hay \(\widehat{xOI}=\widehat{yOI}\)
mà tia OI nằm giữa hai tia Ox, Oy
nên OI là tia phân giác của \(\widehat{xOy}\)(đpcm)