垂线的性质：
①过一点有且只有一条直线与已知直线垂直;
②直线外一点有与直线上各点连结的所有线段中，垂线段最短;
线段垂直平分线定义：过线段的中点并且垂直于线段的直线叫做线段的垂直平分线;
线段垂直平分线的性质：线段垂直平分线上的点到线段两端点的距离相等，到线段两端点的距离相等的点在线段的垂直平分线;
垂线的性质：
①过一点有且只有一条直线与已知直线垂直;
②直线外一点有与直线上各点连结的所有线段中，垂线段最短;
线段垂直平分线定义：过线段的中点并且垂直于线段的直线叫做线段的垂直平分线;
线段垂直平分线的性质：线段垂直平分线上的点到线段两端点的距离相等，到线段两端点的距离相等的点在线段的垂直平分线;