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