定理：线段的垂直平分线上的点和这条线段两个端点的距离相等。