四元数乘法、求逆、共轭、求范数函数,并附有求解矢量旋转坐标的程序例子