一道菜鸟数学题梯形ABCD中,AB//CD,以AD和AC为边作平行四边形ACED,DC的延长线交BE于点F,求证EF=F