证明:过点E作EF∥AB.
∵EF∥AB,
∴∠A=∠AEF;
又∵∠AEC=∠A+∠C,
∴∠AEC=∠AEF+∠C;
而∠AEC=∠AEF+∠CEF,
∴∠CEF=∠C,
∴EF∥CD,
∴AB∥CD.