Vì M thuộc đường trung trực của AB
⇒ MA = MB (định lý thuận về tính chất của các điểm thuộc đường trung trực)
N thuộc đường trung trực của AB
⇒ NA = NB (định lý thuận về tính chất của các điểm thuộc đường trung trực)
Do đó ΔAMN và ΔBMN có:
AM = BM (cmt)
MN chung
AN = BN (cmt)
⇒ ΔAMN = ΔBMN (c.c.c)