第三卷 水蓝色圆规与恋爱几何学 log10 克雷特岛 · 谎言迷宫

p; 我不明就里地盯着屏幕。很快,上面出现了一张熟悉的面孔,用不必要的巨大嗓门叫唤。

  “二十一点十一分,确认逮捕真田英利!”

  是大山梓。数秒后,被摘下面具的真田一脸悲痛地被带离了房间。

  看来在我们不知道的时候,他的藏身处已经被找到了。……不过更让我在意的,是一旁的浜村渚目睹这一切,竟出奇地平静。

  “这下终于算是搞定了”

  濑岛不知何时来到身后,仿佛是自己的功劳一般得意洋洋地笑着说。

  据他说,锦部春美成功解析了电波,发现了真田英利躲在四谷五丁目的一个公寓里。我们立刻向最近的派出所发出协助请求,并派出大山前往现场。但迷宫这边也即将到达时限,就算浜村成功解除了程序,真田也有可能在短时间内逃走。于是,濑岛叫住上完厕所准备回来的浜村渚,指示她尽可能与对方进行对话,以拖延时间。

  “罗素先生想出来的‘理发师悖论’,给康托尔先生提出的集合论造成了很大的打击呢”

  似是补充真田最后的哪些内容一般,浜村渚说出令人费解的话,然后将已经冷掉的龙虾焗菜送到嘴里。

  “你果然知道那个理发师的故事呢”

  浜村叼着勺子,微微一笑。

  “在迷宫里,我是‘骗子’对吧?所以就说了谎”

  原来如此。

  ——“浜村渚说,浜村渚是骗子”。

  到头来,被克雷特岛的谎言迷宫迷惑的,或许是埃庇米尼Death本人。

  屏幕上已不见他的身影。明明差点被他破坏了警视厅的系统,我却感到了一丝寂寞。或许,浜村渚也是和我一样的心情。

  “武藤先生,我或许是喜欢埃庇米尼Death先生的”

  这是自然,毕竟她在迷宫里玩得那么开心。能真正享受数学迷宫的乐趣的,恐怕也只有她这样的人了。如果,真田英利不是以一个恐怖分子的身份,与浜村渚相遇了的话……

  “埃庇米尼Death先生会被带到哪里呢?”

  “大概是距离那儿最近的派出所吧?”

  “真希望他也能尝一尝龙虾焗菜和海鲜披萨”

  长长的睫毛下,晶莹的眼瞳望向我,从中看不到一丝的“谎言”。

  当天夜里,被关押在四谷派出所的真田英利面前,摆上了龙虾焗菜和海鲜披萨。而我们的数学少女则是拿到总务部服装课洗干净熨得平整的午餐白大褂后,回到了位于千叶的家,大概在熟睡着吧。

  # 莲子的解说

  * 帕普斯-古尔丁定理(Pappus-Guldinus theorem)

  该定理表述为:一个面积为S的平面图形A绕与之共面(但不穿过A)的直线l旋转一周,所得旋转体的体积V等于A的重心移动的距离乘以S。用式子表示为:

  [1] V=2πgS(g为重心坐标)

  证明:

  在数学上,平面图形(视为均匀平板)的重心的坐标g(此处指重心到旋转轴l的距离)定义为:

  [2] g=∫[a,b] xf(x) dx / ∫[a,b] f(x) dx = ∫[a,b] xf(x) dx / S

  (∫[a,b] f(x) dx 表示函数f(x)在区间x∈[a,b]上的积分值)

  沿平行于l的方向在A上取一段细长的面积微元dS(近似看作矩形),则其底边长度为dx,高度为f(x),有dS=f(x)dx。考虑到dx极小,dS绕l旋转一周,得到一个圆柱面,面积为2πx·f(x)dx。沿x方向(垂直于l的方向)积分,即得旋转体的体积:

  [3] V=∫[a,b] 2πx·f(x) dx = 2π·∫[a,b] xf(x) dx

  由[2]式得∫[a,b] xf(x) dx = g·S,代入[3]即得[1]式。QED

  * 凯政高中入学考试试题

  【设两个不相等的整数,它们的最小公倍数为14070,问这两个整数的可能组合有多少种?】

  两整数的最小公倍数为14070,说明它们都是14070的因数,即两数都可以表示为14070的质因数的乘积。利用集合的性质,可以方便地保证没有遗漏和重复。14070=2×3×5×7×67。若用A和B表示两数各自的质因数构成的集合,则有A∪B={2,3,5,7,67}。因两数不等,有A≠B,故card(A∩B)(表示A与B的交集中包含元素的个数)必小于card(A∪B)=5,即有5个可能取值:{0,1,2,3,4}。若A∩B中有k个元素,则剩下5-k个元素必填满A∪B-A∩B,才能保证两数的最小公倍数为14070,此时A和B的可能情况有(1/2)×(C(5-k,0)+C(5-k,1)++C(5-k,5-k-1)+C(5-k,5-k))×C(5,k)=2^(5-k-1)×C(5,k)种。令k分别等于0~4,代入上式并求和即得答案:共有121种。

  * 阿基里斯与乌龟

  这是希腊哲学家芝诺(Zeno of Elea, 490-430 B.C.)提出的一系列悖论中最广为人知的一个。除了这个之外,芝诺还提出过二分法悖论(Dichotomy's paradox)和飞行箭矢悖论(Arrow paradox)。这些悖论都在讨论运动的分割性,

上一页目录+书签下一页