把命题“线段垂直平分线上的点到这条线段的两个端点的距离相等”改写成“如果…，那么…．”的形式．