a) Vì ABCD là hình bình hành nên AB // CD; AD // BC.

Suy ra BAC^=ACD^;  BCA^=DAC^ (hai góc so le trong).

Xét ∆ABC và ∆CDA có:

BAC^=ACD^ (chứng minh trên);

Cạnh AC chung.

  BCA^=DAC^ (chứng minh trên);

Do đó ∆ABC = ∆CDA (g.c.g).

Suy ra AB = CD, AD = BC (các cặp cạnh tương ứng); ABC^=CDA^ (hai góc tương ứng).