Рассмотрим произвольное малое возмущение угловой скорости
Для того чтобы такое возмущение было допустимым, начало и конец соответствующей траектории не должны зависеть от
поэтому
По формуле (2.31) производной потока по параметру выражение в правой части (6.7) равно
Поэтому равенство (6.7) можно записать в виде
Обозначим
Тогда условие допустимости вариации принимает вид
Найдем экстремали задачи (6.6):
(в силу (6.3))
(интегрируем по частям с условием допустимости
Вышеприведенный интеграл равен нулю на любом допустимом операторе следовательно,
Отсюда
поэтому
Введем оператор
который называется кинетическим моментом тела, и обозначим
Комбинируя равенства (6.10) и (6.5), получаем уравнения Эйлера вращения свободного твердого тела
Замечание. Описанный способ вывода уравнений Эйлера можно применить к кривым на группе ортогональных унимодулярных матриц порядка для любого Таким образом получаются уравнения вращения обобщенного n-мерного твердого тела.
Теперь перепишем уравнения Эйлера, используя изоморфизм (6.2) пространств существенно трехмерный и не обобщающийся на высшие размерности. Напомним, что кососимметрической матрице
соответствует вектор вида