Ta có: B A M ^ = B ^ ( g t ) C A N ^ = C ^ ( g t )
Þ 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 ⊥ B C nên d ⊥ M N (1)
Ta có: A M = A B ; A N = A C
mà AB = AC (gt) nên AM = AN. (2)
Từ (1) và (2) Þ d là trung trực của MN