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 đó,
Suy ra
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 (
Do đó,
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ó:
Mà
Suy ra
Theo định lí tổng 3 góc trong tam giác EDC, ta có:
Mà
Suy ra
Ta lại có:
Từ (1), (2) và (3) suy ra
Mà hai góc này ở vị trí so le trong.
Vậy AB // DC.