合外力矩对绕定轴转动的刚体所做的功等于刚体转动动能的增量