定义：经过线段的中点，且与这条线段垂直的直线是这条线段的垂直平分线，性质：线段垂直平分线上的点到这条线段的两个端点的距离相等。判定：到一条线段的两个端点的距离相等的点在这条线段的垂直平分线上。性质是由点到距离，判定是由距离到点位置。
