蓝眼睛/疯狗/耳光：三道同构的数学归纳法
一句话结论（30s）
结论先行：游客宣布”至少有一个蓝眼睛”后，第 100 天所有 100 个蓝眼睛的人会同时离开。本质是数学归纳法——因为这句话把岛上人人早已知道的信息变成了公共知识（Common Knowledge），为归纳法提供了 base case，所以 n 个蓝眼睛的人会在第 n 天集体行动。
核心原理（2min）
n=1 时唯一的蓝眼睛看到全棕眼睛，靠游客的话确认自己，第 1 天离开；n=2 时两人都等对方第 1 天离开，无人离开便各自推出自己也是蓝眼睛，第 2 天同时离开；归纳推广到 n=k，每个人都看到 k-1 个蓝眼睛并等 k-1 天，第 k-1 天无人离开即推出自己是第 k 个，于是第 k 天集体离开。游客的话价值不在信息本身（人人早已知道），而在把它变成”每个人都知道每个人都知道……”的公共知识，让归纳链条得以启动。
底层深入（5-10min）
蓝眼睛问题
岛上有 100 个蓝眼睛的人，规则：
- 每个人能看到所有人的眼睛颜色，但看不到自己的
- 不能互相交流眼睛颜色
- 如果一个人确定自己是蓝眼睛，当晚必须离开
游客宣布：“你们中至少有一个人是蓝眼睛。”
请问会发生什么？第 100 天，所有 100 个蓝眼睛的人一起离开。
数学归纳法推导
n=1（1 个蓝眼睛）
唯一的蓝眼睛的人看到 99 个棕色眼睛 → 但游客说”至少有一个蓝眼睛” → 他立刻知道是自己 → 第 1 天离开。
n=2（2 个蓝眼睛：A 和 B）
A 看到 1 个蓝眼睛（B）。A 想：“如果我是棕眼睛，B 就是唯一的蓝眼睛，B 会在第 1 天离开。”
第 1 天：B 没有离开（因为 B 也在等 A 离开，同样的推理）。
A 意识到：“B 没有离开 → 说明 B 看到了另一个蓝眼睛 → 我就是那个另一个蓝眼睛 → 我是蓝眼睛。”
第 2 天，A 和 B 同时离开。
💭 思考：为什么 B 第 1 天没离开，就能让 A 推出自己是蓝眼睛？——因为 A 的唯一”非蓝”假设是”B 是唯一蓝眼睛”，若成立 B 会在第 1 天离开；B 没走就推翻了这个假设，A 只能得出”我也是蓝眼睛”。这正是归纳法从 n=1 到 n=2 的跳跃。
n=k
假如 k-1 个蓝眼睛的人会在第 k-1 天离开。现在有 k 个。
每个人看到 k-1 个蓝眼睛，等 k-1 天。第 k-1 天无人离开 → 每个人推理：“我就是第 k 个蓝眼睛。”
第 k 天，k 个人一起离开。
游客的话为什么不是废话？
“至少有一个蓝眼睛”这条信息岛上居民早就知道（他们都看得到）。 游客的话的价值不在于”信息本身”，而在于把它变成了 Common Knowledge（公共知识）——每个人都知道”每个人都知道每个人都知道……至少有一个人有蓝眼睛”。
这为数学归纳法提供了base case（第 1 天的基础推理），没有这个 base case，n=1 的场景无法推理（唯一的蓝眼睛看到全是棕色，没人告诉他”至少有一个蓝眼睛”，他无法确定自己是不是蓝眼睛 → 永不离开 → 整个归纳链条无法启动）。
💭 思考：游客的话到底”新增”了什么？——不是信息内容，而是信息层级：它让”至少有一个蓝眼睛”从”人人各自知道”变成”人人知道人人知道……”的公共知识，这才给了归纳法一个公共的 base case；没有它，链条无法启动。
疯狗问题（同构）
50 条狗中若干条是疯狗，看到疯狗的人不能动手。第 3 天才有枪响，死了几条狗？
→ 3 条疯狗，第 3 天枪响。 就是蓝眼睛的 $n=3$ 版本。
归纳推理题的通解
| 特征 | 结论 |
|---|---|
| 知道”有人满足条件” | base case 成立 |
| 能观察到除自己外的所有人 | 信息对称 |
| 第 n 天才有行动 | 满足条件的人数是 n |
章末提问
追问 1：游客的话到底新增了什么信息？
回答思路：结论是内容上没有新增（人人早就知道”至少有一个蓝眼睛”），新增的是”公共知识”层级——让每个人都知道”每个人都知道每个人都知道……”，这一层级的建立才是归纳法能启动的关键。
追问 2：为什么是第 n 天行动，而不是第 n+1 天？
回答思路：结论是数学归纳法决定的：每个蓝眼睛看到 n-1 个蓝眼睛，会先等 n-1 天，第 n-1 天无人离开就排除”只有 n-1 个”的假设，从而在第 n 天确定自己并行动。
追问 3：如果没有游客宣布这句话，会发生什么？
回答思路：结论是永远无人离开，因为归纳法的 base case 缺失——n=1 时唯一的蓝眼睛看到全棕眼睛，没有任何外部信息帮他确认自己，第一步推理无法进行，整个链条也就无法启动。