​有情人终成眷属。当选择相亲来解决终生大事，我们能找到最理想的伴侣吗？相亲几次才能遇见那个TA？其实，这在数学上属于一类经典问题——最优停止理论。最神奇的在于，超越数e潜藏其中。为什么这个普适常数会出现你的相亲过程中，本文的谜题2将给出解答。谜题3则是另一个爱情延伸出来的数学问题（谜题1也很有意思）。祝大家情人节快乐！

撰文 | Pradeep Mutalik

编译 | 哪吒

上个月，我们给出三个谜题，它们看起来很平常，却包含了数的曲折故事。故事背后是神秘的超越数（欧拉数）e。我们最熟悉的就是它作为自然对数的底。e是一个普适常数，且有一个无限的小数表示：2.7 1828 1828 45 90 45…（这种间隔书写只是为了显示小数点后面15位数字的某种规律性）。那么，它为什么突然出现在我们的谜题中？

在回答这个问题以前，我们需要对e的性质有更多的了解。如同它的超越数兄弟π，e有无数多种表达方式，比如写成无穷级数的和，无限多个数的乘积，无限序列的极限，以及一个惊人的正则连分数等等。

我还记得第一次学习e的情景。那时我们在中学学习普通对数，我惊叹于如果把所有数表达为10的分数次方幂，它就能够将复杂的乘法转化为简单的加法。然而，我想知道，分数次幂与无理数幂是如何计算出来的？当然，计算整数次的方幂很容易，比如10^2，10^3，必要时，甚至可以通过求10^5的平方根来计算10^2.5。但是，就像对数表那样，20就是10^1.30103，他们是如何得到的？如何从头开始构造一个完整的对数表呢? 我简直无法想象这是怎么做到的。

后来，我了解到一个神奇的公式可以实现这一壮举。它揭示了“自然对数”中“自然”的来源：

对于负指数，会出现交错项：

这个强大的公式可以用来计算e的任意实数次幂，包括从负无穷到正无穷的整数次幂或分数次幂，结果可以是想要的任意精确度。因而可以从头开始构造一个完整的自然对数表，再从这张表得到一般的对数。

令x=1，得到e的表达式：

另外，e具有许多惊人的性质，有一些包含在我们的谜题的解答中。但是有一条性质指出了e的本质，且使得对于对数以及指数增长和衰减的情形来说，e是很自然的：

这个公式表明e^x在所有点处的变化率就等于自身的值。如果表示时间，此式表明增长（或衰减，对于-x）的速率等于迄今为止积累的规模或数量。现实世界中有无数的现象在某个时间段内就是这样的，而且我们也知道它们是指数增长或衰减的例子。但是，除了实用性之外，e的这个属性中还有一种审美上表现出完美和自然的元素，能够真正激发人们的好奇心。它甚至带有道德教训；我喜欢把它想象成一个禅宗式的功能，在追求增长的过程中，它总是处于完美的平衡，永远不会超出或低于它所获得的。

警告：在下面的谜题解决方案中，我们将涉及比本谜题专栏中常见的更高级、看起来更可怕的数学。如果这些方程式让你目光呆滞，也不用担心；试着遵循一般的论点和概念。我希望每个人都能对我们的谜题有所了解，不管它是如何出现的，为什么会出现。在BBC的系列剧《人类的攀升》（The Ascent of Man）中，Jacob Bronowski在谈到John von Neumann的数学著作时说，阅读数学时遵循概念论证的调子是很重要的——方程式只是“低音部分的管弦乐”。

现在让我们试着找出e在谜题中是如何出现的。

谜题1：分解

问题a的解答：

在上篇中曾经给出提示：当每个等分的数值最接近e时，乘积达到最大值。更准确地说，当等分的数值处于e的两侧时，达到两个最大的乘积。对于我们这里考虑的比较小的、日常级别的数，当等分的数值与e相差最小的时候，可以取到乘积的最大值。

问题b的解答：

从上面可以很容易地看到，当两个相邻的等分的数值与e的距离几乎相等时，两个乘积将是最接近的，一个比e低，另一个比e高。（只有当函数围绕e对称时，这是严格正确的。这里它不是，但在这个范围内，它足够近，正如读者Michel Nizette出色地解释的那样。）

如果原始数是N，那么当比率N/e的小数部分接近0.5时，即当N/e接近两个整数的中点时，这种情况就会发生。因此，如果你构造一个N/e表，其中N从1到100，然后寻找最接近0.5的小数部分，你将得到所需的整数：53。53除以e得到19.4976，而将53分别19等分和20等分得到的乘积相差仅为0.0013%。

