Gọi K là giao điểm của AD và BC
I là giao điểm của OD và BC
Có: AOD + DOC = AOC = 90o
COD + BOC = BOD = 90o
Do đó, AOD = BOC
Xét t/g AOD và t/g COB có:
OA = OC (gt)
AOD = COB (cmt)
OD = OB (gt)
Do đó, t/g AOD = t/g COB (c.g.c)
=> ADO = CBO (2 góc tương ứng) (1)
Lại có: KID = BIO ( đối đỉnh)
Kết hợp với (1) suy ra ADO + KID = CBO + BIO
Mà CBO + BIO = 90o (do tam giác IOB vuông tại O)
Nên ADO + KID = 90o
Dễ dàng tính được IKD = 90o
hay AD _|_ BC (đpcm)