Ta có AM // BC (chứng minh trên),

   AN // BC (chứng minh trên) nên AM và AN trùng nhau (theo tiên đề Euclid).

Từ đó suy ra ba điểm M, A, N thẳng hàng.

Ta lại có AM = BC (chứng minh trên), AN = BC (chứng minh trên – do ∆AEN = ∆CEB),

do đó AM = AN.

Từ đó suy ra A là trung điểm của đoạn MN.