三角形abc中,o为三边垂直平分线的交点.1 角ABC=45度,