是的,这是垂直平分线定理,可以直接用
而这个定理反过来也是可以直接用的：如果一条直线A是一条线段B的垂直平分线,则这条直线A上的任意一点到线段B的两端的距离相等