[论文解读] Sylvester's Theorem and the Non-integrality of a certain Binomial Sum

Daniel López-Aguayo, Florian Luca|arXiv (Cornell University)|Jul 30, 2015

Advanced Mathematical Theories and Applications参考文献 2被引用 4

一句话总结

本文证明了二项式和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 对任意正整数 $ n $ 和 $ r \in \{1,2,3,4,5,6\} $ 均不为整数，且对所有 $ n \leq r-1 $ 同样成立。通过积分表示法与 Sylvester 关于连续整数中素因子的定理，作者通过分析由二项式系数和指数项导出的有理表达式的分母，确立了其非整数性。

ABSTRACT

In this note, we show that $S(n,r):=\sum_{k=0}^{n} \binom{n}{k}\frac{k}{k+r}$ is not an integer for any positive integer $n$ and $r\in \{1,2,3,4,5,6\}$ and for $n\le r-1$. This gives a partial answer to a conjecture of [3].

研究动机与目标

• 解决关于二项式和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 在正整数 $ n $ 和 $ r $ 下非整数性的猜想。
• 将此前对 $ r = 2,3,4 $ 的非整数性结果扩展至 $ r = 5 $ 和 $ r = 6 $，并证明当 $ n \leq r-1 $ 时的非整数性。
• 给出 $ S(n,r) $ 关于 $ 2^{n+j+1}-1 $ 除以 $ n+j+1 $ 的有理函数的一般公式，从而实现对整数性的系统分析。

提出的方法

• 通过积分表示法推导 $ S(n,r) $ 的闭式表达：$ S(n,r) = r \int_0^1 (1+x)^n x^{r-1} dx $，随后利用二项式定理展开。
• 利用二项式定理将积分转化为有限和：$ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1} - 1}{n+j+1} $，从而建立一个关键代数恒等式。
• 应用 Sylvester 对 Bertrand 假设的推广，确保在 $ r $ 个连续整数 $ n+1, \dots, n+r $ 中，至少有一个被一个素数 $ p > r $ 整除，从而帮助识别非整数的分母。
• 通过分析求和中每一项的 $ p $-进赋值，证明总和不可能为整数，即存在某个素数 $ p > r $ 整除分母但不整除分子。
• 基于奇偶性及对小素数（如 2、3、5）的可除性进行分类讨论，处理小 $ r $ 的情形，特别是当 $ n \leq r-1 $ 时，通过分母结构验证非整数性。
• 利用 $ n \nmid 2^n - 1 $ 对所有 $ n \geq 2 $ 成立的事实，说明 $ \frac{2^{n+1}-1}{n+1} $ 不为整数，并通过线性组合将此结论推广至更高的 $ r $。

实验结果

研究问题

• RQ1 对于正整数 $ n $ 和 $ r $，二项式和 $ S(n,r) = \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k} $ 是否可能为整数？
• RQ2 对于哪些 $ r \in \{1,2,3,4,5,6\} $，$ S(n,r) $ 对所有 $ n \geq 2 $ 均保证为非整数？
• RQ3 当 $ n \leq r-1 $ 时，Sylvester 关于连续整数中素因子的定理是否可用于证明 $ S(n,r) $ 的非整数性？
• RQ4 一般公式 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $ 是否允许对整数性进行系统分析？
• RQ5 在 $ n $ 和 $ r $ 满足弱条件时，是否可证明 $ S(n,r) $ 的分母被某个素数 $ p > r $ 整除，从而推出其非整数性？

主要发现

• 对于所有 $ r \in \{1,2,3,4,5,6\} $ 及所有 $ n \geq 2 $，和 $ S(n,r) $ 均不为整数，该结论将此前对 $ r = 2,3,4 $ 的结果扩展至 $ r = 5 $ 和 $ r = 6 $。
• 当 $ n \leq r-1 $ 时，和 $ S(n,r) $ 不为整数，该结论通过 Sylvester 定理与 Bertrand 假设的推广得到证明，即存在一个素数 $ p > n $ 整除分母。
• 通过积分表示法与二项式展开，推导出一般公式 $ S(n,r) = \sum_{j=0}^{r-1} (-1)^{r-1-j} r \binom{r-1}{j} \frac{2^{n+j+1}-1}{n+j+1} $。
• 当 $ r = 1 $ 时，$ S(n,1) = \frac{2^{n+1}-1}{n+1} $，由于对 $ n \geq 2 $ 有 $ n+1 \nmid 2^{n+1}-1 $，因此该和不为整数。
• 当 $ r = 2 $ 时，$ S(n,2) $ 的分母可被一个不整除 $ n+2 $ 的奇素数 $ p $ 整除，因此 $ S(n,2) $ 不为整数。
• 当 $ r \geq 5 $ 时，存在某一项 $ \frac{c_i(2^{n+i}-1)}{n+i} $，其分母可被一个不整除其他分母的素数 $ p \geq 7 $ 整除，从而确保 $ S(n,r) $ 不为整数。