全等三角形的判定与性质;正方形的性质.
根据正方形的性质得AB=AD=DC,∠BAD=∠D=90°,则由CE=DF易得AF=DE,根据“SAS”可判断△ABF≌△DAE,所以AE=BF;根据全等的性质得∠ABF=∠EAD,
利用∠EAD+∠EAB=90°得到∠ABF+∠EAB=90°,则AE⊥BF;连结BE,BE>BC,BA≠BE,而BO⊥AE,根据垂直平分线的性质得到OA≠OE;最后根据△ABF≌△DAE得S△ABF=S△DAE,则S△ABF-S△AOF=S△DAE-S△AOF,即S△AOB=S四边形DEOF.
本题考查了全等三角形的判定与性质:判定三角形全等的方法有“SSS”、“SAS”、“ASA”、“AAS”;全等三角形的对应边相等.也考查了正方形的性质.
压轴题.