Ta có:    BAM^=B^  (gt)   CAN^=C^   (gt) 

Þ AM // BC;   AN // BC (vì có cặp góc so le trong bằng nhau).

Þ 3 điểm M, A, N thẳng hàng (vì qua điểm A chỉ vẽ được một đường thẳng song song với BC).

Vậy MN // BC mà d⊥BC nên d⊥MN   (1)

Ta có: AM=AB; AN=AC 

mà AB = AC (gt) nên AM = AN.              (2)

Từ (1) và (2) Þ d là trung trực của MN