中确实是一个圆。
泛正交性.反四元数formula_13的标量部分为w。定义 对于非零反四元数formula_17和formula_94，formula_95当且仅当乘积formula_96的标量部分为零。证明：因向量外积的反交换性，formula_114，因此formula_115。
Counter-sphere geometry.The quadratic form "qq" is positive definite on the plane