作DG⊥BC交于点G
∵AB∥EF∥BG
∴角ABC=角DGc=角EFc
又∵△efc与△dgc有相同角ecf
∴△efc与△dgc相似
∵df=ec
∴ce/cd=1/2
∴dg=ef乘2=6
又∵ad∥bf
∴ab=dg=6