在Rt△ABC中，∠ACB=90°，AC=BC，D为边AB中点，点E、F分别在射线CA、BC上，且AE=CF，连结EF．

猜想：如图①，当点E、F分别在边CA和BC上时，线段DE与DF的大小关系为                          ．

探究：如图②，当点E、F分别在边CA、BC的延长线上时，判断线段DE与DF的大小关系，并加以证明．

应用：如图②，若DE=4，利用探究得到的结论，求△DEF的面积．

△OPA和△OQB分别是以OP、OQ为直角边的等腰直角三角形，点C、D、E分别是OA、OB、AB的中点．

如图1，在平面直角坐标系xOy中，已知点A（a，0）（a＞0），B（2，3），C（0，3）．过原点O作直线l，使它经过第一、三象限，直线l与y轴的正半轴所成角设为θ，将四边形OABC的直角∠OCB沿直线l折叠，点C落在点D处，我们把这个操作过程记为FZ[θ，a]．

在△ABC中，AB=AC，∠A=60°，点D是BC边的中点，作射线DE，与边AB交于点E，射线DE绕点D顺时针旋转120°，与直线AC交于点F．

①在河流的一条岸边B点，选对岸正对的一棵树A；

②沿河岸直走20m有一树C，继续前行20m到达D处；

③从D处沿河岸垂直的方向行走，当到达A树正好被C树遮挡住的E处停止行走；

④测得DE的长为5米．

求：