Vẽ điểm C đối xứng với B qua đường thẳng d, giả sử tìm được điểm M trên d thì MB = MC ( 1 ).
Do A, B, d cố định nên C cũng cố định suy ra độ dài đoạn AC không đổi.
Áp dụng bất đẳng thức tam giác ta có vào Δ AMC ta được: MA + MC ≥ AC ( 2 )
Dấu bằng xảy ra khi M nằm giữa A và C hay M là giao điểm của AC và đường thẳng d
Từ ( 1 ) và ( 2 ) suy ra MA + MB nhỏ nhất bằng AC khi M là giao điểm của AC và đường thẳng d