旋转矩阵和四元数以及欧拉角之间的转换,相应公式推导过程