2025-11-16T03:49:11.952197

An alternating sum of the floor function of square roots

Chamberland, Dilcher
We show that the alternating sum of the floor function of $\sqrt{jn}$, with $j$ ranging from 1 to $n$, has an easy evaluation for all odd integers $n\geq 1$. This is in contrast to known non-alternating sums of the same type which hold only for a class of primes. The proof is elementary and was suggested by an AI model. To put this result in perspective, we also prove an asymptotic expression for the analogous sum without the floor function.
academic

An alternating sum of the floor function of square roots

基本信息

  • 论文ID: 2510.26291
  • 标题: An alternating sum of the floor function of square roots
  • 作者: Marc Chamberland (Grinnell College), Karl Dilcher (Dalhousie University)
  • 分类: math.NT (Number Theory)
  • 发表时间: 2025年10月30日提交至arXiv
  • 论文链接: https://arxiv.org/abs/2510.26291

摘要

本文证明了对所有奇数 n≥1n \geq 1，jn\sqrt{jn} 的下取整函数的交替和（jj 从1到nn）有一个简洁的封闭形式。这与已知的非交替和形成对比——后者仅对某类素数成立。证明方法是初等的，且由AI模型建议。为了将结果置于适当的背景中，作者还证明了不带下取整函数的类似和的渐近表达式。

研究背景与动机

1. 研究问题

本文研究包含平方根的下取整函数的交替和的精确计算问题，特别关注形如 ∑j=1n(−1)j+1⌊jn⌋\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor 的求和。

2. 问题重要性

  • 经典背景：Pólya和Szegő的经典著作中包含一个著名恒等式（Bouniakowski恒等式）：对于素数 p≡1(mod4)p \equiv 1 \pmod{4}，有 ∑j=1p−14⌊jp⌋=p2−112\sum_{j=1}^{\frac{p-1}{4}}\lfloor\sqrt{jp}\rfloor = \frac{p^2-1}{12}
  • 理论价值：下取整函数的和在数论中具有重要地位，与格点计数、Diophantine逼近等问题密切相关
  • 对比意义：非交替和仅对特定形式的素数成立，而交替和是否有更一般的规律是自然的问题

3. 现有方法的局限性

  • Bouniakowski恒等式仅适用于 p≡1(mod4)p \equiv 1 \pmod{4} 的素数
  • 对于 p≡3(mod4)p \equiv 3 \pmod{4} 的情况，涉及虚二次域的类数，更加复杂
  • 没有针对交替和的已知结果
  • 求和限制为 (p−1)/4(p-1)/4 而非完整的范围

4. 研究动机

  • 探索是否存在适用于更广泛整数类别的类似恒等式
  • 研究交替性如何影响求和的性质
  • 比较带下取整和不带下取整情况下的行为差异

核心贡献

  1. 主要定理：证明了对所有奇数 n≥1n \geq 1，有精确恒等式 ∑j=1n(−1)j+1⌊jn⌋=n+12\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2}
  2. 普遍性突破：该结果适用于所有奇数，而非仅限于特定素数类，显著扩展了适用范围
  3. 渐近分析：证明了不带下取整函数的相应和的渐近表达式： ∑j=1n(−1)j+1jn=n2+Cn+18+O(1n)\sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \frac{n}{2} + C\sqrt{n} + \frac{1}{8} + O\left(\frac{1}{n}\right) 其中 C≈0.3801C \approx 0.3801 可表示为显式无穷级数
  4. 方法论创新：证明由AI模型（Google Gemini）建议，展示了AI辅助数学证明的潜力
  5. 理论洞察：揭示了下取整操作如何将误差项 Cn+18+O(1/n)C\sqrt{n} + \frac{1}{8} + O(1/n) 转化为简洁的常数 12\frac{1}{2}

方法详解

任务定义

输入：奇数 n≥1n \geq 1
输出：计算交替和 ∑j=1n(−1)j+1⌊jn⌋\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor 的精确值
约束：nn 必须为奇数

主定理的证明架构

第一步：重写为双重求和

利用恒等式 ⌊jn⌋=∑k=1⌊jn⌋1\lfloor\sqrt{jn}\rfloor = \sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1，将原和重写为： ∑j=1n(−1)j+1⌊jn⌋=∑j=1n(−1)j+1∑k=1⌊jn⌋1\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \sum_{j=1}^{n}(-1)^{j+1}\sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1

第二步：交换求和顺序

