设线段AB,到这两点距离相等的点为C,过C向AB引垂线,垂足为H.\x0d由于<AHC=<BHC,AC=BC,CH=CH,根据三角形全等的判断定理（HL）,三角形AHC全等于三角形BHC,所以AH=BH,且CH垂直AB,这是构作的,因此CH垂直平分AB,即C在AB中垂线上.