（1）证明：
作AG⊥EF于G
∵四边形ABCD是正方形
∴∠BAD=∠B=∠C=∠D=90°
AB=BC=CD=AD=6
∵AE平分∠BEF
∴∠AEB=∠AEG
又∵∠B=∠AGE=90°,AE=AE
∴△ABE≌△AGE（AAS）
∴AB=AG,BE=EG,∠BAE=∠GAE
∵∠D=∠AGF=90°,AG=AD,AF=AF
∴△AGF≌△ADF（HL）
∴GF=DF,∠GAF=∠DAF
∴∠BAE+∠DAF=∠EAG+∠FAG=∠EAF
∵∠BAE+∠DAF+∠EAG+∠FAG=∠BAD=90°
∴∠EAF=45°
（2）【2题必须在1题的基础上解得】
∵E是BC中点,AB=6
∴CE=BE=EG=3
设DF=FG=x
根据勾股定理：EF²=CE²+CF²
EF=EC+FG=3+x,CF=CD-DF=6-x,CE =3
代入解得x=2
EF=3+2=5
S△AEF=½EF×AG=15
