Cho tứ giác ABCD có góc A = góc C tia phân giác góc B cắt đường thẳng AD ở M; tia phân giác của góc D cắt đường thẳng BC ở N.

Xét tứ giác ABCD có: B^+D^=360o−A^+C^=360o−2C^.

Vì B1^=B2^; D1^=D2^ nên B1^+D1^=180o−C^

⇒B1^+D1^+C^=180o. (1)

Xét △BCM có B1^+M1^+C^=180o. (2)

Từ (1) và (2) suy ra D1^=M1^. Do đó BM // CN