Xét tam giác IMN và tam giác MQP có:
IM = MQ (gt)
∠IMN = ∠MQP (2 góc đồng vị, MN//QP)
MN = QP (t/c hình bình hành)
=> ΔIMN = ΔMQP (g.c.g)
=> IN = MP (2 cạnh tương ứng) (1)
Xét tam giác MQP và tam giác NPK có:
MQ = NP (t/c hình bình hành)
∠MQP = ∠NPK (2 góc đồng vị, MQ//NP)
QP = PK (t/c hình bình hành)
=> ΔIMN = ΔMQP
=> NK = MP (2 cạnh tương ứng) (2)
Từ (1) và (2) suy ra IN = NK
=> I và K đối xứng nhau qua N