证明：连接PC.
∵ 四边形ABCD是正方形
∴ AD=CD
又 ∵BD是正方形ABCD的对角线
∴∠ADB=∠CDB=90°
在△ADP与△CDP中
AD=CD
{ ∠ADB=∠CDB
PD=PD
∴△ADP≌△CDP（SAS）
∴AP=CP
又∵PE⊥BC,PF⊥CD,EC⊥FC
∴四边形ECFP是矩形
∴CP=EF
∴EF=AP