1. (2016九下·农安期中)

在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的面积．

1. （1） 猜想：如图①，当点E、F分别在边CA和BC上时，线段DE与DF的大小关系为．
   
3. （2） 探究：如图②，当点E、F分别在边CA、BC的延长线上时，判断线段DE与DF的大小关系，并加以证明．
   
5. （3） 应用：如图②，若DE=4，利用探究得到的结论，求△DEF的面积．