因为AB=AC
所以∠ABC=∠ACB
又因为BD平分∠ABC
CE平分∠ACB
所以∠DBC=∠ECB
所以在三角形OBC中
OB=OC
即三角形OBC是等腰三角形
其垂直平分线过以O点为顶点的高
即O在其垂直平分线上