欧拉线的证明（代数基本定理）

高斯的博士论文解决的问题

高斯在他的博士论文中证明了如下的命题，使之升级为了定理：一个带有复数系数的n次代数方程g（x）=0，其中n为正整数：

至少有一个复数解。（在这里我们把实数看成虚部为零的复数）

人们称上述高斯的结论为代数基本定理。

上述定理在欧拉的有生之年都未得到证明，但是欧拉直接将其应用到了无穷级数的研究当中。

应用上述定理可证明如下命题：

多项式g（x）：

可以恰好分解为n个一次因式的乘积：

其中b1，b2...bn是g（x）=0的所有的根。

我们可以应用高斯论文中的结论证明这个命题！

证明

让我们考虑如下的多项式：

我们发现当给这个多项式乘以一个因子x-a时，我们有：

这样我们得到了一般的结论：

根据上述公式我们可以知道：

下面我们观察一个多项式g（x）如下图所示：

由高斯论文中的结论可知，g（x）=0必有一个复数根我们记为b，那么我们观察如下推导，我们得到了之前我们探究过的因式分解的形式：

因为g（b）=0我们可知：g（x）-g（b）=g（x），我们可以提出一个因子x-b得到如下关系：

我们对h（x）也进行g（x）的操作，我们可以不断这样操作，不断地提取因子，将g（x）写成如下形式：

此时我们还不知道这些b1，b2...bn 是不是g（x）=0的所有的根，我们假设不是这样的，还有另一个根c，我们得到了如下复数乘积的形式，由于c是g（x）的根，所以g（c）=0：

如果若干复数相乘乘积为零，必须至少有一个复数为零 ，因此可知c是b1，b2...bn 中的一个，所以我们证明了b1，b2...bn是g（x）=0的所有的根。

因此我们根据高斯博士论文中的结论证明了多项式g（x）可以恰好分解为n个一次因式的乘积。