在Van der Waerden [1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作[2]的4.2中...在Van der Waerden [1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作[2]的4.2中以如下形式重新叙述并证明了上述的定理: 设A是一个有么元素的整环,且已知有一机械方法可在有限步内将A中任意一数唯一分解成不可约因子(确定至A中可逆因子),则有一机械方法可在有限步内将A[x_1,展开更多
文摘在Van der Waerden [1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作[2]的4.2中以如下形式重新叙述并证明了上述的定理: 设A是一个有么元素的整环,且已知有一机械方法可在有限步内将A中任意一数唯一分解成不可约因子(确定至A中可逆因子),则有一机械方法可在有限步内将A[x_1,