Cho đường thẳng d và hai điểm A, B không thuộc d nhưng nằm cùng phía đối với d

Gọi B' là ảnh của B qua phép đối xứng qua trục d.

Khi đó với mỗi điểm M thuộc d

MA + MB = MA + MB′ nên MA + MB′ bé nhất

⇔ A, M, B′ thẳng hàng.

Tức là M = (AB′) ∩ d.