AD=BC 且AD||BC
所以 ∠ADB=∠CBD
又因为BE=DF
所以 BF=DE
所以 三角形ADE=三角形BCF
所以 AE=CF