在杜克数学大会（DMM）中，Individual Round为105分钟，Power Round为60分钟且强调团队数学证明与推理。根据2026年10月14日发布的赛事汇总，DMM由杜克大学数学联盟组织、杜克大学数学系支持；完整队伍为6人，不足6人的队伍及个人也可以申请，官方会尝试合并人数合适的队伍。对备考者来说，真正拉开差距的往往不是是否知道某个定理，而是能否在有限时间内把分类讨论写得完整、简短、可复核。
这也是“DMM整除证明”常见的痛点：题目要求证明某个表达式对所有整数成立，学生却陷入对具体数字的试错。本文只讨论一个具体技术：用最小非负剩余系建立余数分类，把无限整数集压缩为有限个同余类，从而减少重复讨论。
整除问题的本质：寻找周期性规律
整除性问题的核心是周期性。说一个表达式 f(n) 能被 k 整除，本质上是在断言 f(n) 同余于0模 k 对所有符合条件的 n 成立。直接代入大数字不仅计算繁琐，而且不能构成证明，因为无论测试多少特例，都无法覆盖无穷多个整数。
有效策略是把注意力从“具体数值”转移到“数值除以 k 后的余数”。整数集可以按模 k 划分为 k 个互不相交的剩余类。每个类中的数在模 k 意义下等价。于是，对于只依赖模 k 余数的整除性命题，可以转化为关于有限个代表元的命题。
为什么直接代入数字效率低？
例如，要证明对任意整数 n，n^3 – n 能被6整除。代入 n=1,2,3 会得到 0,6,24，看起来都对，但这只是观察，不是证明。若换成 n^5 – n 被30整除，手动计算高次幂更容易出错，也不容易看出背后需要模2、模3、模5分别处理。
在DMM的Power Round这类强调团队数学证明与推理的轮次中，书面推导需要自洽。清晰的分类结构便于自己和队友复核；如果只罗列特例，逻辑覆盖不完整，团队复核时也很难判断是否漏掉情形。
核心方法：基于模m的余数分类
标准做法是选取最小非负剩余系 {0,1,…,m-1}。任何整数 n 都可以唯一写成 n = qm + r，其中 r 属于该集合。因此，要证明一个只依赖 n 模 m 余数的整除性命题对所有整数成立，只需证明它对 r = 0,1,…,m-1 成立。
操作顺序可以固定为三步：第一，确定模数 m，通常取题目要求整除的数，或把它分解为更小的互质因子；第二，列出所有余数类；第三，把每一类代入表达式，计算并判断是否同余于0。只要所有类都被覆盖，就完成了证明。
这种方法的优势是完备性。它不是“多算几个例子”，而是把无穷多个整数分成有限个等价篮子。证明结束时，读者能明确看到每个整数都落入某个篮子。
优化技巧：对称性与互质分解
分类讨论并不意味着每个余数都要展开成复杂计算。若表达式关于 n 有对称性，可以把 r 与 m-r 配对处理。例如讨论模5时，r=1 与 r=4、r=2 与 r=3 的某些幂次会给出相同余数，配对后可以减少计算量。
另一个技巧是分解模数。要证明被6整除，可以分别证明被2和被3整除。由于2和3互质，若一个整数同时被2和3整除，则必被6整除。类似地，证明被30整除可以拆成模2、模3、模5；证明被12整除可以拆成模3和模4。这能把一个大模数问题变成几个小模数问题，降低单步复杂度。
教学示例：证明 n^3 + 2n 恒被3整除
注意：以下为虚构的教学演示，用于说明方法，不是DMM官方真题，也不代表官方评分标准。
问题：证明对任意整数 n，n^3 + 2n 能被3整除。
证明：考虑 n 模3的余数：n 同余于0、1或2模3。
- 情形1：n 同余于0模3。则 n^3 + 2n 同余于 0^3 + 2×0 = 0，所以被3整除。
- 情形2：n 同余于1模3。则 n^3 + 2n 同余于 1^3 + 2×1 = 3，3同余于0模3，所以被3整除。
- 情形3：n 同余于2模3。则 n^3 + 2n 同余于 2^3 + 2×2 = 8+4=12，12同余于0模3。也可把2看作-1：(-1)^3 + 2×(-1) = -1-2 = -3，仍同余于0模3。
三种余数类覆盖了所有整数，且每一类都得到同余于0模3，因此命题成立。这个证明只有三行计算，但逻辑上完整。
在DMM限时环境下的应用建议
在DMM Individual Round的105分钟内，时间管理很关键。遇到整除题时，先判断模数大小。模数较小，例如2、3、4、5，直接分类通常高效，因为计算量可控且覆盖清楚。模数较大时，不要盲目枚举所有余数。先分解模数；若仍很大，考虑因式分解、二项式展开、费马小定理或欧拉定理等工具。如果暂时找不到结构，先构造反例排除错误猜想，也比机械展开更省时。
赛后复盘时，可以区分“想法找不到”和“推导执行不下去”：前者是不知道用余数分类或分解模数，后者是知道方法但计算或覆盖出错。可参考 DMM个人解题复盘：区分想法找不到与推导执行不下去 来定位自己的瓶颈，再针对性训练数论模块。
团队赛协作中的分类验证
DMM强调团队协作，Team Round等环节需要快速分工。整除证明题可以采用“分块验证”：把不同余数类分配给不同队员并行计算，再由一人统一符号、模数和结论。这样做的好处是速度快，并且不同队员可以交叉检查是否有余数类遗漏。
但并行也有风险：如果队员使用不同代表元，或者有人把“同余”写成“等于”，合并时会出现逻辑冲突。团队应事先约定：统一使用最小非负剩余系；每一类都写出代入过程和最终同余结果；最后由一名队员检查 m 个类是否全部出现。若想了解各轮次时间分配和赛制细节，可查阅 DMM杜克大学数学竞赛：2026赛季全面解析与参赛指南。
总结与资源准备
余数分类法不是万能钥匙，但它是DMM整除证明中最值得自动化的一种基本功。它把“对所有整数成立”转化为“对有限个余数类成立”，把试错式观察转化为可复核的证明结构。学生练习时应刻意写出模数、剩余系和每一类的同余结果，而不是只写最终答案。
若需要进一步了解赛事结构与备赛方向，可查阅 2026杜克数学大会（DMMC）权威指南：赛事解析、备赛策略。翰林提供组队咨询与专项备赛支持；学生可把数论模块拆成“模运算基础—余数分类—互质分解—限时训练”几个阶段，逐步减少重复讨论。
常见问题
DMM个人轮中，如果模数很大怎么办？
先分解模数，若为合数尽量拆成互质小模数；若模数为素数且表达式有幂，可考虑费马小定理或欧拉定理。若结构仍复杂，先找反例或改用因式分解，不要机械枚举全部余数。
余数分类法适用于所有整除证明吗？
不是。它最适合模数较小、表达式在余数类上容易计算的问题。对于大模数、素数分布或组合恒等式，可能需要因式分解、二项式展开、中国剩余定理或母函数等工具。
如何在团队赛中高效使用此方法？
把不同余数类分给不同队员并行验证，指定一人统一符号和模数约定，最后汇总覆盖是否完整。若某类计算复杂，先判断能否用对称性配对化简。