问题c的解答：

瞧！这就是e如何出现并得到最大乘积的。

这告诉我们e具有最优化性质。它可以出现在找最大值或最小值的情形中，就像我们将在谜题2看到的那样。在计算函数的值时，其中x取遍所有正实数（这就是Steiner’s problem），可以看到e的这个性质的基础版本。在这无穷多个实数中，此函数取得最大值对应的x是e。函数x^1/x取最大值等价于函数Inx/x取最大值，而后者的导数是(1-Inx)/x^2，此导数为零，当且仅当Inx=1，即x=e。

谜题2：相亲

正如读者所指出的，这是著名的秘书问题的重述。要点概述如下。

继承人必须根据以下规则从10个潜在的配偶候选人中选出最好的一个。候选人一个接一个地接受面试，在考虑下一个候选人之前，要么被接受（如果被认为是最好的），要么被拒绝。被拒绝的候选人不能被召回，一旦候选人被接受，流程就会停止。如果流程还没有结束，则在默认情况下必须接受最后一个候选对象。

问题a的解答：

a. 假设没有排名相同的情况，继承人如何最大限度地提高选择最佳伴侣的机会？

这种情况要求继承人无条件地拒绝特定数目的候选人（ “拒绝”阶段），然后进入“选择阶段”——在这个阶段中，继承人从剩余的候选人中选择第一个排名高于先前所有被拒绝的候选人。当拒绝阶段有一个特定的长度时，选择最佳候选人的机会是最大的。如果拒绝阶段较长（最好的候选人更有可能被拒绝）或较短（他没有足够的经验来对候选人进行适当的排名，导致接受排名较低的候选人），那么选择最佳的概率就会下降。

这被称为“最优停止”（optimal stopping）[2]问题，e出现在其解中是因为它具有最优性。对于大量的候选人n，最初被拒绝的候选人数量应该等于n除以e。

这里是n = 10的概率计算，如果拒绝阶段(r) = 3，即拒绝3人，让我们来看看答案是多少。

首先，请注意，最佳候选人可能会在10次面试的任何时刻出现，有1/10的概率（1/n）处于任何特定的位置。对于每个面试者的位置(i)，我们将这个1/10乘以最佳候选人将在该位置被选中的概率。然后我们把所有位置的概率加起来，建立一般表达式。

• 如果最佳候选人处于1到3位，他们将被自动拒绝。选择到最佳候选人的概率：

问题b的解答：

b. 如果有10%的概率两人并列第一，那么继承人遇见最佳伴侣的机会如何变化？

由于继承人现在有两个排名第一的候选人，找到最佳候选人的机会增加了。

问题c的解答：

c. 这是一个经典问题，其解与e有关。你能解释一下e是如何进入答案的吗？

e在这个谜题中两次进入场景! 当n变大时，欧拉数出现在做出最佳选择的概率中，以及最初拒绝人数的比例中。

我们上面推导的概率表达式可以表示为n→∞当时的极限，用x代入r/n（拒绝的比率），用p代替(i-1)/n（在每个n处的增量概率），用dp代替1/n（从一个整数到下一个整数的变化率）。

于是概率的极限为：

谜题3：亲密无间

一个大礼堂正在上演一场只允许夫妇入场的演出。当一对夫妇进入礼堂时，他们随机挑选一对紧挨着的座位。每一对新婚夫妇都这样做，在很多情况下，这会导致夫妻之间有空座位。持续入场直到只剩下单个的座位，然后礼堂宣布满员，表演开始。

问题a的解答：

a. 当入座停止时，预计有多少比例的空座位？

这些数字除以席位数就得到了空缺席位的比例，有读者计算出10个席位的比例为16.24%，100个席位的比例为13.804%，1000个席位的比例为13.561%，6000个席位的比例为13.538%。你可以看到数字接近或13.5335…%。但是我们怎么知道这就是它们的目标呢？因为它们的关系需要很长时间才能计算出来。

递归关系虽然很好，但它就像试图一步一步地爬一个无限的楼梯。我们真正需要的是一个只依赖于n的封闭表达式。一个封闭表达式就像一台电梯。对任意n按下按钮，嗖! 电梯会带你到那里，甚至可以直达楼顶，那里的视野是无限的。

注释

[1] Wolfram Alpha是一个智能计算工具，网址为

[2] 可参考 《最优停止理论 Optimal Stopping Theory 经典秘书问题 Classic Secretary Problem》

本文译自Where Transcendental Numbers Hide in Everyday Math 原文链接：