2026-09-22 · 导数不再是单位时

0. 导读与元结构 (Orientation & Meta-structure)

2026-08-15 的问题是：模 $p$ 的单根为何能唯一长成 ${\mathbb{Z}}_p$ 中的根？那里要求 $f(a)\equiv 0(\mathrm{mod}p)$ 且 $f^{\prime }(a)\not\equiv 0(\mathrm{mod}p)$。今日追问其最自然的失败处：若 $p\mid f^{\prime }(a)$，线性项不可逆，提升是否必然停止？答案是否定的；真正要比较的不是“导数是否为单位”，而是残差 $f(a)$ 比导数 $f^{\prime }(a)$ 的平方多含多少个 $p$。

对象层是素数 $p$、多项式 $f\in {\mathbb{Z}}_p[X]$ 与初值 $a\in {\mathbb{Z}}_p$；尺度层是 $p$-进绝对值 $|\cdot {|}_p$ 或赋值 $v_p$；过程层是 Newton 迭代；极限层依赖 ${\mathbb{Z}}_p$ 的完备性。主导机制有三项：Taylor 展开使一次项被 Newton 校正消去，二次余项令残差平方级改善，超度量不等式把逐步位移压成 Cauchy 控制。

本期是三日“强 Hensel 与局部隐函数”微弧的第 1 日，也是对 2026-08-15 的明确深化：从单根提升进入非单位导数的收敛盆地，并在 $p=2$ 时得到一个尖锐、可执行的平方判据。预备知识仅需 $p$-进赋值、完备性、形式导数与多项式 Taylor 恒等式；后续将走向完备局部环、形式隐函数定理及多元 Jacobian 判据。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从单根条件到尺度条件

约定 $v_p(0)=+\mathrm{\infty }$，且 $|x{|}_p=p^{-v_p(x)}$。基本 Hensel 引理的条件

$$v_p(f(a))\ge 1,v_p(f^{\prime }(a))=0$$

自动推出

$$v_p(f(a))>2v_p(f^{\prime }(a)).$$

右式不再要求 $f^{\prime }(a)$ 是单位，只要求残差相对于导数的退化程度足够小。这提示强版本。

1.2 强 Hensel 引理

定理（strong Hensel lemma）。 设 $p$ 为素数，$f\in {\mathbb{Z}}_p[X]$，$a\in {\mathbb{Z}}_p$，并且

$$|f(a){|}_p<|f^{\prime }(a){|}_p^2,$$

等价地，

$$v_p(f(a))>2v_p(f^{\prime }(a)).$$

则存在唯一的 $\alpha \in {\mathbb{Z}}_p$ 满足

$$f(\alpha )=0,|\alpha -a{|}_p<|f^{\prime }(a){|}_p.$$

而且

$$|\alpha -a{|}_p={\left|\frac{f(a)}{f^{\prime }(a)}\right|}_p,|f^{\prime }(\alpha ){|}_p=|f^{\prime }(a){|}_p.$$

这里的唯一性是球内唯一性，不是声称 $f$ 在整个 ${\mathbb{Z}}_p$ 中只有一个根。

1.3 为什么出现导数的平方

令 $a_0=a$，并在 ${\mathbb{Q}}_p$ 中作 Newton 迭代

$$a_{n+1}=a_n-\frac{f(a_n)}{f^{\prime }(a_n)}.$$

对任意 $x,h\in {\mathbb{Z}}_p$，多项式恒等式给出

$$f(x+h)=f(x)+f^{\prime }(x)h+h^{2}g(x,h),$$

其中 $g\in {\mathbb{Z}}_p[X,H]$。代入 $h=-f(x)/f^{\prime }(x)$，前两项精确相消：

$$f(x-\frac{f(x)}{f^{\prime }(x)})=g(x,-\frac{f(x)}{f^{\prime }(x)}){\left(\frac{f(x)}{f^{\prime }(x)}\right)}^2.$$

