如何模拟尺规编程作已知线段的垂直平分线并证明作图的正确性

作已知线段的垂直平分线是五个基本作图操作之一，而用逻辑演绎法证明垂直平分线的过程就是在证明等腰三角形三线(顶角平分线、底边的中线和底边的高)的过程，这是一个极其重要的作图方式和证明过程，后续的很多作图操作都是基于本作图流程！