Формула поворота Родрига

Выводим формулу преобразования вращения тела вокруг заданного вектора на заданный угол. Derive the formula for the transformation of body rotation around a given vector by a predetermined angle.