∆ BCD có BC = CD (gt) nên ∆ BCD cân tại C

⇒ˆB1=ˆD1⇒B^1=D^1 (tính chất tam giác cân)

Mà ˆD1=ˆD2D^1=D^2

Suy ra: ˆB1=ˆD2B^1=D^2

Do đó: BC//AD (vì có cặp góc ở vị trí so le trong bằng nhau)

Vậy ABCD là hình thang (theo định nghĩa)