ABCD为梯形,AB//DC,四边形ADBE是平行四边形,AB的延长线交EC于F.求证:EF=FC;