Ta có:
góc ANM = góc BAD ( 2 góc đồng vị và AD // NP)
góc AMN = góc DAC ( 2 góc so le trong và AD // NP)
góc BAD = góc DAC ( AD là tia phân giác của góc BAC)
=> góc ANM = góc AMN
=> tam giác ANM cân tại A
=> AN = AM
=> A luôn thuộc đường trung trực của đoạn MN(đpcm)