证明：作AG⊥EF于G,将△ADF旋转至△ABF',（见图）显然△ADF≌△ABF',∵∠EAF=45,∴∠BAE+∠DAF=45∴∠F'AE=∠EAF=45,又AF=AF'AE公共边∴△AEF≌△AEF',∴AB=AG(全等三角形对应边上的高相等)所以ABCD面积比三角形EAF...