Kẻ BE//AC, E thuộc CD
Xét tứ giác ABEC có
AB//EC
AC//BE
=>ABEC là hình bình hành
=>AC=BE
=>BE=BD
=>ΔBED cân tại B
=>góc BDE=góc BED
=>góc BDE=góc BAC
Xét tứ giác ABCD có góc BDC=góc BAC
nên ABCD là tứ giác nội tiếp
=>góc BAD+góc BCD=180 độ
mà góc ADC+góc BAD=180 độ
nên góc ADC=góc BCD
=>ABCD là hình thang cân