梯形ABCD中,AB‖CD,作平行四边形ACED,延长DC叫BE与F,求证EF=BF