摘要

Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多余因子,并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子以及导出多项式回代产生的多余因子三大部分组成.