[论文解读] An elementary proof of a Rodriguez-Villegas supercongruence

Roberto Tauraso|ArXiv.org|Nov 22, 2009

Analytic Number Theory Research参考文献 3被引用 15

一句话总结

本文给出了Rodriguez-Villegas超同余的一个初等证明，表明对于任意奇素数 $ p $，有 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 16^{-k} \equiv (-1)^{(p-1)/2} \pmod{p^2} $。证明使用了一种新颖的组合恒等式以及模 $ p^2 $ 下二项式系数的性质，进一步推广至与斐波那契数列和卢卡斯数列相关的新结果，并证明了孙智伟的一个猜想。

ABSTRACT

We give a short proof of the following known congruence: for every odd prime $p$ $$\sum_{k=0}^{p-1}{2k\choose k}^2 16^{-k}\equiv (-1)^{p-1\over 2}\pmod{p^2}.$$ Moreover, we provide some new results connected with the above congruence.

研究动机与目标

• 提供一种新的、初等的证明方法，用于已知的涉及中心二项式系数模 $ p^2 $ 的超同余。
• 通过在对称恒等式中引入参数 $ \alpha $ 和 $ \beta $，推广原始同余式。
• 建立超同余与斐波那契数列和卢卡斯数列等已知整数数列之间的联系。
• 证明孙智伟关于当 $ p \equiv 3 \pmod{4} $ 时，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 0 \pmod{p^2} $ 的猜想。
• 为满足 $ p \equiv 1 \pmod{4} $ 的素数，推导出和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} $ 的显式同余式，将其与二项式系数平方和以及 $ p $ 表示为两平方之和的形式联系起来。

提出的方法

• 使用已知的组合恒等式：$ \sum_{k=0}^{n} \binom{n}{k}^2 \alpha^{n-k} \beta^k = \sum_{k=0}^{n} \binom{n+k}{k} \binom{n}{k} (\alpha - \beta)^{n-k} \beta^k $，并通过生成函数重新证明该恒等式。
• 通过关系式 $ \binom{n+k}{k} \binom{n}{k} = \binom{n+k}{2k} \binom{2k}{k} $ 对恒等式进行变换，从而实现模运算下的约化。
• 应用关键同余式 $ \binom{n+k}{2k} \equiv \binom{2k}{k} (-16)^{-k} \pmod{p^2} $，其中 $ n = (p-1)/2 $，该式源于二项式系数的 $ p $-进性质。
• 通过利用 $ \binom{2k}{k}^2 \equiv 0 \pmod{p^2} $ 对 $ (p-1)/2 < k < p-1 $ 成立的事实，将和式模 $ p^2 $ 约化，仅保留在前 $ (p-1)/2 $ 项。
• 利用对称性性质：$ T(\alpha, \beta) \equiv T(\beta, \alpha) \equiv (-1)^{(p-1)/2} T(-\alpha, -\beta) \pmod{p^2} $，推导出 $ \alpha, \beta $ 取特定值时的新同余式。
• 代入 $ \alpha = 1-t, \beta = -t $，将和式与斐波那契数列和卢卡斯数列关联，得到依赖于 $ p \mod 4 $ 的模 $ p^2 $ 同余式。

实验结果

研究问题

• RQ1 能否在不依赖 $ p $-进 $ \Gamma $-函数或超几何级数的前提下，使用初等方法证明Rodriguez-Villegas超同余？
• RQ2 通过引入两个参数 $ \alpha $ 和 $ \beta $，该超同余的推广形式是什么？其中出现的对称性有哪些？
• RQ3 如何将超同余与斐波那契数列和卢卡斯数列等已知整数数列联系起来？
• RQ4 当 $ p \equiv 3 \pmod{4} $ 时，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} $ 是否在模 $ p^2 $ 下恒为零？这正是孙智伟的猜想。
• RQ5 对于满足 $ p \equiv 1 \pmod{4} $ 的素数，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} $ 是否能用 $ p = x^2 + y^2 $ 的表示形式表达？

主要发现

• 对所有奇素数 $ p $，超同余式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 16^{-k} \equiv (-1)^{(p-1)/2} \pmod{p^2} $ 成立，其证明基于二项式恒等式与模运算的初等方法。
• 广义恒等式成立：$ \sum_{k=0}^{(p-1)/2} \binom{2k}{k}^2 \frac{((\beta - \alpha)^{(p-1)/2 - k} (-\beta)^k)}{16^k} \equiv \sum_{k=0}^{(p-1)/2} \binom{(p-1)/2}{k}^2 \alpha^{(p-1)/2 - k} \beta^k \pmod{p^2} $。
• 当 $ p \equiv 1 \pmod{4} $ 时，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 \frac{F_k}{16^k} \equiv 0 \pmod{p^2} $，其中 $ F_k $ 为第 $ k $ 个斐波那契数。
• 当 $ p \equiv 3 \pmod{4} $ 时，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 \frac{L_k}{16^k} \equiv 0 \pmod{p^2} $，其中 $ L_k $ 为第 $ k $ 个卢卡斯数。
• 当 $ p \equiv 3 \pmod{4} $ 时，和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 0 \pmod{p^2} $，从而证实了孙智伟的猜想。
• 当 $ p \equiv 1 \pmod{4} $ 时，令 $ f = (p-1)/4 $ 且 $ p = x^2 + y^2 $，则和式 $ \sum_{k=0}^{p-1} \binom{2k}{k}^2 32^{-k} \equiv 2x - \frac{p}{2x} \pmod{p^2} $，该结果由平方二项式系数的有限和导出。