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)