### [四位数学家，两两合作过——一道容斥原理入门题](https://www.thinkhow.tech/article/477)

**Published:** 2026-07-15T11:19:57

**Author:** 段, 誉

**Excerpt:** 本文用1992位科学家的合作网络问题为例，一步步拆解容斥原理如何通过「集合翻译→分步容斥→估算交集」的三段论，证明4人两两合作的小圈子必然存在。适合初中生入门组合数学思维。

## 一、题目重述

题目重述 → 场景铺陈

1992 位科学家坐在一个大礼堂里。题目的条件很特别：**每个人至少与 1329 位其他科学家合作过**。我们要证明的是：在这样一张”合作网络”中，**一定存在 4 位科学家，他们两两之间都合作过**。

经典定位 → 工具点明

这听上去像是一道”找朋友”的游戏题。

但数学家处理这类问题有一个统一思路：把”人与人之间的关系”翻译成”集合与集合之间的关系”，再用集合的运算把”故事”算出来。完成这一步，**容斥原理**就登场了。

## 二、把”合作”翻译成”集合”

语言转换 → 概念界定

在集合语言里，每个科学家都有一个”合作圈”——也就是和他合作过的所有科学家的集合。

符号定义 → 递进展开

具体地：与科学家 A 合作过的所有人放在一起，记作 `Ã`（A 上面加一个波浪线）。题设告诉我们 `|Ã| ≥ 1329`。与科学家 B 合作过的所有人，记作 `B̃`，同样有 `|B̃| ≥ 1329`。

细节补全 → 目标聚焦

这里有一个细节需要记住：**科学家不会和自己合作**。所以 A 不在 `Ã` 中，B 不在 `B̃` 中。但是既然 A 与 B 合作过，那 A 就在 `B̃` 中，B 就在 `Ã` 中——这一点后面会用到。

题目要我们找的”4 位两两合作的数学家”，用集合语言重新表达就是：找到 A、B、C、D 四个人，使得每一对都满足”互相在对方的合作圈里”。换句话说，A、B、C、D 中的任意两个，他们的合作圈都有交集。

## 三、思维路径——分步”造桥”

全局规划 → 分步规划

要把 4 人小圈子找出来，最自然的策略是”先造两座桥，再造第三座”。

阶段拆解 → 递进展开

**第一步**：在 A 的合作圈里挑一个人 B（题设保证这一定办得到，因为 A 至少有 1329 个合作者）

**第二步**：找一位科学家 C，使得 C **同时**在 A 和 B 的合作圈里——也就是 C 是连接 A 与 B 的”第一座桥”。

**第三步**：再找一位科学家 D，使得 D **同时**与 A、B、C 三人合作——D 是”第二座桥”。

逻辑闭环 → 目标聚焦

只要这三步都成功，A、B、C、D 自然两两合作：

A 与 B 在第一步就合作了；

A 与 C、B 与 C 在第二步连接了；

A 与 D、B 与 D、C 与 D 在第三步连接了。

所以整个证明的核心命题就变成了两件事：

1）`Ã ∩ B̃` 里有至少一个人（这样 C 才存在）；

2）`Ã ∩ B̃ ∩ C̃` 里有至少一个人（这样 D 才存在）。

## 四、第一步——找”桥”C

问题转化 → 工具引入

要判断 `Ã ∩ B̃` 是不是空的，最直接的办法就是**估算它的大小**。这里就要用到**两集合容斥原理**：

公式解释 → 概念界定

这个公式的直觉是这样的：把 `Ã` 的人和 `B̃` 的人直接加起来，交集里的人（既属于 A 又属于 B 的）就被多算了一次，所以要减掉一次才得到正确的交集大小。

数据代入 → 数值估算

现在代入数据：

|Ã| ≥ 1329（A 的合作者至少有 1329 位）；

|B̃| ≥ 1329（B 的合作者至少有 1329 位）；

|Ã ∪ B̃| ≤ 1992（合作圈里的所有人加起来也不可能超过礼堂里 1992 人的总数）。

于是：

|Ã ∩ B̃| ≥ 1329 + 1329 – 1992 = **666**

也就是说，**至少有 666 个人既与 A 合作，又与 B 合作**。从中任选一位，就是我们要的 C。

## 五、第二步——找”桥”D，与命题成立

问题推进 → 阶段聚焦

接下来要找 D。问题转化成：`Ã ∩ B̃` 这个集合（至少有 666 人）和 `C̃`（至少有 1329 人）的交集里，是不是至少还有一个人？

工具复用 → 公式引入

把 `Ã ∩ B̃` 看作一个”放大的集合”，再用一次两集合容斥：

数据代入 → 数值计算

代入数据：|Ã ∩ B̃| ≥ 666（这是第一步的成果）；|C̃| ≥ 1329；|(Ã ∩ B̃) ∪ C̃| ≤ 1992（同样不会超过总人数）。于是：

|(Ã ∩ B̃) ∩ C̃| ≥ 666 + 1329 – 1992 = **3 ≥ 1**

也就是说，**至少有 3 个人**（含 D 在内）同时与 A、B、C 合作过——这意味着 D 一定存在。

命题收束 → 综合收尾

回看一下整个过程：

A 与 B 合作（A 在 B 的合作圈里）；

A 与 C 合作（C ∈ `Ã`）；

A 与 D 合作（D ∈ `Ã ∩ B̃ ∩ C̃`）；

B 与 C、B 与 D、C 与 D 同样成立。六对合作关系全部成立，A、B、C、D 确实构成一个”两两合作”的 4 人小圈子。命题得证。

## 六、方法论总结

方法论三点 → 归纳升华

这道题虽小，但藏着三个值得记住的方法论要点。

翻译与分步 → 分点展开

**第一**，把日常叙述翻译成集合语言，是这类题的第一关。题目原话的”说明”里就特别强调：”把一个普通的叙述性问题转化为集合的语言描述的问题，通常为解题的关键之处”。数学家处理”关系”问题的第一步，永远是问”我能不能把这件事翻译成集合的语言”。

**第二**，把复杂问题拆成可以分步处理的小问题。我们没有一上来就用”四集合容斥”，而是把它拆成”先找 C、再找 D”两个两步的”两集合容斥”。这正是分治思想在组合数学里的体现：能分步解决的事情，就不要硬刚一次。

缓冲量与容斥 → 关键聚焦

**第三**，1329 这个数字不是随便给的。1329 + 1329 – 1992 = 666，这个 666 既足够大到能保证下一步能继续（666 + 1329 – 1992 = 3 > 0），又留下了一个清晰的”缓冲量”。

**容斥原理的精髓，就是用”加 + 减”的算式，把”交集的下界”算出来，从而证明”交集非空”**。这是组合数学里最常用的”算一算”技巧。

方法收束 → 号召收束

容量与圈子的关系，本质上是”很多人合作过，那么朋友的朋友的朋友……总能找到”。理解了这一点，容斥原理就不再是抽象的公式，而是一把精准的尺子——它把”看上去是故事”的问题，量出了”必然成立”的答案。

**Tags:** 中级, 交互, 奥数, 知识

**Categories:** 学科, 数学

---