Ta chứng minh được ΔADC=ΔBCD (c−g−c) => AC = BD và C^1=D^1⇒△OCD cân tạị O

⇒C^1=1800−O^22  (1)

Từ đây ta chứng minh được ΔABD=ΔBAC (c−c−c)⇒A^1=B^1⇒△OBA cân tạị O

⇒A^1=1800−O^12  (2)

Từ (1), (2) và O^1=O^2 suy ra A^1=C^1

Mà 2 góc này ở vị trí so le trong nên AB //CD

Suy ra ABCD là hình thang mà C^=D^ => ABCD là hình thang cân.