罗德里格斯（Rodrigues）旋转方程推导