利用四元数的运算法则推导球面三角公式

基于四元数的运算法则,引入向量的共轭和逆概念及2个向量之间的另一种乘法运算——格拉斯曼乘积。结果表明,球面上大圆弧对应的四元数为球心指向大圆弧终点的单位向量与球心指向大圆弧始点的单位向量逆的格拉斯曼乘积;球面角对应的四元数为终大圆弧(指向顶点)平面法向的单位向量与始大圆弧(背向顶点)平面法向的单位向量逆的格拉斯曼乘积。利用四元数运算法则可方便地推导球面三角形边或角正弦和余弦公式及第一和第二五元素公式。