（感知）如图①，点C是AB中点，CD⊥AB，P是CD上任意一点，由三角形全等的判定方法“SAS”易证△PAC≌△PBC，得到线段垂直平分线的一条性质“线段垂直平分线上的点到线段两端的距离相等”

（探究）如图②，