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

⇒ ∠ B 1 = ∠ D 1 (tính chất tam giác cân)
 

ta có tam giác BCD cân tại C

=>góc CDB bằng góc CBD

=>BC//AD(goc ADB = gocCBD) 

=>DPCM ABCD là hình thang

Tam giác CBD cân tại C.
Khi đó cùng với DB là phân giác góc S ta chứng minh được ˆADB=ˆCBD
<=> ABCD là hình thang.