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