梯形ABCD中,AB||CD,以AD,AC为邻边作平行四边形ADEC,DC的延长线交BE与F,求证:EF=BF