趣题：无限多层嵌套的逻辑推理.docVIP

大家一定见过很多“我不知道，我也不知道，我还是不知道，我还是不知道，我知道了，我也知道了”的问题。但是，我想大家一定没有见过下面这样的问题。 A 、 B 两人在主持人 C 的带领下玩一个游戏。 C 向两人宣布游戏规则：“一会儿我会随机产生两个不同的形如 n – 1/2k?– 1/2k+r?的数，其中 n 、 k 是正整数， r 是非负整数。然后，我会把这两个数分别交给你们。你们每个人都只知道自己手中的数是多少，但不知道对方手中的数是多少。你们需要猜测，谁手中的数更大一些。”这里，我们假设所有人的逻辑推理能力都是无限强的，并且这一点本身也成为了共识。 C 按照规则随机产生了两个数，把它们交给了 A 和 B ，然后问他们是否知道谁手中的数更大。于是有了这样的一段对话。 A ：我不知道。B ：我也不知道。A ：我还是不知道。B ：我也还是不知道。C ：这样下去是没有用的！可以告诉你们，不管你们像这样来来回回说多少轮，你们仍然都没法知道，谁手中的数更大一些。A ：哇，这个信息量好像有点儿大！不过，即使知道了这一点，我还是不知道谁手中的数更大。B ：我也还是不知道。A ：我继续不知道。B ：我也继续不知道。C ：还是套用刚才的话，不管你们像这样继续说多少轮，你们仍然没法知道谁手中的数更大。A ：哦……不过，我还是不知道谁手中的数更大。B ：而且我也还是不知道。我们究竟什么时候才能知道呢？C ：事实上啊，如果我们三个就像这样继续重复刚才的一切——你们俩互相说一堆不知道，我告诉你们这样永远没用，然后你们继续互说不知道，我继续说这不管用——那么不管这一切重复多少次，你们仍然不知道谁手中的数更大！A ：哇，这次的信息量就真的大了。只可惜，我还是不知道谁的数更大一些。B ：我也还是不知道。A ：是吗？好，那我现在终于知道谁的数更大了。B ：这样的话，那我也知道了。而且，我还知道我们俩手中的数具体是多少了。A ：那我也知道了。 那么 ， C 究竟把哪两个数给了 A 和 B ？ ? ? ? ? ? ? ? ? ? 上面的题目明显来自于这样一个老题： C 随机产生了两个不同的正整数，分别交给了 A 、 B ，并让两人猜测谁手中的数更大。然后 A 说不知道， B 说不知道， A 说还是不知道， B 也说还是不知道，然后 A 说知道了， B 说不但知道了，而且这两个数具体是多少都知道了。问这两个数是多少。 解答过程并不复杂。首先， A 说了一个“不知道”。这当然不奇怪，一开始就说“知道了”才奇怪呢。我们不妨反过来想想，什么情况下 A 一开始就会说“知道了”呢？容易想到，这一定是因为 A 手中的数是 1 。由于 C 产生了两个不同的正整数，因此当 A 手中的数是 1 时，他就知道了 B 手中的数必然更大。然而， A 实际上说的是“不知道”，这说明 A 手中拿到的数不是 1 。也就是说， A 手中的数至少是 2 。 B 听到了 A 的回答后，也推出了这一点。那么，什么情况下 B 会立即说“知道了”呢？当然，如果 B 手中的数是 1 ，他就立即知道 A 手中的数更大了，因为 A 手中的数至少是 2 。另外，如果 B 手中的数是 2 ，他也会立即知道 A 手中的数更大——既然 A 手中的数至少是 2 ，并且又不等于自己手中的数，因而必然更大一些。当然， B 说的实际上是“不知道”，这说明 B 手中的数至少是 3 。 A 听到了 B 的回答后，也推出了这一点。但是， A 又说了个“不知道”。这说明， A 拿到的既不是 2 ，也不是 3 ，否则他都能推出 B 手中的数更大。因此， A 手中的数至少是 4 。同理，根据 B 的下一个“不知道”可以推出， B 手中的数既不是 3 ，也不是 4 ，至少是 5 。此时， A 说“知道了”。这说明， A 手中的数肯定是 4 和 5 当中的一个，他据此推出了 B 手中的数更大。但是， B 为什么能紧接着推出 A 手中的数具体是多少呢？这一定是因为， B 手中的数就是 5 ，因而能断定 A 手中的数只可能是 4 。所以， A 、 B 两人手中的数分别是 4 和 5 。 这就是旧版的题目。它和本文最开头的那个新版的题目有什么联系呢？用下面两张图来说明真是再合适不过了。在旧版的题目中，把两人手中可能的数（也就是 C 能产生出来的数）全都标在数轴上，那大概是这样： 而在新版的题目中，把两人手中可能的数（也就是 C 能产生出来的数）全都标在数轴上，则大概是这样： 你会发现这种情况非常有意思。最小的一批数是 0, 1/4, 3/8, 7/16, … ，这样数下去会有无穷多个数。但是，这无穷多个数的后面还有 1/2, 5/8, 11/16 等数，而且这一系列数本身又是无穷多的；在这无穷多个数的后面又还有 3/4