全等三角形的判定与性质;正方形的性质.
由四边形ABCD为正方形可以得到∠D=∠B=90°,AD=AB,又∠ABE=∠D=90°,而∠EAF=90°由此可以推出∠DAF+∠BAF=90°,∠BAE+∠BAF=90°,进一步得到∠DAF=∠BAE,所以可以证明△AEB≌△AFD,所以S△AEB=S△AFD,那么它们都加上四边形ABCF的面积,即可四边形AECF的面积=正方形的面积,从而求出其面积.
此题主要考查了全等三角形的判定与性质,本题需注意:在旋转过程中一定会出现全等三角形,应根据所给条件找到.