如图1,四边形abcd为正方形,p是对角线db上一点,四边形PECF为矩形.求证:(1)PA=EF;(2)PA⊥EF