注意到 k≤jnk \leq \sqrt{jn} 等价于 j≥k2/nj \geq k^2/n，因此： ∑j=1n(−1)j+1∑k=1⌊jn⌋1=∑k=1n∑j=⌈k2/n⌉n(−1)j+1\sum_{j=1}^{n}(-1)^{j+1}\sum_{k=1}^{\lfloor\sqrt{jn}\rfloor}1 = \sum_{k=1}^{n}\sum_{j=\lceil k^2/n\rceil}^{n}(-1)^{j+1}

第三步：分析内层交替和

对于固定的 kk，内层和 ∑j=⌈k2/n⌉n(−1)j+1\sum_{j=\lceil k^2/n\rceil}^{n}(-1)^{j+1} 的值取决于起始项 ⌈k2/n⌉\lceil k^2/n\rceil 的奇偶性：

  • 当 ⌈k2/n⌉\lceil k^2/n\rceil 为奇数时：首项为 +1+1，后续项为 −1,+1,−1,+1,…-1, +1, -1, +1, \ldots，配对抵消后剩余 +1+1
  • 当 ⌈k2/n⌉\lceil k^2/n\rceil 为偶数时：首项为 −1-1，所有项完全配对抵消，和为 00

因此： ∑j=1n(−1)j+1⌊jn⌋=#{1≤k≤n∣⌈k2/n⌉ 是奇数}\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \#\{1 \leq k \leq n \mid \lceil k^2/n\rceil \text{ 是奇数}\}

第四步：计数奇偶性配对

关键观察：对于奇数 nn，有 ⌈(n−k)2n⌉=⌈n−2k+k2n⌉=n−2k+⌈k2n⌉\left\lceil\frac{(n-k)^2}{n}\right\rceil = \left\lceil n - 2k + \frac{k^2}{n}\right\rceil = n - 2k + \left\lceil\frac{k^2}{n}\right\rceil

由于 nn 是奇数，n−2kn - 2k 也是奇数，因此 ⌈(n−k)2/n⌉\lceil(n-k)^2/n\rceil 和 ⌈k2/n⌉\lceil k^2/n\rceil 具有相反的奇偶性。

第五步：最终计数

  • 当 k=nk = n 时，⌈n2/n⌉=n\lceil n^2/n\rceil = n 是奇数，贡献1个
  • 对于 k∈{1,2,…,n−12}k \in \{1, 2, \ldots, \frac{n-1}{2}\}，每个 kk 与 n−kn-k 配对，恰有一个使 ⌈k2/n⌉\lceil k^2/n\rceil 为奇数

因此总计数为： 1+n−12=n+121 + \frac{n-1}{2} = \frac{n+1}{2}

技术创新点

  1. 交换求和顺序的巧妙应用：通过将单层和转化为双重和，揭示了问题的组合结构
  2. 奇偶性配对论证：利用 nn 为奇数的性质，建立了 kk 和 n−kn-k 之间的对称关系
  3. 计数方法：将求和问题转化为集合计数问题，使证明更加直观
  4. AI辅助证明：Google Gemini建议的证明框架被作者简化和重写，展示了人机协作的数学研究范式

替代方法（未完成）

论文还提出了一个基于差分的替代方法： dn(ℓ):=⌊2ℓn⌋−⌊(2ℓ−1)n⌋d_n(\ell) := \lfloor\sqrt{2\ell n}\rfloor - \lfloor\sqrt{(2\ell-1)n}\rfloor

猜想2.1：如果 δ:=dn(λ)≥2\delta := d_n(\lambda) \geq 2，则存在 δ−1\delta-1 个连续的位置使得 dn(ℓ)=0d_n(\ell) = 0，且这些零值集合互不相交。

该猜想若成立将蕴含主定理，但证明涉及复杂的技术引理，作者未完全完成。

渐近分析（定理1.3的证明）

方法概述

证明不带下取整函数的和的渐近展开，揭示下取整操作的"平滑"效应。

第一步：重写求和

∑j=1n(−1)j+1jn=n−n∑m=1n−12(2m−2m+1)\sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \sqrt{n} - \sqrt{n}\sum_{m=1}^{\frac{n-1}{2}}\left(\sqrt{2m} - \sqrt{2m+1}\right)=n−n∑m=1n−122m(1−1+(2m)−1)= \sqrt{n} - \sqrt{n}\sum_{m=1}^{\frac{n-1}{2}}\sqrt{2m}\left(1 - \sqrt{1 + (2m)^{-1}}\right)

第二步：二项式展开

