Имеется твердое тело массы

. Через

обозначим его центр масс,

-- некоторая фиксированная точка твердого тела.
Все величины векторные, векторные обозначения использовать не будем, к путанице это не приведет.
Теорема. Верна формула
![$J_A\dot\omega+[\omega,J_A\omega]+m[AC,\dot v_A]=M_A.$ $J_A\dot\omega+[\omega,J_A\omega]+m[AC,\dot v_A]=M_A.$](https://dxdy-02.korotkov.co.uk/f/9/f/4/9f4aab30e5d94efb733c148046a7077282.png)
(В правой части стоит момент внешних сил относительно точки

.)
Следствие. Предположим, что твердое тело катится без проскальзывания по неподвижной поверхности и

-- точка твердого тела, которой оно касается поверхности. Тогда
![$$J_A\dot\omega+[\omega,J_A\omega]-m[AC,[\omega,u]]=M_A,$$ $$J_A\dot\omega+[\omega,J_A\omega]-m[AC,[\omega,u]]=M_A,$$](https://dxdy-04.korotkov.co.uk/f/3/3/3/333c6c9d6296d3ad2cf48a985e948be582.png)
где

-- скорость точки контакта.
Это вытекает непосредственно из соответствующего результата [Татаринов, Кулешов, Попова, Прошкин Задачи по кинематике и динамике качения твердых тел. Москва 2011]
Доказательство теоремы. Стартуем с формул из учебника Ю.Ф. Голубева "Основы теор. механики":
![$$K_A=m[AC,v_A]+J_A\omega,\quad \frac{\delta}{\delta t}K_A+[\omega,K_A]+m[v_A,v_C]=M_A,\qquad (*)$$ $$K_A=m[AC,v_A]+J_A\omega,\quad \frac{\delta}{\delta t}K_A+[\omega,K_A]+m[v_A,v_C]=M_A,\qquad (*)$$](https://dxdy-04.korotkov.co.uk/f/3/2/a/32ae2ebe752c56a8569b65534cfe535a82.png)
через

обозначен кинетический момент тела относительно точки

;

-- относительная производная в системе координат жестко связанной с телом.
Имеем
![$$\frac{\delta}{\delta t}K_A=m[AC,\frac{\delta}{\delta t}v_A]+J_A\dot\omega,\quad [\omega,K_A]=m[\omega,[AC,v_A]]+[\omega,J_A\omega]$$ $$\frac{\delta}{\delta t}K_A=m[AC,\frac{\delta}{\delta t}v_A]+J_A\dot\omega,\quad [\omega,K_A]=m[\omega,[AC,v_A]]+[\omega,J_A\omega]$$](https://dxdy-03.korotkov.co.uk/f/e/5/e/e5e97f14349472cd4c22b327ed4a652b82.png)
Мы использовали, что

.
Далее
![$$\frac{\delta}{\delta t}v_A=\dot v_A-[\omega,v_A],\quad [v_A,v_C]=[v_A,[\omega,AC]]$$ $$\frac{\delta}{\delta t}v_A=\dot v_A-[\omega,v_A],\quad [v_A,v_C]=[v_A,[\omega,AC]]$$](https://dxdy-04.korotkov.co.uk/f/f/d/8/fd873c9f1038f11c0c150af720f4223782.png)
Остается все это поместить во вторую формулу (*) и воспользоваться тождеством Якоби для векторного произведения. Теорема доказана.