点O是ABC三边垂直平分线的交点,角A=a,求角ABC和角BOC的关系