证明一个三角形三条边的垂直平分线交于一点