解法:旺泽尔利用域扩张给出的代数不可能性证明(1837年)
通俗地说
如果一个分数要成为整系数多项式的根,这个分数不能随便选取——它的分子和分母必须分别整除多项式的首项系数和常数项系数。对于我们这个三次式,这两个系数是 和 ,所以只有两个候选值需要动手检验: 和 。
两个都不满足,而对三次多项式来说,这已经是全部故事了:一个 次多项式如果能分解,就必然会分出一个一次因子,而这必然给出一个有理根。没有有理根就意味着不可能分解。
详细分析
由有理根定理,整系数多项式的任何有理根 (既约分数)必须使 整除常数项, 整除首项系数。对 而言,首项系数为 ,常数项为 ,故 、:唯一的候选值是 与 。
逐一检验:,。所以 没有有理根。由于 的次数为 ,若它在 上能分解为非平凡因子,其中一个因子必为一次,而一次因子 必然要求 是一个根——这刚刚已被排除。因此 在 上不可约。
某数 所满足的 次不可约多项式(相差一个常数因子)就是 的极小多项式,故 等于它的次数。这里 是 的根,所以 ——这是最后一步所需的最后一块素材。
- 有理根定理
- 对整系数多项式而言,每个以既约分数表示的有理根 都满足:分子 整除常数项,分母 整除首项系数——只需检验一份很短的候选清单。
- 极小多项式
- 系数在 中、首项系数为1且次数最低、使给定数 满足的多项式;其次数等于 。