证明:(1)∵AE∥BC,
∴∠A=∠B.
又AD=BF,
∴AF=AD+DF=BF+FD=BD.
又AE=BC,
∴△AEF≌△BCD.
∴EF=CD
(2)∵△AEF≌△BCD,
∴∠EFA=∠CDB.
∴EF∥CD.