解:(1)延长EB至G,使BG=DF,连接AG,
∵正方形ABCD,
∴AB=AD,∠ABG=∠ADF=∠BAD=90°,
∵BG=DF,
∴△ABG≌△ADF,
∴AG=AF,
∵∠BAE=30°,∠DAF=15°,
∴∠FAE=∠GAE=45°,
∵AE=AE,
∴△FAE≌△GAE,
∴EF=EG=GB+BE=DF+BE;
(2)∵△AGE≌△AFE,
∴∠AFE=∠AGE=75°,
∵∠DFA=90°-∠DAF=75°,
∴∠EFC=180°-∠DFA-∠AFE=180°-75°-75°=30°,
∴∠EFC=30°.
(3)∵AB=BC=
,∠BAE=30°,
∴BE=1,CE=
-1,
∵∠EFC=30°,
∴CF=3-
,
∴S
△CEF=
CE•CF=2
-3,
由(1)知,△ABG≌△ADF,△FAE≌△GAE,
∴S
△AEF=S
正方形ABCD-S
△ADF-S
△AEB-S
△CEF=S
正方形ABCD-S
△AEF-S
△CEF,
S
△AEF=S
正方形ABCD-S
△AEF-S
△CEF=3-
.
分析:(1)延长EB至G,使BG=DF,连接AG.利用正方形的性质,证明△AGE≌△AFE,△FAE≌△GAE,得出DF+BE=EF;
(2)根据△AGE≌△AFE及角之间的关系从而求得∠EFC的度数;
(3)S
△AEF=S
正方形ABCD-S
△ADF-S
△AEB-S
△CEF=S
正方形ABCD-S
△AEF-S
△CEF,关键求S
△CEF.
点评:解答本题利用正方形的特殊性质,通过证明三角形全等,得出线段间的关系,同时考查了三角函数的运用,及组合图形的面积计算.