单变元线性四元数方程组的形式解是一个古老的问题。早在1884年,Sylvester 给出了形如 aq+qb=c 的四元数方程的形式解,进而可以给出任意3项-方程的形式解。随后200年内此问题一直没有大的进展。2013年 Schwartz 给出了4项-方程的形式解,2016年邵长鹏等人借助maple软件,给出了任意项-方程的形式解。但是此解的软件计算痕迹明显,形式复杂,不利于应用。
本文在邵的基础上,通过构造一个 4元数到 4维 Clifford 代数 Cl4 的映射,通过使用高级不变量求解 Cl4 中的对应问题,然后将解映回四元数中,得到了关于原问题的一个较为简单的形式解。