四边形ABCD中,AD平行BC,AD等于CD等于CB,E是AD上任意一点,EF垂直AC,求证,BF等于DE