本章将探讨单位根在因式分解和解方程中的应用。
解方程是指找到满足方程的未知数的值集。对于低次方程,我们可以很容易地求解,但对于高次方程,则不容易。然而,通过因式分解,我们可以将高次多项式重写为低次多项式的乘积。通过因式分解来解方程的方法基于以下定理
零积性质 设
和
为实数或复数。如果
,则
或
。
证明
或
成立。如果
,则“
或
” 成立。如果
,则
存在。将其乘以
两边

.
那么“
或
” 也成立。证毕
因此,在解多项式方程时,我们可以先对多项式进行因式分解,然后形成将因子与零相等的较小方程。
例 1 解方程
.
解




或
或 
或
或 
或 
在上一章中,我们已经看到了单位根在确定多项式可除性方面的应用。实际上,我们可以类似地通过考虑单位根的性质来分解一些多项式。
例 2 分解
.
分析 表达式中的指数为 8、6、4、2、0。当它们除以 5 时,余数分别为 3、1、4、2、0。因此,当
被替换为一个非实数的五次单位根时,表达式等于零。所以表达式可以被
整除。
答案 
如果我们在因式中允许复数系数,则任何多项式都可以分解为线性因式的乘积;如果我们允许任何实数系数,则任何具有实数系数的多项式都可以分解为最多二阶因式的乘积。
例 3 分解
(a)
(三个因式)
(b)
(两个因式)
分析 当
被非实数单位根替换时,我们可以检查 (a) 和 (b) 都等于零。 但是,我们必须进一步为 (a) 找到另一个因式。 为此,我们首先令
,则表达式变为
,当
被非实数单位根替换时,它也等于零。
解 (a)
。 因此,

(b) 


使用单位根,我们可以推导出三次方程的公式。
令
是一个非实数单位根,那么
,
。
然后我们可以证明
.
因此,三次方程关于
的根为

是
,
,
.
现在考虑三次方程
.
我们可以令
以及
。所以
。因此,
和
是以下方程的根
.
这个方程的根是
.
令
为这些根中的任意一个,
为另一个根。那么
,
.
(实际上,只要关系
成立,我们也可以取其他非实数的立方根。然而,由于我们已经通过指定
和
来考虑它们,所以我们不需要考虑非实数的立方根。)
例 4 解方程
。
解 在此例中,
,
。因此
,
.
因此,根是
,
,
。
我们可以验证
。
我们也可以用单位根来解一些特殊形式的高次方程。
例 5 解方程 
解 从前面的例子,
,其中


从
,我们可以得到四个根
(即单位根的非实五次根。)
注意
,因此,
。所以,另外四个根是
.
原方程共有八个根
.
替代解法 令
,方程变为
.
这个方程的四个根是

为了得到相应的
值,我们对每个
值开平方。所以,根是
.
虽然两种方法给出的根的形式不同,但它们是相同的数字集。两者都可以写成
.
它们是单位根的八个非实十次方根。
示例 6 找到一个具有有理系数的方程,使得它的根等于
,其中
是方程
的根。