线段垂直平分线等距定理：GeoGebra 几何作图

本范例演示如何通过作图得到一条线段的垂直平分线，并展示其上任一点到线段两端点的距离相等，从而体现等距定理（Equidistance Theorems）的图形现象。核心数学概念包括：线段的垂直平分线、点到点距离相等的几何刻画、基本几何作图（以角度/垂直关系为关键）。作图要点可从构造摘要提炼：使用 GeoGebra 的 Segment 创建线段（对象 A、B，形成 AD、BD 所对应的距离/连线元素），用 Point 指定关键点（如 C、E、D 等），用 Angle 构造并约束垂直/等角相关的几何关系（对象 f、g、α、以及用于显示的 text1），并利用所得对象生成垂直平分线与等距点集的可视化效果。该示例适合中学几何教学与几何作图训练，也可用于课堂探究活动、补充教材与自学演示。