阅读下面材料：
小明遇到这样一个问题：如图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之间的数量关系？并证明你的猜想．