a) Gọi giao điểm của AC và BD là O.
Xét
AB = CD (giả thiết)
BC chung
Do đó,
Suy ra, AC = BD (hai cạnh tương ứng).
b) Vì
Xét tam giác OBC có:
Mà
Suy ra
Do đó,
Xét
AB = CD (giả thiết)
BD = AC (chứng minh trên)
AD chung
Do đó,
Suy ra,
Xét tam giác OAD có:
Mà
Suy ra
Do đó,
Mà
Từ (1), (2), (3) suy ra,
Mà hai góc này ở vị trí so le trong nên AD // BC.