Поворот пространства вокруг прямой

Поворотом пространства вокруг прямой d на
направленный угол α называется такое отображение пространства на себя, ко-
торое каждую точку М переводит в точку M`, удовлетворяющую условиям:
1) точки М и M` лежат в плоскости, перпендикулярной прямой d;
2) расстояние от точки М до прямой d равно расстоянию от точки M` до
этой же прямой;
3) направленный угол ∠MSM` равен направленному углу α, где S – точка
пересечения прямой d с плоскостью, проходящей через точки M и M` и перпен-
дикулярной прямой d.