正方形的性质;全等三角形的判定与性质.
根据正方形的性质由条件CE=DF,可以求出AF=DE,从而证明△BAF≌△ADE,就可以得出AE=BF,S△BAF=S△ADE,∠ABF=∠DAE,再根据等式的性质就可以求出S△AOB=S四边形DEOF.就可以求出∠AOF=90°.连接EF,在Rt△EFD中可以求出EF>DF,就有EF>AF,若AO=OE就有AF=EF,从而得出结论,
本题考查了正方形的性质的运用,全等三角形的判定与性质的运用,三角形的面积关系的运用及直角三角形的性质的运用,在解答中求证三角形全等是关键.