(1)證明:∵四邊形ABCD為正方形,
∴∠BAC=∠DAC=45°,AB=AD,
在△ABF和△ADF中,
∵
,
∴△ABF≌△ADF(SAS),
∴BF=DF;
(2)解:如圖,過點F作FM⊥AB,
∵∠BAC=45°(正方形的對角線平分一組對角),
∴FM=
AF=
x,
∴y=
AB•FM=
×2
×
x=x,
∵E是邊AD上的一個動點,
∴AF的最大值為
AC=
×
AB=
×
×2
=2,
∴自變量的取值范圍是0<x≤2,
故y與x的函數關系式為y=x(0<x≤2),圖象如圖.
分析:(1)根據正方形的對角線平分一組對角可得∠BAC=∠DAC=45°,根據正方形的四條邊都相等可得AB=AD,然后利用“邊角邊”證明△ABF和△ADF全等,根據全等三角形對應邊相等即可得證;
(2)過點F作FM⊥AB于點M,根據正方形的性質以及等腰直角三角形的性質求出FM的長度,再利用三角形的面積公式列式整理即可得到y(tǒng)與x的函數關系式.
點評:本題考查了正方形的性質,全等三角形的判定與性質,以及作正比例函數圖象,比較簡單,(2)中作輔助線構造等腰直角三角形從而求出AB邊上的高是解題的關鍵,要注意自變量的取值范圍.