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ą .  Przec