阅读下面材料:
小明遇到这样一个问题:如图1,在△ABC中,D为BC中点,E、F分别为AB、AC上一点,且ED⊥DF,
求证:BE+CF>EF.
小明发现,延长FD到点H,使DH=FD,连结BH、EH,构造△BDH和△EFH,通过证明△BDH与△CDF全等、△EFH为等腰三角形,利用△BEH使问题得以解决(如图2).
参考小明思考问题的方法,解决问题:
如图3,在矩形ABCD中,O为对角线AC中点,将矩形ABCD翻折,使点B恰好与点O重合,EF为折痕,猜想EF、BE、FC之间的数量关系?并证明你的猜想.