表示距A、B两定点距离相等的点P的集合是AB线段的垂直平分线, 即点集M包含了所有该垂直平分线上的点,或 AB线段上的所有点都是M的元素.
证明:若知道PA=PB,作PD⊥AB,则PD就是AB的垂直平分线,
反过来,已知AB的垂直平分线m,P是m上一点,则PA=PB(两个直角三角形全等).
表示距A、B两定点距离相等的点P的集合是AB线段的垂直平分线, 即点集M包含了所有该垂直平分线上的点,或 AB线段上的所有点都是M的元素.
证明:若知道PA=PB,作PD⊥AB,则PD就是AB的垂直平分线,
反过来,已知AB的垂直平分线m,P是m上一点,则PA=PB(两个直角三角形全等).