代数基本定理说明，任何一个一元复系数方程式都至少有一个复数根。也就是说，复数域是代数封闭的。
有时这个定理表述为：任何一个非零的一元n次复系数多项式，都正好有n个复数根。这似乎是一个更强的命题，但实际上是“至少有一个根”的直接结果，因为不断把多项式除以它的线性因子，即可从有一个根推出有n个根。
尽管这个定理被命名为“代数基本定理”，但它还没有纯粹的代数证明，许多数学家都相信这种证明不存在。另外，它也不是最基本的代数定理；因为在那个时候，代数基本上就是关于解实系数或复系数多项式方程，所以才被命名为代数基本定理。
高斯一生总共对这个定理给出了四个证明，其中第一个是在他22岁时（1799年）的博士论文中给出的。高斯给出的证明既有几何的，也有函数的，还有积分的方法。高斯关于这一命题的证明方法是去证明其根的存在性，开创了关于研究存在性命题的新途径。
同时，高次代数方程的求解仍然是一大难题。伽罗...