所以只要校正量仍在 ${\mathbb{Z}}_p$ 中，便有

$$|f(a_{n+1}){|}_p\le \frac{|f(a_n){|}_p^2}{|f^{\prime }(a_n){|}_p^2}.$$

设

$$t={\left|\frac{f(a)}{f^{\prime }(a{)}^2}\right|}_p<1.$$

Taylor 控制与超度量不等式共同保证 $|f^{\prime }(a_n){|}_p=|f^{\prime }(a){|}_p$，并归纳得到

$$|f(a_n){|}_p\le |f^{\prime }(a){|}_p^2{t}^{2^n},$$

下标平移只会改变指数从 $2^n$ 到 $2^{n-1}$ 的记法。于是

$$|a_{n+1}-a_n{|}_p={\left|\frac{f(a_n)}{f^{\prime }(a_n)}\right|}_p\le |f^{\prime }(a){|}_p{t}^{2^n}⟶0.$$

在超度量空间中，任意 $m>n$ 时

$$|a_m-a_n{|}_p\le \underset{n\le j<m}{max}|a_{j+1}-a_j{|}_p,$$

故 $(a_n)$ 是 Cauchy 列；完备性给出极限 $\alpha \in {\mathbb{Z}}_p$，连续性给出 $f(\alpha )=0$。这也解释了平方阈值：Newton 校正要先除以一次 $f^{\prime }$，二次余项又带来校正量的平方，控制闭合恰好要求 $|f(a)/f^{\prime }(a{)}^2{|}_p<1$。

1.4 应用：$2$-进单位平方的精确判据

推论。 对每个 $u\in {\mathbb{Z}}_2^{\times }$，下列命题等价：

1. $u$ 是 ${\mathbb{Q}}_2$ 中的平方；
2. $u$ 是 ${\mathbb{Z}}_2^{\times }$ 中的平方；
3. $u\equiv 1(\mathrm{mod}8)$。

必要性。 若 $u=v^2$ 且 $u$ 是单位，则 $v$ 也是 $2$-进单位，因而 $v$ 为奇数。写 $v=2k+1$，则

$$v^2=4k(k+1)+1\equiv 1(\mathrm{mod}8),$$

因为 $k(k+1)$ 为偶数。

充分性。 若 $u\equiv 1(\mathrm{mod}8)$，取 $f(X)=X^2-u$ 与 $a=1$。此时

$$|f(1){|}_2=|1-u{|}_2\le 2^{-3},|f^{\prime }(1){|}_2^2=|2{|}_2^2=2^{-2}.$$

严格不等式成立，强 Hensel 引理给出 $\alpha \in {\mathbb{Z}}_2$ 使 ${\alpha }^2=u$。注意模 $2$ 时所有奇数都落在同一剩余类，导数 $2X$ 也恒为偶数；基本单根版本看不见这一结论，强版本却把所需精度准确推进到模 $8$。

研究生延伸。 同一机制可在完备赋值环中表述，并推广到 Henselian local ring（Hensel 局部环）。多元版本把 $f^{\prime }(a)$ 替换为 Jacobian 矩阵的可逆性；从这个角度，Hensel 引理是非 Archimedean 隐函数定理，而“初值落在哪个球中”是局部解析几何的基本问题。

2. 固定模板习题 (Template Exercise)

题目。 设 $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$ 为概率空间，$(A_n{)}_{n\ge 1}\subset \mathcal{F}$ 满足

$$\sum _{n=1}^{\mathrm{\infty }}\mathbb{P}(A_n)<\mathrm{\infty }.$$

证明几乎必然只有有限多个 $A_n$ 发生，即

$$\mathbb{P}(A_n\mathrm{i}.\mathrm{o}.)=0,A_n\mathrm{i}.\mathrm{o}.:=\bigcap _{N=1}^{\mathrm{\infty }}\bigcup _{n\ge N}{A}_n.$$

