垂直平分线

线段的垂直平分线是经过其中点并与线段垂直的直线。垂直平分线上的每个点到线段两个端点的距离都相等。证明这一点需要同时用到两个定义：中点的定义给出相等的两段，而垂直的定义说明垂直的直线构成直角。

这里 CD ⊥ AB，根据定义可以得到 D 点处的两个直角，每条直线对应一个。要证明这个定理，你需要把这两个直角与中点分出的两段，以及两个三角形共有的边结合起来。证明过程很长，但每一步的理由都是你已经知道的。