对于绕 z 轴转动的刚体,在合外力矩为 0 的时候角动量守恒

或者写成更加一般的形式