Mamy prostą  oraz 

Jeśli prosta  jest osią symetrii, a punkt  jest obrazem punktu  w symetrii względem tej osi, to prosta  jest symetralną odcinka .

Znajdźmy wpierw  prostą