🔢 mathematics

Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

本文为同余式 $a(4n+2) \equiv 0 \pmod{2}$ 和 $a(4n+3) \equiv 0 \pmod{2}$ 提供了两个初等证明，其中 $a(n)$ 计算奇数部分最多重复两次的分拆数，从而响应了 Merca 的请求。

原作者： James A. Sellers

发布于 2026-06-29

📖 1 分钟阅读🧠 深度阅读

原作者： James A. Sellers

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你有一个装满数字积木的大袋子。你的任务是建造“塔”（数学家称之为分拆），通过堆叠这些积木，使它们的总和等于一个特定的数字 $n$ 。

通常情况下，你可以随心所欲地堆叠积木。但在本文中，我们正在玩一个非常特殊的规则游戏：在单座塔中，你最多只能使用两次“奇数”积木（1, 3, 5 等）。 你可以根据需要使用任意多次“偶数”积木（2, 4, 6 等）。

我们把为数字 $n$ 构建不同塔的数量称为 $a(n)$ 。

谜团

一位名叫 Merca 的数学家最近观察了这个游戏，并发现了一些奇怪的现象。他发现，如果你尝试为看起来像 $4n + 2$ （如 2, 6, 10, 14...）或 $4n + 3$ （如 3, 7, 11, 15...）的数字建造塔，那么建造方式的总数始终是一个偶数。

用数学术语来说，他证明了：

$a(4n + 2)$ 能被 2 整除。
$a(4n + 3)$ 能被 2 整除。

Merca 使用了一种非常强大、自动化的计算机式方法证明了这一点。虽然结论正确，但这就像是通过暴力破解来解开谜题；它并没有解释为什么答案是偶数。他寻求一种“经典”或“初等”的证明——即一种人类可以理解的、简单的逻辑解释。

James Sellers，即本文的作者，说：“接受挑战！”他提供了两种简单的证明方法。

方法 1：“魔法过滤器”（生成函数）

把生成函数想象成一台神奇的机器，它能将一组数字转化为一个巨大的代数配方（多项式）。如果你展开这个配方，特定项出现的次数就会告诉你存在多少种塔。

Merca 最初的配方极其复杂且混乱，就像一份有数百个步骤、长达 20 页的说明书。

Sellers 的第一个证明就像是找到了一个简化版的说明书。

他采用了复杂的配方，并使用了一些巧妙的代数技巧（称为“拆解”）将其切分。
他将配方分为两部分：一部分针对偶数，另一部分针对奇数。
当他专门观察针对这些特定数字的部分时，他发现了一个惊人的事实：对于这些特定的数字，整个配方的最前面都坐着一个“2”。

类比： 想象你正在烤饼干。原始配方说：“混合面粉、糖、鸡蛋和一种秘密原料。”Sellers 的证明表明，对于贴有“4n+2”标签的特定批次饼干，配方实际上是说：“取 2 份这种混合物的量。”
如果你有 2 份，你自动就拥有了偶数个饼干。无论你怎么计数，总数都是偶数。这通过观察配方的结构简单地证明了规则。

方法 2：“寻找平方数”（Θ 函数）

第二个证明更像是涉及平方数的侦探故事。

Sellers 将筑塔游戏与一种被称为 Theta 函数 的特殊数学对象联系起来。把这个函数想象成一个手电筒，它只照射那些可以写成特定形状 $3k^2 + 2k$ （其中 $k$ 是一个整数）的数字：

如果一个数字符合这个形状，手电筒就会亮起（值为 1）。
如果不符合，手电筒就会熄灭（值为 0）。

随后的证明将塔的数量（ $a(n)$ ）与这些手电筒数值联系起来。事实证明，数字 $n$ 的塔的数量与这些手电筒数值的和有关。

侦探工作：
Sellers 问道：“ $4n + 2$ 或 $4n + 3$ 是否可能符合形状 $3k^2 + 2k$ ？”

他进行了一个快速计算，并意识到如果 $4n + 2$ 符合该形状，那么它必须是一个在乘以 3 再加 1 后变成完全平方数的数字。
然而，他检查了数学运算，发现 $4n + 2$ （以及 $4n + 3$ ）得到的结果总是无法成为完全平方数（它们在除以 4 时会余 3 或 2，而平方数永远不会这样）。

结论：
由于手电筒从未为这些特定数字亮起（值始终为 0），因此决定塔数量的求和结果变为零（或偶数）。

类比： 想象你正在试图从一大堆钥匙中寻找一把特定的钥匙。你寻找的“钥匙”只有在它是完全平方数时才会存在。你检查了 2, 6, 10, 14... 这些数字，并意识到它们都不是完全平方数。因此，钥匙并不存在。如果钥匙不存在，那么钥匙的“计数”就是零。既然零是一个偶数，规则依然成立。

总结

