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

Далее, если u?v = O, то g(u)?g(v) = g(O) и (g(u), g(v)) = (u, v), если g - движение 1-го рода, и (g(u), g(v)) = -(u, v), если g - движение 2-го рода. Поэтому, если , то

(7)

где знак «+» берется при движении g 1-го рода и «-» - при движении g второго рода. [1]

В частности, если прямая l проходит через т.О пересечения прямых u и v, то

. (8)