(1)证明:∵四边形ABCD是直角梯形,
∴∠A=90°,
∵∠ADF=45°,
∴∠AFD=45°,
∴AD=AF,
∵AB=AF+BF,AB=AD+BC,
∴BF=BC;

(2)解:连接FC.
设AD=AF=x,BC=BF=y.
连接CF,作DH⊥BC于H,易证矩形ABHD、直角三角形CDF,
又∵E是CD中点,
∴CD=2EF=2a,
由勾股定理得x
2+y
2=2a
2…①,
有直角梯形的面积公式可得:(x+y)
2=2m…②
②-①,得xy=m-a
2∵S
△DFC=S
梯形ABCD-S
△AFD-S
△BFC=

(x+y)
2-

x
2-

y
2=xy.
∴S
△DEF=

S
△DFC=

m-

a
2.
分析:(1)利用直角梯形的性质和等腰直角三角形的性质可证明:AD=AF,又因为AB=AD+BC,AB=AF+BF,所以可证明BF=BC;
(2)连接CF,过点D作DH⊥BC于H,连接CF,作DH⊥BC于H,易证矩形ABHD、直角三角形CDF,设AD=AF=x,BC=BF=y.有勾股定理可得x
2+y
2=2a
2…①,有梯形的面积公式可得(x+y)
2=2m…②,②-①得xy=m-a
2,又因为S
△DFC=S
梯形ABCD-S
△AFD-S
△BFC=xy,所以可求出△DEF的面积.
点评:本题考查了直角梯形的性质、等腰直角三角形的判定和性质以及勾股定理的运用、三角形的面积公式和梯形的面积公式,题目的综合性不小,难度也不小.