过点O作OG⊥EF于点G，交AB于点H，
∵AB∥EF，
∴OG⊥CD，
∴AH=BH，CH=DH，
∴AH-CH=BH-DH，即AC=DB．