2.1. Трансформация осевой симметрии движением

Принимая во внимание предыдущее свойство неподвижных точек и двойных прямых, получим

(S_l)^g = S_g(l). (3)

С помощью этой формулы можно получить аналогичные формулы для остальных движений частного вида. Для этого найдем сначала:

. [1]