称球问题解析（3） - 公式证明

作者: Phill King

邮箱: phillking1982@163.com

原创文章，转载请注明出处。

问题描述：

有N个外表一模一样的小球，除了有一个小球略轻或略重，其他的小球质量都是一样的。求用没砝码的天秤最少称多少次，才能找出的异常球，并且知道它是更轻还是更重？

证明：

假设称n次最多可以从M个球找到一个异常的球， 且获知其轻重。

求证: 

步骤一：

1. 在第i次称球时， 设定C(i,0), C(i, 2), C(i,1)为放置在左边、右边和不称的球的集合。|C(i,0)| 代表集合C(i,0)中元素的数目(cardinality)，则有：

                           

2. 设Di为第i次称后，可能为重的球的集合; Ei为可能为轻的球的集合。

3. 求证以下不等式成立： 

                         

步骤二：求证

 

步骤三：

 总结：称n次最多可以从M个球找到一个异常的球

     证明公式：  成立

证明方法来源于： The Problem of the Pennies, F. J. Dyson, The Mathematical Gazette , Vol. 30, No. 291 (Oct., 1946), pp. 231-234