游 戏 与 结 构全书按「章」前进,每章恰好二十五页。理论章的节奏是:第 1 页溯源(这个概念在人类文明里是怎么长出来的)、第 2–9 页讲义(定义、定理与法则,一条一条立起来)、第 10–13 页研讨(四个思辨问题,像小型读书会)、第 14–17 页例题(例 1–例 4,带完整解答)、第 18 页思想卡(一页只说一个数学思想)、第 19–22 页研究(四页研究任务单:建模、探究、写作、答辩)、第 23–25 页挑战·复盘·迁移。游戏与实践册的节奏是:导入→操作×4→专题×5→研讨×4→项目×5→思想卡→深读×3→复盘→展示。
写法约定(TEX 标准):分数写成上下两层的 12;绝对值写成 |−3| = 3;未知数用字母 x,方程写作 3x + 5 = 20;不等号 > < ≥ ≤ ≠ 各就各位;平方根写作 √2,平方与立方用小肩数字 x2、a3;点坐标写作 (2, −1);函数写作 y = 2x − 1;圆周率 π ≈ 3.14。中括号写成 [ ],比例号 ∶。
p.1–25 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

欧几里得《几何原本》开列五条公设:前四条简洁明快——过两点可作一直线、线段可任意延长、以任意点为心任意距可作圆、凡直角皆相等。唯独第五公设啰嗦得像一句绕口令:若一条直线与两条直线相交,使同侧内角之和小于两直角,则这两直线在那一侧相交。
它读起来太像一条定理了。于是两千年来,从托勒密到普罗克洛斯,从阿拉伯的数学家到清代的中国学者,一代代人试图用前四条公设把它「证出来」——全部失败。每一次「证明」都偷偷用了与第五公设等价的说法:三角形内角和等于 180°、存在相似而不全等的三角形、过直线外一点恰有一条平行线……
直到十九世纪,高斯、鲍耶·亚诺什、罗巴切夫斯基各自独立地做了那件真正勇敢的事:换一条公设试试。把「恰一条平行线」换成「过外一点可作多条平行线」,几何大厦竟然不塌——一种全新而自洽的几何诞生了。这一章,我们沿着这条两千年的纠缠之路走一遍,亲手在球面与双曲圆盘上「量」出另一种几何。
鲍耶的父亲法尔卡什一生证明第五公设未果,写信劝儿子:「不要碰平行线这门科学,它会夺走您全部的时光。」儿子偏偏碰了,而且碰出了一个新世界。
先把地基摊开来检查。欧氏平面几何的骨架是一组公设与公理,我们挑五条抄在卡片上:
操作任务一:用一张 A4 纸与直尺逐条验证——在平面上画一点 P 与一条直线 l,用三角板过 P 画 l 的平行线,您能画出第二条吗?反复画十次,记录结果。
操作任务二:剪一个纸质三角形,撕下三个角拼到一起——三个角恰好拼成一个平角(180°)。把这条「实验事实」与公理卡第④条对上号。
操作任务三(关键一步):想一想,任务一、二里的「验证」,与「1+1=2」式的计算有何本质不同?——前者依赖纸与尺的性质:纸是平的、尺是直的。换一张弯曲的「纸」,结论还站得住吗?
复盘要点:欧氏几何不是凭空的真理,而是「平面这张纸」的性格描写。地基是公理,纸不平,楼就盖在另一种地上。
道具:一个橙子(或皮球)、一支可画在果皮上的笔、一条软尺、一张湿纸巾。
实验一:剥橙子。在橙子上取两极 N、S,沿赤道取两段:从 N 出发沿一条经线画到赤道,沿赤道走四分之一圈,再沿另一条经线回到 N。这样果皮上出现一个三顶点三角形:N、赤道上两点 A、B。用量角器(把果皮那块摊平在纸上再量,或直接目测)估它的三个内角:两个经线与赤道的夹角各 90°,顶点 N 处两经线的夹角是 90°(四分之一圈)。三个角加起来——270°!
实验二:换大小。把赤道段缩短为八分之一圈,重做一遍。内角和变小了,但仍大于 180°。
规律猜想:球面三角形内角和 = 180° + 一个与面积有关的「盈余」。三角越大,盈余越多;缩到极小,就几乎回到 180°。这份「盈余」名叫角盈,它与三角形面积成正比,比例系数是球面曲率的度量。
操作记录表:至少做三个不同大小的球面三角形,记下三内角与内角和,观察内角和与 180°之差是否随面积增大而增大。
在球面上,「直线」要改称测地线:橡皮筋绷在球面上收缩出的线,即大圆。公理①「两点一线」在这里失效——两点之间有无穷多条大圆弧。
现在反过来造一张「内角和小于 180°」的纸——罗巴切夫斯基的世界。道具:一张光盘(或剪一个圆),几条等长的棉线。
操作一:驯服「直线」。在圆盘模型里,「直线」规定为与边界圆垂直相交的圆弧(或过圆心的直径)。拿一条棉线,两端按在圆盘内、中间拱起,模拟一条「垂直落在边界上」的弧——它中间鼓、两端扎向边界。在盘上用笔画出三五条这样的弧。
操作二:平行线大爆炸。取一条「直线」 l(某条弧),再取盘内不在 l 上的一点 P。动手试:过 P 能画几条与 l 不相交的弧?——无穷多条!其中有两条最特别的:它们是「恰好贴着 l」的极限位置,称为渐近线;其余与 l 不相交的弧都夹在渐近线张开的角度之内。
操作三:三角形实验。用三条这样的弧围一个三角形。目测三个内角:每个角都「瘪」了——小于平面上同形状的角。三内角之和小于 180°,缺口同样随面积增大而增大,称为角亏。
把两张实验记录表并排放:球面(内角和 > 180°)、罗氏盘(< 180°)、平面(= 180°)。三种几何并列,平面几何只是「曲率为零」的特例。
罗巴切夫斯基称自己的几何为「想象的几何」。他没有实物圆盘,全靠代数推演——各位读者的棉线实验,是他当年梦寐以求的教具。
罗氏几何要成为无懈可击的数学,还差一步:证明它与欧氏几何同样相容。庞加莱的圆盘模型完成了这一步。它规则只有两条:①「点」= 普通圆盘内的点;②「直线」= 与边界垂直的圆弧或直径;③「长度」要重新定义——越靠近边界,同一份距离被「压缩」得越短(度规因子随位置变化)。
演示一:无限的边界。在圆盘里从中心向边界走,每步「盘内一米」。由于靠近边界时度规缩小,您会发现永远走不到边界——圆周就在那里,却是无穷远。拿一张方格纸在盘内画「等距线」:是一族向边界收拢的圆弧,像鱼鳞,又像埃舍尔版画《圆极限》里的游鱼。
演示二:全等的 Mobius 三角形。盘内画一个三条边都是垂直弧的小三角形,然后把它「平移」向边界:在盘内它越变越小,但在罗氏尺度上大小不变——它是刚体移动,是我们眼睛被骗了。
演示三:铺砖游戏。用正七边形铺罗氏盘:每张「砖」在盘内看是等大的,铺满全盘后看,越靠边界砖越小,密密麻麻挤向圆周。数一数一个顶点周围挤着几块砖:平面正方形可铺 4 块,罗氏盘里 7 块、8 块都行——空间「更宽敞」了。
模型的意义:只要欧氏几何自洽,庞加莱模型就自洽——罗氏几何的任一矛盾都会变成欧氏几何里的矛盾。两种几何同生共死。
两千年的失败证明史,到十九世纪才被看清真相:第五公设不能由前四条推出。这件事在数学上有一个精确的名字——公理的独立性。
球面几何就是「平行公理否定版」的一个半模型:球面上任意两条大圆都相交,没有平行线。说「半」是因为球面上还有一条公理不成立(两点间大圆弧不唯一延长成「直线」问题),把球面稍作修补(对径点粘合,即「椭圆几何」),它就是一个完整模型。
用同样的眼光回看其他公理:欧氏第五公设独立;「过三点恰有一圆」独立;皮亚诺算术里的归纳公理独立(存在非标准模型)……独立性问题如今是数学基础研究的常规武器。
研讨预热:一个公理体系里,公理越少越「经济」,但每条都要独立吗?若某条能被推出,留着它只是方便;若推不出,删掉它体系更精炼。美学与逻辑在此握手。
证明「证不出来」与证明一个定理同样伟大:前者为可能性划定边界,后者在边界内盖房子。
1854 年,27 岁的黎曼为争取哥廷根大学讲师职位作了题为《论作为几何学基础的假设》的演讲。他不止造出一种新几何,而是给出了一套制造所有几何的机器。
黎曼的思路:先放弃「平直」的先天假设,在任意弯曲的空间上定义长度——把曲线切成小段,每小段长由度规 gij 算出,整条线长是积分。曲率处处为零,就得欧氏几何;曲率为正常数,得球面(椭圆)几何;曲率为负常数,得罗氏(双曲)几何。三种几何统一为「常曲率空间」的三兄弟。
注意球面几何的角盈公式可以精确写出:内角和 = 180° + (面积/R2)(弧度制)。三角形越大越「胖」,越小越像平面三角形——小尺度上一切几何都近似欧氏,这正是人类两千年前没发现非欧几何的原因:我们住的地面太大了。
黎曼演讲那天,台下听懂的也许只有年迈的高斯一人。这篇讲稿后来成了广义相对论的数学地基。
「弯曲的空间」听起来玄,其实您天天住在里面。地球表面就是一个二维弯曲空间:生活在其中的「二维生物」(设想只贴地爬行的甲虫)没有「上下」可用,它判断空间弯曲的唯一手段就是内部测量。
内部测量三实验(甲虫版,也是人类版):① 画大三角形量内角和——超出 180° 就是正弯曲;② 画大圆量周长与半径之比——小于 2π 是正弯曲;③ 两点间放「直线」(绷紧的橡皮筋),看不同方向的「直线」是否唯一。地球上的甲虫沿赤道与两条经线画的大三角形,量得内角和 270°,于是它宣布:我的世界是弯的。
高斯真的做过这件事。1821–1823 年他主持汉诺威王国大地测量,把三座山顶(Brocken、Hohenhagen、Inselsberg)当作三角形顶点,用光信号量这个巨型三角形的内角和——在测量精度内得 180°:地球表面的曲率在几百公里尺度上被光线「抄了近道」抵消(光线不走地面而走近直的空气层)。实验没测出弯曲,但实验设计本身已是里程碑:用内部测量检验空间性质。
一张卷起的纸与一张平坦的纸,内蕴几何完全相同(都不拉不压地卷)——所以展开后不留折痕。而一张球面无论怎么压平都会起皱:两种曲率,本质不同。
三种几何都自洽,那么哪个「真」?这个问题的答案发生了两次升级。
第一次升级(数学内部):真不真不再是几何问题,而是物理学问题。彭赛列、黎曼、庞加莱一致认为:几何是语言,选择哪种几何由经验决定。庞加莱打个比方:夜里温度骤降,所有量具一起收缩,我们永远测不出这种收缩——「空间的几何」与「物理定律的形状」是同一枚硬币的两面,只能整体经验地选择。
第二次升级(物理裁决):1919 年日全食观测,爱丁顿在普林西比岛测得星光掠过太阳时偏折 1.75 角秒,与广义相对论(把引力解释为时空弯曲)的预言吻合,而与牛顿的平直时空+超距引力不符。宇宙的几何,真的不是欧氏的——虽在宇宙尺度而非日常尺度。
各就各位的分工表:建房、做木工、测绘中小区域——欧氏几何,平直近似够用;航空、航海、全球定位——球面几何,GPS 卫星轨道与地表计算每天在用;宇宙学的大尺度模型——罗氏几何式的负曲率空间或更一般的黎曼空间是候选者之一。
「哪种几何是真的」这个两千年的问题,被重新表述为「哪种几何对哪类现象最方便」——问题的形态变了,这本身就是一次思想革命。
黎曼几何 1854 年出生,等了六十年才等来知音。1915 年爱因斯坦在格罗斯曼(他的同学、黎曼几何的行家)帮助下,把引力写成几何:
翻译成高中的语言:行星绕日不走「直线」,因为太阳的存在把周围的时空压弯了;行星走的是弯曲时空里的测地线——正如绷紧的橡皮筋在碗状橡皮膜上绕着中心小球转圈。引力不是「力」,是时空的形状。
三个可检验的预言,后来全部应验:① 光线掠过大质量天体时偏折(1919 年证实);② 水星近日点每百年多进动 43 角秒(牛顿力学差的就是这个零头,广义相对论算得严丝合缝);③ 引力场中时钟变慢(GPS 卫星每天要校约 38 微秒,不校就一天偏差十公里)。
回望这条线:欧氏公设之争(纯数学的好奇)→ 黎曼度规(更纯的好奇)→ 时空弯曲(物理的现实)。没有前八十年的「无用」研究,就没有后六十年的物理学革命。
爱因斯坦说:如果欧几里得的第五公设不曾撩拨人类的好奇心,就决不会有黎曼几何,也就决不会有相对论。基础研究的利息,往往要几十年后才兑现。
古希腊人的公理观:公理(common notions)是人人心中自明的真理,几何是关于物理空间的必然真理。欧几里得的《几何原本》是这份世界观的丰碑。
研讨问题一:第五公设「自明」吗?——两千年里无数人觉得它不如下列四条自明,这正是他们拼命想证明它的心理动因。请对照五条公设,给「自明程度」打分(1–5 分),并讨论:自明性是数学性质还是心理性质?
研讨问题二:非欧几何诞生后,公理的地位从「真理」降为「假设」。类比您熟悉的规则体系:象棋规则是真还是假?——问「马走日对不对」离开象棋没有意义。公理之于几何,正如规则之于棋:先有公理,后有真假。
研讨问题三:可是数学家为何仍偏爱简洁自明的公理?想一想三条理由(提示:可接受性、经济性、美学)。再想第四条:公理越基本,能盖的楼越多。
亚里士多德:「宁肯相信永恒之物……」——不必引用,用您自己的话总结:公理从「世界的立法者」变成「讨论的起点」,这一步究竟失去了什么,得到了什么?
罗巴切夫斯基与鲍耶最被质疑的地方:您的新几何推了半天没矛盾,谁能保证往下推十万步仍无矛盾?——「没发现矛盾」不等于「没有矛盾」。
这个质疑引出了十九世纪数学最重要的方法论发明:相对相容性证明。庞加莱圆盘模型的逻辑是:把罗氏几何的每个词翻译成欧氏几何的词(点→盘内点,直线→垂直弧,长度→特定度规下的长),每条罗氏公理都变成欧氏几何的定理。于是:若罗氏几何有矛盾,翻译回去就是欧氏几何的矛盾。两套几何的相容性绑在同一根缆绳上。
研讨问题一:这类「翻译保真」的前提是什么?(提示:翻译必须保持全部逻辑结构——这正是后世纪数学家说的「同构」思想,H1-4 册将正式出场。)
研讨问题二:有人追问:欧氏几何自身相容吗?希尔伯特的回答是退一步的「形式主义」:把几何变成形式符号系统,只管推理规则不问含义,再用算术模型证明其相对相容;算术的相容性再向元数学求救。这条链的尽头在哪里,将通向二十世纪哥德尔定理——H3 册再会。
相容性证明把「真理」问题改写成「一致性」问题:数学家从真理的祭司,变成了系统的工程师。
把本章大事记排成一条时间线,观察观念如何一寸寸挪动:前 300 年欧几里得立公设(真理观);1663 年萨凯里《欧几里得无矛盾》用归谬法从否定第五公设推了长长一串「荒谬」命题——荒谬却无矛盾,真理的地基第一次松动;1829–1832 年罗巴切夫斯基、鲍耶公开新几何;1854 年黎曼统一框架;1868 年贝尔特拉米给出双曲几何的欧氏模型(相容性落定);1872 年克莱因《爱尔兰根纲领》宣布:几何就是研究某种变换群下的不变量。
克莱因纲领的狠辣之处:把「几何」从「空间的学问」改写为「结构+变换」的学问。欧氏几何是刚体运动群的不变量理论,射影几何是更大群的不变量理论——几何之间不再是 rivals,而是嵌套的家族。
研讨问题一:「从真理到结构」的转变中,数学家失去了确定性的安慰,得到了什么自由?
研讨问题二:这种观念迁移在别的学科有没有回声?(提示:物理学中「定律是模型」;语言学中「语法是约定」。)
二十世纪数学的主旋律——结构主义(布尔巴基学派用公理化的「结构」重写全部数学)——在这一章的末端已经奏响了序曲。
对照阅读两份文本,看两条传统如何处理「空间」。
欧几里得(约前 300 年):《几何原本》从定义、公设、公理出发,逐条演绎 465 个命题。追求:从最少的前提出发覆盖最多的结论。风格:无一人称、无一处出处——知识仿佛自己长出来。
《墨经》(约前 400 年):「圜,一中同长也」(圆:一个中心,等长的半径——与欧氏定义惊人一致);「平,同高也」;「直,参也」(三点共线判直——用三点验直,正是大地测量的思路)。《周髀算经》:勾三股四弦五,与「用内部测量验空间」一脉相承。
明清之际《几何原本》前六卷由徐光启与利玛窦译出(1607)。徐光启评此书:「此书为益,能令学理者祛其浮气,练其精心。」他预感此书百年后「人人习之」,可惜这一等就是三百年。
研讨问题一:《墨经》的定义式条目与欧氏公理化有何异同?(提示:都是精确化努力;差别在有无演绎链条把命题串成体系。)
研讨问题二:中国传统算学的强项在算法与实用(垛积、开方、方程),对「公理为何可信」兴趣较少——两种取向各成就了什么、错过了什么?
徐光启译「geometria」为「几何」,取「几何」二字兼有「多少」之意与音译之妙——一词之译,两大传统相遇。
本章项目总任务:小组选择一个曲面世界,用内部测量判断它的几何类型,写一份测量报告并在冬研会展示。今天完成选题与分工。
候选曲面(每组一个,先到先得):① 篮球/足球(球面);② 剪开的易拉罐侧面展开前后(柱面——内蕴平直!);③ 马鞍形(薯片、太师椅面,负曲率);④ 锥面(圆锥侧面);⑤ 手工制作的伪球(用纸黏土或 3D 打印,可选);⑥ 橡皮筋绷出的悬链面。
选题论证表(每组填三行):曲面名称|预计曲率符号(+/−/0)与理由|三个可操作的测量方案。
分工建议(四人组):测量员(操作量具)、记录员(数据表格)、核算员(内角和与周长比计算)、答辩员(准备回答质询)。角色轮换制:项目各阶段轮换一次,人人都当一回答辩员。
提醒一个反直觉候选:柱面看起来「弯」,但它内蕴平直——把纸卷成筒再展开,不留折痕。选它的组会挖到本章最深的一个概念:内蕴与外观之分。
今天各组带着量具上曲面。标准测量流程四步:
记录表模板:组名|曲面|三角形三内角(度)|内角和|与 180° 之差|圆周长|圆半径|C/r 与 2π 之差。
误差控制三条军规:① 内角测量至少两人独立读数取平均;② 曲面要选得够「弯」(小三角在球面上差异会被吞掉——先做大三角形);③ 每组至少完成两个不同大小的三角形与一个圆,数据少不足以比较。
预期结果参考:篮球上边长为四分之一大圆弧的三角形,内角和约 270°;马铃薯上随机三角形内角和往往明显偏离 180°——别嫌弃误差,那正是曲率在说话。
各组把数据誊到汇总大表上(黑板或共享文档),全班数据横向比较——单组数据是故事,全班数据才是证据。
分析任务一:符号判定。按内角和与 180° 的大小关系,把各组曲面分进三栏:球面型(>)、平面型(=)、马鞍型(<)。与选题时的预测对照,预测错的组要专门复盘:错在测量还是错在概念?
分析任务二:定量猜想。球面组:把「内角和 − 180°」除以三角形面积(用软尺估),看各组数值是否接近同一个常数(应约为 1/R2,R 为球的半径)。算出来的比值乘 R2,若接近 1,各位读者就亲手验证了高斯–博内定理的雏形!
分析任务三:平面组(柱面)数据应当给出 180° 与 2π 的「死数」——请解释为什么(提示:柱面可展开成平面,展开不改变内蕴几何)。
今天各位读者做的事有个学名叫「实验几何」:用测量催生猜想,用猜想指导证明——高斯当年在汉诺威做的,正是这件事的放大版。
测量之后是论证。报告正文建议四节,本页给出各节的写作要点与常见病灶。
论证的纪律三条:① 结论必须能被数据支持——内角和 270°±3° 的数据,别写「严格等于 270°」;② 反例优先——若有一组数据与结论矛盾,不能藏,要讨论;③ 区分「我们测到」与「我们推出」两种句子。
今天完成初稿,组内交叉朗读一遍:读不顺的地方往往就是逻辑断裂处。
好的数学写作与好的实验报告同源:读者不必重做实验就能复核您的每一步。徐光启说几何「练其精心」——写作正是练精心的最后一道工序。
把报告压缩成一张海报,是二次创作:观众站着三分钟看完,要的是「一图胜千言」。
海报版面五分法(按面积配比):① 标题+组名(10%):题目要带信息量,「篮球上的三角形内角和为 270°」优于「关于球面的研究」;② 问题与背景(15%):第五公设两句话即可;③ 方法与照片(30%):测量现场照最抓人;④ 数据图表(30%):三内角和柱状图、C/r 对比表;⑤ 结论+一条金句(15%)。
三条美学军规:① 每张图配一句图注;② 数字统一有效位(内角和保留到度);③ 深色底配亮字或浅底配深字,全版配色不超过三色——本书采用的审美铁律在这里也适用。
海报之外,每组准备90 秒电梯陈述:问题是什么、做了什么、发现了什么、还想知道什么。练到不看稿。
下页进入思想卡。冬研会的预展示任务(p.25)将逐组过海报——今天的成品,就是六周后主会场的答辩底稿。
非欧几何的诞生教会我们一件双向的事:公理是自由的,但自由有代价。自由的一面:您可以换掉任何一条公设,只要换完之后体系自洽——数学不再被捆在「物理空间唯一真理」的柱子上。代价的一面:换完公理,所有依赖它的结论跟着重写;三角形内角和不再是 180°,相似三角形可以全等,圆周率不再是 2π 的比值常量。选择一套公理,就是选择一整个世界。
更深一层:自由不等于任意。新公理体系若不相容,自相矛盾会把它烧成灰烬;若相容却不描写任何经验世界,它也可能只是智力积木。所以数学家的自由是在两堵墙之间行走:一堵叫逻辑一致性,一堵叫与经验世界的联系。黎曼几何恰好在两墙之间走通了——既自洽,又(六十年后)恰好是物理需要的语言。
这枚思想卡请夹进您的笔记本:当您未来在 C 段正式遇见「公理系统」的定义时,您会认出今天每一次棉线测量,都是那份定义的预习。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=1
「测地线」(geodesic)一词源自大地测量(geodesy),而把它变成数学核心概念的人,正是同时代最伟大的测量者与数学家——高斯。这两个身份在高斯身上不是巧合,而是同一种思维的两副面孔。
1818 年起,高斯花了八年主持汉诺威王国的大地测量,亲自爬过几十座山塔,发明了日光反射仪。野外测量中他注意到:三角网计算时,把曲面三角「放平」处理会积累系统误差——曲面本身有脾气。1827 年他把这股脾气写成论文《曲面的一般研究》,定义了今天叫高斯曲率的量 K,并证明「绝妙定理」(Theorema Egregium):K 只依赖曲面内部测量,与曲面嵌在外部空间的方式无关。
绝妙定理的一个日常验证:一张纸卷成筒,内蕴几何不变(高斯曲率保持 0);但想给球面「压」出一块平面,必然起皱——球面 K ≠ 0,皱褶正是曲率的抗议。地图学为此吃尽苦头:把地球画成平面地图,面积、角度、距离三者不可能同时保真,墨卡托投影保了角度牺牲了面积(格陵兰画得比非洲还大)。
深读任务:查一查墨卡托投影与高斯–克吕格投影的差别,用「绝妙定理」各写一句点评,贴在您的项目海报背面。
高斯晚年传说他曾想在三座山顶间测三角形内角和检验空间弯曲——史家对此存疑,但这个传说本身就是对他最好的纪念:他早已把「测空间」变成了一门学问。
广义相对论的数学是黎曼几何,但爱因斯坦本人当年并不掌握它——为这份「欠账」牵线搭桥的,是他大学时代的同窗马塞尔·格罗斯曼。
1896–1900 年,爱因斯坦与格罗斯曼同在苏黎世联邦理工学院读书。爱因斯坦翘掉了绝大多数数学课(他觉得微分几何「过分精巧」),考试全靠格罗斯曼把笔记借他抄。多年后爱因斯坦自嘲:「为了考我不得不学的东西,我毕业后就扔在一边了。」命运却安排他多年后回来补课。
1912 年,爱因斯坦在布拉格意识到:把引力写成几何,需要一套能处理任意弯曲空间的数学——正是他当年扔掉的黎曼几何。他写信求助,已任母校数学系教授的格罗斯曼翻开旧日友情:「我很乐意帮助您,只是别怪我数学讲得太认真。」两人 1913 年合作发表《广义相对论与引力论纲要》初稿,1915 年爱因斯坦完成场方程的最后一块拼图。
1949 年,七旬的爱因斯坦在自传里写下这段话:广义相对论的数学部分,没有格罗斯曼的帮助「今天可能还躺在抽屉里」。而当年那间教室里,谁能想到翘数学课的学生日后会催促数学家们加快研究张量分析?
深读任务:从这个故事里提炼一条对「学数学有什么用」的回答,不超过三句,写进您的冬研会讲稿。
黎曼几何在抽屉里等了六十年,格罗斯曼的笔记等了十二年——数学与应用的重逢,常常不是谁等谁,而是两边的种子同时在发芽。
本章的延伸阅读主线书:伦纳德·姆洛迪诺(Leonard Mlodinow)《几何学的故事》(Euclid's Window)。它用五个人物串起两千五百年:欧几里得(公理的窗口)、笛卡尔(坐标的窗口)、高斯(曲率的窗口)、爱因斯坦(时空的窗口)、弦论学家(高维的窗口)。每章都有扎实的史料与生动的现场感,适合高中水平独立阅读。
配套书单四本(按难度递进):
阅读产出要求(冬研会「寒假阅读任务」的前哨):每人从上表中任选一本(或其对应章节),交一页「三行笔记」:最打动您的一个观点|最没读懂的一个概念|最想追问的一个问题。下学期开学的首次研讨课,以这三行笔记为底稿。
读书的要领不在「读完」,而在留下三个坐标:您从哪里来、卡在哪里、要往哪里去。
用一张知识地图把本章 25 页收进四个格子:
自查五问(答不出的回到对应页):① 为什么第五公设两千年证不出来?(p.6 独立性)② 球面三角形内角和与什么成正比?(p.3、p.17)③ 庞加莱圆盘如何「压缩」距离?(p.5)④ 相对相容性证明的逻辑是什么?(p.12)⑤ 广义相对论把引力解释成什么?(p.10)
错题与误区清单(供冬研会答辩前排查):「球面三角形内角和恒为 270°」(错——只有特定大小才是);「柱面是弯的所以非欧」(错——内蕴平直);「非欧几何是假几何」(错——相容性与欧氏同生共死)。
复盘的最高标准:能向完全没学过的同学讲明白「为什么三角形内角和不一定 180°」。讲一遍,比读三遍有效。
今天全班预演冬研会:每组按抽签顺序上台 3 分钟预展示(海报+陈述),台下同学扮「质询团」,每组至少收两条质询意见。预展示评价表三栏:内容硬核度(数据与论证)、表达清晰度(90 秒讲明白了吗)、回应能力(质询接得住吗)。各组记录意见,散会前用 10 分钟列修改清单。
冬研会任务发布(对应第 6 章综合站):① 报告终稿于冬研会前三天提交(纸版一页+电子版);② 海报终版 A1 打印或手绘上墙;③ 每组准备一条「质询反击」——预演时被问倒的问题,正式答辩时要能答出;④ 个人任务:三行读书笔记(p.23 书单)随报告一并提交。
积分预告:冬研会设「最佳研究」「最佳答辩」「最佳海报」三项,评分来自教师评+组间互评各半。积分将计入本学年对弈赛总榜(与 Nim 擂台、密码挑战赛共用积分池)。
预展示的意义是把正式答辩的意外提前消化。记住答辩第一铁律:听清问题再回答——答非所问的扣分,比答错还重。
p.26–50 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

1202 年,比萨的列奥纳多——后世称斐波那契——在《计算之书》里放了一道看似无关紧要的趣题:假定每对成年兔子每月生一对小兔,小兔出生后一个月长成,问从一对初生小兔开始,一年后共有多少对兔子?
逐月数下去:1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144——这就是斐波那契数列。规则一句话:每一项等于前两项之和:Fn+1 = Fn + Fn−1。这种「下一项由前面几项决定」的数列叫递推数列。
这道题真正的深意藏在两百年后才被看见:递推关系可以改写成矩阵——把相邻两项打包成一个向量 (Fn+1, Fn),则「前进一步」就是乘一个固定矩阵。于是「算第 n 项」不再是加 n 次,而是求矩阵的 n 次幂;而矩阵幂有捷径(乘方倍增),斐波那契数列从此有了对数速度的算法。
本章三章路:先玩数列(实验与拼图),再请矩阵出场(表示、乘幂、特征方程),最后看它如何一路通向图像压缩与 C 段的高等代数。
「方程」这一章标签的深意:矩阵不是「一堆数」,而是一个会思考的对象——表格自己会说话。
操作一(手算热身):从 1, 1 出发,用 Fn+1 = Fn + Fn−1 手算到 F20 = 6765。边算边观察三项小规律:① 连续三项 Fn−1、Fn、Fn+1 中,Fn+12 − Fn·Fn−1 的值交替为 1 和 −1(卡西尼恒等式,先用 F3..F6 验证);② F1+F2+…+Fn = Fn+2 − 1(用前 6 项验证)。
操作二(换种子实验):把起始两项换成别的数试试!种子 (2, 1):得到 2, 1, 3, 4, 7, 11, 18, 29…(卢卡斯数列);种子 (1, 3):1, 3, 4, 7, 11, 18…您发现了什么?——不同的种子长出不同的数列,但相邻比值都奔向同一个数(下一页观察)。规则相同,命运殊途同归。
操作三(表格接力):四人一组,每人负责一列(第 n 月幼兔对数、成兔对数、总对数、验证),填满 12 个月的兔子表:幼兔下月变成兔,成兔下月生一窝幼兔。表格三列的关系恰好是:总对数 = 成兔+幼兔;下月成兔 = 本月成兔+本月幼兔;下月幼兔 = 本月成兔。
实验的收获先记一句:递推是「局部的规则」,数列是「整体的长相」——数学的一大使命就是从局部规则推出整体长相。
把斐波那契数列相邻两项的比排成一列(保留四位小数):1, 2, 1.5, 1.6667, 1.6, 1.625, 1.6154, 1.6190, 1.6176, 1.6182, 1.6180, …
操作一:继续算 5 个比值,观察它们如何左右夹击一个数——从下往上、从上往下交替逼近。这个数就是黄金比 φ = (1+√5)/2 ≈ 1.6180,它的两位「近亲」:1/φ = φ − 1 ≈ 0.6180,φ2 = φ+1 ≈ 2.6180。三个数一家亲,只差整数。
操作二(收敛速度测试):用种子 (2, 1) 的卢卡斯数列算比值——收敛得更快还是更慢?(答案:更快。但极限仍是 φ——种子不改变极限,只改变路上的速度。)再试种子 (3, 1):3, 1, 4, 5, 9, 14…比值照样奔向 φ。
操作三(φ 的自证):φ2 = φ+1 意味着 φ 是方程 x2 = x+1 的根。移项得 1/φ = φ−1:黄金比「减一取倒,还是自己」——这正是「黄金矩形剪掉一个正方形,剩下还是黄金矩形」的代数底牌。
为什么收敛到 φ?先记观察,第七页专题①用特征方程给出正式答案:数列的「性格」由递推系数决定,与起点无关(只要起点不落在特殊直线上)。
道具:方格纸(或边长 1 cm 的彩色纸片)、剪刀、胶棒。目标:亲手「盖」出一座黄金螺线的家。
操作一(拼图):在方格纸上从两个 1×1 正方形开始:旁边拼 2×2,再拼 3×3,再拼 5×5,再拼 8×8……每块新正方形的边长恰是已有矩形的长边。您会发现新正方形总是严丝合缝地贴上去——因为斐波那契数天生满足「前两项之和」。拼到 13×13 时,您得到一个 13×21 的大矩形。
操作二(螺旋):在每个正方形里,用圆规画四分之一圆弧,半径等于正方形边长,弧与弧首尾相接。一条优美的斐波那契螺线跃然纸上。
操作三(验证比值):量拼好的大矩形长边与短边之比:21/13 ≈ 1.615,比黄金比略小;正方形块数越多,比值越接近 1.618。拼到 34×55 再量一次,验证收敛。
操作四(反拼实验):把 8×8 正方形按斐波那契拼图的方式剪成四块,重拼成 5×13 矩形——面积 64 变 65,凭空多出一格!这可不是魔术,而是「近似斜线」冒充直线的视觉骗局(卡西尼恒等式的化身)。找到那道几乎看不见的细缝,是本章最有成就感的侦探工作。
把您的拼图作品拍照,它将出现在项目展示海报的 C 位——手艺也是数学的见证。
不做任何高深理论,纯用表格「表算」二阶递推,体会把递推打包的价值。
操作一(状态表):对 Fn+1 = Fn + Fn−1,把 (Fn+1, Fn) 看作一个「状态」。从状态 (1, 1) 出发,每前进一步,新状态 = (旧状态第一个+第二个, 旧状态第一个)。列表:
(1,1) → (2,1) → (3,2) → (5,3) → (8,5) → …
操作二(表格变矩阵):把每一步「旧状态 → 新状态」写成两行系数:
新第一项 = 1×旧第一 + 1×旧第二;新第二项 = 1×旧第一 + 0×旧第二。
这两个「配方」合并成一张 2×2 的系数表:[[1,1],[1,0]]——它就是传说中的斐波那契矩阵 A。验证:A×(1,1) = (2,1),A×(2,1) = (3,2)……状态表整列对上!
操作三(倍增初试):算 A2 的四个元素(按「行乘列」规则),得 [[2,1],[1,1]]。惊奇的事情出现了:A2×(1,1) = (3,2)——一步跨了两个月!再算 A4 = (A2)2 = [[5,3],[3,2]]:一步跨四个月。A8 一步跨八个月……
操作四:用 A、A2、A4、A8 连乘出 A15 = A8·A4·A2·A,只做了 4 次矩阵乘法就得到 F15 = 610(矩阵左上角)。手算 F15 要加 14 次,矩阵幂倍增只要 4 次乘——差距随 n 增大成指数级。
表算的终点站着一位新主角:把「一步」封装成矩阵,把「很多步」变成「矩阵的幂」——下一页专题①正式开场。
二阶线性递推 an+1 = p·an + q·an−1(p、q 为常数)有没有像等比数列那样的「通项公式」?答案是:找特征方程。
斐波那契实例:特征方程 x2 = x+1,根为 φ = (1+√5)/2 与 ψ = (1−√5)/2(注意 φ·ψ = −1,φ+ψ = 1)。用种子 F1 = F2 = 1 解出 A = 1/√5, B = −1/√5,得
Fn = (φn − ψn)/√5
这就是比内公式:一个由无理数出发、每次都精确落回整数的公式——√5 与 (√5−1)/2 的幂在除以 √5 时无理部分恰好相消。用 n = 5 验证:(φ5 − ψ5)/√5 = 5。整数与无理数在此握手。
顺便解释了 p.3 的观察:|φ| > 1 而 |ψ| < 1,n 大时 ψn 蒸发,Fn+1/Fn → φ。递推的极限由模最大的特征根决定——这句预告了通向 C 段「谱」的第一缕消息。
「猜指数解」不是投机,是线性代数思想的雏形:找对基(指数函数),复杂递推就分解成两个独立的故事。
现在把 p.5 的表算正式化。定义列向量 vn = (Fn+1, Fn)T,则 vn+1 = A·vn,其中 A = [[1, 1], [1, 0]]。一步递推一次乘法,n 步递推 n 次乘法:
矩阵表示的三个红利:① 跳步:Am+n = Am·An 展开,立刻得到恒等式 Fm+n = Fm·Fn+1 + Fm−1·Fn——手推恒等式要算半天,矩阵一行写完;② 快算:幂倍增(下页详述)把 O(n) 次加法降到 O(log n) 次乘法;③ 推广:任何 k 阶线性递推都能用 k×k 矩阵表示,方法完全一样。
演算:由 A5 = [[8, 5], [5, 3]](用 p.5 的倍增法先算 A4 再乘 A),读出 F5 = 5、F6 = 8。再验证一个恒等式:A4·A2 = A6,即 [[5,3],[3,2]]·[[2,1],[1,1]] = [[13, 8],[8, 5]]——读出 F7 = 13、F8 = 21。矩阵乘法的「行乘列」规则,在这里自动执行着斐波那契的加法纪律。
「把过程封装成对象」是现代数学的标准动作:数列封成矩阵,几何封成变换群(H1-2 第 1 章),逻辑封成符号系统。封装一次,威力翻倍。
矩阵乘法规则(行乘列)与幂的快速算法,本页一次讲透。
演算任务一:从 A = [[1,1],[1,0]] 出发,逐次平方:A2 = [[2,1],[1,1]],A4 = [[5,3],[3,2]],A8 = [[34,21],[21,13]],A16 = [[1597,987],[987,610]]。每一层平方,斐波那契数就翻越一道台阶:2, 5, 34, 1597……(下标 2, 4, 8, 16)。
演算任务二:用倍增法求 A10 = A8·A2 = [[34,21],[21,13]]·[[2,1],[1,1]] = [[89, 55],[55, 34]]——只用了 5 次乘法(4 平方+1 相乘),就够到了 F10 = 55、F11 = 89。
演算任务三(编程初体验,可选):伪代码三行——「若 n 为偶,M(n) = M(n/2)2;若 n 为奇,M(n) = M(n−1)·A;M(1) = A」。有条件的同学用任意语言实现,测一算 F1000000000000(十亿)要几毫秒。
倍增法(快速幂)的祖先是中国古算的「累乘自乘」,今天它活在每一张显卡与每一次加密通信里——C 段的「快速幂取模」将把它与 RSA 密码连在一起。
黄金比在三章里三次登场(第 1 章罗氏盘外的平面铺砖、本章比值、上章螺线),本页把它一次说全。
四条刻画互推练习:由④到①——设 r = lim Fn+1/Fn,对 Fn+1/Fn = 1 + Fn−1/Fn 两边取极限得 r = 1 + 1/r,即 r2 = r+1。一行极限,代数登场。
φ 的近似计算两大招:① 连分数截断:1, 1+1/1 = 2, 1+1/2 = 1.5, 5/3, 8/5, 13/8……恰好是相邻斐波那契比——两条线索在此会师;② 幂级数不谈(留待 C 段),改用「黄金矩形自剪」:每次剪去正方形,矩形越剪越小而比例不变——φ 在无穷次自相似中显形。
美的争讼:黄金比被冠以「最美比例」几百年,但当代实验心理学的大样本实验表明,人们对矩形比例的偏好远比传说宽容(0.4~0.9 区间内差别不大)。数学的精确与传说的夸张,要分开记账。
φ 是二次方程的根、是无理数、是递推的极限、是连分数——一个数,四重身份。数学对象的丰富性,正在于它同时活在多个结构里。
矩阵不只玩数列——它管理着您的每一张照片。一帧灰度图像就是一个矩阵:行×列个像素,每格一个亮度值。一张 4000×3000 的手机照片是 1200 万个数的表格,直接存储太大,于是需要压缩。核心思想一句话:用少数几个「大分量」近似整个矩阵。
演示实验(全班可做):把一张 8×8 像素的小图(手写数字「3」)写成亮度矩阵 M。神秘操作 SVD(奇异值分解,C 段高等代数的看家本领)把 M 拆成 M = σ1·u1v1T + σ2·u2v2T + …,其中 σ1 ≥ σ2 ≥ … 是按重要性排序的「分量强度」。
压缩规则:只保留前 k 个分量。k = 1:图像只剩一片模糊光斑;k = 2:轮廓隐约;k = 4:「3」已可辨认;k = 8:与原图几乎无差。存储量从 64 个数降到 8k 个数——k = 4 时省一半,效果却肉眼难辨。
这与斐波那契何干?——亲缘关系在「按重要性分层」:矩阵幂的倍增是「把线性过程按 2 的幂分层」,图像压缩是「把矩阵信息按奇异值分层」。分层的智慧同源:抓住大头,放走小尾。
再举一例:搜索引擎给网页排序(PageRank)就是把「网页链接图」变成巨大矩阵后求其主分量;推荐系统(您刷到的下一个视频)也是矩阵。您与矩阵的相遇,每天上百次。
「压缩即理解」:能删掉的都不是本质。数学家用矩阵语言教计算机做人这件事——抓主要矛盾。
斐波那契规则只有一条「前两项相加」,却长出比内公式的无理数、黄金比的极限、自然界的螺线——简单与复杂的关系值得一次严肃研讨。
研讨问题一:规则简单而结果复杂,复杂藏在哪?拿三条证据链发言:① 比内公式里 φn 的展开是指数级浩繁的组合求和,规则没变,展开的「深度」变了;② 一维元胞自动机(规则 110)能做通用计算;③ 三行代码的递归能画出门格海绵。(选一条深谈即可。)
研讨问题二:「复杂」是数列自身的性质,还是观察者视角的性质?对照:Fn = (φn−ψn)/√5 在「加法视角」下是递推,在「幂视角」下是封闭公式——同一对象,不同坐标。换个坐标,复杂度消失。这与第 1 章「换几何描写同一空间」是不是同一种智慧?
研讨问题三:数学里「简单优先」的审美(奥卡姆剃刀)与「丰富涌现」的现实(混沌、分形)矛盾吗?给出您的立场与一条辩护。
研讨的产出标准:不追求一致结论,追求每人一句被同伴追问过的立场。被追问过的立场,才算您的。
「2×2 的数表」什么时候开始值得叫一个对象?当它有了自己的运算与性格。
研讨问题一:把矩阵加法与数乘的规则抄下来,验证它们满足八条算律(结合、交换、分配……)——矩阵在这一层里规规矩矩,像换了衣服的数。但乘法登台后画风突变:算两个具体矩阵 A = [[0,1],[0,0]],B = [[0,0],[1,0]],验证 AB ≠ BA,且 A2 = B2 = 0 而 AB 与 BA 皆非零。
研讨问题二:AB ≠ BA 意味着什么?「先穿袜再穿鞋」与「先鞋后袜」结果不同——次序开始有物理意义。举两个现实里的非交换操作(提示:先旋转 90° 再平移,与先平移再旋转;先加氟再刷牙?)。再看本章正戏:vn = An·v0 里 A 幂次步步听话,正因那是同一个矩阵的自乘——自乘永远可交换。非交换的世界里,这是一份难得的秩序。
研讨问题三:零因子 A ≠ 0、B ≠ 0 而 AB = 0 的存在(上面 AB 与 BA 之差恰如此),破坏了「乘积为零则必有零因子」的数的直觉。这意味着矩阵世界必须放弃解方程的哪些习惯?(预告:C 段线性代数将系统地回答「什么还能救回来」。)
从数到矩阵,代数的重心从「计算结果」滑向「研究运算律本身」——哪条律在、哪条律走,成了新的主角。
向日葵籽粒 21、34、55 排成左右螺线;松果 8、13 条;菠萝 8、13、21 层;花瓣 3(百合)、5(毛茛)、8(飞燕草)、13(菊)——自然界是斐波那契的画展。但把这一切归功于「黄金比神秘主义」就错了,本页研讨的任务是把神秘还原为机制。
机制版解释(Douady & Couder 的经典实验与模拟,1992):植物茎尖的分生组织中,原基(未来的籽粒/花瓣)按时间次序逐个出现,每个新原基都想离已有的原基尽量远(生长素抑制)。把这条「最远排斥」规则写进简单模型模拟:原基的落点自动生成相差约 137.5° 的螺线,而 137.5° = 360°×(1 − 1/φ)——黄金角!前后代籽粒数目自动落在相邻斐波那契对上。
研讨问题一:为什么「最远排斥」偏偏选中黄金角而非 120°、144°?提示:把 360° 分给不同的分数 1/2, 1/3, 2/5, 3/8…,分数的分母越大,「排队越不撞车」;而连分数全 1 的 φ 恰是「最难用分数逼近」的无理数——最不撞车的角度就是黄金角。(本章专题②与第 5 章专题②将各补一刀。)
研讨问题二:判别「解释」与「神秘主义」的分界线是什么?给向日葵案例写出判别书:可证伪的机制、可重复的模拟、可预测的新现象——三条各指何处?
自然界不懂数学,但物理机制替它做数学。科学的乐趣,正在把「造化神奇」翻译成「机制平凡」。
递推思想在中国古算里根深叶茂,代表是宋元时期的垛积术与沈括的会圆术、隙积术。
沈括《梦溪笔谈》(约 1088 年)首创隙积术:酒坛层层堆成长方台垛,顶层宽 a 个、长 b 个,底层宽 c、长 d,总数不是简单棱台公式能算的(坛与坛之间有空隙)。沈括给出逐层累加的算法——典型的离散求和问题。
杨辉《详解九章算法》(1261)与朱世杰《四元玉鉴》(1303)把垛积术系统化。朱世杰给出三角垛(1, 3, 6, 10, 15…,即三角形数)的二阶差分求和公式,还有更复杂的「落一形」「岚峰形」垛——这些正是高阶等差数列的递推与求和,比欧洲同类工作(莱布尼茨、伯努利的高阶差分)早了近四百年。
演算:三角垛第 n 层有 n(n+1)/2 个。用「逐层做差」验证:一阶差 2, 3, 4, 5…,二阶差全为 1——二阶等差。据此累加得前 n 层总数 n(n+1)(n+2)/6(朱世杰公式之一)。再用数学归纳法验证此式。
研讨问题:中国古算重「术」(算法步骤)而轻「证」(一般原理),垛积术给的是可执行的求和程序而非公理体系。对照第 1 章研讨④,这两种风格在「递推」这件事上各自的长短板是什么?
把朱世杰的垛积表与帕斯卡三角并列,您会看到贾宪三角(约 1050 年)早帕斯卡六百年——递推的世界,东方古算早就是熟客。
本章项目总任务:小组选定一个递推现象,用矩阵方法分析它,形成「模型+计算+发现」三件套,在冬研会展出。今天开题。
候选题库(每组一题,可自拟但需过审):① 家族姓氏传递(每代 70% 沿用父姓的姓氏演化模型,2×2 矩阵);② 楼梯走法(一次跨 1 或 2 阶的走法数——斐波那契的近亲);③ 利息分期(等额本息月供的递推模型与总利息公式);④ 细菌分裂的年龄结构模型(幼菌/成菌两态,2×2 矩阵);⑤ 卢卡斯数列专题(种子不同的孪生兄弟);⑥ 铺砖方案数(2×n 地面用 1×2 砖铺法——又是斐波那契)。
开题报告四要素(今天课上完成初稿):研究问题一句话|为什么值得研究两句|技术路线(递推式 → 矩阵 → 计算工具)|预期产出(表格、图、结论各一)。
分工沿用轮换制:测量/建模员、记录员、核算员、答辩员。新增道具需求登记:需要计算机的组报备教室机房时间。
开题的要害是「问题要小到能做,大到有味」。检验标准:向别组同学讲您的问题,对方复述不出,说明问题太大;对方听完说「这还用研究」,说明问题太小。
今天各组完成两件事:把研究现象翻译成递推式,并收集数据校准模型。
第一步(建递推):明确「状态」是什么(一维还是二维向量?)、转移规则是什么(写出带系数的递推式)。以姓氏模型为例:设第 n 代用父姓者比例 pn,则 pn+1 = 0.7·pn + 0.7·(1 − pn)?不对——逐字重读规则再翻译(这是最容易错的一步:先画转移图,箭头上标概率,再照图写式)。正确的转移矩阵随规则而变,写错一步后面全错,故须经第二步校验。
第二步(校验):手算前 5 项,与「按规则逐月模拟」的小样本(比如真数一遍楼梯走法到 8 阶)对表。对不上就回炉——模型与现象的对表是数学建模的良心环节。
第三步(矩阵化):把递推式写成 vn+1 = A·vn,抄出矩阵 A,记录「本组矩阵」在开题板上(全班矩阵墙将集体展出——您会发现不同组的矩阵惊人地相似,这正是下一页的伏笔)。
建模第一课:规则翻译成数学的那一步,错得最安静——它不会报错,只会让您的结论南辕北辙。校验表是唯一的疫苗。
今天全班进入计算车间,任务链三档,各组按进度自选:
基础档(手算):用矩阵幂倍增算到第 20 步状态。流程:算 A2、A4、A8、A16,按二进制拆指数连乘(如 n = 20 = 16+4,则 A20 = A16·A4)。全组交叉验算一遍——2×2 矩阵乘法一步八乘四加,抄错一个数全盘皆输。
进阶档(表格工具):用电子表格按 vn+1 = A·vn 拖 100 行,画 pn(或 Fn)的折线图。观察:姓氏模型的比例曲线是否趋平?趋到几?(理论值:矩阵 [[0.7, 0.7],[0.3, 0.3]] 的不动点,可先猜后验。)
挑战档(代码):实现矩阵快速幂,输出 Fn 的 20 位数字(n = 106),或求姓氏模型 1000 代后的比例到 10 位小数。对照基础档手算的前 20 步逐项验收。
所有组共同的产出清单:① 计算过程记录(关键中间矩阵);② 数据表+折线图;③ 一条「计算中发现的现象」(比如极限存在、振荡、爆表——每种现象都值得写进报告)。
计算不是证明的仆人,是猜想的产婆:曲线趋平的图一出来,「极限存在」这个定理的种子就发芽了。
把计算变成论证。本章报告模板四节,附图表规范。
图表规范四条:① 图题在下、表题在上(学术惯例);② 坐标轴有单位、有刻度名;③ 折线图一条线一个含义,双轴图要说明;④ 每图配一句「本图说明……」——图不是装饰,是证据。
发现的写法分两档:观察级(「曲线在第 30 步后几乎水平」)与命题级(「pn 单调递减有下界,故收敛;极限 p 满足 p = 0.7」)。挑战每组至少把一条观察级发现升级成命题级——升级的关键是给出现在 p.6 学的论证工具(这里是不动点方程 p = 0.7p + 0.7·(1−p) 的代数解法)。
从「我看见」到「我证明」的一步,就是从数列现象到矩阵定理的一步——这正是专题②③教的东西在项目里的回响。
冬研会第二板块「斐波那契矩阵赛」备战日。三种展示形态任选:
形态 A:海报+演示。海报沿用本章项目①的版面五分法,重点加一栏「矩阵墙」:把本组矩阵 A 写大,旁边贴转移图——让观众一眼看懂「规则如何变成矩阵」。
形态 B:现场挑战。设摊位出三道快算题让观众限时答(如:F10 = ?;楼梯 10 阶走法数 = ?;A10 的左上角 = ?),答对发斐波那契贴纸。摊位的设计要点:题目梯度要能让人 30 秒内尝到甜头。
形态 C:算法演示。带电脑现场跑快速幂:输入 n = 1,000,000,000,000,当场输出 Fn 的前 20 位——「对数速度」的震撼演示。备一份屏幕录制视频防现场断电。
全组排练一遍 90 秒电梯陈述(结构沿用第 1 章:问题—做法—发现—追问),互换角色互相计时。质询预演:互相问「如果系数换成 0.6 会怎样」「您的模型假设线性合理吗」。
展示的最高境界是让观众动手:摸过您模型的人,比听过您结论的人记得久。
把「下一步怎么变」写成一张系数表(矩阵),是我们这章做过的最重要的事。它表面是记账术,实质是一次对象升格:过程凝成实体。递推是动词(一步步走),矩阵是名词(一步的全部信息打包);有了名词,动词才能被乘方、被分解、被谱分解——过程一旦实体化,就进入了可研究的对象世界。
这份「表格也会思考」的自觉,将在您的数学之旅上反复兑现:二次型是一张对称矩阵,图是一张邻接矩阵,概率转移是一张随机矩阵;C 段的线性代数,整门课都在研究「表格的内在生命」。到那时您会认出:今天用 A10 算 F10 的那个下午,是您第一次让表格替您思考。
更有普遍性的一课:遇到复杂的动态,先问「转移规则能否打包成一个对象」——能,则幂与倍增登场;不能,则说明对象选得不够好。选对状态变量,是建模者的第一功力。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=2
斐波那契(约 1170–1250)本名列奥纳多·皮萨诺(Leonardo Pisano),「斐波那契」是后世给他的绰号(filius Bonacci,波那契之子)。他是中世纪欧洲最有影响力的数学传播者——严格说,他更多是翻译者与整合者,而这恰恰是更难的功业。
他父亲是比萨驻北非布吉亚(今阿尔及利亚贝贾亚)的关税官,少年列奥纳多在那里跟阿拉伯教师学「印度数字」——0 到 9 的位值记数法,以及加德纳称之为「中世纪计算革命」的整套算法。游历地中海沿岸(埃及、叙利亚、希腊、西西里)后,他把各国算术与代数精华熔成《计算之书》(Liber Abaci, 1202):全书用印度–阿拉伯数字写成,从四则到分数、比例、盈不足术、方程,配几百道商业实务题(汇率、合金配比、利息、合股)。
兔子问题只是书中第十二章的一道练习。真正改变欧洲的是那套记数法:此后三百年,意大利商账簿从罗马数字艰难迁移到印度数字(佛罗伦萨 1299 年一度禁用,怀疑涂改风险),最终位值制与复式记账法共同缔造了现代商业文明的基础设施。
深读任务:查「Fibonacci」名字的由来与《计算之书》1228 年第二版增补的内容,为您的项目海报写一条 60 字「人物条」。
斐波那契的伟大不在兔子,而在他看出:一套记数法比一百个定理更能改变世界。传播最好的数学,有时与发明新的数学同样重要。
矩阵作为「可以运算的对象」,其独立的功劳簿记在 1858 年——阿瑟·凯莱(Arthur Cayley)的《矩阵论回忆录》。此前矩阵只是行列式计算的附属工具(消元时的临时表格),凯莱第一次宣布:矩阵本身就是代数对象,有自己的加法、乘法,甚至零因子与不可交换性。
凯莱的洞见清单:① 定义矩阵乘法「行乘列」并指出一般不交换;② 注意到存在 A ≠ 0 而 A2 = 0;③ 证明(2×2 情形)每张矩阵满足自己的特征方程——今天的凯莱–哈密顿定理:A2 − (tr A)·A + (det A)·I = 0。用本章的 A = [[1,1],[1,0]] 验证:A2 − A − I = 0!这正是 Fn+2 = Fn+1 + Fn 的矩阵版——递推式就是特征方程的化身。
凯莱一生是剑桥的律师与数学家双职(14 年律师执业写了近 300 篇论文,回剑桥任教授后又写 600 余篇),他与西尔维斯特的友谊是数学史佳话——「不变量理论」这一词就出自西尔维斯特。矩阵代数诞生时寂寂无闻,三十年后因黎曼几何的需要被重拾,六十年后成为量子力学的日常语言。
深读任务:用凯莱–哈密顿定理重推 Fn+2 = Fn+1 + Fn,写一句「递推式与矩阵特征方程是一回事」的注记,夹进您的方法册。
新对象被接受的速度,不取决于它当下的用处,而取决于它离现有数学的「接口」有多近——矩阵等了三十年,等来的是接口全开的时代。
本章的矩阵游戏是 C 段高等代数的三页预告片,本页把伏笔一一标出。
伏笔一:特征值与对角化。本章专题①用特征方程解递推——正式版是「求 A 的特征值 λ1、λ2 与特征向量」,把 A 对角化后 An = P·diag(λ1n, λ2n)·P−1,比内公式就是它的逐元素展开。您在 p.6 的「猜指数解」,正是特征向量思想的无意识运用。
伏笔二:矩阵的几何。A·v 是对向量 v 的一个线性变换:拉伸、旋转、切变。本章的姓氏矩阵把「状态向量」不断压向一条固定直线——那条直线方向就是主特征向量,「趋于稳定」的几何真相。看懂矩阵 = 看懂空间如何被搬运。
伏笔三:抽象结构。矩阵的加法数乘满足「向量空间」公理,矩阵乘法满足「环」的公理但非交换、有零因子——这正是 C 段抽象代数「结构先于对象」的先声。凯莱–哈密顿定理在抽象语言下重述为:每个对象满足自己的极小多项式。
三伏笔的自测题(做不出来不扣分,标出卡点即可):① 求 A = [[1,1],[1,0]] 的两个特征值(答案就在特征方程里);② 验证 (1, φ) 与 (1, ψ) 都是 A 的特征向量;③ 说明为什么 An 的元素永远是整数而比内公式满是 √5。
高等代数不神秘:它就是您这章玩过的游戏,只是把「这个矩阵」换成了「所有矩阵」,把「会算」升级为「会说清楚为什么」。
本章方法收进工具册四格:
自查五问:① 为什么二阶递推猜指数解?(p.6)② A10 用几次矩阵乘法算出?(p.8)③ AB ≠ BA 破坏了哪条数的直觉?(p.12)④ 向日葵选黄金角的机制解释是什么?(p.13)⑤ 凯莱–哈密顿定理说了什么、与递推式什么关系?(p.22)
易错清单:翻译规则时漏掉「本月成兔也生崽」(建模期);矩阵乘法「列乘行」方向颠倒(计算期);把 |ψ|<1 忘了导致「通项不收敛」的误判(论证期);报告里猜想写成断言(写作期)。
方法册的用法:下学期遇到递推题先翻这页——先问状态是什么,再问矩阵是什么,最后才动手算。
冬研会第二板块。流程三段:
第一段 海报巡展(30 分钟):八组海报上墙,每人持三张「金点贴」,投给三个不同组的「最有味道发现」。计票员记录。
第二段 摊位挑战(40 分钟):形态 B/C 的组摆摊,全校师生可参与;形态 A 的组轮值「挑战员」,去别组摊位闯关。挑战规则:答对得贴纸、答错听讲解——讲解本身计分(讲不清的摊位扣分)。
第三段 互评与积分(20 分钟):按「内容硬核度/表达清晰度/互动有效性」三栏互评打分(1–5 分),教师评占一半。积分计入学年总榜,与第 3 章游戏擂台、第 5 章密码赛共享池。
冬研会总任务(第 6 章综合站的入场券):① 各组报告终稿与海报终版(含本章修改);② 个人三行读书笔记(本章深读三选一);③ 每人准备一条「本学年最想再深挖的问题」,第 6 章开幕时汇总成全班问题墙。
展出的目的不是分高下,而是让每个模型都被陌生的眼睛检验一遍——数学成果的生命力,在于经得起转述。
p.51–75 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

桌上一堆石子,两人轮流取,每次取 1~3 颗,取走最后一颗者胜。先手有必胜策略吗?——有,而且简单得令人失望:只要石子数不是 4 的倍数,先手第一次取到「剩 4 的倍数」,之后每轮与对手凑成 4。从此这个游戏对您而言死了:它变成了一道算术题。
别失望——恰恰是这种「游戏之死」指明了方向:规则一旦简单到可穷举,必胜策略就浮出水面。真正有意思的是把这套「必胜策略分析」做成一门系统学问:什么样的局面叫「必胜态」?必胜态与必败态如何交替?两堆三堆五堆石子的取子游戏(Nim)还必胜吗?——还必胜,但秘诀藏进了二进制的异或运算,漂亮得像魔术。
本章路线:先玩(Nim、巴什报数、对称策略、策略表),再理论(必胜态、Nim 和、威索夫游戏与黄金比),后视野(组合博弈论与策略公理化),最终每人设计一个游戏并证明其必胜性——从玩棋的人,变成造棋的人。
本章与工坊深度联动:Nim、威索夫、巴什游戏在游戏馆都有可对弈的真棋盘,策略学完请回工坊去赢 AI。
Nim 规则:若干堆石子,两人轮流取,每次任选一堆、取走至少一颗(可整堆取光),取走最后一颗者胜。
第一轮(单堆热身):一堆 7 颗,每次取 1–3。先手必胜吗?(数 7 mod 4 = 3,先手取 3 颗留 4,稳赢——复习导入页。)
第二轮(双堆初体验):两堆,各 3 颗与 5 颗。先试几局,再想:对称策略还灵吗?(两堆相等时后手可「镜像」必胜;不等时先手先把它们拿成相等。)把这条经验记下:相等是后手的堡垒,不平等是先手的跳板。
第三轮(三堆乱斗):三堆 1、2、3 颗,多打几局记录胜负。您多半会发现先手赢得蹊跷——胜利似乎不来自「多算几步」,而来自一种整体结构。试着不看棋盘猜:1、2、3 这三个数有什么共同点让先手稳赢?(先存疑,专题②揭晓:1⊕2⊕3 = 0。)
记录要求:每轮至少 4 局,记下开局配置、先/后手、胜者、您认为的胜负转折点。转折点笔记将在 p.6 的理论课上一一「验尸」。
工坊连线:游戏馆「Nim 取子」提供真棋盘与 AI 对手,难度三级;本周目标——三级难度下连胜 AI 三局(学完专题②再去,胜率天差地别)。
巴什游戏(Bash,工坊同名馆):一堆 m 颗石子,轮流取 1–n 颗,取最后一颗者胜。必胜判据一句话:m mod (n+1) ≠ 0 则先手必胜,策略是「每轮与对手合计取 n+1 颗」。
操作一(验证判据):m = 21, n = 3,先手该取几颗?(21 mod 4 = 1,先手取 1 留 20,此后凑 4。)m = 24, n = 3 呢?(24 mod 4 = 0——先手必败,除非对手犯错。)两人对局各 3 局验证。
操作二(变体升级——反义规则):取最后一颗者输!必胜判据翻转为 m mod (n+1) ≠ 1(先手第一轮取到「剩 1 mod (n+1)」,此后把「被迫取最后一颗」的锅甩给对手)。对局验证 m = 20, n = 3。
操作三(变体再升级——限界可变):每轮可取 1 到「上一轮对方取数+1」颗(此为国际经典「1 − n 递增」游戏)。先玩后想:它与固定上限版在策略结构上有何不同?(提示:配对法的「配对宽度」不再恒定——这是设计您自己的游戏时最常用的变形旋钮。)
操作四(策略表预演):为 m ≤ 20、n = 3 的巴什游戏制一张「必胜/必败」标记表(m = 0 必败——无子可取者上轮已输;m = 1..3 必胜;m = 4 必败……),把周期性用颜色涂出来。下页专题①就给这张表一个正式名字。
变体是检验理解的试金石:规则动一个字,策略就要重推一遍——但推法(倒推标记法)永远不变。学的是法,不是题。
有些必胜策略不靠计算,靠镜子。三个经典现场:
现场一(棋盘覆盖):8×8 棋盘剪去对角两格,用 1×2 骨牌铺满——不可能(黑白各 32 格,剪去同色两格后 30:32)。换成游戏:两人轮流在棋盘上放骨牌,放不下者输。先手第一张横放在正中央,之后对对手的每张牌放中心对称位置——必胜!对称保证模仿者永远有地方放。
现场二(双堆 Nim 的镜像):两堆石子相等,后手策略:对手在哪堆取几颗,您就在另一堆取同样多。每轮结束局面都保持「两堆相等」,而 (0,0) 是先手面对的败局。
现场三(圆桌放硬币):圆桌上轮流放相同硬币(不重叠),放不下者输。先手必胜:第一枚放圆心,此后处处中心对称模仿。半径任取的桌面、任意大的硬币——策略照样成立,这就是对称策略的美:不计算,只保结构。
操作任务:三现场各实战一局,然后回答——对称策略的适用前提是什么?(提示:局面必须存在一个保持游戏规则的对称变换,且先手能先「占据」对称中心。)反过来:若桌面是长方形呢?棋盘不是正方形呢?逐一试出「对称失灵」的条件,记入策略表。
对称策略的哲学:我不比您聪明,我只是让您走的每一步都白走——结构对等是最省力的必胜。
本页把前三页的直觉锤炼成一件通用工具:倒推标记法(backward induction)。规则示例仍用单堆取 1–3:
操作一:手工填出 m = 0..15 的 N/P 表,验证 P 态恰为 4 的倍数——周期从倒推里自动长出来,不需要任何先验猜测。
操作二(二维升级):两堆各 ≤ 6 颗、每次取一堆的任意正数颗(「严格 Nim」限幅版),画 7×7 表格逐格标 N/P:m = 0 行 0 列标 P,对角线 (k,k) 全标 P——相等态是 P 态的二维版现身。您正在重演 p.4 的对称策略,但这次是算出来的。
操作三(策略表解读):数一数 7×7 表中 P 态共几个?(对角线 7 个。)写出「任意开局先手必胜/必败」的一句话判据。这张表就是下一页专题②要一般化的对象——三堆以上的 Nim 表画不动了,需要新武器。
策略表的本质:把「往后看很多步」压缩成「一格一标记」。组合博弈论的一切辉煌,都是这张小表的放大与加速。
把策略表的语言升格为定义。设博弈是「无遗漏、无平局、有限步终止」的两人轮流博(组合博弈的标准型)。
三条判定律合起来是一台「机器」:从终局出发倒推,理论保证每个局面恰有一个标记(不会既 N 又 P,也不会无标记——由有限性与确定性保证)。这就是策梅洛定理在此类博弈上的版本:完全信息、无平局的有限博弈,必有必胜策略或必败判据,上帝不掷骰子。
定量收获:P 态集合往往有结构——单堆 1–3 取子中 P 态是 4 的倍数(等差);双堆严格 Nim 中 P 态是对角线;三堆以上 P 态将出自异或为 0 的配置(下一页)。「P 态的结构」是组合博弈论的圣经目录。
策略的一般句式:N 态行动者的策略=「每步移到某个 P 态」。对手从 P 态无论怎么走都只能到 N 态——球权交回,您再送回 P 态。整局博弈如同函数迭代,P 态是那个不动点。
定义即武器:N/P 标记法把「棋感」翻译成「集合论」,从此必胜策略从天赋变成算法。
多堆 Nim 的必胜判据,是组合博弈论第一枚明珠,作者是哈佛的查尔斯·布顿(1901 年,当时他仍是学生)。
验证小例:1⊕2⊕3:二进制 01、10、11,逐位异或得 00——P 态,先手必败(与 p.2 试玩的蹊跷感对上了)。再验证 (3, 4, 5):011⊕100⊕111 = 011⊕100=111,111⊕111 = 000?逐位:011⊕100 = 111;111⊕111 = 000。P 态!三堆看似凶险,先手竟必败。
为什么异或管用?三个引理一口气:① 全零是 P 态(异或和 0);② 异或和 ≠ 0 的配置,必存在一步把它修成 0(取异或和的最高位,找在该位为 1 的一堆,从那堆取走恰当数量);③ 异或和 = 0 的配置,任何一步都会破坏成 ≠ 0(改变任一堆必改变异或和)。于是「非零 → 修零」的先手永远有路,「零 → 必破零」的后手永远接不住——P 态机器完美运转。
练习三题:① 判 (5, 5)、(1, 4, 5)、(2, 3, 6, 7) 的 N/P;② 给 (7, 9, 12) 写出先手的必胜第一手;③ 解释为什么「两堆相等」是异或判据的特例。
异或是二进制的「不同为真」——Nim 的深意:必胜策略不在数的大小里,在数字的位结构里。换个表示,混沌变秩序。
把 Nim 改一个字:两堆石子,每次要么取一堆的任意颗,要么两堆取同样多颗——威索夫游戏(Wythoff, 1907)。对称策略与 Bouton 判据双双失灵,必胜者却在黄金比里等我们。
数列的三重漂亮:① 两行序列合起来不重不漏覆盖全部正整数(Beatty 定理:φ 与 φ2 是「互补分割对」——φ2 = φ+1 保证两序列无交集,且 1/φ + 1/φ2 = 1 保证全覆盖);② 相邻两对之差恰为 n(第 n 对两数差 n,验证:2−1=1, 5−3=2, 7−4=3…);③ 每对短长之比 → φ:又见黄金比——上章它管螺线与籽粒,这章它管棋盘胜负,跨章相逢绝非巧合(连分数「最难逼近」的品格,两处都点名要它)。
操作:手工验证 (1,2) 是 P 态——从 (1,2) 出发的所有一步走法(共 6 种)逐一检查都到 N 态。再验证 (3,5) 从它一步到不了任何更小 P 态。
工坊连线:游戏馆「威索夫棋」内置三种 AI 难度,最高难度即按 ⌊nφ⌋ 表行动——您能赢它,除非您先背下这张「黄金表」。背表的捷径:差为 n、两行互补,口诀两句。
Nim 与威索夫是冰山一角。组合博弈论(CGT)的版图上还立着三座高峰,各望一眼。
其一:Sprague–Grundy 理论(1930s)。定义每个局面的 Grundy 数 g( mex 操作:g = 未出现在后继 Grundy 数中的最小非负整数),则多场博弈的「和」的 Grundy 数 = 各场异或——Nim 判据由此成为一般定理的特例:「k 个子游戏的和,P 态 ⇔ 异或为 0」。您玩过的任何「多桌同时下」的公平游戏都被这台机器接管。
其二:部分博弈论(Conway, Berlekamp, Guy)。允许「一方好走一方难走」的不对称局面,用超现实数给局面赋值——「左走值」与「右走值」之差即优势度。此处诞生了数学的新物种:超现实数,比实数更细的数系,围棋的「目数」竟是它的应用。
其三:复杂性边界。广义棋类(任意大棋盘)大多是 PSPACE 或 EXPTIME 难——策略存在但算不出来。计算机下围棋的成功靠的是近似搜索而非必胜证明:N/P 机器在原理上万能,在算力上常碰壁。理论边界与工程边界的分工,值得记一笔。
视野回收:从单堆配对(巴什)到异或(Nim)到 Grundy 和(CGT),同一条方法论主线——把局面分类,把类压缩成代数。对象越抽象,覆盖越广。
Conway 的口号:分析一局棋的最好方式,是发明一类数。CGT 是数学「结构主义」最恣意的演出之一。
本章的分析为什么处处可行?因为组合博弈满足几条「先天条款」。本页把它们挑明——这是您第一次给「游戏」下公理。
逐条拆除实验:去掉④(允许无限绕圈)——平局可能出现,P/N 标记需要改成「胜/负/和」三色标记与图上「吸引子」分析;去掉③(加入骰子)——进入概率博弈,期望值登场;去掉②(暗牌)——进入信息博弈,纳什均衡接棒(下一页研讨)。公理就是适用范围的说明书:每拆一条,就换一个理论。
公理化视野下的策略概念也升格:策略 =「给每个己方决策点指定一个动作」的函数;必胜策略 =「对对手一切策略都获胜」的策略。博弈分析 = 在策略函数的巨大空间里找「全胜者」。这就是冯·诺依曼式定义(下一章深读①的主角),组合博弈是它最温顺的领地。
自测:为您设计的游戏(本章项目①待选题)逐条对五公理打勾——不满足的条目,预告您将需要的不同工具。
给对象写公理,就是给它发「保修卡」:保修范围(定理成立域)与除外责任(公理之外)一目了然。
「公平」的日常义是「机会均等」,博弈论的义更锋利:公平 = 双方都不拥有必胜策略。用这把尺子量本章的游戏,结果一边倒——Nim、巴什、威索夫、放硬币……先手或后手总有一方必胜。五公理下的有限博弈(策梅洛定理)不存在「势均力敌」:完全信息+确定性 = 必有全知者。
研讨问题一:那现实中的棋类为何还「有得下」?拆三个缓冲垫:① 复杂性缓冲(五子棋、跳棋已被解出必胜/必和,但人脑算不到那层);② 规则缓冲(先后手补偿贴目——围棋的贴目制就是「后天公平化」的工程);③ 学习缓冲(博弈的乐趣在双方都未及必胜层时存在)。逐条讨论:哪些游戏解出之日就是死亡之日?(原文子棋 2001 年被证明先手必胜。)
研讨问题二:加「随机」能救吗?飞行棋、麻将因骰子而「人人有机会」,但也引入了运气对努力的稀释。讨论:随机性与策略性的取舍曲线——太随机无博弈,太确定无悬念,好游戏在哪段?
研讨问题三:是否存在真正公平的确定性游戏?提示:井字棋(完美对局必和)、Dawson's Kayles 某些配置——「必和」算公平吗?给出您组的公平定义并辩护。
一个深刻的转折:策略分析告诉我们游戏「终将死去」,而游戏设计的艺术是让死亡之日无限推迟——这不是数学的失败,是数学的另一种胜利。
五公理中的「完全信息」一拆,博弈论换血。对比两个模型:
模型 A(组合博弈):双方看透全部,比的是算力——P/N 机器统治。模型 B(策略式博弈):同时行动或信息不对称,比的是对他人预期的预期——「我知道您知道我知道」的无限镜像。后者才是经济学与社会科学的主战场。
体验实验(课堂即演):全班分两排背靠背,各举 1–5 根手指,两排总和为偶则左排全胜、为奇则右排全胜,玩 10 轮记分。玩后研讨:您在第几轮开始「猜对面在想什么」?第几轮开始「猜对面猜我在想什么」?——层级预期的体验课。
关键概念初识(不展开,混个脸熟,第 6 章与 H2 册将回访):占优策略(无论对方怎样我都更优的动作)、纳什均衡(双方互为最优反应、无人想单方面变招的稳定组合)、混合策略(用随机化避免被猜透——石头剪刀布没有纯策略均衡,却有一比一比一的混合均衡)。
研讨问题:军事、商业、体育中的「虚张声势」在哪个模型里有位置?为什么模型 A 里虚张声势毫无意义而模型 B 里它是核心武器?(一句话版本:有暗处才有诈。)
信息的经济学定义:能改变决策的消息才是信息。按此定义,模型 A 里没有信息——一切已知——所以它纯如水晶,也冷如水晶。
1944 年冯·诺依曼与摩根斯坦《博弈论与经济行为》出版,1950 年纳什的均衡概念登场,1970s 起博弈论改写了整个经济学——1994、2005、2007、2012、2014、2020 年的诺贝尔经济学奖都有博弈论的身影。本页看两个入门案例。
案例一:囚徒困境。两人各可选「合作/背叛」,收益表设计成:对方合作时我背叛最赚、对方背叛时我背叛少亏——于是背叛是占优策略,双方都背叛,总收益低于都合作。个体理性 = 集体非理性,这是社会科学最著名的困境。追问:一次性困境无解,但重复博弈中「以牙还牙」(Tit-for-tat)策略在 Axelrod 竞赛中称王——合作可以从不背叛+报复中演化。
案例二:拍卖设计。政府卖频谱、卖车牌,用什么规则?英式拍卖、荷兰式、密封第二价(Vickrey)……机制设计理论(2007 诺奖)证明:好的规则让「说真话」成为占优策略。您抢的火车票候补、排队的号牌系统,都是微型机制设计。
研讨问题一:用囚徒困境分析一个您身边的真实情境(宿舍卫生、小组作业搭便车、公共自行车),画出收益表,指出困境所在与「重复博弈」的解法。
研讨问题二:博弈论的「理性人」假设被行为经济学批驳(最后通牒博弈中人类拒绝不公平分配),这算理论的失败还是修正?
博弈论给社会科学的礼物与数学给物理的礼物同构:一套语言。有了语言,「利益」才第一次可被精确讨论。
《史记》载:齐王与田忌赛马,马分上中下三等,各等级齐王马略优。孙膑献策:以下马对齐王上马,以上马对其中马,以中马对其下马——二胜一负,千金入囊。这是运筹学教科书的第一页,也值得用本章工具重审一遍。
分析一(完全信息版):若双方同时报名出场次序且不可更改,这是 3×3 的策略式博弈。枚举田忌 6 种出场序对齐王 6 种,写出胜负矩阵:田忌只在「对上齐王的一种特定次序组合」时胜——以原次序对齐王次序而言胜率 1/6。孙膑赢在两点:先读到齐王的出场序(信息优势!),再选定克制的应手。完全信息被打破的那一刻,博弈从「算力局」变成「信息局」。
分析二(策略式版):若双方都不能预知对方次序,最优策略是混合策略——按特定概率随机选出场序,让对方无法针对性克制。可以算出:齐王若随机等概率出序,期望胜率显著高于田忌(马力整体占优者的守势艺术)。
研讨问题一:孙膑策略成立的三个前提(信息优势、对方次序固定、赛制三局两胜)各去掉一个,结论如何变化?——「好策略」都是有前提条件的策略。
研讨问题二:这与本章前四页的「组合博弈必胜策略」在性质上有何根本不同?(答案线索:田忌没有必胜策略,只有期望最优策略——两类博弈的精确分界正是五公理中的「同时行动/信息完全」两条。)
两千三百年前的孙膑已经参透:没有算力优势时,去争夺信息优势。博弈论只是把他心里的话写成了公式。
本章项目总任务:小组设计一个原创桌上游戏,写规则书,分析其策略结构,冬研会摆摊试玩。这是全学年唯一的「造物」项目,标准从严。
设计底座三选一(站在巨人肩上再创新,禁止纯翻版):① Nim 系(改堆数/上限/取法/胜负条件——「反 Nim」「限次 Nim」都是好方向);② 铺放系(放硬币/骨牌类对称游戏的变体:换棋盘形状、加封锁格);③ 递增报数系(巴什变体+多人接力)。每组可加一个自选「创新旋钮」(特殊格、道具牌、动态规则),但创新件 ≤ 2 个——规则越少越好分析。
开题四件套(今天完成):游戏名(要好记且不与既有游戏重名)|一句话规则|设计目标(想让它「先手小优」还是「接近平衡」?)|分析路线图(预计用 N/P 表?对称策略?异或?)。
审查关:教师与别组各一票,审查点两条——规则是否无歧义(模糊规则一律打回)、策略深度是否够(一眼看穿的游戏无试玩价值)。
设计的第一铁律:规则里的每一个字都会参与博弈。写规则如写合同,歧义即漏洞,漏洞即争议。
今天完成「规则书 v1 → 试玩 → 规则书 v2」一个完整迭代。
规则书标准件(五件套):① 物件清单(棋盘、棋子、骰子规格);② 目标陈述(怎样算赢,一句话);③ 行动规则(轮到您能做什么,编号列出);④ 禁则(不能做什么);⑤ 争议裁决(常见歧义的裁定,如「同时到达怎么办」)。每条规则用「条件—动作」句式,杜绝形容词(「合理地摆放」是规则书的禁语)。
试玩规程:组内 4 局+跨组交换 2 局(别组只读规则书、不听口头解释——暴露歧义的最好方式),记录:局长、胜负分布、争议点清单。关注三个危险信号:某方开局即无路可走(游戏死了);局长方差过大(运气成分失控);争议点 ≥ 3(规则书不及格)。
v2 修改原则:每次只改一处,改完重试——同时改三处,您就永远不知道哪处起效(控制变量法在设计中的应用)。
试玩数据是规则的镜子:您想「先手小优」,实测后手全胜,就老老实实改规则——设计者对数据的态度,就是数学家对反例的态度。
今天干本章最硬核的活:给您的游戏做策略分析。按游戏的复杂度分三档作业:
A 档(状态可穷举):局面数 ≤ 200,画(或编程生成)完整状态图,逐格 N/P 标记,给出必胜策略全文与 P 态清单。产出:标记表一张+策略口诀一句。
B 档(有对称/周期结构):用第 4 页与第 6 页的工具证明某族局面是 P 态(如「两堆相等」「棋盘中心对称」)。产出:一条带证明的定理+一条对应的必胜策略。证明写法模仿专题①:基例+归纳两步走。
C 档(不可穷举):诚实声明「本游戏状态数太大,给出局部分析」——选 3 个典型开局,各给深度为 3 的倒推分析,说明先手/后手的处境。产出:三个「战例解剖」+「本游戏策略复杂度评估」一段。
各组任务对号入座(按您的分析路线图),写不清档位的组来找教师对表。注意:A/B/C 档在评分上不分高下,评分看的是「分析深度与您游戏的复杂度是否匹配」——给简单游戏写 C 档是偷懒,给复杂游戏硬写 A 档是造假。
「证明我的游戏先手必胜」与「证明它接近平衡」是同等光荣的成果——分析的目的是真相,不是好看。
把分析写成一本给玩家的策略手册——它是规则书的续集,也是您项目报告的核心章节。
写作三律:① 每条建议都要有依据——「先占中心」的依据是对称策略,「留 4 的倍数」的依据是 P 态周期;没依据的建议标「经验法则」并注明置信度;② 反例优先——主动写出您策略失效的情形,比等观众发现体面得多;③ 图胜千言——关键局面必配图,图注一句话。
交叉评审:与邻组交换手册互审,审稿单三问——论证能跟上结论吗?规则引用准确吗?新手读得懂进阶页吗?逐条回执。
手册是项目从「我们玩明白了」到「别人能玩明白」的惊险一跃。数学史上无数好结果死在这一跃——别让您的游戏步后尘。
冬研会第三板块「游戏策略擂台」备战日。摊位设计四件套:
件一:试玩台。两副同款棋具轮换制(一副对局、一副讲解),备置棋盘垫防滑。挑一位「店长」负责排号,高峰期限时 8 分钟/局。
件二:攻略墙。手册进阶页放大上墙——观众对局卡壳时自助查阅(也是您手册可读性的公开测验)。
件三:挑战关。设「战教师/战 AI/战店长」三关:观众用您的游戏赢下预设难度的对手得积分贴纸。难度梯度设计:第一关用您的新手页策略即可过,第三关需要进阶页。
件四:答疑卡。把交叉评审与试玩中的高频问题做成一叠快答卡(「为什么先手必胜?」「这个规则为什么这样设?」)。回答不上来就抽卡——把尴尬变彩蛋。
90 秒电梯陈述第三版排练(问题—做法—发现—追问结构不变,内容换成游戏):重点练一句话说清「您的游戏与 Nim/棋类的血缘」与「您的定理说了什么」。
摊位的隐藏考点:观众玩到一半退出吗?——留存率是游戏设计的终极指标,比任何自评都诚实。
本章反复出现同一个画面:规则薄薄一页,策略深不可测。巴什游戏的配对、Nim 的异或、威索夫的黄金比——都是规则「注定的」产物。规则与策略的关系,像基因与性状:基因简单,性状万千;但一旦测序(分析),一切性状皆有出处。游戏之「妙」,不在设计师的灵感里,而在规则的数学推论里。
由此得一条设计观与一条学习观。设计观:好规则是「简单前提+深远推论」的组合——五公理撑起欧氏几何,一页规则撑起 Go;学习观:拿到任何游戏,先问三个分析问题——状态是什么、终局是什么、P 态有什么结构。三问答毕,游戏在您眼里已从「棋」变成「定理」。
最后一段留给「必胜」二字:数学上,必胜策略是冷酷的确定性;现实中,它几乎从不出场(没人算得那么深)。游戏的存在,恰在「理论已知」与「实践未知」之间的这片裂缝里。尊重裂缝——那是人类的全部下棋时光。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=3
约翰·冯·诺依曼(John von Neumann, 1903–1957)是二十世纪最有能量的头脑之一:算子理论、量子力学数学基础、计算机体系结构、氢弹内爆设计、元胞自动机——而今天要读的是他 24 岁时的成名作:极小极大定理(1928)。
传说冯·诺依曼用一晚证明了它(后来发现证明有洞,1937 年补严)。他自己更看重 1944 年与经济学家摩根斯坦合著的《博弈论与经济行为》:六百页巨著把博弈从「娱乐」升格为「理性决策的数学」——效用函数、策略式与扩展式表述、合作博弈稳定集,现代经济学一半的词汇表出自此书。
冯·诺依曼的个性是「并行处理」的人生:同一时期推动 ENIAC 改造与存储程序计算机(今天的电脑仍叫「冯·诺依曼架构」)、参与曼哈顿计划、写元胞自动机与自复制理论。传记作者说他的会议室永远同时开着五扇门。
深读任务:查「冯·诺依曼架构五大部件」,用博弈论的「信息与决策」语言各写一句评注(提示:存储器与「完全信息」,控制器与「策略函数」)。
极小极大定理的哲学回声:在利益完全对立的世界里,谨慎与进攻殊途同归——知道对手多聪明,就知道自己该多谨慎。
冯·诺依曼的理论只处理「零和」——我的赢就是您的输。但现实中多数博弈非零和(贸易、合作、公共品)。补上这块版图的人是约翰·纳什(John Nash, 1928–2015),普林斯顿的博士论文仅 27 页。
均衡 ≠ 最优:囚徒困境的(背叛,背叛)是纳什均衡,却是集体最糟——均衡描述的是「稳定」,不是「好」。这条区分是博弈论给社会科学最锋利的一把刀:坏结果也可以很稳定,改变的难度在协调而非在利益。
纳什的人生因电影《美丽心灵》广为人知:30 岁前完成均衡理论、流形嵌入定理等巅峰工作,此后饱受精神疾病折磨数十年,1994 年与海萨尼、泽尔腾同获诺贝尔经济学奖,2015 年获阿贝尔奖。他 1950 年代那句自评令人唏嘘:「我认为自己做的事,是试图证明理性的人能做成什么。」
深读任务:找出您身边一个「稳定的坏均衡」(示例:全组拖到截止夜才交作业),写三行「均衡诊断」:各自的最优反应是什么?为何无人单方面改变?可能的外部干预是什么?
不动点定理第三次出场(布劳威尔、角谷、再到纳什)——「存在性」的证明不告诉您均衡在哪,但告诉您找的方向有意义。
本章收束于一位老朋友:独立钻石棋(Peg Solitaire)——游戏馆第 26 站的主角,也是「组合博弈分析」最经典的实战教材。
规则回顾:33 孔棋盘,32 颗棋子,跳吃(跳过邻子吃之),目标剩最少。它是单人组合博弈——没有对手,策略分析的对象从「战胜他人」变成「资源最优消耗」。两条经典不变量(工坊 26 站已玩过):① 位置类是 F2 不变量共 16 类(棋盘染色后跳吃守恒);② 中心开局终局单子的位置被不变量锁死——「剩中心」能否达成是可预先判定的。
与本章工具的连线三题:① 把跳吃过程看作「状态的确定性转移」,独立钻石棋的「解」就是从初始态到目标态的路径——这正是 P/N 机器的「单方版」;② 16 类不变量是「策略的公理化」中『不变量先行』思想的范本:先找守恒量,再谈搜索;③ 反向搜索(从终局倒推军阵)与本章倒推标记法是同一件事的两副面孔。
挑战任务(计入对弈赛积分):在工坊 26 站完成「中心开局剩中心」一局(最少 31 步跳吃),并截屏您的最终局面与步数——做不到中心就任一合法单子终局,写出您用到的「不变量推理」。
延伸书单:《Winning Ways for Your Mathematical Plays》(Berlekamp–Conway–Guy)第 14 章专章分析独立钻石棋——三位作者把 P/N 机器、不变量、搜索预算全部用上,是「把一个游戏数学吃干榨净」的典范之作。
单人棋与双人棋共享同一套数学骨架:状态、转移、不变量。学会一套,通吃两界——这是结构主义最实惠的红利。
本章工具入册四格:
自查五问:① N/P 判定律的「机器」如何运转?(p.6)② 为什么异或为零是 P 态?(p.7 三引理)③ 威索夫 P 态与黄金比的公式?(p.8)④ 五公理各拆一条会怎样?(p.10)⑤ 孙膑赢在哪两件事?(p.14)
易错清单:把「后手必败」说成「先手必胜策略属于后手」(方向反了);异或按十进制加(位结构没立起来);设计游戏时规则里留形容词(歧义滋生争议);分析档位与游戏复杂度不匹配(A 档硬算大游戏)。
工具箱的总纲一句话:先分类,再压缩,后代数——从倒推表到异或到 Grundy 数,您已亲历一遍组合博弈论的进化史。
冬研会第三板块「游戏策略擂台」正式开张。流程:
第一段 规则发布会(20 分钟):各组 60 秒发布游戏名+一句话规则+必胜性结论(必胜?平衡?未定?)。全场用「清晰度」举手表决打分。
第二段 擂台对弈(50 分钟):摊位开放,师生自由闯关。计分三源:观众留存率(玩完一局的比例)、挑战关通过数、店长讲解清晰度(观察员暗评)。
第三段 theorem 台(20 分钟):各组答辩员登台,用 90 秒讲本组的「定理」(必胜性分析结论),接受全场质询。质询焦点预设:您的证明依赖哪个假设?规则改一字定理还成立吗?
积分结算入总榜(与第 1、2、5 章共享),设「最佳原创游戏」「最硬核分析」「最佳摊位」三项。冬研会总任务叠加:游戏规则书+手册终稿归档;每人补一条「本游戏若加入随机元素会怎样」的一页分析(衔接第 6 章与 H2 段概率主线)。
今天您是设计者、分析师、店主、答辩人四合一。这四种角色将来会分开叫:建模者、定理证明者、科普者、答辩人——但今天它们长在同一个人身上。
p.76–100 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

抛一枚均匀硬币,正面概率 1/2——课本如此宣布。可「概率 1/2」到底承诺了什么?抛 10 次未必 5 正 5 反,抛 100 次也未必。秘密藏在大规模里:历史上真有人较过劲。蒲丰抛了 4040 次得正面 2048(频率 0.5069);皮尔逊抛了 24000 次得 0.5005;二战期间约翰·克里奇被关在战俘营,用配给面堡垒成硬币抛了一万次,频率 0.5067。
一万次下来,频率稳稳贴住 1/2——这种「次数越多越稳」的现象叫频率稳定性,是概率论的实验地基,也是大数定律的直观版本(严格证明在 H2 段等您)。但本章不止玩随机:随机实验的另一面是确定性力学实验——斜面上小车受几个力?弹簧秤怎么读数?这些力是向量,向量合成与分解的法则,恰好能用实验亲手「秤」出来。
于是一个奇妙的组合成型:一半人手在抛硬币(随机),另一半人手在拉弹簧(确定),而连接两半的是同一种素养——让数据说话:设计实验、控制误差、读数记录、图形呈现。本章结束时,您将拥有属于自己的一份《实验方法手册》。
统计学的历史起点正是赌桌:帕斯卡与费马 1654 年的通信(分赌本问题)开了概率论先河——随机与数学的联姻,从一开始就是「动手」的。
全班总动员:每人抛硬币 50 次,记录正面次数。预测环节先行——写下您认为「最可能」的正面次数区间(不许写 25 正负 1 这种小气区间,也别写 0–50 这种废话区间)。
操作一(个人数据):50 次抛掷,用「正」字法记数。算个人频率 = 正面数/50。
操作二(累加曲线):按座位顺序把全班数据累加:第 1 人的频率、前 2 人的累计频率、前 3 人……直到全班。画出累加频率折线图:横轴累计抛掷次数,纵轴累计频率。观察曲线如何从「狂野」变「驯服」——前 100 次上蹿下跳,上千次后几乎水平贴住 0.5。
操作三(反面教材):故意用「立着抛」「旋转抛」「双面胶贴重」等手法再来 50 次——频率还稳吗?偏离多少?这组「病态数据」将用来训练您的第一个统计嗅觉:数据异常往往意味着机制异常,而不是运气异常。
操作四(大数定律预告):汇总全班(约 40 人 × 50 次 = 2000 次),与克里奇的 10000 次对比:谁的频率更接近 0.5?把「样本量与偏差」的关系记成一句猜想,第 6 页专题①给它理论版。
记录纪律今天立规矩:原始数据不许涂改——写错划一条横线重写,保留痕迹。实验的诚信从纸面开始。
问题:想知道全校学生对食堂菜品的满意度,但不可能调查每个人。抽样方法四种,今天逐一实测比较。
操作:用四个班模拟「全校」(每班 40 人,用教室座位号当学号),设「满意度真值」由教师预先随机指定(每人贴 1–5 分标签,分布保密)。四个小组各用一种方法抽 20 人,报告样本均值。
汇总四组结果与「真值」(教师公布)对照:哪种方法命中真值附近?方便抽样差多远?——通常方便抽样偏差最大,而且偏差方向有规律(门口拉人:凑热闹的、吃饭早的居多)。
操作二(样本量的代价):把简单随机抽样的样本量从 20 加到 40 再加到 80(合并各组数据),看估计值的波动如何收窄——又是大数定律,这回穿上了「抽样误差」的外衣。
1936 年美国《文学文摘》用 240 万份问卷预测总统大选惨败,而盖洛普用 5 万人答对——输在抽样框(电话簿偏富人),不在样本量。抽样,方法比数量贵。
从随机世界切到确定世界。器材:光滑木板(当斜面)、量角器、小球、纸板挡板、尺。任务:实测「重力沿斜面分量」随倾角的变化。
操作一(装置搭建):把木板一端垫高形成倾角 θ(量角器读数),记录三个角度:15°、30°、45°。
操作二(挡板受力法):在斜面底端竖直固定一块轻纸板挡板,让小球从斜面顶端同一点静止释放,撞挡板。挡板承受的冲击反映小球沿斜面方向的运动趋势——定性观察:θ 越大,冲击越猛,滑到底时间越短。用秒表量三组「到底时间」,记录。
操作三(理论对表):高一物理给过结论——沿斜面分量 = mg·sin θ。用三组角度算 sin θ 的相对比例:sin 15° : sin 30° : sin 45° = 0.259 : 0.5 : 0.707。再看您秒表数据的倒数平方比(加速度∝1/t2):t1−2 : t2−2 : t3−2 是否也接近这个比例?(摩擦会捣乱——记下偏差,下一页继续收拾它。)
操作四(垂直分量触摸):用手掌垫在球下方感受「压斜面的力」:θ 越大,正压力 mg·cos θ 越小——手掌的触感就是向量分解的另一半。
本实验的隐藏主角是「同一个 mg 的两副面孔」:mg·sin θ 管下滑,mg·cos θ 管压板——分解不是魔法,是把一个向量按两个互相垂直的「用处」拆账。
器材:两只弹簧秤、细绳套、图钉、白纸、砝码组。任务:用「三力平衡」实测向量合成的平行四边形法则——本页是 H1-1 第 4 章向量理论的实验验收。
操作一(两拉一吊):白纸钉在竖直板上。两条细绳共同拴住一个小环,环下吊一个已知砝码 G。两条绳分别接弹簧秤 A、B,绳的另一端钉在板上的两处。系统静止时,记下 A、B 读数,并用铅笔沿绳描下两条拉力的方向。
操作二(作图验证):按选定的比例尺(如 1 cm = 0.5 N)从环心画出 F_A、F_B 两个向量,以它们为邻边作平行四边形,画对角线。理论:对角线应当与砝码重力等大反向(合力平衡 G)。量一量:对角线长度换算成力,与 G 差多少?方向竖直吗?误差在 5% 内算合格。
操作三(变角实验):改变两钉位置使夹角从 60° 变到 120°,重复两轮。记录规律:夹角越大,达到同样竖直合力所需的两分力越大(两绳几乎平行向下时最省力——您提重物时把包带缩短是同一条力学)。
操作四(单秤替代法):只用一只弹簧秤竖直上拉同样砝码,读数应恰等于 G——这就是「合力」的实验定义:一个力若与两个力效果相同,它就是那两个力的合力。弹簧秤今天替您验证了平行四边形法则。
工坊连线:向量加法在游戏馆有互动演示(拖拽两向量看合向量),实验前先在工坊里「云」一遍,实验室里的手会更有准头。
把 p.2–3 的动手经验升格为概念系统。
频率与概率的桥梁:p.2 的实验里,「正面频率」是统计量,1/2 是概率参数。频率稳定性 = 随 n 增大统计量逼近参数——大数定律(伯努利,1713 年《猜度术》首次证明)。注意方向的唯一性:我们由样本推总体,绝不许反着「由结论挑样本」。
样本的两个品质维度:无偏(方法本身不系统性偏离真值——方便抽样有偏)与 precision/精度(波动小——样本量大则精度高)。无偏而低精(小样本随机抽样)与有偏而高精(大样本系统性偏差)是两种不同的病,后者更危险:它给您「数据很稳」的错觉。《文学文摘》240 万份问卷是历史最贵的有偏样本。
定量初体验:抛 100 次硬币,正面数落在 40–60 之外的概率约 3.5%(正态近似,H2 段推导)——所以 100 次抛出 35 个正面,先怀疑硬币而不是怀疑运气。
统计学的第一伦理:样本是「总体的大使」。大使选错了,后外的数据再漂亮也是外交事故。
从「收集数据」到「产生证据」,中间隔着三原则。它们诞生于农业试验田,如今统治一切实证研究。
案例走查:检验「听莫扎特提高数学测试成绩」。若甲班听、乙班不听,结论可能被「甲班本来就好」污染——需要随机分组;若甲班在上午、乙班在下午测,时段是混杂——需要区组/同时;若只测一个学生,无精度——需要重复。三原则各堵一个漏洞。
对照的锋利版:盲法。新药试验用安慰剂对照组+双盲(病人与医生都不知道谁吃真药)——因为「被治疗的感觉」本身就能改善症状(安慰剂效应可达 30%)。教育实验里对应的暗坑:师生知道自己在「实验班」,额外卖力——霍桑效应。盲不了的实验,要诚实降级结论。
相关 ≠ 因果专项:冰淇淋销量与溺水人数高度正相关(共同原因:夏天);「统计相关」到「因果结论」之间隔着一个受控实验。观察性研究的结论永远要留一层「可能有混杂」的垫子。
费希尔的名言:「 consulted 统计学家在实验设计阶段介入,是让他做科学家;在实验结束后才找他,是让他做验尸官。」
p.5 的实验背后是一套精确语言:向量方程。本页把「平衡」写成数学。
为什么坐标化重要?因为向量加法的几何作图(平行四边形)在三个力以上就画不动了,而「分量各自清账」永远可行。p.5 实验的坐标版:斜拉两绳各成 θ_A、θ_B,则 T_A·cos θ_A = T_B·cos θ_B(水平账),T_A·sin θ_A + T_B·sin θ_B = G(竖直账)。代入您的三组实验读数验账——分量清账法第一次上岗。
典型例:晾衣绳问题。衣服挂绳中央,绳被压成 V 形。绳越平(θ 越小),张力越大:T = G/(2·sin θ)。θ = 30° 时 T = G——两股绳各吃一倍重量;θ = 5° 时 T ≈ 5.7G——「拉直晾衣绳」在力学上是灾难。用极限思想看:θ → 0 时 T → ∞,没有绳子扛得住。
平衡的进阶形态(预告):三力不共点时还要「力矩平衡」ΣM = 0——杠杆原理的现代版。阿基米德的「给我支点」与《墨经》「本短标长」两权衡,都是它的祖先。
向量方程 = 几何直觉+代数纪律。学会「先画图、再分解、后清账」的三步节奏,力学题从此变成记账题。
斜面是向量力学的「基础训练场」,本页把 p.4 的定性实验升级为完整定量分析。
标准配置:倾角 θ,物体质量 m,摩擦系数 μ(可选)。四步分解流程:
与实验对账:p.4 的秒表数据 t 与 s = ½at2 联立得 a = 2s/t2。三组角度算出的 a/g 应≈sin θ(无摩擦)或 sin θ − μ cos θ(有摩擦)。用两组数据联立反解 μ——从数据反推参数,这是统计与力学第一次握手:您正在做一次「参数估计」。
一个经典陷阱:斜面上物体「静止还是下滑」的分界角。tan θ* = μ——θ 小于 θ* 摩擦扛得住(静摩擦自适应),θ 大于 θ* 开始滑动。沙堆的「休止角」正是这个 θ*:沙堆坡度不会超过它,故沙堆是锥形。
「分解」的更深层含义:向量空间里选一组基,任何向量都唯一地写成基的线性组合——斜面坐标只是换了一组更顺手的基。您在力学里练的,是 C 段线性代数的肉身。
数据不会自己说话,图形是它的翻译官。本页四张「基本功图形」+一份避坑清单。
避坑清单(每条都有现实名场面):① 截断纵轴夸大差异(销售额从 99 涨到 100,纵轴从 95 起画就显得翻倍——纵轴原则上从 0 起,截断必须标注);② 3D 饼图遮蔽面积感(饼图只用平面,且类别 ≤ 5);③ 双轴图两个量纲偷换相关为因果;④ 折线图横轴不等距(时间数据点 2000、2005、2006 等距画,斜率全歪)。
实战任务:把本章 p.2 的累加频率曲线、p.4 的 t−θ 数据、p.5 的变角实验数据各选最合适的图形绘制,并在图注写「本图说明……」一句。图注写不出,说明图选错了或数据没喂饱。
好图的黄金标准(数据新闻业准则):读者 5 秒内明白结论;一切美化不改变数据比例;「墨水–信息比」最大化——去掉一切不承载信息的装饰。
本书的审美铁律在此通用:配色统一(本册建议深蓝底金色主线条)、无突兀白块、字号层级清晰。图是数学的衣冠,衣冠不整,思想打折。
带着费希尔三原则与本章四个实验的经验,本页做一次「标准研讨会」。
议题一:好实验的判据清单。各组从本章实验中提炼三条以上「好实验的标志」,候选池:可重复(别人照做能复现)、有对照、随机化、误差有定量估计、原始数据可追溯、结论与数据强度匹配。全班合并成一份《好实验公约》(第 24 页复盘将引用)。
议题二:实验伦理的两难。案例:某组为「数据好看」偷偷重做了 3 次实验取最好的一次——这算「选择数据」还是「作弊」?对照大科学的现实:结果可复现性危机(心理学约 60% 经典效应复现失败)、删失数据、p-hacking。讨论:诚信的边界画在「报告了什么」而不是「做了什么」——重做实验合法,只报最好的且隐瞒重做事实则越线。
议题三:观察与实验的分界。,「吸烟与肺癌」无法做随机对照实验(伦理不允许),流行病学家 Hill 1950 年代用九条标准(时序性、强度、剂量反应……)从观察数据建立因果——讨论:什么时候观察性证据也足够硬?什么时候必须等待实验?
研讨产出(写在公约末行):实验的最高美德不是精确,而是可核查——每个结论都能追溯到一段可复查的数据与一条可重走的推理。
误差不是敌人,是实验的气候。本页给误差分类,并讨论与它共处的方法。
读数纪律:估读到最小刻度的下一位(毫米尺读到 0.1 mm)——最后一位是有效随机误差的「户口」;有效数字的位数要如实反映精度,写 27.300 cm 而尺只到毫米是「伪造精度」。
定量初体验:对同一弹簧秤读数 10 次,算平均值与「±范围」(简单版不确定度)。问:平均值的标准差比单次小多少?(约小 √10 倍——多测的价值所在;严格版是 H2 段统计的「标准误」。)
误差传播尝鲜:ρ = m/V,m 与 V 各有不确定度,ρ 的不确定度怎么估?(加法量直接相加、乘除量相对误差相加的粗略规则。)用您的斜面 μ 反推实验练一遍:μ 的误差从哪两项来?
与误差共处的三条心法:消灭系统误差靠对照与校准,压低随机误差靠重复与平均,杜绝过失误差靠复核与记录——三条心法对应三种性格:机敏、耐心、诚实。
实验为什么「科学」?本页把统计放回科学方法的大图景。
循环结构:观察 → 假说 → 预言 → 检验 → 修正。统计在哪两环?——「预言」环节给出可拒绝的具体数值(「正面频率应在 0.5 ± 0.1」);「检验」环节判断数据与预言的距离是否可容忍。假设检验的朴素版今天先认个脸:数据若在预言区间外,先查自己(仪器、方法),再查理论——爱丁顿 1919 年的日食观测正是这个流程的世纪名场面(第 1 章专题⑤回访)。
可证伪性(波普尔):科学命题必须「允许被证明错」。对照「所有天鹅皆白」与「黑天鹅存在」——一次观测即可终结。统计让「可证伪」变得可操作:不是「一次反例立刻全盘推翻」,而是「反例出现得越频繁越偏离预言,理论越危险」——证据是累积的天平,不是一票否决的法庭。
研讨问题一:「掷出 100 次全是正面」时,您怀疑硬币还是怀疑概率论?讨论:统计学家的答案永远是「先怀疑前提」(硬币不均匀)——理论被保护的方式是修改参数而非抛弃框架,这算顽固还是稳健?
研讨问题二:本章的「让数据说话」与数学的「从公理演绎」是两种知识生产模式,各自靠什么保证可靠性?它们的交汇点在哪?(提示:概率论本身是演绎数学,而统计把它用成归纳工具——数学提供担保的语法,科学负责填入事实。)
科学方法的发动机是「可错的勇气」:一个愿意被数据推翻的理论,才配得到数据的支持。
沈括(1031–1095)《梦溪笔谈》是中国科技史的观察百科,本页精读三条与本章主旨的共鸣。
条目一(磁偏角):沈括记指南针「常微偏东,不全南也」——世界最早的磁偏角记录。他不是测一次,而是多方比较(「以磁石磨针锋」的几种装置方式逐一试验)——重复与对照的雏形,且他诚实记录「未可原其理」:知其然而坦承不知其所以然。
条目二(隙积术):上章研讨④的酒坛堆垛——沈括先实测几层,再推一般公式,「以盈补虚」——由数据催生猜想,再以代数定案,与本章「实验→猜想→论证」的节奏完全同构。
条目三(石油):沈括在鄜延记录石油燃烧烟墨「黑光如漆,松墨不及」,并预言「此物后必大行于世」——观察、实验(试用制墨)、预言三段式。他起的名字「石油」沿用至今。
研讨问题一:沈括的「实验」与现代实验差在哪一格?(提示:缺少系统化对照与定量误差观——差的是费希尔 1926 年补上的那一课;但观察的锐度与诚实的边界感,已与现代科学精神同频。)
研讨问题二:中国古代「格物致知」传统与希腊「公理演绎」传统,在「观察术」上的分工与短长,本章语境下再评一次(回访第 1 章研讨④)。
李约瑟称《梦溪笔谈》为「中国科学史上的坐标」。坐标的意义不是终点,而是让后人知道:观察术的每一寸进步,都值得被记下名字与年份。
本章项目总任务:小组完成一个「随机」或「力学」方向的完整实验研究,产出报告+可视化+海报,冬研会展出。今天开题。
随机方向候选:① 骰子公平性检验(铸/打印骰子 vs 标准骰,各抛 300 次);② 生日悖论班级实测(40 人同生日概率 89%——真验);③ 抓阄公平性与抽签顺序;④ 纸牌洗牌几次才「真乱」(Gilbreath 原理初验);⑤ 汉堡店排队模拟(随机数模拟单窗双窗)。
力学方向候选:① 弹簧倔强系数测定(胡克定律,多次测量+误差分析);② 摩擦系数三种材料对比(斜面临界角法);③ 桥梁承重与三角形桁架(纸桥加载破坏实验);④ 落体测 g(打点计时器或手机慢动作视频逐帧);⑤ 晾衣绳张力实测(弹簧秤挂角变角度)。
开题四件套沿用第 2 章模板(问题一句话|值得研究两句|技术路线:器材清单+变量表|预期产出),新增变量表:自变量、因变量、控制变量各列一栏——控制变量写不全的组,先补课 p.7 再开题。
选题的试金石仍是那句:问题小到能做,大到有味。随机题要有「机制猜想」(骰子哪个面重?),力学题要有「参数目标」(μ 大约多少?g 测到几位有效数字?)。
实验日。行军纪律六条:
数据完整性检查(收工前 10 分钟):每个格子都有数?单位都写了?可疑数据有标注?器材问题记入「实验日志 · 异常栏」——这份日志本身就是报告的「方法」节素材。
预分析的口头仪式:收工前全组口头过一遍「数据大致说了什么」——若与预期方向完全相反,先别慌,回实验室核查(往往是有趣的开始,比如骰子真的不公平)。
实验日的心法:您的任务不是「得到预期数据」,而是「得到真数据」——预期被推翻的那天,通常是项目最出彩的那天。
今天在纸面与表格里继续实验。流水线五站:
第一站 整理:原始数据录入表格,算每个测量点的均值与「±范围」(p.12 的简单不确定度)。
第二站 离群值处理:超过均值 ±3 倍离散幅度的数据点单独标注。处理规则(预先声明,不许临时立法):先查日志找原因(有因可查→剔除并注明原因),无因可查→保留并在讨论节说明其影响。不许静默删除——这条是统计伦理的底线。
第三站 模型对表:把数据与理论值比。力学题算相对误差(|测 − 理|/理);随机题与「机制猜想」比(骰子各面频率应各为 1/6 ± 多少?用 p.6 的正态近似量一量)。给出「与理论相符/不符 + 置信理由」的明确判断。
第四站 图形化:按 p.10 口诀选图(趋势折线、关系散点、分布箱线),完成「图+图注」三件。
第五站 发现升级:把三条以内「观察级发现」中至少一条升级为「命题级」(含定量论证)——例如「弹簧倔强系数 k = 24.6 ± 0.3 N/m,与标称 25 在误差内一致」。
分析的最高纪律:让数据通过固定的流水线,流水线在动手前写好——事后换规则,统计就沦为主观的化妆师。
报告定稿日。结构沿用第 1 章四节模板,本页专攻「结论与讨论」的写法与全篇打磨。
全篇打磨清单:① 摘要三句话(问题—方法—主结论)置顶;② 每图有图注、每表有表题、单位全书统一;③ 术语首现给定义;④「误差」「错误」「偏差」三词用准(误差是测量属性,错误是操作事故,偏差是系统性偏移);⑤ 原始数据表作为附录附上——报告的可信度藏在附录里。
答辩预演问题池(组内互相问):为什么这个控制变量是它?离群值为什么这么处理?如果重做一次您最想改什么?——第 19 页展示准备将从中抽题。
实验报告的尽头是「可重复性」:一位没见过您实验的同学,凭报告能复现到同样的不确定度——这就是科学写作的验收标准。
冬研会第四板块「实验数据评审」备战日。展示三件套:
件一:海报(版面五分法沿用第 1 章,加重两处):数据图占 30%(放大、加图注),「误差与改进」栏占 15%——评审最看重这栏的诚实度。
件二:现场演示。随机组带骰子/纸牌可现场重抛 20 次让观众 tally;力学组带迷您装置现场演示一个关键现象(晾衣绳张力突变最出效果)。演示要 60 秒内出结果——把慢数据做成预录视频备份。
件三:数据卡。把核心数据表印成手掌大的卡片随身带,答质询时随时亮数据——「数据在手」是实验答辩的第一气场。
质询预演:邀请上一章游戏组来「踩场」,专项攻击三处:抽样/测量的代表性、误差处理是否自洽、结论是否超出数据支撑。被问倒的问题记入「反击清单」,正式评审前补齐。
90 秒陈述第四版排练,新增一句固定收尾:「本实验最大的局限是……下一次我们会……」——主动亮局限,是实验组的成熟标志。
展示的本质是「让评审最快建立信任」:信任来自数据可查、误差诚实、局限自认——三样都在,海报再朴素也硬气。
直觉是伟大的导航仪,也是糟糕的测距仪。我们直觉上相信「连抛十次正面后,下一次该出反面」(赌徒谬误),相信「样本越大结果一定越好」(忽视抽样框),相信「看起来的直线就是直的」(晾衣绳张力说反)。本章所有实验的共同教益:把这些直觉请下裁判席,换数据上岗——数据不会替您想,但它会替您验。
「让数据说话」不是抛弃直觉,而是给直觉安排新岗位:提出假设、设计实验、识别异常——直觉负责开头与结尾,数据负责中间的裁决。沈括「知其然,未可原其理」的坦白,正是这种分工的古典版:观察可以先行,结论必须后到。
更深一层,这是两种确定性的分工:数学的确定性来自公理与推理(先于经验),实验的确定性来自数据与复核(后于经验)。本章您同时经历了两者——硬币的 0.5 是定义(数学),一万次的 0.5067 是事实(实验)。分清「定义的真理」与「事实的真理」,是科学素养的第一颗种子。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=4
统计作为一门学科出生在 19 世纪末的伦敦大学学院,产房是高尔顿的「生物统计实验室」,接生者是卡尔·皮尔逊(Karl Pearson, 1857–1936)。
前史三秒:概率论从帕斯卡(1654)到拉普拉斯(1812《概率的分析理论》)已是严整数学,但它是「演绎」的——从等可能性公设推演出结论;「归纳」的统计(从数据反推规律)一直是工匠手艺。高尔顿研究遗传(「回归」一词的出身:高个子父亲的儿子平均不如父亲高——向均值回归),皮尔逊把这套手艺数学化:相关系数、卡方检验、矩估计……《自然》杂志称他「统计学的伽利略」。
皮尔逊的脾气与遗产一样庞大:他与费希尔(R. A. Fisher,方差分析与实验设计之父,本章三原则的作者)的论战持续数十年、两败俱伤;他还卷入优生学的争议污点——科学家的人格与学术要分开记账,这是读科学史的必修课。
1900 年皮尔逊发表卡方检验论文那天,被视为「现代统计学的生日」:从此「数据与理论符不符合」有了一个可计算的裁判。本章 p.17 的骰子检验,跑的正是这条 1900 年铺设的轨道(完整版在 H2/H3 段)。
深读任务:查「高尔顿钉板」(quincunx),用「正态分布的力学成因」写 50 字笔记——它也是随机与力学在本章主题上的历史性会师。
统计诞生的哲学意义:归纳第一次有了数学的纪律。从此「经验」不再只是杂谈的素材,而能被严格地记账、复核与裁决。
力学是物理学的长子,也是数学应用史的第一现场。三个里程碑接力:
阿基米德(前 287–212):杠杆原理「本短标长」的严格版与浮力定律。他用「重心 + 杠杆」的力学直觉发现了球的体积公式,再用欧氏风格的穷竭法证明——《方法论》手稿 1906 年重见天日,展示了「力学启发数学」的最早范本。
伽利略(1564–1642):斜面实验的正式发明人。他把「落体」减速成可计时的斜面滑块,得到 s ∝ t2——实验+数学化的现代科学范式在斜面上诞生。本章 p.4 的秒表实验,正是 400 年前比萨斜塔(传说)的课堂复刻。
牛顿(1643–1727):《自然哲学的数学原理》(1687)三大定律+万有引力,把「天上」(行星)与「地上」(苹果)的力学统一进同一组向量方程——ΣF = ma 是向量方程意识的世纪加冕。您本章练的分解与清账,就是牛顿语言的基本功。
力学的数学化还回哺了数学本身:牛顿为力学发明了微积分;拉格朗日把力学重写成纯代数(分析力学);诺特定理(1918)证明「对称性 ⇔ 守恒律」——向量、变换、不变量,力学与抽象代数在二十世纪再次握手。
深读任务:用「对称性⇔守恒律」解释「为什么时间平移对称对应能量守恒」,一句话写进方法册。
力学的每一次进步都同时是一次数学的进步——它是数学与物质世界最老的一条国境线,也是走私最频繁的一条。
误差控制是实验科学真正的内功,本页读三个历史现场,看「控制误差」如何升级为「设计制度」。
现场一(经纬与历法):元代郭守敬「四海测验」设 27 个观测点测纬度,并造简仪(世界上较早的赤道装置)把刻度细分到「百分之一度」级别——仪器精度与测点密度并举,误差控制从「单点精细」走向「网络冗余」。
现场二(子午线测量):18 世纪法国科学院两支远征队分赴拉普兰与秘鲁测同一条纬线上 1° 子午弧长,判断地球形状(牛顿的扁球 vs 卡西尼的长球)——远征八年、险死还生,结论支持牛顿。两个独立测量点的相互印证,是误差控制从「技术」升格为「制度」的名场面。
现场三(迈克尔逊–莫雷,1887):为测「以太风」,他们把光路来回折叠十八次抬高灵敏度,仍得零结果——「没测到」本身成了物理学史上最著名的实验结果(催生相对论)。误差控制的尽头是确证阴性:把「没有」也测得干干净净。
方法论小结(写进您的《实验方法手册》末页):误差控制四级火箭——① 换更好的仪器;② 多次测量取平均;③ 设计抵消结构(对称光路、对照实验);④ 独立重复相互印证。本章您用过前两级,第 6 章项目将试第三级。
实验科学的格言不是「没有误差」,而是「误差已知、已计、已控」——知道自己的边界有多宽,才配谈论边界内的发现。
本章收官动作:把四章经验装订成您自己的《实验方法手册》第一版。目录四篇:
自查五问:① 为什么方便抽样「样本大也没用」?(p.3、p.6)② 三原则各堵哪个漏洞?(p.7)③ 晾衣绳 θ = 5° 时张力几倍体重?(p.8)④ 斜面分界角 tan θ* = μ 从哪两步推来?(p.9)⑤ 离群值的处理规程是哪三步?(p.17)
易错清单:控制变量漏列(开题关);读数少估一位(精度造假);静默删除离群值(伦理红线);纵轴截断不标注(图骗人);把「无显著差异」说成「证明相等」(结论越界)。
手册是活的文档:每做一次实验就修订一次。它最终长成的样子,就是「实验科学家」在您身上的样子。
冬研会第四板块「实验数据评审」正式开张,赛制三段:
第一段 快闪报告(30 分钟):每组 4 分钟(超时断电),结构强制五帧:问题—设计—数据图—主结论—局限与改进。评审席(教师+上章游戏组代表)按「数据硬、图清楚、结论不越界」三栏打分。
第二段 质询攻防(30 分钟):评审每组至少两问,优先抽「反击清单」同源问题。攻防记分:答得准(1 分)、答得诚实(「数据不支持这个结论」也是满分答案)、答得快(不必快,但要接得住)。
第三段 现场复测(20 分钟):随机组现场补抛 20 次、力学组现场重测一个点——用新数据当场检验主结论是否依旧站得住。这一段是本章灵魂:实验的尊严在于随时欢迎新数据。
积分入总榜,设「最扎实实验」「最诚实误差」「最佳可视化」三项。冬研会总任务叠加:报告终稿+手册第一版归档;每人一页「本学年最想重做的一次实验及改进方案」——第 6 章综合站的选题备选池就用它。
今天起,各位读者看到任何新闻里的数字(「某研究显示……」)都会本能地问三句:样本怎么来的?对照组呢?误差多大?——这三问,就是本章送您的终身免疫力。
p.101–125 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

公元前 58 年,高卢战场。凯撒给西塞罗写信,用的是一种「敌人即使截获也读不懂」的文字:每个字母沿 alphabet 后移三位——A 变 D,B 变 E,X 变 A。这就是史上最有名的密码:凯撒密码。苏托尼乌斯在《十二帝王传》里记下了它的破法:「第四个字母代替第一个」,懂行的读者一眼即穿。
两千年来,密码学与密码分析(破译)此消彼长,像一场没有终点的军备竞赛。而支撑这场竞赛的武器库,其实是一小箱数学:计数、频率、模运算、素数、连分数。本章的惊喜在于:箱子里居然还有黄金比——它将以「最难用有理数逼近的无理数」的身份出场,连祖冲之的密率 355/113 都要靠连分数来给它让路。
本章项目收官之作:每组设计一门自己的密码,实现加解密,分析强度并互相破译——最后一战「密码挑战赛」将是冬研会最刺激的板块。开战之前,先把三件兵器磨亮:连分数(近似之刀)、模运算(密码之轮)、频率(破译之眼)。
密码学的第一课反直觉:加密方法的保密性不能建立在「敌人不知道方法」上(方法终会泄露),只能建立在「敌人不知道钥匙」上——这是柯克霍夫原则(1883),信息时代安全设计的总纲。
黄金比 φ 上章已在递推极限里现身(第 2 章专题④),本页用「测量」的方式再认识它一次,并埋下本章主线的引信。
操作一(人体测量):古人说「肚脐分身高成黄金比」——全班互测:身高 H、肚脐高 h,算 H/h。汇总数据:均值是否 ≈ 1.618?离散多大?——这是统计与黄金比的第一次会师:传说中的「人体黄金比」经得起数据检验吗?(剧透:均值往往 1.6 附近但离散不小,「每个人都是黄金比」是夸张。)
操作二(雅各布楼梯):画一列正方形逐级增长:1×1, 1×1, 2×2, 3×3, 5×5, 8×8……即第 2 章的斐波那契拼图。量级联矩形的长宽比(8/5 = 1.6, 13/8 = 1.625, 21/13 ≈ 1.615)——从上下两侧夹向 φ,一次从下、一次从上。
操作三(五角星找 φ):正五边形每条对角线与边的比恰为 φ(可由相似三角形证明,H1-3 册将给几何证明)。用量角器与直尺画正五角星,量一条边与一条「星臂」(对角线段)验证。
操作四(φ 的机械逼近):用计算器连按 √(1+√(1+…)) 十层嵌套,看结果如何爬向 1.6180——φ 还是个「连根号」:φ = √(1+√(1+√(1+…)))。层层嵌套而值不乱,这已经是「连分数」思想的近亲——下一页正式展开。
测量实验的提醒:所有比值保留四位,误差栏如实记录——本章是「密码章」,但「诚实测量」的纪律从第一章带来,一克都不能少。
操作一(热身两例):x = 7/3:⌊7/3⌋ = 2,余 1/3,取倒数 3——连分数 [2; 3],戛然而止(有理数连分数必有限)。x = √2 ≈ 1.4142:a0 = 1;1/0.4142 ≈ 2.4142,a1 = 2;余 0.4142 又回来——得 [1; 2, 2, 2, …],全 2 循环!√2 的连分数是「周期」的。
操作二(黄金比登场):φ = 1.6180:a0 = 1;1/0.6180 = 1.6180——余数是自己的复制品!得 [1; 1, 1, 1, …],全 1。φ 的连分数比 √2 还简单:它是「最无理」的数——无理程度用连分数的系数大小衡量,全 1 是最小可能。(这正是第 2 章向日葵机制与威索夫游戏双双点名 φ 的深层原因。)
操作三(截断逼近):把 φ 的连分数逐层截断:1, 1+1/1 = 2, 1+1/(1+1/1) = 3/2, 5/3, 8/5, 13/8……——斐波那契比值再次列队!截断值叫渐近分数,它们是逼近无理数的「最优有理数」(下一页专题②给精确含义)。
操作四(自选数字):算 π ≈ [3; 7, 15, 1, 292, …] 的前四个渐近分数——第三个 355/113 正在等您(p.8 有它的故事)。
辗转相除与连分数是同一种算法的两件马甲: Euclid 辗转相除去最大公约数,连分数去「无理性」。GCD、渐近分数、以及下一章的 RSA,其实共用一条数学走廊。
回到凯撒的战场,把他的密码学成可计算的。
操作一(加密演练):明文 MATH(M=12, A=0, T=19, H=7),k = 5:得 (17, 5, 24, 12) → RFMY。把您的名字用 k = 5 加密,同桌互验。
操作二(模运算手感):26 + 3 mod 26 = 3(绕圈);−1 mod 26 = 25(Z 是 A 的「前一个」);15 + 15 mod 26 = 4。练十道 mod 26 口算——模运算的「圆环直觉」是本章一切密码的公共地基。
操作三(穷举破译):把同桌的密文用 k = 0..25 全部试一遍(乘法密码的圆环上只有 26 把钥匙)——必中。数一数您用了几次尝试:26 次穷举,人工两分钟,计算机一毫秒。结论预支:移位密码的钥匙空间太小,安全为零;但这「数钥匙」的习惯将伴随整章——安全性 = 钥匙空间的大小 × 破译所需的计算量。
操作四(乘法升级):仿射密码 c = (a·p + b) mod 26:a 须与 26 互素(否则解密会撞车——为什么?用 a = 13 试一试就懂:奇偶位全并成一类,钥匙丢了)。a 可取 12 个值 × b 26 个 = 312 把钥匙——钥匙空间大了 12 倍,可依然不堪一击。多大才够?——后面专题⑤见分晓。
「mod 圆环」是密码学的操场:所有古典密码都在这个环上跑圈。环的半径(模数)越大、跑法(函数)越刁,圈就越难猜。
钥匙空间再大也挡不住统计——破译学的第一神兵是字母频率表。
操作一(建立指纹库):取一段中文(或英文)课文,统计每个字母出现次数,画柱状图。英语指纹:E 独占鳌头(约 12.7%),T、A、O、I、N 随后;中文的字频指纹:的、一、是、了……领奖台常年不变。这份指纹库就是您的「破译字典」。
操作二(实战破译):教师发一段凯撒密码加密的英文密文(约 200 字符,钥匙未知)。流程四步:① 统计密文字母频率,画柱状图;② 与指纹库对表——最高频密文字母多半是 E 的化身,定出候选 k;③ 按 k 解密读前两行,语感校验;④ 不通则换次高频对表。多数同学 15 分钟内破出。
操作三(防御推演):破译成功后反问:为什么频率分析能得手?——因为明文的统计结构泄漏到了密文里(替换是「一换一」,高频字还是高频)。要堵漏,就得让「一」变「多」:同一个 E 在不同位置换成不同字母——多表密码(维吉尼亚,16 世纪)应运而生,它把破译难度抬高两百年,直到 1863 年卡西斯基发现重复密钥的破绽。
操作四(公平赛):两人一组,各自加密一段 100 字符文本(移位或仿射),交换限时 10 分钟破译——破出得 2 分,未破出加密方得 1 分。今天的积分只是热身,冬研会决赛另算。
频率分析相传由阿拉伯学者肯迪(约 850 年)首创——他用的语料是《古兰经》手抄本。统计学与密码学的千年联姻,比皮尔逊早了一千年。
把 φ 的代数身份一次配齐,为连分数一节备好弹药。
推导现场:φ2 = φ+1 由解方程来(x2 − x − 1 = 0 的求根公式);φψ = −1 由韦达定理(两根之积 = −1);φn = Fnφ + Fn−1 用归纳法:n = 1 时 φ = F1·φ + F0 = φ 成立;若对 n 成立,则 φn+1 = φ·φn = Fn·φ2 + Fn−1·φ = Fn(φ+1) + Fn−1φ = (Fn+Fn−1)φ + Fn = Fn+1φ + Fn。归纳完成。
连根式身份的推导:由 φ2 = φ+1 两边取 φ 因子:φ = √(1+φ),右边的 φ 再代入自身——无穷嵌套根式 φ = √(1+√(1+√(1+…)))。同理 φ = 1 + 1/φ 给出连分数 [1; 1, 1, …]。一个二次方程,两种无穷展开——自相似结构是二次无理数的胎记(√2 全 2、√3 半周期,皆同理)。
拉马努金的连根式传奇:他给 Hardy 寄去 3 = √(1+2√(1+3√(1+…))) 这类怪物——连根式的世界比二次方程深远得多,但入口都在今天这页。
连分数不只是记数游戏,它是「用有理数逼近无理数」的最优机器。
三个对照实验(心算级):① 逼近 π:分母 ≤ 7 的分数里 22/7 最佳(误差 0.0012);分母 ≤ 113 里 355/113 最佳(误差 0.00000027);中间的 333/106 则平庸——因为 π 的连分数系数 [3; 7, 15, 1, 292, …] 里「15」和「292」很大,大的系数 = 那一层「特别值得截断」= 出现特别好的逼近。系数大小 ↔ 逼近质量,这是连分数给出的深层读数。
② 逼近 φ:渐近分数 Fn+1/Fn 的误差 ≈ 1/(φ·Fn2)——系数全 1 意味着每一步都只拿到「最低配」的逼近,φ 是最难被有理数逼近的数。回头看第 2 章:向日葵选黄金角正因为它「最难被分数逼近」,籽粒排列才最不重叠;威索夫 P 态用它,也是因为它「最难撞车」——三处伏笔,一根主线:连分数系数。
③ 历史现场:闰年规则「四年一闰,百年不闰,四百年再闰」的本质是逼近 365.2422 天/年——回归年与历法年的连分数:1 年 ≈ 365 + 1/4 − 1/100 + 1/400 天。历法就是一部写在日历上的连分数逼近史。
逼近的艺术一半在「多算一位」,另一半在「知道哪里不值得多算」——连分数用系数的大小,把这份判断写成了公式。
公元 5 世纪,祖冲之(429–500)给出圆周率的三个记录:3.1415926 < π < 3.1415927(八位精度,保持世界纪录约九百年);两个分数近似 22/7(约率)与 355/113(密率)。密率误差 2.7×10−7,而分母只有 113——「精度/复杂度」的性价比高得惊人。
连分数解释其妙:π ≈ [3; 7, 15, 1, 292, …],第五个系数 292 大得反常。渐近分数依次为 3, 22/7, 333/106, 355/113, 103993/33102……下一级渐近分数要等到分母 33102 才出现,而精度提升却极有限——355/113 是「性价比悬崖」上的最高点:之后九百年,任何新分数想超过它,分母都得翻三百倍。
数学家考克斯特的感叹:在「分母不超过 33102」的世界里,355/113 是人类能得到的一切。祖冲之如何在《缀术》(已佚)中得出密率,史无定论——候选路径包括连分数(中国「调日法」与之神似)、割圆术外推、或何承天的调日法加权。无论哪条路,他与连分数的最优性定理不谋而合。
演算验证三步:① 355/113 = 3.14159292…,与 π 的差 0.00000027;② 用误差公式 |π − 355/113| < 1/(113 × 33102) ≈ 2.7×10−7——理论与实测咬合;③ 对照 333/106 的误差 8.3×10−5:分母只差 7,精度差三百倍——大系数 15 的威力实锤。
纪念:月球背面有一座环形山以祖冲之命名,小行星 1888 号叫「祖冲之星」——密率 355/113 至今仍是工程上「够用且好记」的 π(记住 113355,从中剖开:113/355 倒序除之)。
古代中国的「调日法」用连分数思想调历法、祖冲之用它封顶 π 的分数逼近——本章第 2 章的垛积、上页的闰年,东方算学的「逼近智慧」一路在场。
把 p.4 的 mod 圆环从「游戏」升级为「数学结构」,古典密码的最后一块基石就位。
求逆实操:在 ℤ26 里求 7−1——找 7x ≡ 1 (mod 26):7×15 = 105 = 4×26 + 1,故 7−1 = 15。而 13−1 不存在(gcd(13, 26) = 13)。用「辗转相除法」求任意逆:26 = 3×8 + 2, 8 = 4×2,倒推得 2 = 26 − 3×8, 1 = 8 − 4×2 = 8 − 4(26 − 3×8) = 13×8 − 4×26——扩欧算法一次成形。
密码应用三连:① 仿射密码的解密钥匙就是 a−1(p = a−1(c − b) mod 26)——p.4 里「a 须与 26 互素」的谜底:不互素则逆不存在,解密图穷;② 仿射密码钥匙空间 a×b = 12×26 = 312,加上频率分析照样秒破——古典密码的末路;③ 换大模数:mod 1075 之下,「求逆」要用扩欧,「求离散对数」(已知 g、h 求 x 使 gx = h mod p)则可能要算到宇宙热寂——模运算里「正着算易、反着算难」的不对称性,正是现代密码的命根子。
离散对数小试:ℤ7 里 g = 3:31 = 3, 32 = 2, 33 = 6, 34 = 4, 35 = 5, 36 = 1——每行遍历全部非零元(g 是「生成元」)。模 7 手算轻松;模一个大素数时,表就列不动了。
把「运算容易、逆运算困难」做到极致,就是密码学的全部野心:加密是下山,破译是爬山——下山一万米,爬山一万光年。
1977 年,麻省理工学院的三位年轻人 Rivest、Shamir、Adleman 发表 RSA:密码学历史上第一次,加密的钥匙可以公开。此前所有密码(凯撒到恩尼格玛)都共享同一把钥匙,密钥的分发本身就是难题;RSA 用一条数论定理解开了这个死结。
为什么成立:欧拉定理(C 段数论主角,先尝鲜)保证 med = m1+kφ(n) ≡ m (mod n)——公钥加密的,只有持 d 者能还原。安全性根基:想从 (n, e) 求 d,需要知道 φ(n) = (p−1)(q−1),而它需要把 n 分解成 p×q——大数分解是公认的难题:n 有 600 位时,全世界算力合力也要数十万年。
小例走通全程(模数取玩具级 n = 33 = 3×11, φ = 20, e = 3, d = 7(3×7 = 21 ≡ 1)):加密 m = 4:c = 43 = 64 ≡ 31 (mod 33);解密 c = 31:317 mod 33 = ?——用快速幂(第 2 章倍增!):312 = 961 ≡ 4, 314 ≡ 16, 317 = 314·312·31 ≡ 16×4×31 = 1984 ≡ 4 (mod 33)。往返无误。您刚用三行手算跑通了一次「公钥加密」。
现实影响:您每次打开 https(网址前的锁)、每次扫码支付,背后都是一次 RSA 或其 successors 的握手。数论——曾被视为「最无用」的纯数学——在 1977 年后成了全球数字经济的看门人。
G. H. Hardy 曾自豪于数论「干净无用,不会伤人」——《数论导引》出版四十年后,RSA 让他的自豪变成了历史反讽。基础研究的时间尺度,从来以代数计。
「无理数」字面像骂人,本页把它变成可定量的话题:无理程度可以排名。
铺垫:所有无理数「稠密程度」一样(任两实数间都有),但「有理逼近的难度」天差地别。连分数系数的「品格」是尺子:系数小(全 1 的 φ)→ 最难逼近 → 最「无理」;系数大 → 被分数「收编」得快 → 相对「有理气质」。刘维尔 1844 年更进一步:构造出被分数逼近得好到违反代数数极限的数(超越数的第一个存在性证明)——逼近论直接出手证明了超越数的存在。
研讨问题一:给三个数排序「无理程度」:√2([1; 2, 2, …])、φ([1; 1, 1, …])、π([3; 7, 15, 292, …])。您的排序与理由?(注意 π 前几层系数大,但已知的信息只是开头;它的「长期品格」至今是未解之谜——连 π 的连分数是否系数无界都不知道。)
研讨问题二:为什么说 φ 是「与有理数世界最疏远」的数?结合三处证据发言:连分数全 1、渐近分数误差只拿保底(1/(φq2) 量级)、向日葵与威索夫的「不撞车」需求。一个数「难被逼近」是缺点还是优点?——取决于您站在测量一边还是排布一边。
研讨问题三:词源反思。「无理」(irrational)源自希腊 «άλογος»(不可言说/无比例):毕达哥拉斯学派发现 √2 不能写成整数比时,传说希帕索斯因泄露此秘而溺亡。对照今天「无理程度」的定量排名——「不可言说的恐惧」如何变成「可计算的常识」?这段观念史说明了数学化是什么。
从「发现无理数要付出生命」到「给无理性排座次」——两千五百年间,数学把恐惧变成了分类学。这是本章研讨最想让您带走的一句话。
本章反复出现「最优逼近」(密率、渐近分数、闰年),本页把「近似」从技术升格为哲学。
立场一:近似不是「不精确的精确」,而是另一种精确——对「精度/代价」比的精确。355/113 与 π 差 2.7×10−7,对大多数工程绰绰有余;NASA 深空导航用 π 约 15 位;量子引力计算至多需要 π 的 32 位(普朗克长度尺度)。「需要多少位」本身就是科学判断的一部分。
立场二:逼近有「谱系」。同一对象有不同坐标系下的逼近优者:π 用连分数(355/113)、用级数(Chudnovsky 公式,每项添 14 位)、用概率(蒲丰投针)——选逼近方法 = 选与对象合拍的结构。与第 2 章研讨①「换个坐标,复杂度消失」同宗同源。
立场三:近似值的传播伦理。案例:圆周率立法风波(1897 年印第安纳州议会险些把 π 定为 3.2);工程手册里 π = 3.14 的传播链。讨论:什么时候「简化」是善意(教学)、什么时候是伤害(立法、误用于高风险工程)?给「近似的免责声明」拟三条款。
研讨问题:数学里「精确」与「近似」的等级关系是什么?给出您的立场:候选答案 A:精确是理想,近似是妥协;B:精确与近似是两种并列的工具,各有统治领域;C:一切测量皆近似,「精确」只活在数学内部。分组辩论,各写 100 字立论。
计算机时代的新警句:浮点数世界里没有「相等」,只有「误差小于 ε」。学会与 ε 和平共处,是这个时代的基本数学素养。
密码学是数学「从抽象到生存」最快的通道之一,本页梳理这门军备科学的数学底牌。
谱系速览:古典(凯撒/维吉尼亚)——武器是频率与组合;机械时代(恩尼格玛)——武器是置换群与统计决策(Banburismus);现代(RSA/椭圆曲线)——武器是数论难题(分解、离散对数);量子时代(后量子密码)——武器是格上的最短向量问题。每一代升级,都是一次数学边界的扩张。
一个深刻的不对称原则贯穿始终:密码学寻找「单向函数」——正算一秒、反算万年的函数。模乘是候选(乘开容易、分解极难)、模幂是候选(幂算容易、离散对数极难)。而「单向函数存在性」至今未被证明——它是比 P vs NP 更早悬置的圣杯。全世界的数字安全,悬在一个未证实的假设上。
研讨问题一:数学难题的「难」如何度量?介绍三把尺:穷举时间(钥匙空间)、已知最快算法复杂度(分解有亚指数算法 sub-exp,比穷举快得多)、量子算法(Shor 1994 年多项式分解——RSA 的死刑判决书,只是量子计算机还没造够大)。讨论:密码学怎么应对「理论死刑、执行暂缓」的局面?(后量子迁移已启动。)
研讨问题二:密码学的道德光谱:同一套数学,既保护您的支付,也保护勒索软件。技术中立的边界在哪?举一个「数学成果的伦理双面性」案例(原子物理?优化算法?)对比讨论。
密码学史的潜台词:安全不是「无懈可击」,而是「破译成本高于信息价值」。数学负责抬高成本,社会负责权衡价值——两个系统协同运转。
本章最后一个研讨回到人:当密码学保护着一切,隐私的版图如何重画?
三个现实切片:① 端到端加密(WhatsApp/Signal):运营商也看不到内容——数学给了公民对抗监听的能力,也给犯罪者递了工具(「going dark」争论);② 匿名与溯源:区块链的假名性(非匿名!)——链上每笔交易永久可查,「隐私」从「不被看见」变成「不被关联」;③ 差分隐私:统计机构发布人口数据时注入受控噪声,让「群体统计有用、个体不可辨识」——隐私被数学化成了一个可调参数 ε。
研讨问题一:您愿意用多少隐私换多少便利?做一个量化实验:列出您手机里 10 个 App 的权限申请,逐个标注「我给/不给/给了但后悔」,统计您的隐私预算表。全班汇总:哪些权限是「集体让渡」的(位置、通讯录)?有没有办法回收?
研讨问题二:「我有做错什么,为什么要怕被看?」——这句流行反问的漏洞在哪?(提示:隐私 ≠ 有罪;被观看本身就改变行为——回访 p.7 的霍桑效应,监视是永恒的实验设计偏差。)
研讨问题三:柯克霍夫原则(p.1)在隐私时代的延伸版:系统的安全不能依赖保密,只能依赖数学与钥匙。对照「数据不落地」「最小化收集」原则——工程伦理与数学约束如何配合?写出您组的「数据三律」。
数学在隐私战场上的角色独一无二:它是唯一能「以可证明的方式」给承诺的学科——「不可区分性」是可以写定理的。别处许诺靠信用,这里许诺靠证明。
本章项目总任务:小组设计一门原创古典密码(纸笔可加密解密),分析其强度,冬研会「密码挑战赛」上互相破译。今天开题。
设计底座三选一+至多两个自选旋钮:① 替换系(单表/多表/仿射变体——注意频率泄漏);② 移位系(凯撒变体、滚动钥匙);③ 分置系(栅栏、列移位、棋盘 Polybius)。旋钮候选:双字符替换、按位置变化的钥匙、明文校验位。底线约束(柯克霍夫原则 enforced):假设破译者完全知道您的算法,只有钥匙保密——凡是「靠没人知道我这么设计」的安全,直接判零分。
开题四件套沿用模板,新增两项:钥匙空间估计(您的钥匙总共有多少种?写计算式);对手画像(您预期对手用穷举?频率?还是别的?各需多少时间?)。
审查关两条:规则无歧义(密文可唯一还原明文——拿一段测试文先自测);钥匙空间 ≥ 106(防止冬研会被穷举秒杀——106 是「一秒一 trial 也要 12 天」的尊严线)。
设计提示:历史上真正的强古典密码(维吉尼亚+动态密钥)都赢在「让频率分析失效」——您的旋钮,最好冲着「打散统计结构」去。
今天把密码从设计图变成可运行的系统。
纸质实现(必做):把加密规则写成一张「操作卡」——三行以内的机械步骤,组外的人照卡能加密。测试三段文本:普通中文、含标点数字、含重复字(「的的的」),验证明文密文一一对应(加密两次必须可逆)。
表格/程序实现(选做其一):电子表格用 MOD、LOOKUP 函数实现批量加解密;或写 20 行以内的代码(字符转编号 → 运算 → 编号转字符)。实现的真正价值:规模化自测——拿 1000 字文本加密,为下一页的强度分析备料。
密钥管理规范(今天立规矩):钥匙随机生成(不许用生日、名字——字典攻击首选就是它们);钥匙记录在单独密钥卡上;加密样本与钥匙分开放——这些「安全流程」占评分的「规范性」一栏。
加密样本包:每组提交 3 份样本——① 200 字普通文本密文;② 200 字高频字密集文本密文;③ 50 字极短密文。样本将进入冬研会的「破译题库」。
实现环节最常见的翻车:边界情况(标点、空格、数字如何处理)没写进规则卡——密码学的「工程味」就在这里:规则要覆盖全宇宙,不是只覆盖好天气。
今天做一次对自己密码的「红队攻击」——用 p.5 学会的所有破译武器打自己的系统。
攻击流水线四档(按顺序执行,记录每档结果):① 穷举档:按钥匙空间逐把试(纸笔试 50 把估算速度,外推总量);② 频率档:对 200 字样本做字母/字频统计,与指纹库对表;③ 结构档:找密文中的重复片段(推钥匙长度——卡西斯基测试的手工版);④ 语感档:对候选部分解密结果做「像不像人话」的排序。
强度评分卡(如实填写):钥匙空间 | 穷举所需时间 | 频率分析能否大幅缩小候选 | 重复片段是否泄漏 | 短文本是否可破。结论栏必须写一句诚实总评:「本密码对 XX 档攻击抵抗,对 XX 档失败」。
改进迭代(至少一轮):针对流水线中失守的最低档做一处修改(只改一处!),重新测试三档。记录「改前 vs 改后」的钥匙空间与攻击耗时对比——改进必须可量化,否则只是感觉。
红线自查:您的安全是否依赖「算法保密」?是则回炉(柯克霍夫原则一票否决)。改进后的新样本重新提交题库。
红队文化是密码学的传统美德:真正的安全感来自「被自家最强的攻击打过且活着」。数学里这叫「用最坏情形做保险」。
密码说明书日。这份文档的目标读者是「懂 mod 运算但不懂数学的人」,写作难度高于报告。
写作三律沿用第 2 章并加一条:反例自带——主动写出「一段会被破译的短文本」示例,标注您的密码在此失效及原因。敢亮反例的说明书,可信度翻倍。
符号自查:mod、⌊⌋、≡ 等记号首现必须有白话解释;钥匙空间写成具体算式(如 26×25×24×…×19 = 26!/18! ≈ 3.3×109)——评委将抽查两处计算的复算。
交叉评审:与邻组交换说明书,审稿三问——照操作卡能独立加密吗?强度计算能复现吗?局限声明与强度分析自洽吗?回执修改。
说明书是密码的「定理页」:规则、证明(强度论证)、适用域(局限声明)三件齐——数学写作的全部纪律,在密码项目里一个不少。
冬研会收官板块「密码挑战赛决赛」备战日。赛制设计四件套:
件一:题库上墙。各组样本包编号匿名上墙(Sample #1–#24),附说明书摘要(不含钥匙)。抽签决定各组的主攻样本(避开设题组自破)。
件二:破译积分规则:破出一篇完整明文 5 分;破出钥匙 3 分;给出可信的部分破译(连续 20 字正确)2 分;提交「破译过程报告」另有过程分。防杠条款:穷举程序或超出纸笔的工具提前报备分类(「纸笔组」与「辅助组」分开计分)。
件三:摊位与道具:频率指纹库海报(全班共用武器库)、计时器、破译记录表。摊主职责:答疑(只答算法相关问题,不漏钥匙提示)。
件四:防守彩排:各组用别组眼光自查一次——「如果我是攻击者,第一刀砍哪里?」把自查结论写成 3 行「防御预案」,决赛答辩要用。
90 秒陈述第五版排练(问题—做法—发现—追问):本章版本把「发现」换成「强度结论」,把「追问」换成「我知道的下一个攻击是什么」。
密码挑战赛的魅力在于身份反转:设计者今天都是攻击者。攻守换位的思考方式,是本章送您的第二件终身装备(第一件是「让数据说话」)。
从凯撒的军情到您的扫码支付,密码学两千年的演进只有一条主线:信任的物化。古人信任「方法隐秘」(藏在羊皮卷里),柯克霍夫说方法靠不住;密码学家说「钥匙隐秘」靠不住人只可靠数学;RSA 说连钥匙都可以半公开——信任的锚点一步步从「人的保密能力」迁移到「数学的难度保证」。今天,您与陌生商家的每笔交易,本质上是双方共同信任一条数论定理。
这份信任的另一面是可证明的谦逊:单向函数未被证明、量子威胁真实存在、每一个「安全 128 位」都是「在现有数学与算力假设下」。数学给安全的方式不是许诺永恒,而是划清假设、精确标价——像误差栏之于实验,像局限声明之于说明书。
把镜头拉远:本章您练的三件事——把数展开成连分数、把运算装进模圆环、把系统交给红队攻击——正是数学处理世界的三个典型动作:展开结构、装进系统、自我攻击。带着这三件行李,C 段的数论与抽象代数将不再是陌生的站名。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=5
阿兰·图灵(Alan Turing, 1912–1954)的名字同时刻在两块碑上:计算机科学与密码破译。1939–1942 年他在布莱切利园的工作,据历史学家估计把二战缩短了两年以上,拯救了上千万生命。
恩尼格玛(Enigma)是德军的转子密码机:三个转子(从 5 个里选装)+接线板,钥匙空间约 1.6×1020——穷举在机械时代绝无可能。波兰数学家雷耶夫斯基早在 1932 年就用群论(置换的循环结构)首破恩尼格玛,战前把成果移交英法;图灵们的贡献是把它变成可持续的工业破译:设计「炸弹机」(Bombe)利用已知明文片段(cribs,如「WETTER」天气预报)与逻辑矛盾排除法,每天清晨抢在德军换钥匙前完成当日破译。
图灵方法的数学内核有两样本章已备:① 统计决策——「Banburismus」用贝叶斯式的证据累积给候选钥匙排序(概率论的军事化);② 逻辑矛盾排除——恩尼格玛的反射轮保证「字母永不加密成自身」,仅此一条结构漏洞,就足够炸弹机排除绝大多数钥匙。结构即弱点:与 p.17 红队思想同源。
战后图灵提出图灵机与「机器会思考吗」(1950),1952 年因同性恋获罪(当时英国法律),1954 年去世。2013 年英国女王正式赦免,2021 年 50 英镑纸币印上他的肖像——历史迟到的道歉与致敬。
深读任务:查「恩尼格玛反射轮的结构」,用 100 字解释「自反性漏洞」如何被炸弹机利用——写成您红队手册的「历史案例页」。
图灵的遗产有两层:具体的是那台炸弹机与那场胜利;抽象的是「计算」本身成为数学对象——您用的每一台设备,都是那篇 1936 年论文的后裔。
模运算的东方源头,在南北朝的《孙子算经》:「今有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二,问物几何?」——答 23。这就是中国剩余定理(CRT)的出生证。
宋代秦九韶《数书九章》(1247)把它系统化为「大衍求一术」:给出一般解法(含模数不必互素的情形,超前欧洲五百年),用「求一」(即求乘法逆元——扩欧算法的中文版)定核心步骤。高斯《算术研究》(1801)独立给出同余方程组理论——两大传统在模运算上再次隔空握手。
解法尝鲜(孙子原题):设 x ≡ 2 (mod 3), x ≡ 3 (mod 5), x ≡ 2 (mod 7)。程大位《算法统宗》(1592)的口诀版:「三人同行七十稀,五树梅花廿一支,七子团圆正半月,除百零五便得知」——70×2 + 21×3 + 15×2 = 233,减 105×2 得 23。口诀里的 70、21、15 各是「除以 5、7 余 1 的 3 的倍数」等——正是求逆元思想的韵文版。
CRT 的现代地位:RSA 解密的 CRT 加速(快约 4 倍)、秘密分享(把密钥拆成 n 份、凑齐 k 份才能复原)、以及在「离散对数」难解性里充当配角。一个南北朝的趣题,在数字时代每天被执行亿亿次。
深读任务:用大衍求一术的思路手解「x ≡ 1 (mod 4), x ≡ 2 (mod 7)」(最小正解 9),把过程写成三行「术曰」体——体验用古算的语言写算法。
从「物不知其数」到 RSA 加速——中国剩余定理走了七百年到高斯,再走七百年到您的手机。好的数学从不迟到,它只是耐心。
本章延伸主线书:Charles Petzold《编码的奥秘》(Code: The Hidden Language)。它从「手电筒传摩尔斯码」讲起,一路自造继电器、加法器、存储器,最后组装出一台概念计算机——全书几乎不用公式,却把「信息如何被编码与计算」讲到骨头里。密码学是它的中间章节,与本章课程严丝合缝。
配套书单四本(难度递进):
阅读产出(并入冬研会个人任务):三行笔记制不变——最打动您的观点|最没读懂的概念|最想追问的问题。密码挑战赛决赛的「中场休息」将抽读三条现场分享。
《编码的奥秘》最动人的观点:编码不是「把信息藏起来」,而是「把信息变成可以搬运的形状」。从结绳到量子比特,人类文明史的一半是编码史。
本章四件兵器与两条纪律,装订入册:
自查五问:① 为什么 φ 的连分数全 1?(p.6 自相似)② 355/113 好在哪里、用哪个系数解释?(p.8 的 292)③ a 须与 26 互素的原因?(p.9 求逆)④ RSA 解密为什么必然还原?(欧拉定理预告)⑤ 柯克霍夫原则是什么、您的密码达标了吗?(p.1、p.17 红线)
易错清单:把 mod 当「四舍五入」(是取余);连分数截断忘了化简;频率分析只看首字母(看全分布);改进密码同时改两处(失控);钥匙用生日(字典攻击头号靶)。
工具箱总纲:本章的四件兵器在 C 段将合铸成一柄剑——数论。同余方程、欧拉定理、二次互反,都会以「您已经摸过的玩具」的面目重逢。
冬研会压轴板块,赛制三段:
第一段 破译决赛(40 分钟):按抽签主攻样本限时破译,纸笔组与辅助组分开计分;实时积分墙更新。中场休息 5 分钟:抽读三行读书笔记。
第二段 设计答辩(30 分钟):各组 3 分钟答辩——算法一句话、钥匙空间计算、强度结论、防御预案;质询席由破译成功的对手组担任(「各位读者在哪一刀失守」的现场复盘)。
第三段 颁奖与总榜结算(20 分钟):「最佳原创密码」「最强红队」「最佳说明书」三项+学年总榜(四板块积分)结算,前三名授予「九章格游戏大师」称号。冬研会全部成果(四板块报告、海报、手册、密码系统)统一归档。
学期收尾任务:① 个人「三行读书笔记」终稿提交;② 每组一页「下学期想深挖的问题」(汇入第 6 章问题墙);③ 预习指引:H1-3 春季册《向量·几何·概率》将从「商功」与「方程」两条主轴接棒——本册的向量实验(第 4 章)正是它的先头部队。
密码挑战赛的真正奖杯是那个瞬间:您设计的系统被对手攻破,各位读者一起笑着找出那一刀砍在哪里——这就是数学共同体的原始温度。
p.126–150 · 综合站 · 开幕 1 · 热身 1 · 挑战 5 · 讲评 2 · 项目 5 · 进阶 2 · 成果 3 · 答辩 1 · 复盘 1 · 思想卡 1 · 对弈赛 1 · 任务 1 · 规划 1

今天,本学期最大的一场活动正式开幕:九章格冬季研究大会(简称冬研会)。它不是考试,而是一次完整的学术年会演练——四个板块(非欧答辩、矩阵赛、策略擂台、实验评审、密码决赛)的成果在这里汇流,每个人的研究走完「定稿—展示—质询—评选」的全流程。
开幕仪式三件事:① 问题墙上墙:前五章每人提交的「最想深挖的问题」汇总张贴(预计 120+ 条)——它们是下学期选题的富矿;② 总榜揭幕:四板块积分榜开榜公示,答辩、破译、海报各线积分在此合并;③ 议题发布:冬研会主议题「简单规则与复杂世界」——四章内容恰好是它的四个证词(非欧公理之简、递推规则之简、博弈规则之简、密码结构之简)。
本周日程表(对应本章 25 页):D1–D2 知识竞答与五板块挑战赛;D3 成果初审与修改工作坊;D4–D8 研究报告定稿周(展板、讲稿、彩排);D9 进阶环节(跨组互访、专家连线);D10–D11 正式报告与答辩;D12 评选颁奖、总复盘、寒假任务发布。
角色卡制度(贯穿全程):每人抽一张角色卡——报告人、质询员、计时员、记录员——不同环节轮换使用;学术年会的每个岗位都要坐一遍。
冬研会的校训只有一条:一切结论可被质询,一切质询须有依据。这两句反过来读也成立。
大会第一声锣:全班知识竞答,把六章的「硬通货」过了一遍闪电战。赛制:小组抢答 20 题+必答 10 题,题目全部出自本册「自查五问」与「易错清单」。
抢答轮样题(当场揭底):① 三种几何的内角和各是多少?② Bouton 判据用哪个运算?③ 威索夫 P 态公式?④ 大数定律说的是频率还是概率稳定?⑤ φ 的连分数长什么样?⑥ 355/113 好在哪个系数?⑦ RSA 加解密用哪对指数?⑧ 凯撒密码破译的第一板斧是什么?⑨ 沈括「知其然」的下半句?⑩ 柯克霍夫原则一句话?
必答轮规则:每组从题箱抽 2 题,30 秒作答,可向本组「场外求助」一次(求助题减半分)。设计意图:必答强迫每条硬知识都被口述一遍——口述是记忆的淬火。
竞答积分入总榜(权重 10%)。赛后 5 分钟「错题快评」:答错率最高的三题当场重讲——它们通常正是质询环节的高频火力点,先替您排雷。
竞答的真正目的不是分高下,而是让全班的「共同词汇表」对齐——接下来一周的质询与答辩,全靠这张词汇表流通。
五板块挑战赛第一场:非欧几何专题答辩赛。形式:每组由答辩员(角色卡轮换)登台,抽签回答「深水区」问题,评委席由别组质询员组成。
题池三层(当场抽取):① 基础层:三种几何的平行线判据与内角和;② 进阶层:为什么柱面「看着弯其实是平的」?庞加莱圆盘如何「压缩」距离?③ 深水层:相对相容性证明的逻辑链;广义相对论把引力解释成什么、哪三个预言验证了它?
评分三维:准确(对不对)、深刻(点到机制没有)、风度(被追问时的样子)。特别条款:承认「这题我答不到那么深」不扣「风度」分——诚实的边界感是学术风度的最高级形态。
积分:基础题 1 分、进阶 2 分、深水 3 分;质询员的问题若把答辩员逼到「边界」且双方完成良性互动,质询员同加 1 分——好问题与好答案同样计酬。
答辩赛与 p.25 预展示的区别:那时练的是「讲」,今天练的是「接」。学者的两种肌肉,今天开始分化训练。
第二场:矩阵与递推的极限运算赛——比谁算得快、推得准、看得深。三个关卡:
关卡一(速度赛):限时口算 A20 的左上角(F20 = 6765)——用倍增表(A、A2、A4、A8、A16 已备于墙上)拼乘,最快且正确的组得 3 分。
关卡二(推证赛):白板推证「Fm+n = Fm·Fn+1 + Fm−1·Fn」(用 Am+n = AmAn 的矩阵法)——限时 8 分钟,推证清晰者满分;用归纳法硬推者同样满分,但用时通常翻倍——工具的差距在赛场上显形。
关卡三(建模答辩赛):各组递推项目(姓氏/楼梯/铺砖…)互抽一题,现场回答「若系数改成 ×、您的极限怎么变」的变式题——检验项目理解是否「可迁移」。
附赛彩蛋:现场大屏跑矩阵快速幂,输入 n = 1018,毫秒级吐出 Fn 的前 30 位——「对数速度」的视觉闭幕式。
矩阵赛的隐藏评分点:当您在白板前卡壳,是「重推一遍」还是「喊队友」?学术赛场的团队调度,也是被训练的对象。
第三场:各组原创游戏的擂台车轮战+策略分析对抗。
第一环节(车轮战):擂台主(设题组)守擂,攻方轮番挑战;每局限时 8 分钟。守擂组若连胜 3 场得「金擂主」徽章;攻方破擂则接擂。裁判组(轮值)监督规则执行与争议裁决——规则书的「争议裁决」条款将接受实战检验。
第二环节(策略攻防):攻方对守擂组发问:「您的必胜性分析里,P 态清单我实测有反例!」——守擂组须现场用分析文档回应。若确有反例,守擂组当场修分析文档并解释错处:修正本身加分,抵赖扣分。
第三环节(盲测快评):每组抽测一个「没打过的新游戏」10 分钟,给出「上手难度/策略深度/留存意愿」三星快评——第三方评价是游戏设计闭环的最后一格。
积分:金擂主 3 分、破擂 2 分、策略攻防胜 2 分、盲测评论被引 1 分。
擂台赛的大彻悟时刻通常是:设计时以为的「平衡」,车轮战下暴露为先手碾压——理论分析与实战体验的差距,本身就是最好的实验结果。
第四场:以「学术评审会」形式复盘各组的实验项目。流程仿真实期刊的同行评议:
第一环节(快闪复述):每组 3 分钟重述主结论(问题—方法—数据—结论),评审席对照原始数据卡核验。
第二环节(三问评审):评审席按固定三问开火——「这个控制变量为什么是它?」「离群值的处理依据?」「结论有没有超出数据的支撑范围?」——三问正是 p.19 预演过的火力点。
第三环节(现场复测):评审席随机指定一个测量点,全组当场重测一次并与报告数据对表——「实验的尊严在于随时欢迎新数据」的现场版。
评审单三条线:严谨性(方法与误差处理)、诚实度(局限声明与数据处理透明度)、清晰度(图与图注)。诚实度单独设奖——「最诚实误差奖」的分量重于「最漂亮数据奖」,这是评审会立下的价值观。
同行评议的制度本质:科学不信任任何单点结论,包括自己的。今天您评审别人,下学期别人评审您——制度的公正建立在轮换上。
第五场(压轴):密码破译决赛——本学期攻防的最高潮。
决赛规则升级(相比 p.25 备战方案):① 混合题库:各组样本+教师附加题(一段维吉尼亚密文、一段「的」字超密集文本);② 限时 40 分钟,破译报告即写即交(过程分随附);③ 终局复盘:每组 2 分钟公布「我们被攻破在哪一刀」与「我们攻破别人用了哪一刀」。
积分结算:破译满分样本 5 分×篇数、钥匙分 3 分、部分破译 2 分;防守端「零破译奖」3 分(须通过「柯克霍夫自查」验证——算法全程公开)。
决赛颁奖预告:本板块三奖——最佳原创密码、最强红队、最佳说明书。总榜四板块积分(竞答 10%+四挑战各 20%+报告答辩 20%)当场汇总。
五场挑战赛的公共复盘题(留到 p.21):五场里您「赢得意外」的一场与「输得服气」的一场各是哪场?——这两个答案连起来,就是您的学习画像。
挑战赛落幕,进入报告定稿周。第一步:教师+轮值评审组对全部项目报告给出初审意见(仿期刊审稿单)。
审稿单四栏:① Summary(审稿人用自己的话复述论文主结论——复述不出即写作失败的第一信号);② Major(必须修改的重大问题:论证断裂、数据缺口、结论越界);③ Minor(小修:图表规范、符号统一、错字);④ Verdict(三档:接收 / 修改后再审 / 重做)。
全班初审结果分布(往届经验值):「修改后再审」约占半数——这是正常且健康的;「重做」通常 1–2 组,多数因「分析档位与游戏/实验复杂度不匹配」或「控制变量失守」。重做不是惩罚:重做组将获得教师一对一的「急诊时间」,且重做成功的报告在终评中不受歧视——科学界奖励的是最终结果,不是一帆风顺。
今日任务:各组领回审稿单,逐条把 Major/Minor 誊到「修改清单」,标注每条的修改成本(10 分钟内可改 / 需补实验 / 需重构论证)。
审稿意见的读法:把每条 Major 翻译成「审稿人没看懂什么」而不是「审稿人刁难」——绝大多数苛刻意见,都是写作问题的账。
今天全天是开放工作坊:按修改清单逐条施工,教师巡诊,组间互助。
工坊规则三条:① 一条一commit:每完成清单一条,在报告修订记录表打勾并写「改了哪、怎么改的」——修改的可追溯性沿用实验记录的纪律;② 先重后轻:先攻 Major(论证与数据),再扫 Minor(格式与文字)——时间不够时砍 Minor 不砍 Major;③ 交叉复读:Major 全部处理完后,请邻组朗读您的「主结论段」——读者皱眉处,就是您以为改好了其实没改好的地方。
教师急诊室时段表:9:00–10:00 重做组专场;10:00–11:00 论证重构专场(含「命题级升级」的辅导);11:00–12:00 图表与数据专场。急诊挂号制:每组限 15 分钟,问题先写在挂号单上。
放学前的「再审快查」:轮值评审组只复核 Major 清单的落实情况——落实率 100% 的组领「进入终审」通行证。
修改日的心理关:初稿被挑出八条问题很正常,学术写作的真实面目就是「改出来的」。爱因斯坦的广义相对论手稿里,错误也不止八处。
定稿日。终稿在初稿结构(四节)上加三件年终增量:
格式终检清单(本书交付铁律的册内版):页边距统一、字号层级一致、图表编号连续、参考文献格式统一(本书目即模板)、无未完成占位残留、深色封面浅色内页的主视觉一致。
终稿提交两份:电子版(PDF,命名「组名_板块_报告终版」)+纸版一份(答辩席用)。提交即冻结——答辩中如需修改,走「更正声明」程序而非改稿。
定稿的仪式感是学术训练的一部分:从今天起,您交付的每一份文档都自带「这是最终版」的责任。
主会场视觉工程日。两条生产线并行:
展板线(海报):A1 尺寸,版面五分法终极版——标题区(含组名与一句话结论)、问题区、方法区、大图区(一图定乾坤:非欧组的球面三角照片、矩阵组的倍增表、游戏组的棋盘、实验组的主图、密码组的流程图)、结论区。美学军规复训:三色以内、图必有注、深色底金字或浅底深字二选一并全板统一、忌突兀白块。
幻灯线(PPT):正式报告用,12 页上限——封面、问题、方法(2)、数据/结果(3)、结论、局限、致谢、备用页(质询弹药库:放最容易被问到的 3 张数据细节图)。设计纪律:每页一个主张(页标题写结论不写「数据展示」)、字号 24 起步、动画只用「出现」不用「飞入」。
联检环节:展板与幻灯并排挂出,「视觉一致性」检查——同一组两件套的配色、字体、图形语言必须是一家人。
幻灯的「备用页」是老练报告人的暗器:质询来时从容翻到第 13 页说「这正是我们测过的」——弹药库的从容,是答辩风度的物质基础。
正式报告讲稿日。结构模板(12 分钟版):
打磨三遍法:第一遍写全文(可超时);第二遍压成提纲卡(每分钟一张卡,卡上只写主张+关键数字);第三遍脱稿走台(用手机录像回放)。三遍之后的验收标准:只看提纲卡能讲满 12 分钟且不漏主结论。
语言纪律:禁「然后」「就是那种」的口头禅(回放自数,目标 ≤ 3 次);关键数字必须「说人话」(不说「误差 2.7×10−7」而说「误差比头发丝的直径还小一百倍」)。
讲稿的最高技巧是「删」:12 分钟讲不完的不是内容多,是没想清主结论。想清了,自然讲得完。
全流程彩排日——把答辩的每个意外提前引爆。
彩排规格:按正式答辩全流程走(报告 12 分钟+质询 5 分钟),会场布置、计时器、评审席全部就位。每组彩排一轮,观察席(其余各组)持「彩排评分单」:时间控制、视觉配合(翻页与讲稿同步)、质询应对、紧张管理四项。
质询演习升级:评审席由「友军」改为「敌军」——教师与轮值质询员使用「压强题」三连:追问数据来源→追问方法假设→追问结论边界。压强题的目的不是击溃,是测量:每组被问到哪里开始「答非所问」,那就是明天的改进靶心。
彩排复盘会(当日最后一节):各组看自己的录像回放,列三条「明天改」清单(通常是:语速、翻页时机、某个数据没记住)。紧张管理技巧三条随堂传授:开场前深呼吸三次(生理降率)、开场 30 秒语速刻意放慢(热身)、被难住时的万能句式(「这个问题我们从 XX 角度还没有充分论证,目前可以确认的是……」)。
彩排的副产品往往比主产品值钱:多数组会发现「我们以为讲清楚了的那段」,观众根本没听懂——发现这种错位,正是彩排存在的意义。
明天正式报告,今天下午全班把教室变成年会会场。分区方案:
报告区:讲台+投影+计时器+翻页笔;评审席长桌(席卡:主席、评审员、记录员);报告人席与「后备弹药」桌(备用幻灯打印件、数据卡)。
展示区:展板按板块分区上墙(非欧区/矩阵区/游戏区/实验区/密码区),动线设计成「U 形」——质询环节结束后全场自由参观 20 分钟,人流不堵为验收标准。
仪式区:总榜积分墙(手工大表)、问题墙(含本周新增)、奖项台(三板块奖状+「九章格游戏大师」证书)。「议题墙」正对讲台:「简单规则与复杂世界」八个大字由各组各贡献一句证词围绕——开幕时的承诺,明天由报告兑现。
流程预演(10 分钟版):主持人开场词、计时员手势(剩 2 分钟/1 分钟/30 秒的三级提示)、评委打分表流转路线、突发预案(投影失灵→备用打印幻灯;答辩员缺席→B角顶上)。
布置会场的意义:让每位同学明白——学术活动不是「等着被安排」,而是每个人亲手搭起来的。会场是全班共同的作品。
正式报告前最后一个进阶环节:以「访问学者」身份到别组的领域发起一轮深质询。规则:
每人领一张「访问签证」:指定到本组项目之外的两个展区(如游戏组访问密码区、实验组访问非欧区),各提一个「有据之问」——问题必须引用对方的某页报告或某张图(禁止空泛的「各位读者怎么想的」)。提问质量由对方组记入「质询员荣誉簿」。
应答方纪律:可答、可部分答、可「记录在案待查」——三种回应都算合格;唯独「装懂」不合格。访问结束时,双方在「学术交流卡」上互签:问出了什么、答清了什么、遗留了什么。交流卡将贴在展板角落,成为「活的论文」。
教师巡访焦点:跨板块问题的「翻译质量」——比如实验组的「误差」概念能否在密码组被听懂为「攻击成功率的不确定范围」?概念能否跨组迁移,是本学年「共同词汇表」工程的年终验收。
访问质询的深意:学术共同体由「能互相听懂的人」组成。今天您听得懂隔壁组,是因为这一学期各位读者共享了同一条词汇的河流。
「专家连线」环节:邀请校内外数学教师/研究生(线上或到场)作为特邀评审,接受全班的自由问答,并预审两组的「高风险报告」。
连线流程:①各组提前投递「最想问专家的问题」问题池;②专家从池中挑 6 个现场作答(答不出的坦然承认「这个问题我不确定,我查后答复」——这本身是最好的示范);③特邀评审对两组高风险报告做「预答辩」,给出修改的最后意见。
往届高频问题实录(供预习):「非欧几何对普通人有什么用?」(答:至少三件——GPS 的时空修正、对「公理只是假设」的观念免疫、以及知道地图会撒谎);「AI 会取代数学家吗?」(答:AI 正在成为最强的「猜想机器」,但证明的叙事与审美的判断仍是人的领地——请带着这个问题到 H3 册看哥德尔);「高中生做研究最该避免什么?」(答:避免「选题太大、结论太满、误差不谈」三件套——各位读者这学期一直在练的反面)。
连线后的「收获三行」:每人记三行——专家最颠覆我认知的一句话|我最想追问而没来得及的问题|我对自己项目的最后一条修改灵感。第三行当晚落实进终稿。
专家连线最珍贵的一课往往在题外:看到真正的学者如何说「我不知道」——知识的边界处站着诚实,这是任何课本教不来的示范。
主会日(上):非欧区、矩阵区、游戏区三组板块的正式报告与答辩。
流程(每组 17 分钟):主持人介绍(30 秒)→ 正式报告(12 分钟,超时由计时员断电)→ 质询(4 分钟,评审席+全场提问,访问质询的「有据之问」优先)→ 评审打分(1 分钟流转)。
评分表五行(各 20 分):问题价值|方法严谨|数据/论证质量|表达与视觉|质询应对。总评另设「超越预期」加分项(≤ 5 分)——留给那些「答辩现场比彩排更好」的组,奖励现场生成力。
主持词与计时全部由学生班底执行;评审席构成:教师 1 票+特邀评审 1 票+轮值学生评审 3 票——学生评审按 p.6 评审单标准独立打分,教师票与学生票同权。
上半天结束时的固定仪式:全场为「今天最难忘的一个回答」鼓掌一次——鼓给内容,也鼓给勇气。掌声过后,下半场继续。
主会日(下):实验区、密码区两组板块报告+全场自由参观。
下半场与上半场同规,另加两个环节:① 现场复测结果公布(p.6 挑战④的遗留项):被抽中复测的组当众对表新旧数据——一致则掌声,偏差则当场分析原因(这可能是全场最有教育价值的 3 分钟);② 密码破译战报:公布各组样本被攻破/幸存的终局榜,破译者与设题者同台握手——攻防双方都是英雄。
自由参观(20 分钟):全场按 U 形动线巡展,每人持 3 张「金点贴」投给别组的展板亮点(投给「看懂了且佩服」的那格)。金点贴结果当场贴上总榜——大众评审的分量。
闭幕小节:主持人宣读「冬研会数据速报」——五板块报告 40 份、质询问题 200+条、破译样本 24 篇、金点贴 120 张、以及问题墙的净增问题数(这是最重要的一项:好年会结束时的疑问应当比开始时更多)。
数据速报的最后一行永远留给「未解问题数」——它比任何奖项都更能预示这个班的下学期。
本页把质询环节的经验蒸馏成一门「答辩技艺」手册——它属于您,不属于某一场答辩。
答辩人的四步应答法:① 听完再答(不打断、记关键词);② 复述确认(「您问的是……对吗」——把模糊的刀刃变清晰);③ 分层作答(先给结论一句,再给依据两层);④ 边界声明(「这部分我们没做到,目前可确认的是……」)。
赛后自评表(答辩员每人一页):最险的一刀是哪种刀法?我用四步法了吗?哪一步最想重做?——自评表入个人档案,与下一学年的答辩自评对照成长。
答辩的终极心法:您不是在「防守」,而是在「共同检验」——质询者是您的同行,不是您的敌人。这个心态立住了,所有技巧都会自然生长。
冬研会压轴仪式:评选与颁奖。评选流程全程透明:
第一阶段(终评计分):综合分 = 初审质量 20%+终评答辩分 50%+总榜积分 20%+金点贴 10%。教师终评会当堂唱票——每组的分数构成逐项公示,不搞「黑箱综合印象」。
第二阶段(单项奖):最佳原创游戏(游戏区)、最扎实实验(实验区)、最强红队(密码区)、最佳海报(全场)、最佳质询员(荣誉簿票选)。「最佳研究」大奖一个:终评总分第一名,奖杯流转(下学期由下届冬研会重新争夺)。
第三阶段(颁奖词):每个奖项的颁奖词由学生评审团撰写并宣读——要求写「具体的那个瞬间」(「他们在复测数据偏差时没有回避,而是当场指认了温度混杂」),禁止「团结奋进」式的空话。颁奖词本身也是本次大会的微型史志。
落选组的「成长档案」:每组的评审单、质询记录、答辩自评全部归档——这些纸比奖状更保值,它们是下学年起点的精确坐标。
评选的价值观藏在细节里:我们奖励诚实高于奖励漂亮,奖励修正高于奖励无误,奖励好问题与好答案同酬。这三条,比任何奖项都接近科学共同体的本义。
整册总复盘:把六章的方法收进一张「研究方法地图」,四条干道:
五场挑战赛的横评复盘:哪场赢在方法、哪场赢在临场?「方法赢」的可复制,「临场赢」的需归因(运气还是准备?)。个人复盘三问:本学期我最进步的一项能力是什么(对照 p.19 自评表)?我最想补的一块短板是什么?我下次研究想用上本章的哪件工具?
班级层面复盘(共创墙):本学期的「共同词汇表」新增了哪些词(角盈、N/P 态、渐近分数、单向函数……)?哪些词全班用得最顺、哪些还生涩?——生涩的词就是下学期开学第一课的复习清单。
总复盘的验收标准不是「都记住了」,而是「都会迁移」:当您面对一个全新问题时,能说出「我会先用第 X 章的 Y 方法试一刀」——那一刻,方法才真正属于您。
一学期下来,您完成过五种身份:测量者(在球面上量内角和)、建模者(把姓氏装进矩阵)、设计者(造一个游戏并证明它)、实验员(让硬币与弹簧秤作证)、密码师(与全世界斗智)。这五种身份共享同一个内核——把一句「为什么啊」变成一条有据的答案。好奇是每个人都有的火种,研究只是给它配了一套灶具:问题要小、方法要实、证据要真、结论要留余地。
还有一个藏在日程表里的真相:冬研会上最动人的时刻,几乎都不是「结论正确」的时刻,而是「诚实面对偏差」的时刻——当场复测对不上时的坦然、被反例击中时的致谢、专家说「我不知道」时的如释重负。科学的体面不在于永对,而在于错了认、认了改、改了接着走。把这句话带走:它管用的时间比一学年长得多。
最后一问留给您:问题墙上一百多条问题,哪一条是您的?寒假里让它陪着您——下学期,它就是您的第一个选题。
本单元配套游戏站(H1-2《游戏与结构》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-2.html?u=6
学年对弈赛冬季赛段收官,颁奖与结算日。
积分总榜结算(四源合并):四板块挑战积分(竞答+五挑战,权重 50%)、工坊战绩(游戏馆 Nim/威索夫/巴什/独立钻石棋的段位分,20%)、冬研会个人荣誉(答辩自评、质询荣誉簿、金点贴,20%)、读书笔记与三行任务(10%)。
称号授予(按总榜):前 10% 授「九章格游戏大师」;前 30% 授「策略骑士」;全体完赛者授「冬研会会员」——会员资格在春季赛段有特权(优先选项目角色、免一次必答)。
单项奖复盘点:金擂主、最诚实误差、最强红队、最佳质询员——每个奖的颁奖词(学生撰写版)当众重读一遍,作为冬季赛段的「集体记忆存档」。
春季赛段预告:对弈赛继续,新增「联赛制」——每周一个工坊主题(向量炮、概率骰、几何拼图),积分跨学期滚动;夏季总榜前三将获得「年度九章格大师」称号与毕业研究(H1-4《抽象之门》)的选题优先权。
颁奖的原则一以贯之:奖杯会流转,档案不会说谎。总榜的每一分都能追溯到某个具体的下午——这才是竞赛的干净之处。
寒假任务包发布——总量控制原则:每天 30 分钟以内,寒假是「小火慢炖」不是「大火收汁」。
必做(三件):① 主线阅读:从 p.23 书单(编码的奥秘/码书/数学之美)中任选一本的前三章,三行笔记×3(每章一签);② 问题墙认领:从问题墙认领一条您的「寒假问题」,保持好奇心档案——不必解决,只需每周记一行「我又想到了什么」;③ 工坊保持赛:游戏馆任选两馆,每周各打两局,把「最好成绩截图」留作开学入场券。
选做(两件,给学有余力者):④ 密码项目延伸:给您的密码系统写一个 20 行的程序实现并做穷举时间实测(与 p.17 的纸笔估算对表);⑤ 预读任务:H1-3 春季册开篇的两页(《向量·几何·概率》的「商功」溯源),写下三个「我猜这学期会讲……」。
返程验收(开学第一课):三行笔记互读、认领问题展讲 30 秒、工坊成绩入春季榜首日积分。验收标准只有一条:寒假的任务是让数学继续住在您的生活里,而不是塞满您的日程。
寒假阅读的隐藏彩蛋:《码书》里玛丽女王因一封被破译的密信而丧命——读完那一章再回看您的密码项目,您会更懂「钥匙空间」四个字的重量。
春季册《向量·几何·概率》(H1-3)预习路线图——两张地图、一条新主线:
内容地图:春季册六章——空间向量与立体几何的深化、解析几何(圆锥曲线)、概率的系统理论、统计推断入门、以及「商功·方程」双主轴的收官。与本册的接口:第 4 章的向量实验直接升维到空间向量;第 4 章的频率稳定性是概率论的实验前哨;第 5 章的模运算是数论概率题的工具。
方法地图:春季册将沿用本册的方法论资产——公理化眼光(非欧章)、矩阵工具(递推章)、P/N 分析(博弈章)、实验纪律(统计章)、编码思维(密码章)。五个板块的项目经验将合并成「春季大项目」:用向量与概率给本册的某个游戏设计「AI 对手」。
预习任务三档(对应选做⑤):轻档——翻春季册目录,每章猜一句「会讲什么」;中档——精读第一章前三页,完成其中的动手实验;重档——把本册问题墙上与「空间」「概率」相关的 10 条问题分类,预判它们会在哪章被回答。
本册收官一行:从球面三角形的 270°,到 RSA 的公钥,再到冬研会领奖台上的掌声——这一学期您反复验证了同一件事:简单的规则,配上诚实的方法,足以长出整个复杂而迷人的世界。春季再会。
预习的最高境界不是「提前学」,而是「带着问题等」——问题在手的同学,开学第一周就已经在研究了。