连接AD,易得AD=CD.
根据三个角为90°的四边形为矩形得四边形AEPF为矩形.
又可得∠FCP=∠ACB=45,∠AFP=90,
∴等腰Rt△FCP
∴CF=FP
∵AE=FP
∴AE=CF
又易得∠DAE=∠DCF=135°
∴△DAE≌△DCF(边角边)
∴DE=DF
∴∠ADE=∠CDF,
∵∠ADE+∠EDC=90°
∴∠EDC+∠CDF=90°
∴DE⊥DF
连接AD,易得AD=CD.
根据三个角为90°的四边形为矩形得四边形AEPF为矩形.
又可得∠FCP=∠ACB=45,∠AFP=90,
∴等腰Rt△FCP
∴CF=FP
∵AE=FP
∴AE=CF
又易得∠DAE=∠DCF=135°
∴△DAE≌△DCF(边角边)
∴DE=DF
∴∠ADE=∠CDF,
∵∠ADE+∠EDC=90°
∴∠EDC+∠CDF=90°
∴DE⊥DF