我们对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个一次因式的乘积。