a) Xét Tàm giác vuông OBK và Tam giác vuông OAH có :
OA = OB (GT)
<O chung
=> Tam giác vuông OBK = Tam giác vuông OAH ( cạnh góc vuông - góc nhọn kề )
=> OH = OK (2CTU)
Xét Tam giác OHK có :
OH = OK
=> Tam giác OHK cân tại O (dpcm)
b) Vì Tam giác OBK và Tam giác OAH (cmt)
=> <OKB = <OHA (2GTU)
TC : OH = OK (cmt)
OA = OB (GT)
mà OH = OB + BH
OK = OA + AK
=> AK = BH
Xét Tam giác vuông AIK và Tam giác vuông BIH
AK = BH
<OKB = <OHA
=> Tam giác vuông AIK = Tam giác vuông BIH ( cạnh góc vuông - góc nhọn kề)
=> AI = BI (2CTU)
Xét Tam giác OAI = Tam giác OBI có :
OA = OB (GT)
OI chung
AI = BI (cmt)
=> Tam giác OAI = Tam giác OBI (c.c.c)
=> <AOI = <BOI (2GTU)
=> OI là tia phân giác của <xOy (dpcm)