解题思路：（1）作出图形，由△BAE≌△ADF，可得BE=AF，AE=DF，因为EF=AF-AE，所以可知BE、DF、EF之间的等量关系；
（2）要证明EF=BE-DF，可以先证明△BAE≌△ADF，再由全等三角形的性质BE=AF，AE=DF和等量代换即可证明结论．
（1）如图所示：
由已知得，△BAE≌△ADF，
所以，BE=AF，AE=DF，
∵EF=AF-AE
∴EF=BE-DF；
同理，P在CD的延长线和DC的延长线上时，以上结论仍然成立．
（2）证明：∵∠DAF+∠BAE=90°，BE⊥AP，DF⊥AP，
∴∠EBA=∠FAD，∠BAE=∠ADF．
∵ABCD为▱，
∴BA=AD．
∵∠EBA=∠FAD，BA=AD，∠BAE=∠ADF，
∴由角边角定理可得：△BAE≌△ADF．
∴BE=AF，AE=DF．
∵EF=AF-AE，AF-AE=BE-DF，
∴EF=BE-DF．
由此可得第一问结论．
点评：
本题考点： 正方形的性质；全等三角形的判定与性质．
考点点评： 本题主要考查了正方形的性质、全等三角形的判定以及全等三角形的性质．