代数基本定理：任何一个一元复系数多项式都至少有一个复数根。也就是说，复数域是代数封闭的。

虽说这有其名，但却无其实，它并不是最基本的代数定理；因为在那个时候，代数基本上就是关于解实系数或复系数多项式方程，所以才被命名为代数基本定理(Fundamental theorem of algebra)。

建立在此前提上，我们可以推出：

一元复系数n次代数方程在复数范围内都有n个根（有可能是共轨复根）。

其中用到了数学归纳法以及多项式的“除法”，证明如下：
已知一元一次方程有1个根，一元n次方程至少有1个根。假设(n-1)次方程有(n-1)个根，求证n次方程有n个根。

设函数$f(x)=a_0+a_1 x^1+...+a_n x^n$
我们求一下：$\frac{f(x)}{x-x_1}$，其中$x_1$是预先给定的常数。运算的过程可以类似于我们做数字的除法：

多项式除法计算过程

多项式除法计算过程

最终，我们的结果为：
$$\begin{aligned}f(x)=a_0+a_1 x^1+...+a_n x^n \\ =(x-x_1)[a_n x^{n-1}+(a_{n-1}+a_n x_1)x^{n-2}+...+(a_1+a_2 x_1+...+a_n x_1^{n-1})]+a_0+a_1 x_1^1+...+a_n x_1^n\end{aligned}$$

令$x_1$是方程$a_0+a_1 x^1+...+a_n x^n=0$的一个根，于是
$$\begin{aligned}a_0+a_1 x^1+...+a_n x^n \\ =(x-x_1)[a_n x^{n-1}+(a_{n-1}+a_n x_1)x^{n-2}+...+(a_1+a_2 x_1+...+a_n x_1^{n-1})]\end{aligned}$$

那么满足$a_n x^{n-1}+(a_{n-1}+a_n x_1)x^{n-2}+...+(a_1+a_2 x_1+...+a_n x_1^{n-1})=0$的解也是方程的$f(x)=0$的根，这方程有(n-1)个根，加上$x=x_1$，那么$f(x)=0$总共有n个根。

证毕。

转载到请包括本文地址：https://kexue.fm/archives/481

更详细的转载事宜请参考：《科学空间FAQ》

如果您还有什么疑惑或建议，欢迎在下方评论区继续讨论。

如果您觉得本文还不错，欢迎分享/打赏本文。打赏并非要从中获得收益，而是希望知道科学空间获得了多少读者的真心关注。当然，如果你无视它，也不会影响你的阅读。再次表示欢迎和感谢！

如果您需要引用本文，请参考：

苏剑林. (Feb. 27, 2010). 《“n次方程有n个根”的证明 》[Blog post]. Retrieved from https://kexue.fm/archives/481

@online{kexuefm-481,
        title={“n次方程有n个根”的证明},
        author={苏剑林},
        year={2010},
        month={Feb},
        url={\url{https://kexue.fm/archives/481}},
}