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

（探究）如图②，在平面直角坐标系中，直线y=- x+1分别交x轴、y轴于点A和点B，点C是AB中点，CD⊥AB交OA于点D，连结BD，求BD的长

（应用）如图③