垂直并且平分一条线段的直线，叫做这条线段的垂直平分线(midpoint perpendicular).

　　如图，直线 l 交线段AB于点O, ∠1＝90°，AO＝BO，直线l是线段AB的垂直平分线．