Vì ABCD là hình vuông nên AB = BC = CD = DA.
Vì N là trung điểm của AD nên AN = ND =
Vì M là trung điểm của AB nên AM = MB =
Mà AB = AD nên AN = BM.
Xét
AN = BM (chứng minh trên)
AB = BC (chứng minh trên)
Do đó,
Suy ra, BN = CM (hai cạnh tương ứng).
Gọi E là giao điểm của BN và CM.
Do
Từ định lí tổng ba góc trong tam giác BME và tam giác ABN, ta suy ra:
Vậy BN vuông góc với CM tại E.