Vì AB // CD ; AC // BD (gt)

=> B1 = C1 ; B2 = C2 (các góc so le trong)

Xét tam giác ABC và tam giác DCB có:

B1 = C1 (cmt)

BC: cạnh chung

B2 = C2 (cmt)

=> Tam giác ABC = tam giác DCB (g.c.g)

=> AB = CD (2 cạnh tương ứng)

=> đpcm

b) Vì AB // CD (gt)

=> A1 = D1 (2 góc so le trong)

Xét tam giác ABO và tam giác DCO có:

B1 = C1 (cmt)

AB = CD (cmt)

A1 = D1 (cmt)

=> Tam giác ABO = tam giác DCO (c.g.c)

=> AOB = DOC (2 góc tương ứng)

=> đpcm