Sendov猜想证明的解析

# Sendov猜想证明解读 来源：https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/ 本文讨论以下Sendov猜想（https://zbmath.org/3254142）及其由Phelps–Rodriguez加强的版本（https://zbmath.org/3386011）： > **猜想1（Sendov猜想）** > 设 \( n \geq 2 \)，且 \( p : \mathbf{C} \rightarrow \mathbf{C} \) 为 \( n \) 次多项式，其所有零点位于单位圆盘内。则对 \( p \) 的任意零点 \( a \)，存在临界点 \( \zeta \) 满足 \( |\zeta-a| \leq 1 \)。 > **猜想2（Phelps–Rodriguez猜想）** > 设 \( n \geq 2 \)，且 \( p : \mathbf{C} \rightarrow \mathbf{C} \) 为 \( n \) 次多项式，其所有零点位于单位圆盘内。则对 \( p \) 的任意零点 \( a \)，存在临界点 \( \zeta \) 满足 \( |\zeta-a| < 1 \)，除非 \( a \) 位于单位圆周上且 \( p \) 是 \( z^n - a^n \) 的标量倍。 通过绕原点旋转，可将 \( a \) 归一化为满足 \( 0 \leq a \leq 1 \) 的实数。根据Rubinstein的工作（https://zbmath.org/3274887），两个猜想在 \( a=1 \) 的情形已得证，因此只需考虑 \( 0 \leq a < 1 \) 的情形。这两个猜想均可由以下命题推导出： > **猜想3（内部区域的Sendov猜想）** > 设 \( n \geq 2 \)。令 \( p : \mathbf{C} \rightarrow \mathbf{C} \) 为 \( n \) 次多项式，其所有零点位于单位圆盘内。若 \( 0 \leq a < 1 \) 是 \( p \) 的零点，则存在临界点 \( \zeta \) 满足 \( |\zeta-a| < 1 \)。 上述三个猜想在 \( n \leq 8 \) 时已被一系列论文证明（最终归结为Brown与Xiang的论文 https://zbmath.org/1286149），且在 \( n \) 充分大时由本人在论文（https://terrytao.wordpress.com/2020/12/08/sendovs-conjecture-for-sufficiently-high-degree-polynomials/）中建立（该论文基于若干部分结果）。这留下了中等规模 \( n \) 的情形尚未解决。我的论证使用了一些定性要素（尤其是解析延拓），因此难以量化该论证有效的阈值 \( n \)。 近期，Lech Mazur利用AI工具（https://www.proofatlas.ai/papers/sendov-conjecture/SENDOV_CONJECTURE_PROOF_AUGUST_5_2026.pdf）解决了所有 \( n \geq 2 \) 的Sendov猜想，并通过Lean验证（https://www.proofatlas.ai/formalizations/sendov-conjecture/）。然而，AI生成的证明尚未被人工消化为可发表的预印本形式；我花费数日（借助大量AI辅助 https://chatgpt.com/share/6a7ceea8-5aa0-83e8-a56b-67cd7ec59f06）完成这一消化过程，将证明置于既有文献背景中，并简化梳理论证以突出核心思想。（注：上述聊天记录仅代表部分消化工作，其余部分通过纸笔或其他AI代理完成。） 这些论证同时给出了Rubinstein定理的新证明，我将在正文后展示。消化工作的结果之一在于，该论证实际上证明了猜想3（https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#interior），从而完全解决了Sendov猜想和Phelps–Rodriguez猜想。证明过程极其初等：除代数基本定理（以及Möbius变换的基础知识）外未使用复分析；所用最深刻的输入不等式为Maclaurin不等式（https://en.wikipedia.org/wiki/Maclaurin%27s_inequality）（仅需该不等式可由算术-调和平均不等式导出的特例）。 我借助AI代理在Lean中形式化了（https://github.com/teorth/sendov）整个论证，并通过小幅修改扩展至 \( n \geq 2 \) 的情形。该形式化比原证明更精简（约15,000行代码，而原证明约90,000行）。 现证明猜想3（https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#interior）。\( n \leq 4 \) 的情形早已被熟知但需单独处理；本文末尾将使用此处开发的机制给出简短证明。 假设存在某个 \( n \geq 5 \) 的反例，即存在 \( n \) 次多项式 \( p \)，其零点为 \( a, z_1, \dots, z_{n-1} \)（其中 \( 0 \leq a < 1 \) 且 \( z_j \) 位于闭单位圆盘内），且所有临界点与 \( a \) 的距离至少为1。此处 \( O() \) 记号取非渐近含义，即 \( X = O(Y) \) 表示存在绝对常数 \( C \)（独立于 \( n \)）使得 \( |X| \leq C Y \)。我们亦用 \( O_{\leq}(Y) \) 表示绝对值不超过 \( Y \) 的量。 为刻画临界点与 \( a \) 距离至少为1的性质，可将这些临界点表示为 \[ a - \frac{1}{q_1}, \dots, a - \frac{1}{q_{n-1}} \] 其中 \( q_1,\dots,q_{n-1} \) 为闭单位圆盘内的非零数。 > **例4** > 若 \( p(z) = z^n - 1 \) 且 \( a=1 \)，则 \( z_1,\dots,z_{n-1} \) 为 \( n \) 次单位根的非平凡根，而 \( q_1,\dots,q_{n-1} \) 均等于1。严格来说，这并非猜想3（https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#interior）的反例（因 \( a \) 不严格小于1），但它为后续论证提供了重要的动机性近反例。 > **例5** > 我的论文（https://arxiv.org/abs/2012.04125）第4节研究了上述例子的推广。设 > \[ p(z) = (z + \frac{c_2}{n})^{n-m} P(z) - (a + \frac{c_2}{n})^{n-m} P(a) \] > 其中 \( n \) 为趋于无穷的渐近参数，\( P(z) = (z-\lambda_1) \dots (z - \lambda_m) \) 为低次多项式（\( m=O(1) \)），\( a = 1 - \frac{c_1}{n} \)，且 \( c_1,c_2 > 0 \) 为常数。该多项式在 \( a \) 处有零点，在 \( -\frac{c_2}{n} \) 处有 \( n-m-1 \) 个临界点，并在 \( \lambda_1,\dots,\lambda_m \) 附近有 \( m \) 个额临界点。若所有临界点与 \( a \) 的距离至少为1，则有 \( c_2 \geq c_1 \) 且 \( |1-\lambda_j| \geq 1 - o(1) \)。若所有零点位于单位圆盘内，我的论文计算表明 > \[ c_2 - c_1 - c_2 \cos \theta + \sum_{j=1}^m \log \left|\frac{1-\lambda_j}{e^{i\theta}-\lambda_j}\right| \leq o(1) \quad (1) \] > 其中 \( o(1) \) 表示当 \( n \rightarrow \infty \) 时趋于零的量。若忽略 \( o(1) \) 误差，可证明这些条件仅在 \( c_1=c_2 \) 且所有 \( \lambda_j \) 为零时同时成立，但论证过程较为微妙（需通过分析(1)的第二Fourier系数 https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#c21）。这表明 \( a = 1 - O(1/n) \) 的情形尤为微妙。 现在我们在闭单位圆盘中有两组点：\( \{z_1,\dots,z_{n-1}\} \) 和 \( \{q_1,\dots,q_{n-1}\} \)。它们通过多项式 \( p \) 及其一阶导数 \( p' \) “相互关联”，两者均可表示为任一点集（及 \( n \) 和 \( a \)）的函数。事实上，若将 \( p \) 标准化为首一多项式，则可将其分解为零点乘积： \[ p(z) = (z-a) \prod_{j=1}^{n-1} (z-z_j) \quad (2) \] 进而求导得 \[ p'(z) = \left(\prod_{j=1}^{n-1} (z-z_j)\right) \left(1 + (z-a) \sum_{j=1}^{n-1} \frac{1}{z-z_j}\right). \quad (3) \] （此处及后续采用约定：当表达式同时涉及 \( \frac{1}{z-z_j} \) 与 \( z-z_j \) 的乘积时，若 \( z=z_j \) 则先消去奇点。）类似地，\( p' \) 可分解为 \[ p'(z) = n \prod_{j=1}^{n-1} \left(z - a + \frac{1}{q_j}\right) \quad (4) \] 积分（结合 \( p(a)=0 \)）得 \[ p(z) = (z-a) \int_0^1 n \prod_{j=1}^{n-1} \left(t(z - a) + \frac{1}{q_j}\right)\ dt. \quad (5) \] 为简化，首先排除平凡情形 \( a=0 \)。此时由(3)和(4)得 \[ p'(0) = \prod_{j=1}^{n-1} (-z_j) = n \prod_{j=1}^{n-1} \frac{1}{q_j} \] 这显然矛盾，因左边乘积模不超过1，右边乘积模不小于1。故下文总设 \( a>0 \)。 通过在自然位置检查 \( p \) 或 \( p' \)，可得一系列关联 \( z_j \) 与 \( q_j \) 的恒等式。我们仅记录所需部分： > **引理6（关联恒等式）** > 设函数 \( F \) 为 > \[ F(t) := \prod_{j=1}^{n-1} (1 - atq_j). \quad (6) \] > - **(i) 质心恒等式** > \[ \frac{1}{n} \left(a + \sum_{j=1}^{n-1} z_j\right) = \frac{1}{n-1} \sum_{j=1}^{n-1} \left(a - \frac{1}{q_j}\right). \quad (7) \] > 即零点质心等于临界点质心。 > - **(ii) 极点恒等式** > \[ \prod_{j=1}^{n-1} \frac{1-az_j}{a-z_j} = \int_0^1 \prod_{j=1}^{n-1} (t (1-a^2) q_j + a)\ dt. \quad (8) \] > - **(iii) 第一原点恒等式** > \[ (-1)^{n-1} \prod_{j=1}^{n-1} z_j = \frac{n}{\prod_{j=1}^{n-1} q_j} \int_0^1 F(t)\ dt. \quad (9) \] > - **(iv) 第二原点恒等式** > \[ (-1)^{n-1} \prod_{j=1}^{n-1} z_j \left( 1 + a \sum_{j=1}^{n-1} \frac{1}{z_j} \right) = \frac{n}{\prod_{j=1}^{n-1} q_j} F(1). \quad (10) \] > （同样使用消奇约定处理某些 \( z_j \) 为零的情形。） *证明*：对(i)，考察 \( p'(z) \) 在 \( z \rightarrow \infty \) 时的性态。由(2)有 \[ p(z) = z^n - \left( a + \sum_{j=1}^{n-1} z_j \right) z^{n-1} + O(z^{n-2}) \] 逐项求导得 \[ p'(z) = n z^{n-1} - (n-1) \left( a + \sum_{j=1}^{n-1} z_j \right) z^{n-2} + O(z^{n-3}). \] 同时由(4)有 \[ p'(z) = n z^{n-1} - n \left(\sum_{j=1}^{n-1} \left(a - \frac{1}{q_j}\right)\right) z^{n-2} + O(z^{n-3}). \] 比较系数即得结论。 对(ii)，考虑表达式 \( p(1/a) / p'(a) \)。一方面由(2)和(3)得 \[ \frac{p(1/a)}{p'(a)} = \frac{(1/a - a) \prod_{j=1}^{n-1} (1/a - z_j)}{\prod_{j=1}^{n-1} (a-z_j)} \] （由假设 \( a \) 非临界点，故分母非零。）另一方面由(4)和(5)得 \[ \frac{p(1/a)}{p'(a)} = \frac{(1/a - a) \int_0^1 n \prod_{j=1}^{n-1} \left(t\left(\frac{1}{a} - a\right) + \frac{1}{q_j}\right)\ dt}{n \prod_{j=1}^{n-1} \frac{1}{q_j}}. \] 联立两式，经简单代数即得(ii)。 对(iii)，计算 \( p(0) \)。由(2)有 \[ p(0) = -a (-1)^{n-1} \prod_{j=1}^{n-1} z_j \] 而由(5)有 \[ p(0) = -a \int_0^1 n \prod_{j=1}^{n-1} \left(-at + \frac{1}{q_j}\right)\ dt. \] 联立两式，利用(6)即得(iii)。 对(iv)，类似计算 \( p'(0) \)。由(3)有 \[ p'(0) = (-1)^{n-1} \left(\prod_{j=1}^{n-1} z_j\right) \left(1 + a \sum_{j=1}^{n-1} \frac{1}{z_j}\right) \] 而由(4)有 \[ p'(0) = n \prod_{j=1}^{n-1} \left(- a + \frac{1}{q_j}\right). \] 联立两式，利用(6)即得(iv)。 值得注意的是，多项式 \( p \) 在后续论证中不再起作用：恒等式(i)–(iv)结合 \( 0 \leq a < 1 \) 及 \( z_j, q_j \) 位于闭单位圆盘的假设，自身即可导出矛盾。 > **例7** > 沿用例4（https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#ex）的例子：对(i)两边均为零；对(ii)两边均为1；对(iii)和(iv)，\( F(t) = (1-t)^{n-1} \)，(iii)两边均为1，(iv)两边均为零。 > **注记8** > 质心恒等式极其经典，可追溯至Popoviciu的1948年论文（https://zbmath.org/3047862）。比较多项式在位置 \( a \) 与其关于闭单位圆的极点倒数 \( 1/a \) 处的取值是文献中的常见技巧（参见Dégot 的引理5与定理8 https://zbmath.org/6269492）。极点恒等式的具体形式隐含于Mazur AI生成证明的第5节前半部分（https://www.proofatlas.ai/papers/sendov-conjecture/SENDOV_CONJECTURE_PROOF_AUGUST_5_2026.pdf），而原点恒等式提取自该证明的方程(6.3)。第一原点恒等式接近于Dégot的定理6，第二原点恒等式类似于Dégot引理6证明中的某些恒等式，亦见于Mir–Nazir–Wani的工作（https://zbmath.org/7742078）及Rubinstein（在 \( a=1 \) 情形）的工作（https://zbmath.org/3274887）。Meir–Sharma（https://zbmath.org/3308557）与Mir–Nazir–Wani（https://zbmath.org/7742078）的工作还包含若干关联 \( z_j \) 与 \( q_j \) 的恒等式（特别参见下文引理15 https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#meir）。(5)的变体亦出现于Miller的命题10（https://zbmath.org/399047）。 > **注记9** > 第一原点恒等式(9)已足以渐近处理例5（https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture/#ex2）中的所有形式（除 \( c_1, c_2 \) 为零且所有 \( \lambda_j \) 为0的端点情形）。事实上，因 \( z_j, q_j \) 位于闭单位圆盘内，(9)蕴含 > \[ n \left|\int_0^1 F(t)\ dt\right| \leq 1. \] > 另一方面，常规计算（此处省略）表明 > \[ n \int_0^1 F(t)\ dt = 1 + \frac{c_2 + \sum_{j=1}^{m} \frac{-\lambda_j}{1-\lambda_j}}{n} + O\left(\frac{1}{n^2}\right) \] > 渐近导向约束 > \[ c_2 + \mathrm{Re} \sum_{j=1}^{m} \frac{-\lambda_j}{1-\lambda_j} \geq 0 \]