有有没有定理或公理可以证明等边三角形的垂直线是它的中点