a) Tứ giác ABCD có AB = CD, AD = BC nên là hình bình hành.
Tứ giác AICK có AK // IC, AK = IC nên là hình bình hành.
Do đó AI // CK
b) ∆DCN có DI = IC, IM // CN.
(vì AI // CK) nên suy ra DM = MN
Chứng minh tương tự đối với ∆ABM ta có MN = NB.
Vậy DM = MN = NB