用向量证明三角形垂直平分线交于一点