定理线段垂直平分线上的点和这条线段两个端点的距离相等．同数学语言表示：如图1，直线ｌ上AB于CAC＝BC）。PA。PB．点P在l上J逆定理和一条线段两个端点距离相等的点，在这条线段的垂直平分线上．用数学语言表示：如图1，PA二PBrt点P在AB的垂直平分线上．定理提供了判定两条线 The point on the vertical bisector of the line segment of the theorem is equal to the distance between the two endpoints of this line segment. In the same mathematical language, as shown in Figure 1, the line l is on AB and CAC=BC). PA. PB. The point P is the point where the J inverse theorem is equal to the distance between two end points of a line segment on the vertical bisector of this line segment. Expressed in mathematics language: As shown in Figure 1, PA two PBrt points P in the AB vertical bisector. Theorem provides two lines of judgment