a) Gọi giao điểm của AC và BD là O.

Xét ΔABCΔDCB có:

BAC^=CDB^=90 (giả thiết)

AB = CD (giả thiết)

BC chung

Do đó, ΔABC=ΔDCB (cạnh huyền – cạnh góc vuông).

Suy ra, AC = BD (hai cạnh tương ứng).

b) Vì ΔABC=ΔDCB nên ACB^=DBC^ (hai góc tương ứng)

Xét tam giác OBC có:  

OCB^+CBO^+BOC^=180.

Mà OCB^=CBO^ do ACB^=DBC^ nên 2CBO^+BOC^=180.

Suy ra 2CBO^=180BOC^

Do đó, CBO^=180BOC^2 (1)

Xét ΔABDΔDCA có:  

AB = CD (giả thiết)

BD = AC (chứng minh trên)

AD chung

Do đó, ΔABD=ΔDCA (c.c.c).

Suy ra, ADB^=DAC^

Xét tam giác OAD có:

OAD^+ADO^+AOD^=180.

Mà OAD^=ADO^ do ADB^=DAC^ nên 2ADO^+AOD^=180

Suy ra 2ADO^=180AOD^

Do đó, ADO^=180AOD^2 (2)

Mà AOD^=BOC^ (hai góc đối đỉnh) (3)

Từ (1), (2), (3) suy ra, CBO^=ADO^ hay CBD^=ADB^.

Mà hai góc này ở vị trí so le trong nên AD // BC.