本文不仅仅是说“因为计算机说了是，所以它是对的”。相反，它提供了两个清晰、人类可读的原因：

配方法： 这些数字的数学公式前面确实乘了一个“2”，保证了结果是偶数。
平方数法： 讨论中的数字（ $4n+2$ 和 $4n+3$ ）在数学上被“禁止”成为完全平方数，这迫使分拆的数量变为偶数。

这两种方法都利用简单的经典逻辑而非复杂的自动化手段，证实了 Merca 的观察结果。

技术摘要：关于奇数部分最多重复两次的分拆函数的两个同余性质的初等证明

问题陈述
本文研究了分拆理论中一个特定的问题，即关于辅助函数 $a(n)$ ，该函数计算整数 $n$ 的分拆个数，其中奇数部分最多重复两次（对偶数部分无限制）。该函数等价于计算不含模 6 余 3 部分的 $n$ 的分拆数。在最近的一项关于重分拆（overpartitions）的研究中，Merca 确定了该函数的两个同余性质：

$a(4n + 2) \equiv 0 \pmod 2$
$a(4n + 3) \equiv 0 \pmod 2$

虽然 Merca 利用基于 Radu 和 Smoot 研究成果的自动化技术提供了这些结果的证明，但他指出这些方法并未提供关于其底层结构的见解，并请求一种“经典”或初等的证明方法。本文的目标是满足这一请求，提供此类证明。

方法论
作者 James A. Sellers 采用了两种不同的初等方法来证明这些同余性质，避免了使用之前工作中复杂的自动化机制。

简化的生成函数恒等式（第 2 节）：
第一种方法依赖于生成函数的分解（dissection）。作者利用了关于 $f_3/f_1$ 和 $1/f_1^2$ 分解的两个初等引理（引用自 da Silva 和 Sellers）。通过将这些引理应用于 $a(n)$ 的生成函数（定义为 $\sum a(n)q^n = f_3 / (f_1 f_6)$ ），作者进行了连续的 2-分解（2-dissections）。这一过程分离出了对应于 $a(4n+2)$ 和 $a(4n+3)$ 的项，从而得到了比 Merca 此前推导出的更简单的生成函数恒等式。
$\theta$ 函数与模算术（第 3 节）：
第二种方法将 $a(n)$ 的生成函数与特定的 $\theta$ 函数 $G(q) = f_2^2 f_3 f_{12} / (f_1 f_4 f_6)$ 联系起来，该函数是一个权重为 1/2 的全纯模形式。作者建立了 $a(n)$ 的生成函数与分拆函数 $p(n)$ 的生成函数与 $\theta$ 函数 $G(q)$ 之积在模 2 意义下的同余关系。
$G(q)$ 的系数记为 $g(n)$ ，仅当 $n$ 取形式 $3k^2 + 2k$ 时非零。证明过程将其简化为一个数论问题：它证明了算术级数 $4N+2$ 和 $4N+3$ 不能表示为 $3k^2 + 2k$ 的形式。通过分析二次方程 $3n+1 = (3k+1)^2$ 并观察对于 $n \in \{4N+2, 4N+3\}$ ，所得的 $3n+1$ 分别同余于 3 或 2（模 4），可以得出结论：由于没有任何完全平方数同余于 2 或 3（模 4），因此 $g(4N+2)$ 和 $g(4N+3)$ 恒等于零。

核心贡献与结果

初等证明： 本文提供了关于同余式 $a(4n+2) \equiv 0 \pmod 2$ 和 $a(4n+3) \equiv 0 \pmod 2$ 的两个“真正初等”的证明，直接回应了 Merca 对经典推导的要求。
简化的恒等式： 作者为 $a(4n+2)$ 和 $a(4n+3)$ 的子序列推导出了新的、更简单的生成函数恒等式（定理 1.4 和 1.5），这些恒等式远比 Merca 此前建立的恒等式（定理 1.1 和 1.2）更为简洁。
结构性见解： 第二种证明方法阐明了为什么会出现这些特定的算术级数。通过将问题与特定形式（特别是模 4）中不存在平方数联系起来，本文揭示了驱动 2 整除性的数论机制。

意义
本文的意义主要在于其教学和解释价值。作者指出，虽然 Radu 和 Smoot 的自动化证明是正确的，但它们在效能上是“不必要的”，且“无法为结果本身提供见解”。相比之下，这些初等证明：

履行了 Merca 对经典方法的特定请求。
证明了对于这些同余性质，存在更简单的生成函数恒等式。
为这些整除性质提供了一个清晰的、组合数学的和数论方面的解释，特别强调了二次剩余（模 4）的作用。

这项工作并非提出新的应用或未来的实验方向，而是旨在澄清并简化分拆理论及重分拆理论中的现有结果。

谜团

方法 1：“魔法过滤器”（生成函数）

方法 2：“寻找平方数”（Θ 函数）

总结

类似论文