矩阵变换：沿任意轴旋转及其推导