[论文解读] A Simple Number Theoretic Result

Manjil P. Saikia, Jure Vogrinc|arXiv (Cornell University)|Jul 28, 2012

Advanced Mathematical Theories参考文献 4被引用 4

一句话总结

本文基于二项式系数与下取整函数的同余关系，建立了一个素性测试：对于大于1的自然数 $ p $，当且仅当对所有非负整数 $ n $，有 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $，则 $ p $ 为素数。作者提供了三种不同的证明——数论方法、组合方法以及利用卢卡斯定理的方法——证明了该等价关系，并提出了一种基于初等数论的新型、初等的素性判别准则。

ABSTRACT

We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.

研究动机与目标

• 建立一个利用二项式系数与下取整函数的素性判定的必要且充分条件。
• 将一个涉及被7整除的印度奥林匹克问题推广至任意素数。
• 为主要结果提供多种证明——数论方法、组合方法以及通过卢卡斯定理的方法。
• 研究该同余关系在合数情况下失效的原因，并构造反例。
• 探讨与卢卡斯定理及相关同余关系在数论中的联系。

提出的方法

• 利用卢卡斯定理将二项式系数模素数 $ p $ 化简，表达为 $ \binom{m}{n} \equiv \prod \binom{a_i}{b_i} \pmod{p} $，其中 $ a_i, b_i $ 为 $ m, n $ 的 $ p $ 进制数字。
• 通过组合论证将 $ n $ 个隔间划分为大小为 $ p $ 的组，表明跨越多组的选择数可被 $ p $ 整除。
• 数论证明将 $ \binom{ap + b}{p} \pmod{p} $ 化简，并证明其同余于 $ a \equiv \lfloor n/p \rfloor \pmod{p} $。
• 通过设定 $ n = p + q $（其中 $ q $ 为 $ p $ 的最小素因子）来构造合数 $ p $ 的反例，以证明该同余关系不成立。
• 使用模运算和阶乘模 $ p $ 的性质，包括威尔逊定理和简化剩余系。
• 比较 $ \binom{p+q}{p} \mod p $ 与 $ \lfloor (p+q)/p \rfloor \mod p $，以证明当 $ p $ 为合数时二者不满足同余关系。

实验结果

研究问题

• RQ1 同余条件 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ 是否可作为 $ p $ 素性的必要且充分判定？
• RQ2 为何该同余关系在合数 $ p $ 时不成立？能否系统性地构造反例？
• RQ3 卢卡斯定理如何支持或推广该主要结果？
• RQ4 是否存在该同余关系在 $ p^k $ 或其他序列（如斐波那契数列）中的高阶推广？
• RQ5 在什么条件下，对所有 $ n \geq m $，有 $ \binom{nd}{md} \equiv \binom{n}{m} \pmod{p} $ 成立？

主要发现

• 大于1的自然数 $ p $ 为素数，当且仅当对所有非负整数 $ n $，有 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $，从而确立了一种新颖的素性判别准则。
• 该同余关系对所有 $ n $ 成立当且仅当 $ p $ 为素数，作者提供了三种不同证明：组合方法、数论方法以及通过卢卡斯定理的方法。
• 对于合数 $ p $，该同余关系不成立；通过设定 $ n = p + q $（其中 $ q $ 为 $ p $ 的最小素因子）构造了反例，表明 $ \binom{p+q}{p} \not\equiv \lfloor (p+q)/p \rfloor \pmod{p} $。
• 通过卢卡斯定理的证明表明 $ \binom{ap + b}{p} \equiv a \pmod{p} $，且由于 $ \lfloor (ap + b)/p \rfloor = a $，因此该同余关系对素数 $ p $ 成立。
• 本文证明了 $ \binom{np}{rp} \equiv \binom{n}{r} \pmod{p} $，该结果与卢卡斯定理一致，且指出模 $ p^3 $ 的更高阶同余关系也存在，如贝利所展示。
• 作者指出，将该同余关系推广至 $ p $ 的更高次幂，或推广至斐波那契数列等其他序列，更为复杂，仍是待探索的研究方向。