线段垂直平分线上的点到(两端点距离)相等；到一条线段(两端点距离相等)的点,在这条线段的垂直平分线上