模板识别。 看到“概率之和有限”与“无穷多个事件发生”，应把后者写成尾并集的递减交，再用并集界控制每个尾部；这就是第一 Borel–Cantelli 引理模板，不需要独立性。

分级提示。

1. 令 $B_N=\bigcup _{n\ge N}{A}_n$；判断 $(B_N)$ 的单调方向及其交集。
2. 用可数次可加性的次可加形式证明 $\mathbb{P}(B_N)\le \sum _{n\ge N}\mathbb{P}(A_n)$。
3. 收敛级数的尾和趋于 $0$；再对递减事件列使用概率测度的上连续性。

3. 大家之言 (Mathematician in Their Own Words)

Terence Tao 在个人职业建议文章 “Ask yourself dumb questions — and answer them!” 中讨论学习与发现数学时，强调应主动拆掉命题的保护条件。该网页是 Tao 本人的第一人称文章；以下句子已按原页核对：

“For instance, given a standard lemma in a subject, you can ask what happens if you delete a hypothesis, or attempt to strengthen the conclusion.”

中译：例如，面对一个领域中的标准引理，你可以追问：删去某个假设会怎样，或者能否加强结论。

今日的强 Hensel 引理正是这种追问的好样本。删去“$f^{\prime }(a)$ 为单位”后，结论没有简单地变成真或假；证明迫使我们找到更精确的替代量——$v_p(f(a))-2v_p(f^{\prime }(a))$。而继续追问能否把严格不等式改为等号，又会在下一节立刻撞见反例。这里的数学态度不是无条件弱化假设，而是追踪证明中每一份估值预算，找出恰能闭合迭代的尺度。

来源页标注为 Tao 的职业建议文章，网页未显示独立发表日期；因此不虚构日期。

4. 反例与边界 (Counterexample & Boundary)

强 Hensel 条件中的严格不等式不能普遍放宽为

$$|f(a){|}_p\le |f^{\prime }(a){|}_p^2.$$

取 $p=2$、$f(X)=X^2+3$、$a=1$。逐项检查：

1. 确为模 $2$ 的根： $f(1)=4\equiv 0(\mathrm{mod}2)$。
2. 它是奇异根： $f^{\prime }(X)=2X$，故 $f^{\prime }(1)=2\equiv 0(\mathrm{mod}2)$。
3. 恰落在等号边界：
   $$|f(1){|}_2=|4{|}_2=\frac{1}{4},|f^{\prime }(1){|}_2^2=|2{|}_2^2=\frac{1}{4}.$$
   等价地，$v_2(f(1))=2=2v_2(f^{\prime }(1))$，只有零估值余量。
4. 没有 $2$-进根： 若 ${\alpha }^2=-3$ 于 ${\mathbb{Q}}_2$，则 $|\alpha {|}_2=1$，所以 $\alpha \in {\mathbb{Z}}_2^{\times }$。但 $-3\equiv 5(\mathrm{mod}8)$，而上一节已逐项证明 $2$-进单位平方必同余于 $1(\mathrm{mod}8)$，矛盾。

因此把“$<$”换成“$\le$”会使定理为假。“有一个模 $p$ 的重根”既不保证存在提升，也不决定提升数目。导数非单位不是死亡判决；但残差必须相对于导数退化得足够快。这个例子也说明模 $4$ 的近似信息仍少一位：$-3\equiv 1(\mathrm{mod}4)$，却不是 ${\mathbb{Q}}_2$ 中的平方。

5. 今日一问与数学地图 (Question & Map)

今日一问。 对 $f\in {\mathbb{Z}}_p[X]$ 与某个实际存在的单根或重根 $\alpha \in {\mathbb{Z}}_p$，强 Hensel 不等式描述了一个足够的 Newton 初值球。这个球何时正好等于吸引到 $\alpha$ 的全部 $p$-进初值集合？若不相等，边界由临界点、其他根，还是由更细的剩余类动力学决定？

