解:(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)根據(jù)△AGE≌△AFE及角之間的關系從而求得∠EFC的度數(shù);
(3)S
△AEF=S
正方形ABCD-S
△ADF-S
△AEB-S
△CEF=S
正方形ABCD-S
△AEF-S
△CEF,關鍵求S
△CEF.
點評:解答本題利用正方形的特殊性質,通過證明三角形全等,得出線段間的關系,同時考查了三角函數(shù)的運用,及組合圖形的面積計算.