证明在任意选取的n+2个正整数中存在着两个正整数,其差能被2n整除或其和能被2n整除
引言
在数论中，抽屉原理（亦称鸽巢原理）是一个极其常用且强大的工具。它可以帮助我们在看似无序的整数集合中，快速发现必然存在的某种关系。本文将围绕一个经典的抽屉原理应用展开：在任意选取的 (n+2) 个正整数中，总能找到两数，使它们的差能被 (2n) 整除，或它们的和能被 (2n) 整除。我们将在阐述抽屉原理的基本概念后，逐步拆解该命题的证明思路，并给出完整的推导过程。阅读完本文，读者将能够：
- 理解抽屉原理在模运算下的划分技巧；
- 熟悉如何构造“抽屉”以捕获整数的余数对称性；
- 掌握从抽屉归类到“和或差能被 (2n) 整除”的逻辑跳转。
抽屉原理回顾
抽屉原理的最基本形式是：
若把 (k) 个物品放入 (m) 个抽屉，且 (k>m)，则必有至少一个抽屉中至少有两个物品。
该原理的核心在于“必然性”。当我们把对象映射到有限的分类（抽屉）时，只要对象数量超过分类数量，就不可避免地出现“碰撞”。在数论里，这种映射常常通过模运算实现——即把整数映射到它们在某个模数下的余数。
问题陈述
命题：在任意选取的 (n+2) 个正整数中，必存在两数，使它们的差能被 (2n) 整除，或它们的和能被 (2n) 整除。
这里的 (n) 是任意正整数。我们需要证明，无论这 (n+2) 个数如何挑选，上述结论始终成立。
证明思路概览
- 模 (2n) 划分：将所有正整数按模 (2n) 的余数进行分类。
- 构造对称抽屉：把余数对 ({r, 2n-r}) 归为同一个抽屉，这样每个抽屉对应的两个数要么相差 (2n)，要么和为 (2n)。
- 抽屉数量 vs. 数目：我们将得到 (n+1) 个抽屉，而手头有 (n+2) 个数，必然出现抽屉冲突。
- 利用冲突：冲突的两个数必落在同一抽屉，从而满足“差能被 (2n) 整除”或“和能被 (2n) 整除”的条件。
下面我们把上述思路逐步展开。
详细证明
证明：根据抽屉原理，把 (n+2) 个正整数按照模 (2n) 的剩余类构造 (n+1) 个抽屉 ({0,2n})，({1,2n-1})，({2,2n-2})，……，({n-1,n+1})，({n})，所以至少有两个数取至同一个抽屉，所以他们的和或差必能被 (2n) 整除。
下面对上述文字进行逐句解释，以帮助读者更好地把握每一步的细节。
1. 按模 (2n) 划分余数
任意正整数 (a) 在除以 (2n) 后得到唯一余数 (r)，满足
[
0 \le r < 2n,\qquad a = 2n\cdot q + r;(q\in\mathbb{Z}_{\ge 0})
]
余数 (r) 只能取 (0,1,2,\dots,2n-1) 共 (2n) 种可能。
2. 对称抽屉的构造
我们把余数 成对 归入同一个抽屉：
| 抽屉编号 | 包含的余数 |
|---|---|
| 1 | ({0, 2n})（实际上只需要 ({0})，因为余数不可能等于 (2n)） |
| 2 | ({1, 2n-1}) |
| 3 | ({2, 2n-2}) |
| … | … |
| (n) | ({n-1, n+1}) |
| (n+1) | ({n}) |
注意：
- 对于余数 (0) 与 (2n) 的配对，实际只出现 (0)，但为了对称性仍写作 ({0,2n})。
- 当余数为 (n) 时，它正好是自身的对称数，故形成单独的抽屉 ({n})。
因此，总共得到 (n+1) 个抽屉。
3. 抽屉与数的数量比较
我们手中有 (n+2) 个正整数。把每个数的余数放入上述抽屉后，根据抽屉原理：
- 抽屉数 = (n+1)
- 数的个数 = (n+2)
因为数的个数严格大于抽屉数，必然至少有 两个数 落入同一个抽屉。
4. 同抽屉的两数满足目标
设这两个数分别为 (a) 与 (b)，它们的余数分别为 (r_a) 与 (r_b)，且 ({r_a, r_b}) 属于同一抽屉。抽屉的构造保证：
- 若抽屉为 ({k, 2n-k})（(k\neq n)），则 (r_a + r_b = 2n) 或 (r_a - r_b = \pm (2n-2k))。
- 若抽屉为 ({n})，则 (r_a = r_b = n)，于是 (a-b) 能被 (2n) 整除（因为差的余数为 0），同样满足条件。
从余数的关系可以推出：
-
和的情况：若 (r_a + r_b = 2n)，则
[ a + b = (2n q_a + r_a) + (2n q_b + r_b) = 2n (q_a + q_b + 1) ] 故 (a+b) 能被 (2n) 整除。 -
差的情况：若 (r_a = r_b)（即同一余数），则
[ a - b = 2n (q_a - q_b) ] 同样能被 (2n) 整除。
综上，无论是哪种抽屉，必有两数满足“差能被 (2n) 整除或和能被 (2n) 整除”。
进一步讨论
1. 为什么要使用模 (2n) 而不是模 (n)？
若仅使用模 (n) 划分，则抽屉数为 (n)，而我们拥有的数为 (n+2)。虽然仍满足抽屉原理（(n+2 > n)），但得到的结论是“两数的差能被 (n) 整除”，这并不能直接推出关于 (2n) 的命题。通过把余数配对为 ({k, 2n-k})，我们巧妙地把“和为 (2n)”的可能性也纳入考虑，从而得到更强的结论。
2. 是否可以推广到更一般的形式？
类似的思路可以用于证明：在任意选取的 (m+1) 个整数中，必有两数的差能被 (m) 整除（这正是经典的抽屉原理在模 (m) 下的直接应用）。本题的特殊之处在于 (2n) 为偶数，使得余数对称配对成为可能，从而兼顾“和”与“差”。
3. 实际例子
取 (n = 5)，则 (2n = 10)。任选 (7)（即 (n+2)）个正整数，例如 ({3, 7, 12, 18, 22, 27, 31})。计算它们模 10 的余数：
[ 3\to3,;7\to7,;12\to2,;18\to8,;22\to2,;27\to7,;31\to1 ]
抽屉划分为 ({0},{1,9},{2,8},{3,7},{4,6},{5})。我们看到余数 2 出现在抽屉 ({2,8}) 中两次（12 与 22），因此这两个数的 差 为 (22-12 = 10)，正好被 10 整除；而余数 7 也出现两次（3 与 7），它们的 和 为 (3+7 = 10)，同样被 10 整除。由此验证了命题的正确性。
小结
本文通过抽屉原理与模运算的结合，系统地证明了“在任意选取的 (n+2) 个正整数中，总能找到两数，使它们的差或和能被 (2n) 整除”。关键在于：
- 构造对称抽屉：把余数 ({k, 2n-k}) 归为同一抽屉，使每个抽屉对应的两数要么和为 (2n)，要么差为 (0)。
- 抽屉冲突：由于数的个数比抽屉多 1，必然出现冲突，从而直接得到所需的“和或差可被 (2n) 整除”。
这一证明不仅展示了抽屉原理在数论中的典型应用，也提供了一种思考“配对余数”以获得更强结论的技巧。希望读者在日后面对类似的整数集合问题时，能够灵活运用本方法，快速得到严谨的结论。