线段垂直平分线上的点到相等