线段的中垂面有哪些性质