在△ABC中，AB=AC≠BC，点D和点A在直线BC的同侧，BD=BC，∠BAC=α，∠DBC=β，α+β=120°，连接AD，求∠ADB的度数．

小聪提供了研究这个问题的过程和思路：先从特殊问题开始研究，当α=90°，β=30°时（如图1），利用轴对称知识，以AB为对称轴构造△ABD的轴对称图形△ABD′，连接CD′（如图2），然后利用α=90°，β=30°以及等边三角形的相关知识便可解决这个问题．

①AC=AE；②∠FAB=∠EAB；③EF=BC； ④∠EAB=∠FAC，

其中正确的个数是（  ）

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

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

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