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 = AD2.

Vì M là trung điểm của AB nên AM = MB = AB2.

Mà AB = AD nên AN = BM.

Xét ΔANBΔBMC có:

AN = BM (chứng minh trên)

AB = BC (chứng minh trên)

NAB^=MBC^=90 (do ABCD là hình vuông)

Do đó, ΔANB=ΔBMC (hai cạnh góc vuông)

Suy ra, BN = CM (hai cạnh tương ứng).

Gọi E là giao điểm của BN và CM.

Do ΔANB=ΔBMC nên ENB^=CMB^=BNA^.

Từ định lí tổng ba góc trong tam giác BME và tam giác ABN, ta suy ra:

BEM^=180EMB^MBE^=180BNA^ABN^=BAN^=90

Vậy BN vuông góc với CM tại E.