使用二项式定理的特殊情况（α=1/2\alpha = 1/2）： 1−x=∑k=0∞(2kk)xk(1−2k)4k,∣x∣<1\sqrt{1-x} = \sum_{k=0}^{\infty}\binom{2k}{k}\frac{x^k}{(1-2k)4^k}, \quad |x| < 1

得到： 1−1+(2m)−1=∑k=1∞12k−1(2kk)(−18m)k1 - \sqrt{1 + (2m)^{-1}} = \sum_{k=1}^{\infty}\frac{1}{2k-1}\binom{2k}{k}\left(\frac{-1}{8m}\right)^k

第三步：交换求和并应用Zeta函数估计

∑m=1n−122m(1−1+(2m)−1)=2∑k=1∞(−1)k(2k−1)8k(2kk)∑m=1n−121mk−1/2\sum_{m=1}^{\frac{n-1}{2}}\sqrt{2m}\left(1 - \sqrt{1 + (2m)^{-1}}\right) = \sqrt{2}\sum_{k=1}^{\infty}\frac{(-1)^k}{(2k-1)8^k}\binom{2k}{k}\sum_{m=1}^{\frac{n-1}{2}}\frac{1}{m^{k-1/2}}

使用Riemann zeta函数的部分和估计： ∑m=1N1ms=ζ(s)+N1−s1−s+12Ns+O(N−s−1)\sum_{m=1}^{N}\frac{1}{m^s} = \zeta(s) + \frac{N^{1-s}}{1-s} + \frac{1}{2N^s} + O(N^{-s-1})

第四步：分离主要项

取 N=n−12N = \frac{n-1}{2}，s=k−12s = k - \frac{1}{2}：

  • k=1k=1 项：产生 −12n-\frac{1}{2}\sqrt{n} 的主导项
  • k=2k=2 项：产生 18n\frac{1}{8\sqrt{n}} 的修正项
  • k≥3k \geq 3 项：贡献 O(n−3/2)O(n^{-3/2})

第五步：常数项识别

C=1+2∑k=1∞(−1)k+1(2k−1)8k(2kk)ζ(k−12)C = 1 + \sqrt{2}\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{(2k-1)8^k}\binom{2k}{k}\zeta\left(k - \frac{1}{2}\right)

数值计算给出 C≈0.3801C \approx 0.3801。

关键洞察

下取整操作将复杂的误差项 Cn+18+O(1/n)C\sqrt{n} + \frac{1}{8} + O(1/n) 转化为简单的常数 12\frac{1}{2}，这是一个令人惊讶的"正则化"现象。

实验设置

数值验证

论文通过数值实验验证了主定理和渐近公式：

  1. 主定理验证：对多个奇数 nn（如 n=33n = 33）计算交替和，验证结果确实为 n+12\frac{n+1}{2}
  2. 差分分布：表1展示了 n=33n=33 时 d33(ℓ)d_{33}(\ell) 的分布：
    • ℓ∈{1,…,16}\ell \in \{1, \ldots, 16\}
    • d33(ℓ)∈{0,1,2,3}d_{33}(\ell) \in \{0, 1, 2, 3\}
    • 观察到 d33(1)=3d_{33}(1) = 3 对应两个连续的零值
  3. 渐近公式验证：计算不带下取整的和，验证与渐近公式的符合程度

实现细节

  • 使用精确整数算术计算下取整函数
  • 对于渐近分析，需要高精度浮点运算以验证常数 CC 的值
  • AI模型（Google Gemini）用于探索证明策略

实验结果

主要结果

  1. 定理1.1的验证：
    • 对所有测试的奇数 nn，公式 ∑j=1n(−1)j+1⌊jn⌋=n+12\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2} 成立
    • 结果具有完全的精确性（非近似）
  2. 定理1.3的验证：
    • 渐近公式在 n→∞n \to \infty 时精度提高
    • 常数 C≈0.3801C \approx 0.3801 可通过无穷级数精确表示

案例分析

案例：n=33n = 33

表1显示了差分 d33(ℓ)=⌊2ℓ⋅33⌋−⌊(2ℓ−1)⋅33⌋d_{33}(\ell) = \lfloor\sqrt{2\ell \cdot 33}\rfloor - \lfloor\sqrt{(2\ell-1) \cdot 33}\rfloor 的值：

ℓ\ell12345678910111213141516
d33(ℓ)d_{33}(\ell)3221101010011111

观察：

  • d33(1)=3d_{33}(1) = 3 "补偿"了 ℓ=10,11\ell = 10, 11 的两个零值
  • d33(2)=2d_{33}(2) = 2 补偿了 ℓ=8\ell = 8 的零值
  • 总和：3+2+2+1+1+0+⋯+1=16=33−123 + 2 + 2 + 1 + 1 + 0 + \cdots + 1 = 16 = \frac{33-1}{2}

