已知:如图所示,在三角形ABC中,BD=CD,ED⊥DF,求证:BE CF>EF