可先研究二次多项式，并比较两个量：$|a-\alpha {|}_p$ 与 $|f^{\prime }(a){|}_p$。无需马上求完整 Newton 动力系统；先找一个“充分球严格小于真实吸引盆地”的例子，或证明某个受限类别中二者相等。

数学地图：

$$\text{p-进赋值与完备性}⟶\text{基本 Hensel 单根提升}⟶\boxed{{\displaystyle \text{强 Hensel 与 Newton 盆地}}}$$

$$⟶\{\begin{array}{l}\text{完备局部环与 Henselian ring},\\ \text{形式隐函数定理与 Jacobian 判据},\\ \text{p-进动力系统与吸引域},\\ \text{算术几何中的局部可解性。}\end{array}$$

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：尾并集 + union bound + 上连续性。

令

$$B_N:=\bigcup _{n=N}^{\mathrm{\infty }}{A}_n.$$

则 $B_{N+1}\subseteq B_N$，且按定义

$$A_n\mathrm{i}.\mathrm{o}.=\bigcap _{N=1}^{\mathrm{\infty }}{B}_N.$$

由概率测度的可数次可加性之次可加推论，

$$\mathbb{P}(B_N)=\mathbb{P}\left(\bigcup _{n=N}^{\mathrm{\infty }}{A}_n\right)\le \sum _{n=N}^{\mathrm{\infty }}\mathbb{P}(A_n).$$

因为非负级数 $\sum _{n=1}^{\mathrm{\infty }}\mathbb{P}(A_n)$ 收敛，其尾和满足

$$\underset{N\to \mathrm{\infty }}{lim}\sum _{n=N}^{\mathrm{\infty }}\mathbb{P}(A_n)=0.$$

又因 $(B_N)$ 是递减事件列，且 $\mathbb{P}(B_1)\le 1<\mathrm{\infty }$，概率测度的上连续性给出

$$\mathbb{P}(A_n\mathrm{i}.\mathrm{o}.)=\mathbb{P}\left(\bigcap _{N=1}^{\mathrm{\infty }}{B}_N\right)=\underset{N\to \mathrm{\infty }}{lim}\mathbb{P}(B_N)\le \underset{N\to \mathrm{\infty }}{lim}\sum _{n=N}^{\mathrm{\infty }}\mathbb{P}(A_n)=0.$$

故 $\mathbb{P}(A_n\mathrm{i}.\mathrm{o}.)=0$。证明中从未使用事件之间的独立性；独立性只在第二 Borel–Cantelli 引理的逆向结论中出现。

资料与来源 (Sources)

1. Keith Conrad, “Hensel’s Lemma”, sections 4–6: Theorem 4.1 给出强 Hensel 条件与球内唯一性；Theorem 4.5 给出 $2$-进单位平方的模 $8$ 判据；第 5 节以 Newton 法证明该强版本。University of Connecticut expository notes. 直达 PDF：https://kconrad.math.uconn.edu/blurbs/gradnumthy/hensel.pdf
2. Kurt Hensel, “Neue Grundlagen der Arithmetik”, Journal für die reine und angewandte Mathematik 127 (1904), 51–84. EuDML metadata and full-text gateway: https://eudml.org/doc/149178. 这是历史原始论文；本期定理陈述与证明细节采用上列现代讲义核对，而非从旧术语直接移植。
3. Terence Tao, “Ask yourself dumb questions — and answer them!”, first-person career-advice essay；本期引文逐字取自该页。https://terrytao.wordpress.com/career-advice/ask-yourself-dumb-questions-and-answer-them/
4. 2026-08-15《每日数学》，“让模 $p$ 的根长成精确根：Hensel 提升、Newton 迭代与导数单位条件”，本期所深化的基本单根版本。本地归档：/opt/data/output/daily-mathematics-journal/2026/08/2026-08-15.md