作已知线段的垂直平分线