垂直平分线的交点叫什么