连接CD,CD=AD,CF=EP=AE,∠DAE=∠DCF=45°∴△DAE≌△DCF(边角边),∴DE=DF
∴∠ADE=∠CDF,∵∠ADE+∠EDC=90°∴∠EDC+∠CDF=90°∴DE⊥DF