在三角形ABC中,AB=AC,BD、CE分别为角ABC和角ACB的平分线,DB、CE相交于O求证O在BC的垂直平分线上