我们知道,如果点P在线段AB的垂直平分线