大家好，我是 Senko。 本文将解读“所有的马都是同色”悖论。
使用数学归纳法这个证明技巧，竟能“证明”全世界的马都是同一种颜色。现实中当然没有这回事。那么，这份“证明”错在哪里？
伪证明
数学归纳法分两步进行证明。
奠基步骤：证明 n = 1 时命题成立 归纳步骤：假设 n = k 时成立，证明 n = k+1 时也成立
这两步都完成后，命题就像推倒多米诺骨牌一样，对所有自然数成立。
那么，我们来用归纳法证明“在任意 n 匹马的集合中，所有马都是同色”。
奠基步骤（n = 1）：只有 1 匹马的集合里，所有马（就那 1 匹）当然同色。成立。
归纳步骤：假设“任意 k 匹马的集合中所有马同色”。
考虑 k+1 匹马，记为马 1、马 2、……、马 k、马 k+1。
前 k 匹（马 1～马 k）根据归纳假设全部同色。 后 k 匹（马 2～马 k+1）根据归纳假设也全部同色。
两组在“马 2～马 k”这部分重叠。于是，前一组的颜色 ＝ 重叠部分的颜色 ＝ 后一组的颜色，k+1 匹马全部同色得证。
综上，由归纳法，对一切自然数 n 成立——所有的马都是同色。
……真的吗？
证明的破绽
这个证明的错误藏在从 n = 1 到 n = 2 的过渡里。
考虑 k = 1 的情形：k+1 = 2 匹马，即马 1 和马 2。
按归纳步骤的逻辑：
- 前 k 匹（只有马 1）同色。没错，只有 1 匹嘛。
- 后 k 匹（只有马 2）同色。没错，也只有 1 匹。
可是，两组的“重叠部分”是……空的。
只含马 1 的组和只含马 2 的组，没有任何共同的马。于是，“经由重叠部分推出两组同色”的逻辑不成立。
归纳步骤的证明只在 k ≥ 2 时有效。k = 1 时（n = 1 → n = 2 的过渡）逻辑崩塌，多米诺的第一张牌倒不下去，归纳法宣告失败。
为什么这个悖论有教育意义
这个悖论常出现在数学教学中，就是为了强调归纳步骤必须“对所有 k”成立的重要性。
归纳法是强大的证明手段，但若不确认归纳步骤在与奠基步骤直接衔接的那一环也成立，伪证明就会趁虚而入。
学习数学归纳法时养成自问“归纳步骤真的对所有 k 都成立吗？”的习惯——它是绝佳的反面教材。
归纳法相关的悖论
以下是与所有的马都是同色同样涉及归纳推理陷阱的相关悖论。
结语
本文解读了“所有的马都是同色”悖论。
看似完美的证明里，潜藏着仅仅一步的疏漏——这个悖论教给我们数学严谨性的分量。
想返回悖论列表的读者请点击下方链接。
我们下一篇文章见。
📚 系列：世界经典悖论（52/57）
