[论文解读] Some curious congruences modulo primes

Lilu Zhao, Zhi‐Wei Sun|arXiv (Cornell University)|Apr 7, 2009

Analytic Number Theory Research参考文献 2被引用 4

一句话总结

本文证明了孙智文关于模素数的调和型和同余的猜想，建立了当 $ n $ 为奇数时，对模 $ p $ 的 $ n $-元组整数倒数乘积之和，按模 6 的剩余类限制，当 $ i_1 \equiv 1,2 \pmod{6} $ 与 $ i_1 \equiv 4,5 \pmod{6} $ 分组时同余。关键结果是 $ \mathbb{Z}_p[x] $ 上多项式 $ F_n(x) $ 的函数方程 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $，该方程通过代数恒等变形与归纳法推导出这些和的对称性。

ABSTRACT

Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0

研究动机与目标

• 证明孙智文关于模 $ p $ 的 $ n $-元组整数倒数和按模 6 剩余类分组的同余猜想。
• 在 $ \mathbb{Z}_p[x] $ 中建立多项式 $ F_n(x) = \sum_{0<i_1<\cdots<i_n<p} \frac{x^{i_1}}{i_1\cdots i_n} $ 的函数方程，证明 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $。
• 利用该函数方程推导出依赖于 $ n $ 奇偶性的模 6 特定剩余类的和的对称同余式。
• 将已知的模 $ p^2 $ 同余式（如沃尔斯滕霍尔姆与孙-陶拉索同余）推广至 $ p $-进分析背景下新的对称恒等式。
• 通过 $ \mathbb{F}_p[x] $ 中的形式导数与对称恒等式，提供统一的代数框架，利用归纳法证明主要结果。

提出的方法

• 在 $ \mathbb{Z}_p[x] $ 中定义多项式 $ F_n(x) = \sum_{0<i_1<\cdots<i_n<p} \frac{x^{i_1}}{i_1\cdots i_n} $，其中 $ p > n+1 $ 为素数。
• 通过归纳法对 $ n $ 证明函数方程 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $，从 $ n=1 $ 的基础情形开始。
• 使用 $ \mathbb{Z}_p[x] $ 中的形式导数，注意若导数模 $ p $ 恒为零，则多项式模 $ p $ 为常数。
• 推导涉及 $ \frac{d}{dx}(F_n(1-x) - (-1)^{n-1}F_n(x)) $ 的微分恒等式，证明其模 $ p $ 恒为零，从而推出该多项式模 $ p $ 为常数。
• 通过恒等式 $ \sum_{0<i_1<\cdots<i_n<p} \frac{1}{i_1\cdots i_n} \equiv 0 \pmod{p} $ 确定该常数，该恒等式由 $ x^{p-1}-1 \equiv \prod_{j=1}^{p-1}(x-j) \pmod{p} $ 展开式中 $ x^{p-1-n} $ 的系数导出。
• 利用单位根 $ \omega $（本原三次单位根）分解 $ F_n(-\omega) $ 与 $ F_n(-\omega^2) $，通过系数比较导出模 6 剩余类 $ r $ 的和 $ S_r $ 的同余关系。

实验结果

研究问题

• RQ1 当 $ n $ 为奇数时，是否对满足 $ i_1 \equiv 1,2 \pmod{6} $ 的 $ n $-元组 $ i_1 < \cdots < i_n < p $，其倒数和与 $ i_1 \equiv 4,5 \pmod{6} $ 的倒数和模 $ p $ 同余？
• RQ2 当 $ n $ 为偶数时，是否对满足 $ i_1 \equiv 0 \pmod{3} $ 的和，带交替符号 $ (-1)^{i_1} $，模 $ p $ 同余于 $ i_1 \equiv 2,3,4 \pmod{6} $ 的和的两倍？
• RQ3 是否对所有 $ n \geq 1 $ 建立函数方程 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $，且该方程是否蕴含模 6 剩余类的和的对称同余？
• RQ4 在 $ \mathbb{F}_p[x] $ 中的对称恒等式，特别是涉及形式导数与常数多项式的恒等式，如何帮助证明主要同余式？
• RQ5 从 $ \prod_{j=1}^{p-1}(x-j) $ 展开式导出的模 $ p $ 倒数初等对称和在证明中起什么作用？

主要发现

• 当 $ n $ 为奇数时，有 $ \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 1,2 \pmod{6}}} \frac{1}{i_1\cdots i_n} \equiv \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 4,5 \pmod{6}}} \frac{1}{i_1\cdots i_n} \pmod{p} $，从而证实了孙的猜想。
• 当 $ n $ 为偶数时，有 $ \sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 0 \pmod{3}}} \frac{(-1)^{i_1}}{i_1\cdots i_n} \equiv 2\sum_{\substack{0<i_1<\cdots<i_n<p \\ i_1 \equiv 2,3,4 \pmod{6}}} \frac{1}{i_1\cdots i_n} \pmod{p} $，为新的对称恒等式。
• 对所有 $ n \geq 1 $，函数方程 $ F_n(1-x) \equiv (-1)^{n-1}F_n(x) \pmod{p} $ 成立，其中 $ F_n(x) $ 定义为模 $ p $ 的递增 $ n $-元组 $ \frac{x^{i_1}}{i_1\cdots i_n} $ 的和。
• 证明依赖于恒等式 $ \sum_{0<i_1<\cdots<i_n<p} \frac{1}{i_1\cdots i_n} \equiv 0 \pmod{p} $，该恒等式由 $ x^{p-1}-1 \equiv \prod_{j=1}^{p-1}(x-j) \pmod{p} $ 展开式中 $ x^{p-1-n} $ 的系数导出。
• 利用单位根 $ \omega $ 可将 $ F_n(-\omega) $ 与 $ F_n(-\omega^2) $ 分解，导出涉及模 6 剩余类 $ r $ 的和 $ S_r $ 的同余式，再通过对称性建立关联。
• 微分方法表明 $ \frac{d}{dx}(F_n(1-x) - (-1)^{n-1}F_n(x)) \equiv 0 \pmod{p} $，意味着该表达式模 $ p $ 为常数，代入 $ x=0 $ 与 $ x=1 $ 可确认其模 $ p $ 为零。