Do AB // CD (gt)
⇒ ∠ABD = ∠CDB (so le trong)
Xét ∆ABD và ∆CDB có:
AB = CD (gt)
∠ABD = ∠CDB (cmt)
BD chung
⇒ ∆ABD = ∆CDB (c-g-c)
⇒ AD = BC (hai cạnh tương ứng)
Do ∆ABD = ∆CDB (cmt)
⇒ ∠ADB = ∠CBD (hai góc tương ứng)
Mà ∠ADB và ∠CBD là hai góc so le trong
⇒ AD // BC