代数基本定理：如何将两种核心表述统一为等价形式？

嘿，这个问题问到了代数基本定理的核心本质——这两种表述其实就是同一结论的不同侧面，咱们一步步拆解怎么把它们统一成等价形式：

• 表述1：复数域是代数闭域
  代数闭域的严格定义是：对于这个域上任意次数≥1的单变量多项式，它在该域中至少有一个根。这是个"存在性"的表述。
• 表述2：每个非零的单变量n次复系数多项式，计重数恰好有n个复根
  这个表述更偏向"完全分解性"：它说的是n次多项式能拆成n个一次因式的乘积，重根按重复次数算，最后刚好凑够n个根。

假设复数域$\mathbb{C}$是代数闭域，任取一个n次复系数多项式$f(x) = a_nx^n + a_{n-1}x^{n-1} + ... + a_1x + a_0$（$a_n≠0$）：

• 根据代数闭域的定义，$f(x)$肯定有至少一个复根$r_1$。那咱们可以用多项式除法把$f(x)$分解成$(x - r_1)g(x)$，这里$g(x)$是个n-1次的复系数多项式。
• 对$g(x)$再来一遍：因为$\mathbb{C}$是代数闭域，$g(x)$也得有个复根$r_2$，于是$g(x)=(x - r_2)h(x)$，$h(x)$是n-2次多项式。
• 就这么递归下去，最后一定会得到$f(x) = a_n(x - r_1)(x - r_2)...(x - r_n)$，每个$r_i$都是复根。这里面可能有重复的$r_i$（也就是重根），按重数计数的话正好是n个根，完美对应表述2。

反过来，假设每个n次复系数多项式计重数都有n个复根，那对于任意次数≥1的复系数多项式$f(x)$：

• 因为次数n≥1，计重数有n个根，那至少存在一个复根$r$使得$f(r)=0$。这完全符合代数闭域的定义——每个次数≥1的多项式都有域内根，所以$\mathbb{C}$就是代数闭域，也就是表述1成立。

这两个表述其实是从"存在单个根"和"能完全分解为一次因式"两个角度描述同一个事实：复数域上没有次数≥2的不可约多项式，所有不可约多项式都是一次的。而完全分解性正是"存在单个根"这个性质反复应用的结果，反过来完全分解性自然也蕴含了单个根的存在性——两者本质上是一回事。

内容的提问来源于stack exchange，提问作者Antoni Parellada