连接AE、CF，利用折叠的性质证明四边形AECF为菱形，

设AE=EC=x，在Rt△ABC中，由勾股定理求AC，

在Rt△ABE中，由勾股定理求x，利用菱形计算面积的两种方法，

建立等式求EF．

解：连接AE、CF，
由折叠可知，EF⊥AC，
又∵AF∥CE，
∴∠FAO=∠ECO，
在△AOF与△COE中，