“连接垂直平分线上的点到线段两端的点构成的角,垂直平分线就是这个角的角平分线”这个东西是在哪里面提到,完整的是什么?