[论文解读] Tangent power sums and their applications

Vladimir Shevelev, Peter J. C. Moses|arXiv (Cornell University)|Jun 29, 2012

semigroups and automata theory参考文献 7被引用 5

一句话总结

本文研究了正切函数的幂和 σ(n,p) = ∑_{k=1}^{(n-1)/2} tan²ᵖ(πk/n)，其中 n 为奇数，p 为正整数。通过单位根和 (n−1) 进制数的数位和性质，作者推导出递推关系、渐近公式以及一个涉及组合与二项式系数交错和的显式组合表达式。关键结果为：σ(n,p) 始终是 n 的整数倍，且是 n 的 2p 次多项式，其首项系数为 (2²ᵖ⁻¹(2²ᵖ−1)/ (2p)!) |B₂ₚ| n²ᵖ，其中 B₂ₚ 为第 2p 个伯努利数。

ABSTRACT

For integer $m, p,$ we study tangent power sum $\sum^m_{k=1} an^{2p}\frac{πk}{2m+1}.$ We prove that, for every $m, p,$ it is integer, and, for a fixed p, it is a polynomial in $m$ of degree $2p.$ We give recurrent, asymptotical and explicit formulas for these polynomials and indicate their connections with Newman's digit sums in base $2m.$

研究动机与目标

• 证明对所有奇数 n ≥ 3 和正整数 p，σ(n,p) = ∑_{k=1}^{(n−1)/2} tan²ᵖ(πk/n) 均为 n 的整数倍。
• 利用单位根和 (n−1) 进制数位和的性质，推导 σ(n,p) 的闭式表达式。
• 证明 σ(n,p) 是 n 的 2p 次多项式，且其首项系数与伯努利数相关。
• 通过 (n−1) 进制下的组合与数位和算术，将 σ(n,p) 与组合数论联系起来。
• 通过组合系数与基于数位和约束的交错和，提供 σ(n,p) 的显式公式。

提出的方法

• 将 tan²(πk/n) 表示为单位根 ω = e²ᵖⁱ⁄ⁿ 的有理函数，从而将求和转化为 ωᵏ 的几何级数乘积之和。
• 利用恒等式 ∑_{k=0}^{n−1} ωᵏʳ = n（若 r ≡ 0 (mod n)），否则为 0，将求和简化为计数满足 r ≤ (n−1)²ᵖ、r ≡ 0 (mod n) 且符号为 (−1)ˢ⁽ʳ⁾ 的整数 r，其中 s(r) 为 r 在 (n−1) 进制下的数位和。
• 通过同余式 (n−1)ⁱ ≡ (−1)ⁱ (mod n)，利用 sᵉ(r) ≡ sᵒ(r) (mod n) 的条件，刻画 (n−1) 进制下 r 被 n 整除的性质。
• 构造满足 (n−1) 进制下数位和约束的整数组合的生成函数，导出系数 C₀(j,p,n−2)，其计数满足 ∑ gᵢ = j 且 0 ≤ gᵢ ≤ n−2 的非负整数解。
• 通过偶数与奇数数位位置对称贡献的组合，推导出显式公式 σ(n,p) = (n/2) × ∑ⱼ [ (C₀(j,p,n−2))² + 2∑ₖ (−1)ᵏ C₀(j,p,n−2)C₀(j+nk,p,n−2) ]。
• 利用牛顿恒等式于正切平方的特征多项式，推导递推关系并验证 σ(n,p) 关于 n 的多项式性质。

实验结果

研究问题

• RQ1 对于奇数 n 和正整数 p，σ(n,p) = ∑_{k=1}^{(n−1)/2} tan²ᵖ(πk/n) 的代数结构是什么？
• RQ2 为何 σ(n,p) 总是 n 的整数倍？其关于 n 的 2p 次多项式依赖关系的根源何在？
• RQ3 σ(n,p) 能否通过组合对象（如组合或 (n−1) 进制下的数位和）显式表达？
• RQ4 σ(n,p) 作为 n 的多项式，其首项是什么？它与伯努利数有何关联？
• RQ5 为何 (n−1) 进制下组合计数的交错和能精确给出 σ(n,p) 的值？

主要发现

• 通过单位根求和与数位和奇偶性论证，证明了对所有奇数 n ≥ 3 和正整数 p，σ(n,p) 均为 n 的整数倍。
• σ(n,p) 是 n 的 2p 次多项式，其首项为 (2²ᵖ⁻¹(2²ᵖ−1)/ (2p)!) |B₂ₚ| n²ᵖ，其中 B₂ₚ 为第 2p 个伯努利数。
• 推导出 σ(n,p) 的显式公式：σ(n,p) = (n/2) × ∑ⱼ [ (C₀(j,p,n−2))² + 2∑ₖ (−1)ᵏ C₀(j,p,n−2)C₀(j+nk,p,n−2) ]，其中 C₀(j,p,s) 表示将 j 分解为 p 个部分且每部分 ≤ s 的组合数。
• 当 n=5, p=2 时，公式给出 σ(5,2) = 90，与数值计算 ∑_{k=1}² tan⁴(πk/5) ≈ 89.999999 一致，验证了公式的准确性。
• 当 n=3 时，恒等式 ∑_{k=1}^{⌊p/3⌋} (−1)ᵏ⁻¹ ₍₂ₚ₎ₚ₊₃ₖ = ½ ₍₂ₚ₎ₚ − 3ᵖ⁻¹ 作为特例被恢复，将正切和与已知的二项式恒等式联系起来。
• 恒等式 Sₙ((n−1)²ᵖ) = ∑_{r≡0 (mod n)} (−1)ˢ⁽ʳ⁾（其中 r < (n−1)²ᵖ）等于 2σ(n,p)/n，建立了数位和奇偶性与正切幂和之间的直接联系。