直角梯形;全等三角形的判定与性质;等边三角形的性质;解直角三角形.
(1)由三角形ADF为等边三角形,利用等边三角形的性质得到AF=AD,∠FAD=60°,再由∠FAD+∠EAD求出∠EAF的度数,由∠DAB-∠EAD求出∠BAE的度数,得到∠FAE=∠BAE,再由AB=AD,等量代换得到AF=AB,再由AE为公共边,利用SAS可得出三角形AEF与三角形AEB全等,由全等三角形的对应边相等可得出EF=EB,得证;
(2)由FD=FA,DE=AE,以及公共边FE,利用SSS可得出三角形DEF与三角形AEF全等,由全等三角形的性质及等边三角形的性质得到∠DFE=∠AFE=30°,求出∠DEF为75°,在由∠FAE+∠EAD求出∠FAE为75°,可得出∠FAE=∠FEA,利用等角对等边得到FE=AF,可得出等边三角形AFD三边长为6,过C作CM垂直于AB,可得出CM=6,由∠ABC为60°,在直角三角形BCM中,利用锐角三角函数定义及特殊角的三角函数值求出BM的长,由AB-BM求出AM的长,即为DC的长,利用利用梯形的面积公式即可求出梯形ABCD的面积.
此题考查了直角梯形,全等三角形的判定与性质,等边三角形的性质,锐角三角函数定义,以及梯形的面积公式,是一道综合性较强的试题.
计算题;压轴题.