垂直平分线性质定理 符号表达式是先说平分底边和垂直后三角形两边相等?还是说两边相等和垂直推平分底边?