证明：过点P作已知线段AB的垂线PC,PA=PB,PC=PC,
∴Rt△PAC≌Rt△PBC(HL定理)．
∴AC=BC,
即P点在AB的垂直平分线上．