a) Xét tam giác vuông ADB và tam giác vuông BCA có:

AB: cạnh huyền chung

AD = CB (gt)

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

Suy ra DBA^=CAB^ hay EBA^=EAB^.

Khi đó tam giác EAB cân tại đỉnh E.

Xét tam giác vuông ADE và tam giác vuông BCE có:

AD = CB (gt)

EA = EB (ΔEAB cân tại đỉnh E)

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

Suy ra ED = EC.

Do đó, tam giác EDC cân tại đỉnh E.

b) Theo định lí tổng 3 góc trong tam giác EAB, ta có:

EBA^+AEB^+AEB^=180

Mà EBA^=EAB^ (chứng minh trên)

Suy ra EBA^=180AEB^2 (1)

Theo định lí tổng 3 góc trong tam giác EDC, ta có:

EDC^+ECD^+DEC^=180

Mà EDC^=ECD^ (ΔECD cân tại đỉnh E).

Suy ra EDC^=180DEC^2 (2)

Ta lại có: AEB^=DEC^ (hai góc đối đỉnh).     (3)

Từ (1), (2) và (3) suy ra EBA^=EDC^, hay DBA^=BDC^

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

Vậy AB // DC.