a/ Xét 2 tg vuông: tg OMA và tg OMB có:
OM: chung
MOA^ = MOB^ (gt)
=> tg OMA = tg OMB (ch - gn)
=> OA = OB
=> tg OBA cân tại O (đpcm)
b/ kcj để cm
c/ Xét tg OAI và tg OBI có:
BOI^ = AOI^ (gt)
OA = OB (đã cm)
OAB^ = OBA^ (tg OBA cân)
=> tg OAI = tg OBI (gcg)
=> IA = IB
và OIA^ = OIB^
mà OIA^ + OIB^ = 180o (kề bù)
=> OIA^ = OIB^ = 90o
=> OM _l_ AB (đpcm)