这验证了猜想2.1的模式。

实验发现

  1. 普遍性：交替和的简洁性不依赖于 nn 的素性或特殊算术性质，仅要求奇数
  2. 对称性：kk 和 n−kn-k 的配对关系是证明的核心，体现了深刻的对称性
  3. 正则化效应：下取整操作消除了渐近展开中的所有非常数项
  4. AI辅助：AI模型能够建议正确的证明框架，但需要人工简化和严格化

相关工作

1. Bouniakowski恒等式（1882）

∑j=1p−14⌊jp⌋=p2−112,p≡1(mod4) 素数\sum_{j=1}^{\frac{p-1}{4}}\lfloor\sqrt{jp}\rfloor = \frac{p^2-1}{12}, \quad p \equiv 1 \pmod{4} \text{ 素数}

  • 最早的相关结果
  • 仅适用于特定素数类
  • 证明涉及格点计数技术

2. Pólya和Szegő的著作（1976）

  • 将Bouniakowski恒等式作为练习收录
  • 提供了格点计数的系统方法
  • 强调了数论中的几何视角

3. Shirali的替代证明（1997）

  • 提供了恒等式(1.1)的更现代证明
  • 使用了不同的技术路径

4. 类数相关推广（Chamberland & Dilcher, 2025）

  • 对 p≡3(mod4)p \equiv 3 \pmod{4} 的情况，求和涉及虚二次域 Q(−p)\mathbb{Q}(\sqrt{-p}) 的类数
  • 提供了多个相关恒等式的推广

5. Liouville函数恒等式

De Koninck和Doyon的著作中包含恒等式： ⌊k⌋=∑d=1kλ(d)⌊kd⌋\lfloor\sqrt{k}\rfloor = \sum_{d=1}^{k}\lambda(d)\left\lfloor\frac{k}{d}\right\rfloor 其中 λ(n)=(−1)Ω(n)\lambda(n) = (-1)^{\Omega(n)} 是Liouville函数。

本文的优势

  1. 适用范围更广：所有奇数 vs. 特定素数类
  2. 结果更简洁：n+12\frac{n+1}{2} vs. 涉及类数的复杂表达式
  3. 完整的渐近分析：提供了带/不带下取整的对比
  4. 方法论创新：展示了AI辅助证明的可行性

结论与讨论

主要结论

  1. 精确公式：对所有奇数 n≥1n \geq 1， ∑j=1n(−1)j+1⌊jn⌋=n+12\sum_{j=1}^{n}(-1)^{j+1}\lfloor\sqrt{jn}\rfloor = \frac{n+1}{2}
  2. 渐近对比：不带下取整时， ∑j=1n(−1)j+1jn=n2+Cn+18+O(n−1)\sum_{j=1}^{n}(-1)^{j+1}\sqrt{jn} = \frac{n}{2} + C\sqrt{n} + \frac{1}{8} + O(n^{-1}) 下取整操作消除了 n\sqrt{n} 阶误差项
  3. 方法论：AI模型（Google Gemini）能够建议有效的证明策略

局限性

  1. 奇数限制：定理1.1仅适用于奇数 nn，偶数情况未讨论
  2. 猜想2.1未完成：基于差分的替代证明方法涉及复杂引理，未能完全完成
  3. AI证明的严格性：AI建议的证明需要人工验证和简化，不能直接使用
  4. 应用有限：由于缺乏算术结构，难以应用经典反演公式（如Möbius反演）
  5. 常数 CC 的封闭形式：虽然给出了级数表示，但不是简单的初等函数

未来方向

  1. 偶数情况：研究 nn 为偶数时的交替和行为
  2. 完成猜想2.1：简化技术引理，完成基于差分的证明
  3. 推广到其他函数：研究 ⌊jnk⌋\lfloor\sqrt[k]{jn}\rfloor 等的交替和
  4. 连接到模形式：探索与模形式理论的可能联系
  5. AI辅助数学：系统研究AI在数论证明中的应用潜力
  6. 计算复杂性：研究计算这些和的高效算法

深度评价

优点

1. 数学优雅性

  • 结果简洁：右侧仅为 n+12\frac{n+1}{2}，极其简洁
  • 普遍性：适用于所有奇数，而非特殊子类
  • 对比鲜明：与Bouniakowski恒等式的限制形成鲜明对比

