一行80个球：50黄30蓝，证至少2个蓝球间距为3或6（求提示）

问题重述 #

我们有一排共80个球，其中50个黄色，30个蓝色。需要证明：至少存在一对蓝色球，它们之间的距离恰好是3或者6（距离定义为两个球位置编号的差的绝对值）。

证明过程（反证法+鸽巢原理） #

这是个典型的鸽巢原理应用问题，我用反证法一步步拆解：

1. 先假设结论不成立：也就是说所有蓝色球之间的距离都不等于3或6。换个说法，只要某个位置x是蓝球，那x±3、x±6这些位置（如果存在）就绝对不能是蓝球。
2. 划分“冲突组”：把1到80的位置按规则分成若干组，每组里的任意两个位置，只要同时放蓝球，就会违反上面的假设（也就是间距为3或6）：
   • 前72个位置可以分成8个完整的9位置区块（比如1-9、10-18……64-72），每个区块拆成3个小组：{k, k+3, k+6}（k=1、2、3）。比如1-9区块就分成{1,4,7}、{2,5,8}、{3,6,9}，每组里任意两个位置的差都是3或6。
   • 剩下的8个位置（73-80）分成3个小组：{73,76,79}、{74,77,80}、{75,78}，前两组的位置差是3，最后一组两个位置差也是3，都符合“冲突”的规则。
3. 计算最大可放蓝球数：根据我们的假设，每个冲突组里最多只能放1个蓝球（放两个就会出现间距3或6的情况）：
   • 8个完整区块，每个区块3个组，最多能放8×3=24个蓝球。
   • 剩余8个位置的3个组，最多能放3个蓝球。
   • 加起来总共最多只能放24+3=27个蓝球，还能满足“无蓝球间距3或6”的要求。
4. 导出矛盾：但题目里明确说有30个蓝球，30>27，这和我们的假设完全矛盾。所以假设不成立，原结论必然正确——至少存在一对蓝色球的间距是3或6。

解题提示与方向 #

• 核心工具：鸽巢原理：这类“至少存在某类情况”的问题，鸽巢原理是首选思路。关键是找到合适的“鸽巢”（也就是这里的冲突组），让每个鸽巢里的元素满足“不能同时存在多个目标元素（蓝球）”的条件。
• 分组技巧：选模9的分组是因为3和6都是9的约数，这样能把所有间距为3或6的位置归到同一组，确保组内的蓝球会互相“冲突”。
• 反证法的运用：先假设结论不成立，推导出与已知条件矛盾的结果，是这类存在性证明的标准套路，能让逻辑链更清晰。

内容的提问来源于stack exchange，提问作者Galush Balush