因为EF∥AB，∠BAD=∠ADE，又因为AD平分∠BAC，所以∠BAD=∠DAE，所以∠DAE=∠ADE，所以AE=ED，又因为BF=AE，所以ED=BF，且EF平行AB，所以BFED是平行四边形，所以EF=BD
