代数基本定理复分析证明：Rosenlicht分析导论问题求解

嘿，你已经搞定了(a)(b)部分的核心铺垫，离完成证明只差临门一脚了！我来把(c)(d)里绕人的代数步骤拆解开，帮你理清思路：

先明确前提：我们的目标是什么？ #

你已经找到原点中心圆盘内存在|f(z)|的最小值点z₀∈ℝ，(c)(d)本质是要反证这个最小值点z₀一定是f(z)的根——也就是证明f(z₀)=0，这是代数基本定理证明的核心环节。

步骤1：把多项式围绕最小值点展开 #

设f(z)是n次复多项式，我们把它写成以(z-z₀)为变量的形式：
f(z) = aₙ(z-z₀)ⁿ + aₙ₋₁(z-z₀)ⁿ⁻¹ + ... + a₁(z-z₀) + a₀
这里a₀ = f(z₀)，因为z₀是最小值点，所以|a₀|是|f(z)|的全局最小值。我们先反证假设a₀≠0，后面会用这个假设推出矛盾。

步骤2：提取最低次的非零项 #

在展开式里，找到最小的整数k（1≤k≤n）使得aₖ≠0（k是第一个非零系数的次数），这样f(z)可以简化为：
f(z) = a₀ + aₖ(z-z₀)ᵏ + aₖ₊₁(z-z₀)ᵏ⁺¹ + ... + aₙ(z-z₀)ⁿ
把a₀提出来，方便后续处理：
f(z) = a₀[1 + (aₖ/a₀)(z-z₀)ᵏ + (aₖ₊₁/a₀)(z-z₀)ᵏ⁺¹ + ... + (aₙ/a₀)(z-z₀)ⁿ]

步骤3：引入变量简化，构造“能让绝对值变小”的z #

令w = z - z₀，这样式子变成：
f(z₀ + w) = a₀[1 + c wᵏ + d₁ wᵏ⁺¹ + ... + dₙ₋ₖ wⁿ]
这里c = aₖ/a₀ ≠ 0（因为aₖ≠0，a₀≠0是我们的假设）。

现在关键来了：我们可以选w使得c wᵏ是一个负实数。因为复数的k次方可以覆盖所有辐角，所以存在w满足wᵏ = -t/c，其中t是一个很小的正实数（t>0且足够小，保证w的模足够小，让后面的高阶项可以被控制）。

把这个w代入式子：
f(z₀ + w) = a₀[1 - t + d₁ wᵏ⁺¹ + ... + dₙ₋ₖ wⁿ]

步骤4：用三角不等式推翻最小值假设 #

当t足够小时，|w|也足够小，这时候所有高阶项（wᵏ⁺¹及以上）的绝对值之和会小于t/2——因为高阶项是w的更高次幂，增长速度比t慢得多，只要t足够小就能满足这个条件，即：
|d₁ wᵏ⁺¹ + ... + dₙ₋ₖ wⁿ| < t/2

接下来用三角不等式计算|f(z₀ + w)|：

|f(z₀ + w)| = |a₀| * |1 - t + (高阶项)|
≥ |a₀| * (|1 - t| - |高阶项|)  // 三角不等式的反向应用：|A+B|≥||A|-|B||

因为t是很小的正数，|1-t|=1-t，代入后：
|f(z₀ + w)| ≥ |a₀| * (1 - t - t/2) = |a₀| * (1 - 3t/2)

而1 - 3t/2 < 1，所以|f(z₀ + w)| < |a₀| = |f(z₀)|——这直接和z₀是|f(z)|的最小值点矛盾！

结论：假设不成立，f(z₀)=0 #

我们之前假设a₀≠0，结果推出了矛盾，所以只能是a₀=0，也就是f(z₀)=0，这就完成了(c)(d)部分的核心证明。

如果你的(c)(d)是涉及实多项式因式分解的延伸（比如实多项式可以分解为一次和二次因式的乘积），那只需要在这个结论基础上，利用复根共轭的性质继续推导即可——如果z是实多项式的复根，那么它的共轭复数也是根，把这两个根配对就能得到二次实因式。

内容的提问来源于stack exchange，提问作者Zain Siddiqui