O nằm trên đường trung trực của BC
=>OB=OC
O nằm trên đường trung trực của AD
=>OA=OD
Xét ΔOAB và ΔODC có
OA=OD
AB=DC
OB=OC
Do đó; ΔOAB=ΔODC
=>\(\hat{OBA}=\hat{OCD}\)
mà \(\hat{OCD}=\hat{OCB}=\hat{OBC}\) (ΔOBC cân tại O)
nên \(\hat{OBA}=\hat{OBC}\)
=>BO là phân giác của góc ABC
