Gọi giao điểm AC và BD là O
Có tam giác AOB đồng dạng với tam giác COD (g , g)
=> OC/AC = OD/BD
=> OC = OD
=> Tam giác OCD cân tại O
=> góc ACD = góc BDC (1)
Có: AC = BD, CD chung
=> tam giác ACD = tam giác BDC
=> góc ADC = góc BCD
=> tứ giác ABCD là hình thang cân