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

Trong ∆ECD, ta có C^1=D1^ nên ∆ECD cân tại E, suy ra EC = ED. (1)

Ta có: AB // CD nên

⦁ EBA^=D1^ (hai góc so le trong);

⦁ EAB^=C1^ (hai góc so le trong);

⦁ C^1=D1^ (giả thiết).

Suy ra EBA^=EAB^, do đó ∆BEA cân tại E.

Nên AE = BE. (2)

Ta có: AC = AE + EC; BD = BE + ED (3)

Từ (1), (2) và (3) suy ra AC = BD.

Hình thang ABCD có hai đường chéo bằng nhau nên ABCD là hình thang cân.