2. 证明技术

  • 初等方法：不依赖深奥理论，易于理解
  • 巧妙转化：将求和转化为计数问题
  • 对称性利用：充分利用了 nn 为奇数的性质

3. 完整性

  • 双重视角：同时提供精确公式和渐近分析
  • 对比研究：揭示了下取整操作的"正则化"效应
  • 替代方法：提出了基于差分的替代思路

4. 方法论贡献

  • AI辅助证明：首次（在数论领域）展示AI建议的证明
  • 人机协作：展示了AI建议与人工严格化的结合
  • 透明性：明确说明了AI的贡献和人工修改

5. 写作清晰

  • 逻辑清晰，步骤详细
  • 提供了具体数值案例
  • 历史背景丰富

不足

1. 适用范围

  • 奇数限制：偶数情况完全未涉及，限制了结果的完整性
  • 无推广：未探讨推广到 jnk\sqrt[k]{jn} 或其他函数的可能性

2. 证明完整性

  • 猜想未证：猜想2.1提供了另一视角，但未完成证明
  • 技术细节缺失：对于未完成的证明，未说明具体困难所在

3. 应用价值

  • 理论导向：主要是纯数学结果，缺乏明确的应用
  • 算术结构缺失：如作者所言，缺乏算术结构限制了进一步应用

4. AI贡献的评估

  • 具体贡献不明：未详细说明AI建议的原始形式
  • 可复现性：未提供与AI交互的详细记录
  • 通用性未知：不清楚这种方法是否适用于其他问题

5. 数值验证不足

  • 案例有限：仅展示了 n=33n=33 的详细案例
  • 渐近精度：未提供不同 nn 值下渐近公式的误差分析
  • 常数计算：未详细说明如何数值计算常数 CC

影响力

1. 对数论领域的贡献

  • 扩展经典结果：将Bouniakowski恒等式的思想推广到新情境
  • 新技术：奇偶性配对论证可能适用于其他问题
  • 理论洞察：揭示了交替性和下取整的相互作用

2. 对AI辅助数学的贡献

  • 先驱性：在数论领域展示AI辅助证明的可行性
  • 引发讨论：关于AI在数学研究中的角色
  • 方法论示范：人机协作的成功案例

3. 实用价值

  • 有限：主要是理论结果，直接应用不明显
  • 教育价值：可作为初等数论的优美例子
  • 启发性：可能启发相关问题的研究

4. 可复现性

  • 证明可验证：证明步骤清晰，易于验证
  • 数值可复现：计算可用标准数学软件实现
  • AI部分不可复现：与AI的交互过程未完整记录

适用场景

1. 理论研究

  • 数论中的格点计数问题
  • Diophantine逼近理论
  • 下取整函数的分析性质研究

2. 教学应用

  • 数论课程的例子：展示初等方法的威力
  • 组合数学：求和技巧和对称性论证
  • 计算数学：精确计算与渐近分析的对比

3. 方法论研究

  • AI辅助数学证明的案例研究
  • 人机协作的数学研究模式
  • 数学发现的计算方法

4. 相关问题研究

  • 其他涉及下取整函数的求和
  • 交替和的一般理论
  • 类似恒等式的发现和证明

参考文献

论文引用的关键文献

  1. V. Bouniakowski (1882): "Démonstration d'un théorème relatif à la fonction E(x)"
    • 原始的Bouniakowski恒等式
  2. G. Pólya and G. Szegő (1976): "Problems and Theorems in Analysis, Vol. II"
    • 收录了恒等式(1.1)作为练习
  3. S. A. Shirali (1997): "A family portrait of primes—A case study in discrimination"
    • 提供了恒等式(1.1)的替代证明
  4. H. M. Edwards (2001): "Riemann's Zeta Function"
    • Zeta函数部分和估计的参考
  5. M. Chamberland and K. Dilcher (2025): "Sums of the floor function related to class numbers"
    • 作者的相关工作，推广到类数
  6. Google Gemini (2025): AI模型
    • 建议了主定理的证明框架

总结

这是一篇优雅的数论论文，证明了一个简洁而普遍的恒等式。主要亮点在于：

  1. 结果适用于所有奇数，而非仅限于特殊素数
  2. 证明初等且巧妙，利用了奇偶性配对
  3. 提供了完整的渐近分析作为对比
  4. 展示了AI辅助数学证明的潜力

主要局限在于：

  1. 仅适用于奇数
  2. 缺乏明确的应用
  3. AI贡献的具体细节不够透明

总体而言，这是一个有趣的纯数学结果，展示了初等方法的威力和AI辅助研究的可能性，对数论和数学方法论都有一定贡献。