证明线段的中垂线垂直于该线段且过其中点。