xywlpo的专栏

<br /> Brain Storm |  2011-04-10 19:46| 41 Comments | 本文内容遵从CC版权协议 转载请注明出自matrix67.com<br />    由于某些原因，最近在整理以前的日志。偶然翻到这篇日志时，顺便在 Wikipedia 复习了一下 Arrow 不可能性定理的证明，惊奇地发现这个定理的证明过程非常困难但又非常初等，是一个门槛很低、老少咸宜的思维游戏。虽然不少人都翻译过 Wikipedia 上的这段证明，但我也想自己写一个自己的理解，一来做个笔记，二来也锻

该趣题来源于 IBM Ponder This 三月份的谜题。    大家应该都听说过这个老题目：有 1000 个一模一样的瓶子，其中有 999 瓶是普通的水，有一瓶是毒药。任何喝下毒药的生物都会在一星期之后死亡。现在，你只有 10 只小白鼠和一星期的时间，如何检验出哪个瓶子里有毒药？    这个问题的答案也堪称经典：把瓶子从 0 到 999 依次编号，然后全部转换为 10 位二进制数。让第一只老鼠喝掉所有二进制数右起第一位是 1 的瓶子，让第二只老鼠喝掉所有二进制数右起第二位是 1 的瓶子，等等。一星期后，

     把画框悬挂在钉子上，总是给人一种很不安全的感觉，如果钉子掉了的话，画框也会重重地砸在地上。像上图那样，把画框挂在两颗钉子上，看上去可就安全得多了——如果有一颗钉子掉了的话，画框仍然能够悬挂在另一颗钉子上，就好像上了双保险一样。    今天，我们要考大家一个完全相反的蛋疼问题——如何把画框挂在两颗钉子上，使得去掉任意一颗钉子，画框都会掉下去？       答案：如下图。这样

    给定一个正方形纸片，用上面这种方法可以折出一个等边三角形。你能看出这是为什么吗？       由对称性，组成等边三角形的前两道折痕显然一样长，我们只需要证明它们之间的夹角是 60 度即可。注意到，如图折叠后将会立即产生直角边是斜边长度一半的直角三角形， 30 度角由此产生。由此可知，前两道折痕和纸片边上的夹角都是 15 度，两折痕之间的夹角自然也就正好是 60 度了。