过D、C作DP、CQ垂直于AB
∵AB‖CD,AD=BC
∴AP=BQ,DC=PQ
又∵CD=4
∴PQ=4
又∵DE=BD,EF⊥AB
∴DB/DE=QP/PF
∴PF=BF
FA+AP=PQ+BQ
∴AF=PQ=4