定理已证明
代数基本定理
命题陈述
任何复数域上次数不为零的一元多项式都至少有一个复数根;等价地,次数为 的多项式恰好有 个计重数的复数根。
为什么成立?
像 这样的实系数多项式不与 x 轴相交,看起来似乎没有根。但只要允许系数和根不局限于实数直线,而是取值于复平面,那么无论多复杂的多项式都必定在某处为零。加入虚数方向恰好补上了实数留下的空缺。
证明思路
一种标准证明(达朗贝尔–阿尔冈 / 高斯)利用刘维尔定理:若多项式 没有根,则 是有界整函数,由刘维尔定理必为常数,这与 非常数矛盾。更初等的方法证明 在 上取得全局最小值(因为当 时 ),并说明该最小值必为零,否则可通过适当扰动使 更小。
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Benjamin Fine, Gerhard Rosenberger (1997). The Fundamental Theorem of Algebra