九章格数学 PhiloMath · K2C 正文 · H 段

极限思想

H2-2(编目代号 H2-2)· 冬季段游戏与实践册 · 正文编写版 · 已完成 150/150 页 · 2026-09-16
高中 · 高二150 页 = 6 章 × 25 页体例:溯源+讲义+研讨+例题+思想卡+研究游戏与实践册
封面插画极 限 思 想
‹ 返回在线阅读

〇体例说明(写给读者和家长)

体例

本书怎么读:一章二十五页

全书按「章」前进,每章恰好二十五页。理论章的节奏是:第 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。中括号写成 [ ],比例号 ∶。

一全册目录(六章 · 每章 25 页)

  1. p.1–25第 1 章 无穷的故事项目章
  2. p.26–50第 2 章 递推与不动点项目章
  3. p.51–75第 3 章 优化问题建模项目章
  4. p.76–100第 4 章 计数与二项式·随机变量项目章
  5. p.101–125第 5 章 矩阵与变换初感项目章
  6. p.126–150第 6 章 综合站:冬令营综合站
第 1 章 · CHAPTER 1

无穷的故事

p.1–25 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

p.1导入

芝诺的悖论:阿基里斯追龟

公元前五世纪,埃利亚的芝诺出了四道著名的「刁难题」,其中一道是这样的:希腊第一飞毛腿阿基里斯与乌龟赛跑,让乌龟先爬一段。阿基里斯追到乌龟的出发点时,乌龟又爬前了一段;等他追到这一段,乌龟又挪了一点……阿基里斯永远追不上乌龟?

芝诺的论证看似无懈可击:追赶的过程被切成无穷多段,每一段都要花时间——无穷多段时间加起来,怎么可能有限?两千多年里,这个问题像一根刺扎在数学的肉里:要么承认运动是幻觉,要么承认无穷多份东西可以加出一个有限的总数。

答案属于后者,但要说出「为什么」必须等一门新数学诞生:极限。本章我们不光要解决芝诺,还要走得更远——看看数学家如何驯服「无穷」这头巨兽,又如何在驯服它的过程中发现,无穷的世界比想象中更辽阔、更奇诡。

本章玩法:五个动手实验(0.999… 之争、自相似螺旋、级数求和、给无穷集合「数数」)+五个专题+一个研究项目:选一个无穷问题,做出您自己的报告。

芝诺的悖论堵死了天真的路,却逼出了一条精确的路——这正是悖论在数学史上的功劳。

p.2操作

0.999…=1 之争

先来一场法庭辩论。被告:等式 0.999… = 1。控方陈词:「0.999… 再怎么写 9,总比 1 差那么一点点,哪怕点再小,差就是差。」辩方出三招:

第一招(分好账):13 = 0.333…,两边同乘 3:33 = 0.999…,即 1。第二招(放大镜):若 0.999… ≠ 1,那它俩之间必夹着实数 0.999… + ε2——请写出这个小数的前几位?写不出:任何形如 0.99…9k 的数都比 0.999… 小。第三招(定义):循环小数的本义就是「无穷多个 9 之和」的极限值:

0.999… = limn→∞ (1 − 10−n) = 1 − 0 = 1。差 1 − 0.999… = 10−n 随 n 无限缩小,极限为 0。

动手实验:在计算器上依次算 1 − 10−1, 1 − 10−2, …, 1 − 10−9,观察显示位数何时「饱和」。您看到的饱和不是证明——计算器只有十几位精度——但它直观演示了「差的极限为零」。

判词:控方输在把「无穷过程」当成了「写不完的记号」。0.999… 不是一个还在生长的数,而是一个已经完成的极限值。

这场争论没有和稀泥的余地:在实数系里 0.999… = 1 是定理,不是约定。

p.3操作

部分与整体等长的螺旋

剪一张正方形纸,挖掉中央的 19(一个九宫格的中央格),再挖掉剩下 8 块各自的中央 19……如此无穷继续,得到谢尔宾斯基地毯。请问:挖掉的总面积是多少?

逐轮挖掉 1 · (89)0 · 19, 8 · 19 · 19, 82 · 193, …,公比 89 的几何级数,总和 = 1/91 − 8/9 = 1。挖了无穷多刀,纸没了;而每轮留下的「毯」都是自相似的——任取一小块放大 3 倍,与整体一模一样。部分与整体等价,这是无穷才有的魔术。

第二个实验:等角螺线。取一张对数螺线图(鹦鹉螺壳形),用放大镜看它的任何一段放大 4 倍后的形状——与整条螺线重合。它的「每一步转同样的角度、走同样的比例」,写成公式 r = a·ebθ。

第三个实验更扎心:科赫雪花的周长无穷(每轮边长 ×43),面积却有限(初始三角形面积加上公比 49 的级数)。一条「画不完的边」围住一块「确定的田」。

自相似 + 无穷迭代 = 部分与整体等长。分形是无穷思想的纸上雕塑。

p.4操作

无穷级数求和实验

道具:一张 1×1 方格纸。第一轮涂 12,第二轮涂剩下的 14,再涂 18……涂到第十轮,纸上还剩多大空白?2−10 = 11024。涂到第 n 轮,空白 2−n——「涂过的总面积」无限逼近 1:

12 + 14 + 18 + … = 1。一般地,几何级数 ∑ a·qk 在 |q| < 1 时收敛于 a1 − q。

再做一个反例实验:涂 12, 13, 14, …。前 4 项已超过 2;前 83 项超过 5(可用计算器验证);它永远爬不过任何一个天花板——这是下一章主角调和级数,先按下不表。

本节的核心操作是「部分和数列」:给级数 ∑ ak 定义 Sn = a1 + … + an。「无穷多个数相加」这个词本身没有定义,有定义的是极限 lim Sn:

级数收敛:若部分和数列 {Sn} 有极限 S,称级数收敛于 S,记 ∑k≥1 ak = S;否则称发散。「无穷和」=「部分和的极限」,这是唯一的合法身份。

先把「无穷多步」翻译成「有限的一句极限」,芝诺之刺就拔出来了。

p.5操作

无穷集合的「数数」

大厅里来了无穷多位客人。领队想弄清「客人多,还是座位多」。数是数不完的——但他发明了一招:配对。请每位客人坐一个座位,一人一座、无一空座,则客人与座位一样多。

把「一样多」从「数得出个数」里解放出来:两个集合能一一对应,就叫等势。立刻有惊人推论——自然数集 ℕ = {1, 2, 3, …} 与它的真子集偶数集等势:n ↔ 2n,一对一。全体平方数 {1, 4, 9, …} 也与 ℕ 等势(n ↔ n2)——伽利略 1638 年就注意到这件事并大感困惑:部分与整体一样多,那「多」这个词还有意义吗?

分组实验:三人一组,分别建立 {自然数} 与 {正有理数} 的对应。提示:把分数按「分子+分母」排成对角线阵列,蛇形遍历,跳过约简重复者。各位读者会发现有理数也能与 ℕ 一一对应——稠密如蚊群的有理数,竟然「可数」!

那么实数呢?这一问留给专题⑤的对角线法。先把今天的地基记住:

可数集:能与自然数集一一对应的集合。可数集的有限并、可数并(对角线法)仍可数。整数集、有理数集都可数——直觉的「大小」在无穷面前全面失灵,必须换尺子:一一对应。

在无穷的国度,整体可以等于部分;「数数」被「配对」取代——这是康托尔革命的起点。

p.6专题

专题① 潜无穷与实无穷

无穷有两种身位。潜无穷(potential infinity):一个永远可以继续的过程——数数永远数不完,线段永远可以对分;无穷只存在于「将来时」。实无穷(actual infinity):把无穷整体当作一个已完成的对象——ℕ 就「在那里」,全体自然数是一个集合。

亚里士多德在《物理学》里裁定:数学只许用潜无穷,实无穷「不存在」。这道禁令统治了两千年:高斯 1831 年还在信中反对「把无穷量当作实在的」。

打破禁令的是康托尔(1845–1918)。为研究三角级数的收敛点集,他不得不考虑无穷点集的整体,并问出那个致命的问题:无穷与无穷,有大小之分吗?他的答案是有——而且不止两级。自然数集 ℵ0 级,实数集更大(连续统级),再往上还有无穷的无穷……

潜无穷派(直觉主义者)至今不承认实无穷的合法性:他们只接受能被构造出来的数学。主流数学界则接纳实无穷——代价是后来在集合论里发现了悖论(罗素悖论),并不得不建立公理化体系(ZFC)来「带着无穷安全生活」。

回看本章的实验:0.999…、几何级数、谢尔宾斯基地毯,全是「潜过程、实对象」——我们用极限把潜无穷升格为实对象。这就是十九世纪分析严格化(柯西、魏尔斯特拉斯)的核心动作。

潜无穷是动词,实无穷是名词。极限是两者之间的翻译官。

p.7专题

专题② 级数收敛初判

手上有两个级数,不加(也加不完)就想知道它收敛与否,得靠判别法。今天装备三件工具:

① 等比判据:几何级数 ∑ aqk 收敛当且仅当 |q| < 1,此时和为 a1 − q。
② 比较判别法:若 0 ≤ ak ≤ bk,则大者收敛 ⇒ 小者收敛;小者发散 ⇒ 大者发散。
③ 第 n 项判别法:ak ↛ 0 ⇒ 级数发散。(注意逆命题不真!ak → 0 推不出收敛。)

热身赛:判断 ∑ 2k3k(等比,q=2/3,收敛于 2);∑ 1k(k+1)(裂项 1k − 1k+1,望远镜求和收敛于 1);∑ kk+1(通项→1,发散)。

陷阱题:∑ 1k 的通项趋于 0,但它发散——专题③的主角。这说明「通项趋零」只是必要条件,像「人得呼吸」不能推出「呼吸的都是人」。

再看一个漂亮实例:∑ 14k = 1/41 − 1/4 = 13——这正是把单位正方形按四分挖中央一格(谢尔宾斯基地毯的三色版)后着色面积的值。判别法与上一页的分形实验在此会师。

判别法的价值:不动笔加无穷多项,就能断言无穷多项的归宿。

p.8专题

专题③ 调和级数的发散传奇

1 + 12 + 13 + 14 + … 称调和级数(相邻两项是音程的调和使用)。十四世纪的奥雷斯姆给出一个四百年后仍属一流的发散证明:

奥雷斯姆分组法:13 + 14 > 12;15 + … + 18 > 4 × 18 = 12;19 + … + 116 > 12……每组都压过 12,组有无穷多组 ⇒ 部分和无界 ⇒ 发散。

发散得有多慢?前 10 项约 2.93;前 100 项约 5.19;前 106 项约 14.39;要超过 100,得加约 e100 ≈ 1043 项——宇宙的原子数都不够排。精确刻画由欧拉给出:Sn ≈ ln n + γ(γ ≈ 0.5772,欧拉常数)。

变奏实验:把调和级数里含数字 9 的项全删掉,剩下的级数收敛!(密度论证:含 9 的项的「倒数质量」足够吞掉一切发散。)删得越狠,越可能收敛——收敛与否是全体项的集体行为,不看任何单项。

对照记忆:∑ 1k2 收敛于 π26(巴塞尔问题,欧拉 1735 年解决);∑ 1√k 发散(每个比调和级数同位置的项都大)。临界线在 p-级数 ∑ 1kp:p > 1 收敛,p ≤ 1 发散。

调和级数是「每一项都很乖、全体却失控」的教科书样本——无穷求和,看的是集体,不是个体。

p.9专题

专题④ 希尔伯特旅馆

一间旅馆,房间编号 1, 2, 3, …,全部住满。深夜来了一位新客——满员了,能住吗?

能。请每位客人从 n 号房搬到 n+1 号房:无穷多人挪一步,1 号房空出。这就是有限与无穷的分水岭:有限旅馆满员即拒客,无穷旅馆永远有房——因为 ℕ 与 ℕ∖{1} 等势(上页配对思想的剧场版)。

升级情境①:来了无穷多位新客(可数多名)。请老客从 n 号搬到 2n 号,奇数号房全空——可数多个空房接可数多位新客。情境②:来了无穷多辆大巴,每车无穷多乘客。把(车,座)编成阵列,对角线法逐一分房:第 i 车第 j 座分到房间 (i+j−1)(i+j−2)2 + i。全部住下,无一遗漏。

情境③(绝望情境):来了一车乘客,座位号是所有实数。这一次旅馆无能为力——实数集与 ℕ 不等势,下一页的对角线法给出铁证。希尔伯特旅馆的容量是 ℵ0,不是连续统。

记忆锚点:挪一次 → 接 1 人;挪成偶数 → 接可数多人;对角线 → 接可数多车;实数 → 拒客。旅馆故事把「等势」「可数性」从定义变成了直觉。

希尔伯特用一间旅馆讲完了半本集合论——好的数学故事,就是能把定义演出来的故事。

p.10专题

专题⑤ 对角线法:无穷的阶

1891 年,康托尔发表了数学史上最优雅的证明之一:实数不可数。反证法:假设 (0,1) 内全部实数能排成一张无穷名单

x1 = 0.a11a12a13…;x2 = 0.a21a22a23…;x3 = 0.a31a32a33…;…(十进制展开,约定不以全 9 结尾以保证唯一性。)

现在构造一个漏网之鱼:取 y = 0.b1b2b3…,其中 bk = 5(若 akk ≠ 5),bk = 6(若 akk = 5)。它与名单第 k 行在第 k 位不同——沿对角线走一遍,每行都错开。y 是实数却不在名单上,与名单完备性矛盾。故名单不存在,(0,1) 不可数。

对角线法的精髓:不是「找得辛苦」,而是「证明找不着也无济于事」——用一个显式构造击溃任意假想的完备名单。同一手法后来统治了数学基础:停机问题(图灵)、哥德尔不完备定理、罗素悖论的影子,全是「对角线」的变奏。

推论链条:(0,1) 不可数 ⇒ ℝ 不可数 ⇒ 无理数不可数(有理数可数,若无理数也可数,则 ℝ 可数,矛盾)。我们熟悉的整数、分数是无穷世界里的少数派;「大多数」实数根本无法被列出名字。

于是无穷有了阶梯:ℵ0(自然数、有理数)< 2ℵ0(实数)。再往上?幂集运算步步登天,无穷无顶。康托尔为此造了超穷数算术 ℵ0, ℵ1, ℵ2, …。

一根对角线,划开了两种无穷。从此「无穷多」不再是一个词,而是一族大小分明的世界。

p.11研讨

研讨① 悖论推动数学

圆桌讨论。从芝诺到罗素,请各组认领一个悖论并回答同一组问题:它挑战了什么共识?最终谁解决了它?解决它动用了什么新工具?

参考线索:芝诺悖论挑战「运动即真」,解决靠极限论(柯西–魏尔斯特拉斯),代价是重建分析基础;贝克莱悖论(「消失量的幽灵」)挑战牛顿流数的逻辑根基,解决靠 ε-δ 语言;罗素悖论挑战「任意性质成集合」,解决靠公理化与类型论;说谎者悖论挑战「真值二分」,哥德尔用自指语句把它锻造成不完备定理。

归纳出的模式值得抄在墙上:悖论 → 局部失效 → 概念重建 → 更强的体系。三次数学危机(无理数、微积分基础、集合论悖论)都走了这条路。数学的进步不靠一路凯歌,靠的是被矛盾逼出的自我修正。

反方议题:也有学者认为悖论的价值被夸大——危机叙事是历史学家的事后加工,日常数学从未停摆。您怎么看?请用「日常算术在危机期间照常使用」与「基础不牢则大厦何依」两个立场各写三行辩护。

研讨目标不是背结论,而是看清一件事:数学的可靠性是「修」出来的,不是「生」来的。

p.12研讨

研讨② 极限语言的精确

把「越来越接近」翻译成 ε-δ,是本册最重要的一次语言升级。逐句对比:

白话:0.999… 无限接近 1。
精确:∀ε>0,∃N,当 n>N 时 |1 − (1 − 10−n)| = 10−n < ε。
白话留有退路(「接近」到多近算近?),精确版封死了退路:您说一个误差标准 ε,我就给出从第几项起全部达标。

分组练习:把下列白话各自翻成 ε-δ / ε-N 语料——「x→2 时 x2→4」(给 δ = min(1, ε/5) 的配方);「Sn 部分和趋于 1/3」(对几何级数解不等式 |qn| < ε);「调和级数部分和无界」(对任意 M 给出 n,用 ln n + γ 估计)。

研讨重点:ε-δ 语言把「无穷过程」变成「有限局面的 ∀∃ 博弈」。挑战者(怀疑者)出 ε,应战者(证明者)出 N 或 δ——证明就是一份永远能接招的攻略。这个视角下,魏尔斯特拉斯没有让分析变难,而是让它变得可辩护。

延伸一问:直觉和严格是什么关系?先靠直觉定向(0.999… 应该是 1),再用严格语言确权。抛弃直觉的严格是无源之水,拒绝严格的直觉是无证之罪。

ε-δ 不是刁难人的仪式,而是数学界通用的「质检标准」——任何时代的任何人都能据此独立复核。

p.13研讨

研讨③ 中国的极限思想:割圆与墨经

极限不是希腊专利。公元 263 年,刘徽注《九章算术》,写下割圆术:「割之弥细,所失弥少,割之又割,以至于不可割,则与圆周合体而无所失矣。」——用内接正多边形逼近圆:6 边、12 边、24 边……算到 96 边得 π ≈ 3.14,又推进到 3072 边得 π ≈ 3.1416。

细读这句话的结构:「割之又割」是潜无穷的过程,「合体而无所失」是极限值——刘徽在公元三世纪就同时握住了过程的与对象的两面。他算面积用「以六觳之一面乘半径」的差值修正,暗合今日「级数求和取主部+余项」的手法。

更早的《墨子·经下》:「非半弗蓘,则不动,说在端。」—一根杆一次次对半分,「分无可分」时到达「端」。这与古希腊德谟克利特的原子论、芝诺的二分悖论遥相呼应;而《庄子·天下》「一尺之棰,日取其半,万世不竭」则是标准的潜无穷宣言——今天讲几何级数,这句是最佳开场白。

研讨议题:①刘徽的「不可割」是「到达了」还是「永远在到达的路上」?与中国学者式的注疏传统如何影响这一表述?②为什么中国古算的极限思想始终服务于「算」(π、面积、体积),而没有走向 ε-δ 式的逻辑化?请从「实用性数学传统 vs 公理化传统」两个角度各陈一词。

割圆术与对角线法相隔一千六百年,共同点是:都把「无穷」变成了可以下手操作的对象。

p.14研讨

研讨④ 无穷与哲学

收官研讨,把镜头拉远。三组辩题,每组先立场后交锋:

辩题一:无穷是发现的还是发明的?柏拉图派:ℵ0 与连续统「在那里」,康托尔只是看到它。形式主义者:无穷是符号游戏的人造物。您站在哪边?注意「发明派」也要解释:为何人造物之间有独立于我们的真假(连续统假设独立于 ZFC 是被证明的事实)。

辩题二:直觉在无穷面前可靠吗?证据清单:整体等势部分(反直觉)、有理数可数(反直觉)、实数不可数(更反直觉)、连续统假设独立(无法用直觉裁断)。结论可能是:直觉在无穷领域只能当向导,不能当法官。

辩题三:物理世界里有没有实无穷?宇宙有限还是无限?时空连续还是离散?量子引力的一些方案(圈量子引力)主张面积体积有最小单元——若真如此,物理实在只含潜无穷,实无穷纯属数学的内部戏剧。这一问悬而未决,正适合作为研究项目的备选题目。

无穷是数学与哲学的界碑:一侧是可计算、可证明的领地,另一侧是永远敞开的追问。

p.15项目

项目① 选题开题

本章研究项目启动。四类选题方向,每组认领其一并写下开题卡:

A 计算类:几何级数的十个现实应用(复利、药物代谢、回声衰减、折纸厚度……),选三个算透。B 历史类:从芝诺到康托尔的「无穷编年史」,选三位关键人物做深度小传。C 哲学类:潜无穷 vs 实无穷的法庭辩论脚本(正反方各 800 字+交叉质询)。D 实验类:自选一个「局部看似无界、整体有限」或反之的现象(级数、分形、概率均可)做可视化。

开题卡五要素:①问题句(一句话说清研究什么);②为什么值得(价值陈述);③已有线索(课上实验 + 延伸阅读);④方法与分工;⑤成品形式(报告 / 演示 / 海报)。

教师侧提示:控制选题粒度——「聊聊无穷」太大,「算清 0.999… 的三种证明并评价哪种最有说服力」正合适。每组 3 分钟陈述开题,接受两轮质询后立项。

好选题的标准:一周内做得完、做的过程必须用到「极限或无穷」的实质内容、成品能讲给全班听。

p.16项目

项目② 探究实验

动手日。各按选题推进,并提供三个通用实验脚手架:

脚手架一(部分和追踪表):三栏记录 n、Sn、Sn 与目标值的差。差值行是关键证据——它是单调递减?递减速率?有无下界?把表格变成折线图,「收敛」就有了面孔。脚手架二(放缩阶梯):把难算的通项夹在两个好算的通项之间,如 1(k+1)2 < 1k(k+1) < 1k2,用两端夹逼中间。脚手架三(枚举与猜想):对配对问题先枚举前 12 项,观察结构,再猜公式,最后证明或推翻。

示范案例(A 类):药物代谢——每次服药后血药浓度按比例衰减,稳态浓度恰是几何级数的和。取半衰期 12 小时、每 12 小时服药一次建模:第 n 次服药后浓度 Cn = C0 · 1 − qn1 − q(q = 1/2),稳态 2C0。追问:半衰期改变时稳态如何移动?这已经是灵敏度分析的雏形。

记录纪律:所有数据进共享文档;每一步「猜 → 验 → 证」三段都要留痕,证明可以晚到,不可以缺席。

实验负责提出信念,证明负责签发执照——两者都在,研究才算闭环。

p.17项目

项目③ 论证分析

交换审查日:各组把「最得意的论证」交给他组做对抗性审查。审查清单四问:

① 用了极限还是躲了极限?凡写「无限接近」「越来越小」处,追问 ε-δ 版本能否补出。② 有没有偷换潜无穷与实无穷?典型病灶:把「每一项都有限」直接说成「总和有限」——调和级数专治这种推理。③ 一一对应是「声称」还是「给出」?配对必须写出对应规则并验证双向不重不漏。④ 反例检查:把结论里的条件逐一删掉试错——「正项级数」「单调」「有界」每个词都是承重墙。

示范:审查「有理数可数」的对角线证明。常见漏洞:蛇形遍历漏了负数?先扩表(符号行);重复分数占了多行?无妨——多行不影响「覆盖全体」且名单可以冗余;对角线反构造在分数表上会失灵吗?会(构造出的数可以不是分数)——这正是它只能用于实数的深层原因。能答出第三问的小组,才算真懂了可数性。

互审输出统一格式:一张「论证体检表」(四问 × 通过/修复建议)。被审组据此修订,修订版作为项目报告的正文主体。

被挑出错不丢人,丢人的是没被挑出错——数学共同体的信任机制就建立在互相审查上。

p.18项目

项目④ 写作

成稿日。项目报告模板六段式,逐段给出写作要点:

① 引言(150 字):问题句+一句为什么有趣。忌长篇历史铺垫。② 预备(100 字):本报告用到的定义与记号,先小人后君子。③ 主体(600–1000 字):论证主线,每步一个断言一个理由;图表编号引用。④ 实验(数据):部分和表、迭代表或配对枚举,注明生成方法(手算/程序/计算器)。⑤ 结论与边界:得到什么、没解决什么、下一步。⑥ 参考:教材页码、课外书名、网址。

数学写作三条红线:不用「显然」掩盖跳步(要么补步,要么给出理由);不写「差不多」「应该是」(写「误差不超过……」);图表必须有标题、坐标轴单位与数据来源。

写作自检口诀:陌生人测试(没上过课的人能否读懂主线?)、复核者测试(能否只凭您的文字重做关键计算?)、时间轴测试(先证什么后证什么,顺序是否唯一确定?)。

写清楚=想清楚。数学写作是把脑子里的直觉锻造成公共财产的最后一道工序。

p.19项目

项目⑤ 展示准备

把报告变成一场 8 分钟展示。三步走:

第一步:砍。8 分钟只装得下一个核心思想。从报告里挑出「一条主线」:一个悖论、一个证明、一张图或一个实验。其余内容降级为备查附录。第二步:造。至少一件可视化道具——级数面积图、旅馆分房动画分镜、对角线演示板、迭代蛛网图。经验法则:观众记住的是画面,不是句子。第三步:演。设计一个开场钩子(提问/悖论/现场小实验)与一个收束句(回到问题句,宣布您的答案)。

彩排清单:计时两遍(超时即砍);黑话检查(每个记号首次出现时用一句话介绍);质询预演(每人准备三个可能被问的问题与回答);设备备份(截图存手机,防投影罢工)。

分工建议:主讲 1、道具与翻页 1、质询应答 1——三人都必须能独立讲主线(防止「只有一个人懂」的假合作)。

评分预告(下页思想卡后上墙):问题实质 30%、论证严密 30%、表达清晰 25%、应答质量 15%。评分表提前公开,让标准先于作品到场。

展示不是报告的朗读版,而是报告的一次「极限压缩」——有限的 8 分钟里装进最重要的无穷。

p.20思想卡

无穷是数学的深渊与星空

一句心法:无穷不可直视,但可以翻译——把「无穷过程」翻译成「有限对象」(极限、部分和、一一对应),然后对翻译稿做严格的推理。

本章四件武器请带走:①级数=部分和的极限;②等势=配对,不用数数;③可数性分出无穷的阶层;④对角线法=构造漏网之鱼的万能模具。

深一层看,无穷之所以迷人,在于它同时是深渊(直觉在此接连失灵,连「大小」都要重新定义)与星空(康托尔从这里开辟出超穷数,图灵与哥德尔从这里照见计算与知识的边界)。面对深渊的态度,决定了您在数学上能走多远。

康托尔的名言写在版画上:「数学的本质在于它的自由。」他的自由是在人人喊停的地方,多问了一句:无穷与无穷,一样大吗?

愿您下次写下「…」三个点时,记得它们不是偷懒的省略号,而是一张严肃的契约:其后的极限,您必须负责。

扫码打开游戏工坊
扫码开玩 ·「无穷馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=1

p.21深读

深读① 康托尔的孤独

1845 年康托尔生于圣彼得堡,后随家迁往德国。1874 年他发表划时代论文,证明代数数可数而实数不可数——无穷第一次有了大小的分层。此后十年他建立超穷数理论:ℵ0、ℵ1、超穷算术、连续统假设。

迎接他的不是掌声而是围剿。柏林学派的克洛内克斥其为「青年的腐蚀者」「虚伪的先知」,阻挠其论文发表与求职;数学界主流视「完成的无限」为禁区。康托尔在孤独与抑郁中坚持:「理论一旦建立,就不再属于作者。」他坚信超穷数是上帝思想的映照,在与神学家的通信里反复为其合法性辩护。

历史还了他公道:1900 年希尔伯特在巴黎数学家大会列出 23 个问题,第一个就是连续统假设;希尔伯特说「没有人能把我们逐出康托尔为之建造的乐园」。今天,集合论是全部数学的公共地基,超穷数写进了每一本基础教材。

人物侧写:康托尔晚年在精神病院数次进出,1918 年病逝于哈雷。他留下的不只是一套理论,还有一个范式——在专业共同体的抵制面前,以数学自身的严密为新大陆作证。

读人物的目的不是煽情,而是校准:真正的学术勇气,是把「被反对」与「被反驳」区分开来。

p.22深读

深读② 第二次数学危机

牛顿与莱布尼茨十七世纪各自创立微积分,威力空前——但地基上有裂缝。「无穷小量」在推理中忽而是零(被舍去),忽而不是零(充当分母),贝克莱主教 1734 年讥之为「已死量的幽灵」,逻辑上两头不站。

危机的化解历时一百五十年,分三步:①极限概念——达朗贝尔说「无穷小就是小于任意给定的量」,方向对了但语言仍含混;②算术化——柯西以极限重新定义连续、导数、积分,把微积分从「几何直观」迁到「数列与极限」的地面;③终审——魏尔斯特拉斯给出 ε-δ 定义,吞掉一切模糊,分析从此立于算术之上。

连带工程浩大:为保证「极限对每个数列都有唯一归宿」,数学家被迫审查实数系本身,催生了戴德金分割与康托尔的基本列构造——实数理论、进而集合论,都是这次危机的「灾后重建」成果。

复盘危机的机制:新工具(微积分)先行,老标准(逻辑)滞后,中间的空档期靠成果的有效性撑着;最终不是工具迁就直觉,而是标准升级到能审判工具。这一机制在第三次危机(集合论悖论)中重演——历史押韵。

第二次危机的遗产是一句座右铭:一个概念只要还没有 ε-δ 版本,就还欠着一层严格。

p.23深读

深读③ 延伸:《无穷之旅》

本册延伸读物推荐与导读。首选 《无穷之旅——关于无穷的文化史》(埃利·马奥尔):从芝诺与亚里士多德讲到康托尔与分形,中间穿插无穷级数、解析几何与艺术(埃舍尔的画)——它最合适本册读者的原因,是每个数学片段都配了可直接动手的图。

第二本 《数学与无穷的史诗》(陈历功等)或任一部集合论科普:补齐康托尔–希尔伯特–哥德尔这条人物线的细节。阅读任务:找出书中「对角线法」的三处不同应用,并说明它们共享的构造骨架。

第三本选读:豪道斯《无穷的逻辑》或鲁滨逊非标准分析导引的前言——看一眼「无穷小也能严格化」的另一条路(非标准分析把莱布尼茨的直觉救了回来),体会数学对同一问题允许多种地基。

阅读产出要求:交一页「批判性摘录卡」——抄一段最打动您的原文(注明页码),写三行:它在说什么、我原来的想法是什么、读后改了什么。空泛的读后感不收,有具体概念位移的才收。

课外阅读的意义:让您在正式遇到一个概念之前,先与它的历史与人物打过照面——将来学到 ε-δ,就不是陌生人登门。

p.24复盘

无穷概念地图

合上讲义,把本章画成一张概念地图。主干节点与连线要求:

节点清单:芝诺悖论 → 无穷过程 → 部分和 → 极限 → 级数收敛 → 几何级数 / 调和级数 / p-级数;潜无穷 vs 实无穷 → 康托尔 → 等势 → 可数集(ℕ、ℤ、ℚ)→ 对角线法 → ℝ 不可数 → 无穷的阶层 ℵ0 < 2ℵ0;希尔伯特旅馆 ↔ 配对思想;ε-N 语言 ↔ 0.999… = 1。

自查三题(先遮住答案):①「通项趋于 0」是收敛的什么条件?(必要不充分——调和级数反例)②有理数为什么可数而实数不可数?(对角线构造对分数表失灵的深层原因)③刘徽的割圆术里哪一半是潜无穷、哪一半是实无穷?

错题与本子上的「直觉翻车记录」是本章最值钱的私产:把「我曾以为……实际……」句式至少整理五条,期末复习时它们比任何提纲都好用。

自评分表:五个实验完成度 40%、专题笔记完整度 20%、项目参与度 20%、概念地图连线正确 20%。低于 80 分的部分,用一页纸补做。

复盘的终点不是「我学过了」,而是「我现在能给别人讲清楚」——地图就是给别人看的讲稿。

p.25展示

无穷故事会

成果展示日:每组 8 分钟展示 + 4 分钟质询,按公开评分表打分。

流程编排:①主持人开场(学生轮值),重申规则与评分权重;②各组按「计算类 → 实验类 → 历史类 → 哲学类」顺序上场,保证节奏交替;③每场质询至少两问一答,由非同方向小组优先发问;④全部结束后互评票选「最锋利证明奖」「最美可视化奖」「最佳应答奖」。

教师讲评聚焦三点:概念位移(从开题到结题,观点变了多少)、论证质量(对抗性审查后的修订落实了没有)、表达效率(8 分钟里废句占比)。讲评引用各组原文原句,好的坏的一起引用——被点名是荣誉,也是鞭策。

全班共答一题收官:「本章您遇到的最反直觉的一件事是什么?如果有一天直觉与证明冲突,您的处理流程是什么?」答案写进个人手册首页,作为下一章(递推与不动点)的入场券。

故事会落幕,但无穷不散场——它将藏在每一章的极限号、每一次迭代、每一个级数里,继续与您同行。

第 2 章 · CHAPTER 2

递推与不动点

p.26–50 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

p.26导入

迭代:重复中的秩序

一台复印机印自己的输出会怎样?把输出再喂回输入,一遍又一遍——这个过程叫迭代。它看似只会制造混乱,实际上常常制造奇迹:把 2 反复开平方得 1.4142…;把任意数反复「平方根化」都奔向 1;把数字反复「各位平方求和」要么进 1,要么困在 4→16→37→58→89→145→42→20→4 的死循环。

更神奇的是生物学:世代更替就是种群数量的迭代;经济学:价格调整是供需差的迭代;计算机:一切循环程序都是迭代。简单规则 + 重复执行 = 复杂行为——这句话是本章的全部谜面。

迭代的数学骨架:给定函数 f和初始值 x0,造数列 xn+1 = f(xn)。三个基本问题:它会稳定吗(收敛)?稳定在哪儿(不动点)?不稳定时它去哪儿(周期与混沌)?

本章路线:先动手做四个实验(迭代、蛛网图、不动点、分形拼贴),再上五个专题把工具配齐,最后做一个完整的迭代研究项目。章名「递推与不动点」里,「递推」是过程,「不动点」是归宿——过程与归宿的关系,正是上一章「无穷过程与极限」的续篇。

上章我们学会了「无穷多步走完一段路」;这一章看「同一步走无穷多遍」会发生什么。

p.27操作

数列迭代实验

实验一(巴比伦开方):求 √2。规则:xn+1 = 12(xn + 2xn),从 x0 = 1 起步:

1 → 1.5 → 1.41667 → 1.41422 → 1.41421 356 2 → 1.41421 356 2 …
第四步已与真值吻合到小数点后 10 位!每迭代一次,正确位数大约翻倍。

实验二(平均化):规则 xn+1 = xn + 32,任意初值出发:1 → 2 → 2.5 → 2.75 → … → 3。收敛到 3——恰是方程 x = (x+3)/2 的解。

实验三(发散):规则 xn+1 = xn2。x0 = 0.5 → 0.25 → 0.0625 → … → 0;x0 = 2 → 4 → 16 → … → 爆炸。同一个规则,初值不同命运截然两分:0 是稳定的不动点,1 是失稳的门槛。

操作要点:每个实验都画「折线轨迹图」(横轴 n,纵轴 xn)。收敛的轨迹像跳板落水,发散的像火箭升空,周期的像心电图——看图说话,先有直观再有定理。

三个实验、三种命运:收敛、归零、爆炸。命运的分岔点,就是本章要抓的「不动点与它的势力范围」。

p.28操作

蛛网图绘制

折线图看「随时间怎么走」,蛛网图看「在函数身上怎么跳」。画法四步:①在坐标系画曲线 y = f(x) 与直线 y = x;②从 x 轴上的 x0 出发,竖走到曲线(得 f(x0));③横走到对角线 y=x(把纵值变回横值);④再竖走到曲线……如此织出一张「蛛网」。

手工实验:f(x) = 12(x + 2x),x0 = 4。您会看到蛛网从 (4, 2.25) 起步,一圈圈向曲线与对角线的交点 (1.414…, 1.414…) 卷去——曲线与对角线的交点就是不动点,蛛网是奔向它的轨迹。

第二张图:f(x) = x2,x0 = 0.5 的蛛网滑向原点(稳定);x0 = 1.5 的蛛网一路飞出纸外(发散);x0 恰为 1 时蛛网原地踏步——三种命运的几何分界一目了然。

第三张图(振荡型):f(x) = 1 − x,任意初值。蛛网在曲线与对角线间来回蹦跳——除了不动点 0.5 处处「二周期」。注意曲线在对角线处的斜率是 −1:斜率绝对值恰为 1,稳定性临界——这是下一页判据的伏笔。

蛛网图把「数列、函数、几何」三线合一:不动点在图上就是一个点,收敛就是一张越织越密的网。

p.29操作

不动点搜索

把上一页的观察升级成系统搜索。给定 f,先解方程 f(x) = x 找出全部不动点,再逐一判断「引力」与「斥力」:

实验记录表:
① f(x) = (x+3)/2:不动点 3;f′(3) = 1/2,|f′| < 1 → 吸引(收敛)。
② f(x) = x2:不动点 0 与 1;f′(0) = 0 → 吸引;f′(1) = 2 → 排斥。
③ f(x) = 1 − x:不动点 1/2;f′ = −1 → 临界(振荡)。
④ f(x) = 2x(1 − x):不动点 0 与 1/2;f′(0) = 2 → 排斥;f′(1/2) = 0 → 超级吸引。

规律浮现:|f′(p)| < 1 则 p 吸引,|f′(p)| > 1 则 p 排斥。几何解释:不动点附近,曲线比对角线「平」,蛛网被压向交点;曲线比对角线「陡」,蛛网被弹离。斜率的绝对值就是「局部伸缩率」。

动手验证「超级吸引」:f(x) = 2x(1 − x) 从 x0 = 0.3 出发——0.3 → 0.42 → 0.4872 → 0.4999 5 → 0.5。两步就到,因为 f′(1/2) = 0,误差被平方级消灭。

搜索练习(留白给计算):f(x) = cos x(弧度制)迭代收敛于 0.7391…,即 cos x = x 的唯一解——这个数没有初等表达式,但迭代 20 步可达任意精度。不动点方法是「解不出方程也能抵达方程的解」的机器。

判据 |f′(p)| < 1 是本章第一定理:它把「会不会收敛」变成一秒钟的乘法。

p.30操作

分形拼贴一瞥

迭代不只能作用于数,还能作用于图形。准备透明方格纸,做「压缩复印机」实验:

规则:把整幅图缩成 1/2,复印三份,分别放在左下、右下、顶部三个角。从任意一粒种子(比如一个实心三角)出发,迭代十轮——谢尔宾斯基三角形浮现。它的三个不动点性质:①任意放大仍是同一图案(自相似);②面积趋于 0(每轮保留 3/4,(3/4)n → 0——上一章级数!);③点是无穷多(每轮顶点数 ×2 增长)。

反向游戏(混沌游戏更刺激):在三角形内任取一点,每轮随机选一个顶点,把当前点移向该顶点一半距离,打点。扔 100 粒种子点,乱;1000 粒,轮廓隐约;10000 粒——谢尔宾斯基三角形精确现身!随机过程被「压缩规则」塑造成确定图形。

IFS(迭代函数系统)原理:一族压缩映射(各自带收缩系数 < 1)的公共迭代,必然收敛到唯一的「不变集」——分形就是这族映射的不动点。巴恩斯利由此发明了分形图像压缩:一幅蕨类叶子照片 ≈ 4 个压缩仿射映射,几十字节。

本页操作的深意:不动点从「一个数」升级为「一幅图」。空间里的迭代与数轴上的迭代,定理同源(压缩映射原理下一章证明)。

分形是「迭代」的美术馆:每个展品都是一个函数系统的唯一不动点。

p.31专题

专题① 不动点定义与求法

不动点:x* 满足 f(x*) = x*,称 x* 是 f 的不动点。迭代 xn+1 = f(xn) 一旦踏进不动点就永远停驻——「不动」之名由此而来。几何上即曲线 y=f(x) 与对角线 y=x 的交点。

求法三式:①解方程(代数可解时首选):f(x) = x2 + x ⇒ x2 = 0 ⇒ 唯一不动点 0;②数值迭代(方程解不出时):cos x = x,迭代逼近 0.7391…;③存在性定理(连解都不必解)——

介值版不动点定理:f 在 [a,b] 上连续,且 a ≤ f(x) ≤ b 对一切 [a,b] 成立(区间被映入自身),则 f 必有不动点。证明:令 g(x) = f(x) − x,g(a) ≥ 0,g(b) ≤ 0,由介值定理存在 c 使 g(c) = 0。

一维情形的这一定理有一个惊艳的高维推广——布劳威尔不动点定理:把一张地图揉皱放在它所标注的地区上,总有一点恰好位于它所标注的位置正上方;均匀搅拌一杯咖啡,总有一个液体粒子回到原位。证明要用代数拓扑,但陈述已经够震撼:「映入自身」强制「留下自我」。

布劳威尔本人拒绝构造性证明(用反证法证「存在」却不给出找法),这触及数学哲学的老议题:存在性证明的价值 vs 算法找法的价值——留作研讨题。

不动点是「变化系统中的不变者」:找它,就是给系统找锚。

p.32专题

专题② 收敛与发散

吸引判据(局部):p 是 f 的不动点,f 在 p 附近可导且 |f′(p)| < 1,则存在 p 的邻域 U,从 U 内任意初值出发的迭代都收敛到 p。证明骨架:由导数定义,|f′(p)| < 1 时存在邻域使 |f(x) − p| ≤ q|x − p|(q < 1),于是误差 |xn − p| ≤ qn|x0 − p| → 0——几何级数再现!

这个证明值得逐行咀嚼:迭代误差被压缩映射控制,压缩系数 q 的 n 次方趋于零——收敛性的全部重量由上章的几何级数扛起。两条主线在此并轨。

三情形速查:|f′(p)| < 1 吸引(|f′| 越小收敛越快,f′(p) = 0 为超吸引——平方收敛);|f′(p)| > 1 排斥(不动点依然存在,只是除了精确从 p 出发谁也到不了);|f′(p)| = 1 临界(需更高阶分析,可能缓慢收敛如 xn+1 = xn − xn2 以 1/n 速度趋 0)。

发散分析:误差 |xn − p| ≥ q|x0 − p|(q > 1)时,除非初值恰好落在别的不动点上,迭代必然离开邻域——它去哪儿?可能收敛到另一不动点、进入周期轨道,或走向无穷(上一页实验三的爆炸)。

全局收敛一例:f(x) = 1 + 1x(x>0)迭代收敛到 1 + √52 = φ——黄金分割!从任意正数出发(比如 100):100 → 1.01 → 1.990 → 1.502 → … 几步后 φ 的各位数字稳定。黄金比例原来是这个 innocuous 迭代的不动点。

收敛与发散的分界线画在导数上:|f′| 与 1 比大小,一锤定音。

p.33专题

专题③ 平方根的迭代算法

把第 2 页的巴比伦法讲透。目标:求 √A(A > 0)。迭代 xn+1 = 12(xn + Axn)。

三重身份:①几何:不断以「矩形改造成等面积正方形」——若 xn 是 √A 的近似,则 xn 与 A/xn 一个偏大一个偏小,取算术平均必然更近;②代数:迭代函数的不动点恰是 √A(解 x = (x + A/x)/2 即 x2 = A);③牛顿法特例:它是方程 x2 − A = 0 的牛顿迭代(下一章深读展开)。

收敛性证明(本册第一个完整双重极限论证):对任意 x0 > 0,由均值不等式 xn+1 ≥ √A(一步进入上半区);又 xn+1 − √A = (xn − √A)22xn ≥ 0 且当 xn ≥ √A 时 xn+1 ≤ xn——单调不增有下界 ⇒ 收敛;对递推式取极限得极限值2=A。QED。全程只用了均值不等式与单调有界定理,零高深工具。

收敛速度:误差满足 en+1 = en22xn——误差被平方,正确位数每轮翻倍(二阶收敛)。算 √2 只需 5 步达 30 位;算 √1090 也只要约 12 步。这是「超吸引」(f′ = 0)的威力。

对比慢算法:二分法每轮只砍一半区间(线性收敛,一位一位磨);巴比伦法 4000 年前被美索不达米亚书吏刻在泥板上,今天仍是计算机 sqrt 的底层思想。算法的优劣,本质是迭代收敛速度的优劣。

一块泥板、一部《九章》、一台手机计算器——隔着四千年,用的是同一条递推式。好的算法不会老。

p.34专题

专题④ 逻辑斯蒂映射初探

最简单的非线性迭代,藏着最深的谜。逻辑斯蒂映射:xn+1 = r·xn(1 − xn),xn ∈ (0,1),r 是参数。生物学家 May 1976 年用它模拟虫口:r 是繁殖率,xn 是第 n 代种群比例,「(1 − xn)」是资源竞争。

用计算器做参数实验(统一初值 x0 = 0.4,迭代 50 步后记录归宿):

r = 2.0:收敛于 1/2(不动点)。
r = 3.2:不收敛!在两个值 0.513… 与 0.799… 之间永久二周期振荡。
r = 3.5:四周期振荡。
r = 3.9:永不重复、永不发散——看似随机地游荡(混沌)。

不动点分析解释第一行:解 rx(1 − x) = x 得 x* = (r−1)/r,f′(x*) = 2 − r;|2 − r| < 1 即 1 < r < 3 时吸引——r = 3 处临界,越过 3 不动点失稳,诞生二周期轨道(两次迭代复合 g(x) = f(f(x)) 的不动点,g′ 的模小于 1)。

继续推:r = 1+√6 ≈ 3.449 处二周期失稳,四周期诞生;随后八、十六……倍周期分岔一浪接一浪,间隔越来越短,在 r∞ ≈ 3.5699 处周期走向无穷——混沌降临。分岔点的间距比 3.5699 前的相邻间隔恒为 δ ≈ 4.6692(费根鲍姆常数,普适于一切「单峰」映射)。

一个二次函数、一支计算器:从稳定到周期到混沌的全部剧本,一个下午就能亲手演完。

p.35专题

专题⑤ 混沌的边缘

「混沌」不是乱成一团,它有精确的数学定义与三条标志:

混沌三标志:①对初值敏感(蝴蝶效应):初值差 10−6,几十步后轨迹天各一方——李雅普诺夫指数为正;②拓扑传递:轨道迟早扫过区域内任意小邻域(不分裂成互不相干的子世界);③周期点稠密:任意小的邻域里都藏着周期轨道。逻辑斯蒂映射在 r = 3.9 时三者兼备。

敏感性的直觉:迭代不断把初始误差拉伸折叠——拉伸放大差异,折叠把轨迹拉回有界区域,两者反复作用如同反复揉面,芝麻(初始误差)很快均匀沾满面团。逻辑斯蒂映射的图像恰是「先升后降」的单峰,一轮迭代就是一次拉伸+折叠。

混沌 ≠ 随机:混沌轨道完全确定(规则简单、无噪声、可无限精确复算),只是不可长期预测——预测能力受限于初值精度乘以李雅普诺夫指数。气象预报的极限(约两周)正是这一原理:不是气象学家不努力,是大气这条「逻辑斯蒂映射」把误差指数放大。

混沌的哲学回响:拉普拉斯式决定论(知道现在便可算尽未来)在原理上成立、在实践上破产——有限精度之下,确定性不等于可预测性。这是二十世纪科学图景最深刻的一次修正。

混沌住在「简单规则」与「不可预测」之间那条窄缝里——而这条窄缝,一支二次函数就够宽。

p.36研讨

研讨① 简单规则为何复杂

核心研讨:迭代为什么能「无中生有」?三个候选解释,分组认领并辩护:

解释一:反馈放大。函数复合使初始微小差异逐轮累积,n 步后差异可达初始的 |f′|n 倍——复杂来自误差的指数增长。解释二:折叠混合。有界性强制轨迹折返,拉伸+折叠产生类似揉面的混合效应——复杂来自空间关系的反复重组。解释三:分岔级联。参数移动时系统结构性地经历「周期 ×2」的级联——复杂不是噪声而是参数空间的内在纹理。

交锋点:三种解释各抓住一面(时间、空间、参数空间),彼此不矛盾。追问:为什么线性系统(f 是直线)永远不混沌?——直线没有「折叠」能力,拉伸只能单调放大或缩小;非线性(弯曲)是复杂性的最低门槛。这就是二次函数足够而一次函数不够的原因。

类比迁移:元胞自动机(一维三邻域规则即可图灵完备)、生命游戏(四条规则造出整部「人工生命」)、流体湍流(纳维–斯托克斯方程的三维解至今无人驯服)。「简单规则 → 复杂涌现」是跨学科的通用句式,数学提供的是它最干净的模型。

复杂未必需要复杂的原因——这个颠覆性观念,是迭代研究送给二十世纪的礼物。

p.37研讨

研讨② 迭代与算法思维

迭代是算法的灵魂。本页研讨三组对照,体会「递推」在计算中的位置:

对照一:闭式 vs 递推。等差数列有通项公式(闭式),斐波那契有递推式(也可解出闭式 Fn = (φn − ψn)/√5),而「cos x = x 的解」只有递推没有闭式。讨论:闭式的价值是什么?(一步到位、可分析)递推的价值是什么?(普遍可行、天然适合计算机)

对照二:精确 vs 逼近。巴比伦法不给出「精确值」,给出「任意精度的逼近」——而计算机浮点本来就只有有限精度,逼近即一切。引申:数值分析这门学科的全部信条——收敛性、误差界、复杂度——都建立在递推的极限行为上(又回到上一章的极限!)。

对照三:人算 vs 机算。手算 √2 用竖式开方(逐位确定),机器用巴比伦/牛顿迭代(整体逼近)。两种算法体现两种文化:演绎构造 vs 数值工程。让同学们各自用两种方法算 √5 到 6 位,比较步数与出错率。

收束讨论:程序里的循环、数学里的递推、物理里的演化——同一个结构的三个化身。学迭代,是在学「让时间替您做功」的思维。

算法思维的核心一问:能不能设计一个递推,让每一步都离答案更近,且近得越来越快?

p.38研讨

研讨③ 不动点在现实中

不动点思维的全景扫描。六张案例卡,各组抽两张做「模型解剖」:

①市场均衡:供给曲线与需求曲线的交点——价格若高于均衡则过剩压价,低于则短缺抬价,市场迭代自动趋向不动点(亚当·斯密的「看不见的手」有一个不动点定理的骨架)。蛛网模型(农产品周期)正是价格迭代在斜率条件被破坏时的振荡版本。②搜索引擎:PageRank 是「重要性转移矩阵」的不动点——网页的重要性由指向它的网页的重要性决定,定义自指,迭代求解,全网数亿节点的收敛只要几十轮(幂迭代)。③核电站控制:反应堆功率的负反馈设计——控制棒迭代调节,稳定性即 |反馈增益| < 1。

④语言规范化:词典与用法的相互塑造(词典记录用法 → 用法向词典看齐 → 新版词典再记录)——规范是不动点,语言在迭代中漂移或锁定。⑤自我实现的预言:「银行要倒闭」的传言引发挤兑引发倒闭——信念迭代的不动点是它自己。⑥天体定轨:开普勒方程 M = E − e·sin E 无闭式解,四百年来天文学家全靠迭代求 E。

研讨产出:为两张案例卡各写 100 字「不动点分析」——系统的迭代规则是什么、不动点是什么、稳定性条件在现实里对应什么。

凡「由自身定义」之物——均衡、声望、规范、预言——都要靠不动点理论来解析。

p.39研讨

研讨④ 巴比伦平方根法

史料研讨课。巴比伦泥板 YBC 7289(约公元前 1800–1600 年)刻着一个正方形与两条对角线,边上标 30,对角线上标着 1;24,51,10(六十进制)与 42;25,35——即 √2 ≈ 1.41421296,精确到小数点后五位。他们怎么算的?主流推断:正是「平均法」迭代。

分组任务一:复原计算。用平均法从 x0 = 1;30(1.5)起算 √2,用六十进制或十进制各算三轮,验证第四轮已达泥板精度。体会「手执泥板的书吏」与「手执计算器的您」面对同一条递推式。

分组任务二:跨文明对照。《九章算术》少广章「开方术」给出开平方的完整算法(「借算步之,超一等……所得副以加定法,除。折半如下」)——本质是逐位求解,几何根基是「出入门相补」的面积分割。比较两种路径:平均法(整体逼近,收敛快,无精度上限)与开方术(逐位确定,可中止于任意位,算法性强)。讨论:为何古代中国走向逐位、巴比伦走向逼近?工具(算筹 vs 泥板表格)对算法形态的影响有多大?

分组任务三:现代回声。查证您手机计算器的 sqrt 用什么算法(IEEE 浮点 + 硬件牛顿迭代),写 100 字说明「泥板算法的现代转世」。

算法史的教训:好的迭代会自己穿越文明——形式在变,收敛的心不变。

p.40项目

项目① 迭代课题立项

本章研究项目启动,四个选题池:

A 数值池:用迭代法解一个「无公式解」的方程(cos x = x、x·ex = 1、x3 + x = 10),比较两种迭代的速度与稳定性。B 混沌池:绘制逻辑斯蒂映射的「分支图」(r ∈ [2.8, 4] 横轴,长期归宿纵轴——用表格软件逐 r 值迭代取后 20 步画点),标出倍周期与混沌区。C 应用池:蛛网模型(农产品价格周期)或佩隆模型(人口迭代)的完整建模与稳定性分析。D 艺术池:用 IFS 规则设计一幅分形作品,附数学说明(每个压缩映射的系数与不动集)。

立项卡要素:研究问题一句话;迭代规则(明确写出 xn+1 = …);初值与参数范围;成功标准(得到什么才算完成);分工与时间表。

立项答辩 3 分钟/组,必答题两道:「您的迭代函数的导数条件满足吗?」「如果发现不收敛,您的备选方案是什么?」——立项阶段就预装失败预案,是工程思维的起点。

选题铁律:规则要简单到能写进一行,现象要丰富到能撑起八分钟。

p.41项目

项目② 编程实验

实验日。不会编程的组用表格软件(拖动公式即迭代),会编程的组十行以内解决。通用代码骨架(表格版):

A1:x0;A2:=$B$1*A1*(1−A1)(B1 放参数 r);下拉 100 行;右侧一列算「与不动点差值」;插入散点图。
进阶:增加一列记录「每 10 步的值」用于检测周期;用条件格式标记 |xn+1 − xn| < 10−6 的收敛点。

必做实验清单:①复现 r = 2、3.2、3.5、3.9 四种命运;②找出您自己选的 r 值下二周期诞生的临界 r(提示:3 与 3.45 之间二分搜索);③误差表:对巴比伦法记录 |xn − √A| 的前 8 项,验证「每轮位数翻倍」;④混沌游戏 5000 点散点图(表格软件随机函数+三顶点坐标)。

实验纪律:每个数值结论旁必须标注「参数、初值、迭代步数」三元组——缺一不可复现。复现性是实验数学的入场券。

常见故障排查:图形锯齿→步长太粗;数值溢出→检查是否越出定义域;「假收敛」→把精度要求提高三个数量级再看。

编程不是本章的负担,而是显微镜——裸眼看不清的倍周期与吸引域,十行代码看得清清楚楚。

p.42项目

项目③ 数据与图像

把原始数据提炼成「会说话的图」。四类标准图式与制作要点:

①轨迹图(时间序列):横轴 n 纵轴 xn。收敛看「走平」,周期看「心电图」,混沌看「永不重复」。要点:丢弃前 50 步(暂态),只画长期行为。②蛛网图:叠画 y=f(x)、y=x 与轨迹折线,一张图同时呈现规则与命运。③分支图:横轴参数 r、纵轴长期归宿。这是本章的「封面图」——亲手画过分支图的人,永远记得周期如何一分为二、二分为四,混沌如何从碎屑中长出来。④误差对数图:横轴 n 纵轴 lg|xn − x*|。直线斜率即收敛阶——巴比伦法的误差图是越来越陡的折线(二阶),二分法是斜率恒定的直线(一阶)。

图表纪律(与上一章写作规范衔接):每图必有序号、标题、坐标轴标签、参数说明;同一图内多组数据用可区分标记;禁止无来源的美化。

图像分析练习:任取两张同组的分支图,找出费根鲍姆间距比的证据(量出相邻分岔点的横坐标,算比——理论上 4.6692)。

数据的第一读者是您自己的怀疑心:图要画到「敢拿去接受质询」的程度。

p.43项目

项目④ 写作

迭代项目报告六段式(沿用上章模板,突出三处迭代特有写法):

①引言:一句话问题+一张「最终成果图」前置(先亮结论吸引读者)。②模型:迭代规则、参数含义、初值选择理由——特别要写「为什么是这个初值」(初值敏感性课题必须给出两三个对照初值)。③理论分析:不动点求解、|f′| 判据、(能做则做)误差递推式。④实验:图表按上页四式呈现,每个图表带两句解读。⑤讨论:与理论预期的偏差及解释;本模型的边界(参数超出范围会怎样)。⑥结语与延伸。

迭代报告三条专属红线:①不许只给「最终值」不给轨迹(过程即证据);②不许声称「证明了收敛」而只画了收敛图(图像是证据不是证明——补 |f′| 计算或明确声明「数值证据,非证明」);③混沌课题不许写「随机数导致」(规则确定,无随机数——除非您主动做了噪声实验,那要单独标注)。

互审环节预告:明天的对抗性审查聚焦「可复现性」——审查者将拿着您的参数三元组从头重算。

迭代报告的最高评价不是「做得漂亮」,而是「我照着您的字,走出了和您一样的轨迹」。

p.44项目

项目⑤ 展示准备

八分钟展示的设计要点(与上章流程衔接,本次新增三件套):

现场迭代演示:准备一个可现场改参数的演示(表格拖动或预录屏幕),让评委亲眼看到「r 一改,命运立变」——这是本主题独有的剧场效果,务必用足。双初值对照:混沌课题展示「差之毫厘谬以千里」的实时对照:两个初值 0.4000 与 0.4001 并行迭代,20 步前同步、40 步后分道——一图胜千言。不动点「实体道具」:揉皱地图放回原地(布劳威尔)、揉面撒芝麻(拉伸折叠)、共振摆(临界斜率)——任选其一。

彩排重点:①演示失败预案(软件卡死时切换截图版);②关键数字背诵(您的临界 r、您的误差下降位数);③一句话电梯稿:「我们研究 ______,发现 ______,证据是 ______。」——任何评委在任何时刻打断,都能用这句话接上。

评分表(提前公开):模型正确 30%、图像与数据质量 25%、理论分析深度 20%、现场演示与应答 25%。

把最戏剧性的一幕(周期分裂、轨迹分道、图形自相似浮现)留到中段——观众记住的永远是画面,您要决定让他们记住哪一幅。

p.45思想卡

迭代:时间中的数学

一句心法:迭代是「让简单的规则重复到产生不简单的结局」。研究它,就是问三件事:归宿在哪(不动点)、怎么去(收敛速度)、去不了时怎么办(周期与混沌)。

三件武器:|f′(p)| < 1 的吸引判据;误差平方的巴比伦法(二阶收敛样板);倍周期通向混沌的分岔图。三张面孔:数轴上的迭代(数列)、平面上的迭代(蛛网)、图形上的迭代(分形)。

更深一层:迭代把时间带进了数学。上一章的极限是「一次走完的无穷」,这一章的迭代是「分步演化的无穷」——动力学系统的最小模型。混沌的发现告诉我们:决定论与可预测性之间隔着一条深渊,而深渊的边缘可以用一支二次函数丈量。

May 1976 年论文的结尾值得抄录:不仅在科学中,甚至在政治与经济中,简单的模型也能产生看似复杂的图景,「我们应当教育下一代,简单规则可以不简单」。

愿您从此看任何「反复发生」的过程——价格、种群、 rumor、体温——都本能地三连问:规则是什么?不动点在哪?稳定吗?

扫码打开游戏工坊
扫码开玩 ·「不动点馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=2

p.46深读

深读① 牛顿迭代法

巴比伦法只是特例,一般方法是牛顿(1669 年手稿,公开于 1740 年):解方程 g(x) = 0,迭代

xn+1 = xn − g(xn)g′(xn)。几何:在 (xn, g(xn)) 处作切线,以切线零点作下一近似——「用直线冒充曲线,一步修正」。

代入 g(x) = x2 − A 即还原巴比伦法;代入 g(x) = x2 − c·cos x 等无解方程即得高精度求解机。收敛定理:g 在根附近二阶可导且 g′(根) ≠ 0,则牛顿迭代二阶收敛——误差平方,位数翻倍。

牛顿法的暗面也值得讲:①初值依赖——初值不好会收敛到别的根或发散(如 g(x) = x3 − 2x + 2 有初值落入循环);②分形吸引域——三次方程在复平面上,哪个初值收敛到哪个根,边界是华丽的分形(牛顿分形图,可作项目 D 池的进阶素材);③导数为零处除法爆炸。工程对策:阻尼牛顿(步长打折)、混合法(先二分锁定邻域再牛顿冲刺)。

现代地位:计算器、Excel 的求解器、GPS 定位(解伪距方程组)、机器学习的优化器(梯度下降是其「一阶弱化版」)——牛顿法是数值分析的常青树。

从泥板到卫星,三千年里人们一直在问同一个问题:下一步,站在切线上。

p.47深读

深读② 分形之美:曼德博

1924 年曼德博生于华沙,长于巴黎,战乱中辗转求学。他的学术生涯是一部「少数派翻身史」:当主流数学追逐光滑与线性,他收集被期刊拒绝的「怪物」——不连续、不可微、自相似的病态曲线,并坚信它们才是自然万物的常态:海岸线、云、星系分布、股价曲线。

1975 年他造词 fractal(源自拉丁语 fractus,破碎),1977 年《分形:形、机遇与维数》出版,1980 年 IBM 实验室的计算机画出以他名字命名的集合:zn+1 = zn2 + c(复数迭代)——对每个参数 c 检验从 0 出发的轨道是否逃逸,不逃逸的 c 组成曼德博集合。这张「已知最复杂的数学图形」的边界处处无限精细,放大任意倍都有新结构——而生成规则只有一行。

分形维数是它的理论核心:科赫曲线的「长度」无穷、「面积」为零,普通维数全部失效;用「覆盖倍增边数」定义维数,科赫曲线维数 lg4/lg3 ≈ 1.2619——介于线与面之间。维数可以是分数,这是对欧几里得几何心理疆域的又一次突破。

曼德博 2010 年逝世。他留给大众的话:「云不是球,山不是锥,海岸不是圆,树皮不光滑,闪电不走直线。」

分形教给审美一课:最美的复杂,往往由最简单的规则生成——复杂不需要理由,简单才需要解释。

p.48深读

深读③ 延伸:混沌与蝴蝶效应

延伸阅读主线:洛伦兹 1963 年的论文与「蝴蝶效应」的诞生。气象学家洛伦兹用三变量简化对流模型,迭代中发现:把初值 0.506127 舍入成 0.506 重算,几个月后的「天气」面目全非。1963 年论文标题直译《决定性的非周期流》;1972 年他的一场报告拟定题目「巴西的蝴蝶扇动翅膀会引发德克萨斯的龙卷风吗?」——术语蝴蝶效应由此流行。

阅读任务一:在洛伦兹吸引子的三维轨迹图中找出「双翅膀」结构——轨迹永不重复却永不离开两瓣「蝶翼」,这正是「确定性非周期」的图像化。任务二:比较逻辑斯蒂映射与洛伦兹系统的共性(拉伸+折叠);讨论为什么气象预报存在理论极限(初值精度 × 李雅普诺夫指数)。

推荐书目:格莱克《混沌:开创新科学》(人物故事线的入门首选)、斯图尔特《上帝掷骰子吗》(数学细节更足)。批判性阅读任务:找出媒体对「蝴蝶效应」的三种滥用(如把「不可预测」当成「无法研究」),各写两行纠偏——混沌有精确定义,混沌研究恰恰是一门精密科学。

阅读产出:一页「概念卡」——用您自己的话定义混沌(三标志)+一个生活中的「伪混沌」案例(其实是噪声或随机)+一个「真混沌」候选案例(附判断理由)。

蝴蝶效应的严谨读法不是「小事皆大事」,而是:某些系统里,预测的精度上限由放大机制决定——而放大机制本身,是完全可以被数学研究清楚的。

p.49复盘

迭代方法手册

本章复盘以「方法手册」形式产出——把您已掌握的迭代工具写成一本可查阅的手册:

手册必备条目:
①不动点:定义(f(x*) = x*)、求法三式(解方程 / 迭代 / 介值定理)、几何(与对角线交点)。
②稳定性:|f′(p)| < 1 吸引、> 1 排斥、= 1 临界;超吸引(f′ = 0)与二阶收敛。
③巴比伦法:递推式、单调有界证明骨架、误差平方律。
④逻辑斯蒂映射:四种命运(不动点 / 二周期 / 多周期 / 混沌)、倍周期分岔、费根鲍姆常数。
⑤混沌三标志与蝴蝶效应的严谨表述。
⑥分形与 IFS:压缩映射 → 唯一不变集;谢尔宾斯基 / 科赫的维数。

自查三题:①为什么一次函数不可能产生周期 3?(单调映射的轨道性质)②巴比伦法第一步之后必在 √A 上方,为什么?③分支图上 r = 3.83 附近有个「周期 3 窗口」——它与李–约克定理「周期 3 蕴含混沌」的关系?

错题归档重点:把「图像当证明」「忘了暂态丢弃」「初值敏感性实验没有对照组」三类典型失误各写一条病历(错在哪、怎么改、下次怎么防)。

手册的最后加一页空白,标题「我还没懂的一件事」——诚实的空白比装满的页码更接近数学。

p.50展示

迭代成果展

成果展日。展区四块,全员流动参观+定点答辩:

①分支图长廊:各组分支图并排上墙,标注各自的参数网格与发现(临界 r、周期窗口),直观比较制作精度。②现场演示台:双初值对照、实时改参、混沌游戏投点——三台演示机循环运行,观众可上手改参数。③分形作品区:IFS 设计图与「规则卡」配对展出(作品旁必须贴出生成规则,接受现场复算验证)。④应用答辩席:蛛网模型、PageRank、开普勒方程三组坐席答辩,回答「稳定性条件在现实里对应什么」。

评选与上一章相同的三奖之外,增设「最佳复现奖」:由审查组现场抽取一组报告的参数三元组,当场重算核对——复现成功即提名。

教师总讲评围绕本册两条主线的汇合:上一章我们用极限驯服无穷过程,这一章我们用迭代观察有限规则的无穷展开——极限与迭代,是「无穷」这枚硬币的两面,也是下一章「优化建模」的地基(优化就是在迭代中寻找最好的归宿)。

散会前全员共答:「您身边的哪个过程,值得用一条递推式写下它的命运?」答案留白——那是寒暑假里最好的数学散步。

第 3 章 · CHAPTER 3

优化问题建模

p.51–75 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

p.51导入

生活中的最优解

早晨您做了一个优化:用什么路线去学校最快?中午食堂做了一个优化:一份套餐怎么定价既不亏本又不吓跑学生?傍晚快递公司在做优化:三百个包裹怎么装车、按什么顺序送,油钱最少?优化建模——把「想要最好」翻译成「求一个函数的最值」——是数学里最实干的一门手艺。

两个引子。引子一:易拉罐为什么是这个形状?高 12 厘米、直径 6.6 厘米——按「容积固定、用料最省」计算,最优高直径比应为 2 : 1(高 12 cm、直径 6 cm),与实物惊人接近。差异部分(罐壁更厚、顶部更薄)各有工程理由——模型与现实的偏差本身就是信息。

引子二:田忌赛马。上中下三等马各比一场,齐王每个等级都比田忌强。孙膑的方案:下马对上马(弃一局),上马对中马、中马对下马(胜两局),2 : 1 反败为胜——在约束(马不能换)之下重排策略,把「必输」变成「最优」。这是运筹思想的公元前版本。

本章主线:建模流程(实际问题 → 目标函数 → 约束 → 求解 → 检验 → 修正)的完整走通。工具箱来自前几章:函数与导数(H2-1)、迭代逼近(上一章)。本章是三者第一次协同作战。

「最优」二字人人会写;把「最优」变成一个可以求导、可以迭代的数学对象,才是手艺的开始。

p.52操作

测量与数据采集

建模从量东西开始。今天的实验对象:校园快递驿站高峰期的取件排队。各组分头采集三类数据:

①到达数据:连续记录 15 分钟,每分钟到达人数(列频数表)。②服务数据:随机跟访 20 位取件者,记录柜机找件耗时(秒)。③主观数据:问卷 10 人——「等 5 分钟您的烦躁指数(1–10)」。

数据采集三条军规:①先定记录表再采数(字段、单位、精度预先写死);②随机抽样(整点前的样本会偏忙);③原始数据不改一字(发现异常标记但不删除——异常常常是最有价值的样本)。

现场整理:算平均到达率 λ(人/分)与平均服务时长 μ(秒/件);画出到达人数的柱状图,观察是否有高峰时段。各组交叉对比:为什么不同组测出的 λ 差别不小?(采样时段不同、定义不同——「到达」算不算还没找到柜位就走的?)定义口径的统一,是建模的第一道坎。

产出:一张《数据采集报告》——口径定义、原始表、三个基本统计量(均值、中位数、极差)、一句初步观察。

模型的输入端决定输出端:垃圾数据进,垃圾结论出。测量的严谨是优化的地基。

p.53操作

建立目标函数

把「想要最好」写成函数。三个由浅入深的操练:

操练一(围栏问题):36 米围栏围一矩形菜园,长宽各多少面积最大?目标函数 S(x) = x(18 − x)(x 为宽),顶点在 x = 9,S = 81 m2——正方形。导数工具:S′(x) = 18 − 2x,驻点即最大。注意约束:0 < x < 18——最值必须落在约束区间内说话。

操练二(定价问题):奶茶店实验显示,价格每涨 1 元,日均销量减 15 杯。现价 10 元卖 300 杯,定价多少利润最大?利润 L(p) = (p − 5)(300 − 15(p − 10)) = −15p2 + 525p − 2250,驻点 p = 17.5。检验:L(17) = 1432.5,L(18) = 1440,L(17.5) = 1443.75——最优定价 17.5 元(若必须整数价则取 18)。

操练三(快递驿站):用上一页数据搭出「等待成本」目标函数:C(x) = a·λ·W(x) + b·x(a 为每分钟等待的烦躁成本、W 为平均等待时间、x 为开放柜员数、b 为每人每小时人力成本)——W(x) 的表达式本页先给经验式 W(x) = μ/(x − λμ') 形式(排队论 M/M/1 的朴素版),下一页教怎么用它求解。

建模的第一次飞跃:把「嫌等待烦」「人力要钱」这些话,一个一个变成带单位的字母。

p.54操作

求解与检验

拿到目标函数,三步求解。参数(由第 2 页数据定):到达率 λ = 2 人/分,平均服务 μ = 1.2 分/件,等待成本 a = 1 元/人·分,柜员人力 b = 25 元/人·时。开放 x 名柜员时平均等待取经验式 W(x) = μx − λμ = 1.2x − 2.4(分钟,x > 2.4)。

第一步:列式。总成本(元/分)= 等待成本 λ·a·W(x) = 2W(x) + 人力成本 x·b。第二步:算表。逐 x 计算(枚举即上一章数值方法的零门槛版):

C(3):W = 2 分,2W + 3b = 4 + 75 = 79(元/分)?
——停!单位审讯:b 是 25 元/人·时,化成每分钟应除以 60,b = 0.417 元/分。第一次列式忘了除 60,人力项虚胖 60 倍,结论必然「少开人」。纠正后重算:
C(3):4 + 1.25 = 5.25;C(4):1.5 + 1.67 = 3.17;C(5):0.92 + 2.08 = 3.01;C(6):0.67 + 2.50 = 3.17。
最优 x = 5(C(5) 最小)。若把 b 改成 40 元/时重算,最优移到 x = 4——结论随参数移动,这很正常,但要能说出「为什么移动、往哪移」。

第三步:检验。①量纲:等待成本 = 人/分 × 元/人·分 × 分 = 元/分 ✓,与人力同量纲才可加 ✓;②边界:x → 2.4+ 时 W 爆炸(少于 3 名柜员队伍越排越长,符合直觉)✓;③与实测对照:模型预测 x = 5 时等待约 0.46 分钟,与驿站周五实测(约 30 秒)吻合良好 ✓。

小结:求解只是「把式子算完」,检验才是「证明自己没算错」。这次单位事故的成本是十分钟——若发生在执行阶段,就是多雇或少雇一个人的真金白银。

单位审讯三连问:每个字母的单位是什么?全式两边一致吗?答案的单位合理吗?——问完再谈最优。

p.55操作

方案比较

真实决策很少只有一条路。把驿站问题的三个候选方案拉到同一张桌子上:

方案 A(加柜员):x = 4,总成本 C_A ≈ 3.2 元/分当量(按修正单位重算)。方案 B(自助柜):一次性投入折算 0.8 元/分,服务提速使 μ 降到 0.8 分/件——重算 C_B:W = 0.8/(4 − 2×0.8/1.2×……)——注意 μ 变化会连锁改变 λμ',需整套重算,不是「顺手改一个数」。方案 C(分时定价):高峰时段加收 0.5 元取件费以削峰,假设 λ 高峰降 20%——同样全套重算。

方案比较表(决策矩阵):行=方案,列=判据。判据至少四列:总成本、公平性(谁承担成本)、可实施性(要审批吗)、风险(假设不成立会怎样)。单列成本打分是新手最常见的窄化。

比较结论示范:A 最稳但人力刚性;B 前期投入高但长期最优(假设投放量准确);C 依赖「学生会因小钱改时间」的行为假设,风险最高但潜力大。最优方案 = 判据权重 × 方案得分——权重的确定要全班讨论,这个过程本身就是建模教育。

田忌赛马的现代回声:方案比较的本质是「在约束下重排资源」。把三方案的成本结构画成条形图,哪些成本是「马」(不可变),哪些是「出场顺序」(可优化)?

比较方案时最容易犯的错不是算错,而是「比错了维度」——先定判据,再定胜负。

p.56专题

专题① 建模流程总览

把前四页的操作升维成一张流程总图。数学建模的标准六环(改编自 AMM 建模指南):

①理解问题:用自己的话复述,列出所有量与单位,问「什么算解决了」。
②假设简化:分清「保持不变的」(参数)与「刻意忽略的」(次要因素),每条假设写明理由。
③建立模型:目标函数 + 约束 + 参数。
④求解:解析(导数/不等式)、数值(迭代/枚举)、模拟(表格随机实验)三选一或混用。
⑤检验:量纲、边界、灵敏度、与实测对照。
⑥修正与报告:检验不过关 → 回到②;过关 → 成文。

流程的灵魂是第⑥环的回退箭头:建模不是直线工程而是螺旋上升——第一轮模型几乎必然被检验击毙,死得越早成本越低(「fail fast」的数学版)。

反例教学:某组直接从「套公式」跳到「求解」,结果发现忘了「周末到达率不同」——推倒重来的成本是完整走过流程的三倍。省略流程不是提速,是赊账。

本册全书脉络回顾:H2-1 的导数提供了「求解」环节的主武器;上一章的迭代提供了数值备胎;本章把它们装进同一部流水线。下一章的概率则武装「检验」环节——当数据带随机性,怎么判断模型好坏。

流程图不是官僚主义的墙饰,而是「第一步错了往哪退」的逃生图。

p.57专题

专题② 常见优化模型

四个经典母题,覆盖大多数校园级建模题的骨架:

母题一:定积求和最小 / 定和求积最大(均值不等式)。容积 500 mL 的圆柱罐用料最省:V = πr2h 固定,表面积 S = 2πr2 + 2πrh,代入 h 得 S(r) = 2πr2 + 1000/r,S′ = 4πr − 1000/r2 = 0 ⇒ r3 = 250,最优 h = 2r。结论普适:定体积圆柱,高 = 直径时最省料。

母题二:利润最大化(线性需求)。操练二已建:需求随价格线性、利润二次函数、驻点定最优。延伸:需求若非线性(如 q = k/p2,收入恒定——「任性商品」),最优策略完全改观。

母题三:路径与选址。河边建水站向两村供水,站址选在哪管线总长最短(对称原理 / 导数);「将军饮马」同构。母题四:库存与订货(EOQ 公式):年需求 D、单次订货费 K、单位库存费 h,最优批量 Q* = √(2DK/h)——平方根号下「订货费与库存费的拉锯」,与巴比伦法共用同一副代数面孔。

母题的意义不是背结论,而是认出骨架:见到新题先问「它是哪个母题的变装?哪里被改了?」——改动的部分才是本题的考点。

四百道题不如四个母题变着法儿做透——建模题海的正确姿势是「按骨架归档」。

p.58专题

专题③ 约束的处理

无约束的最值天下太平,约束一来才见功夫。三种基本情形:

情形一:不等式约束(区间内求最值)。闭区间上连续函数必有最值(最值定理)——步骤:解驻点 → 与端点同台比较。易错点:忘记端点!操练一的 x 若被「宽不超过 7 米」限住,最优解跑到端点 x = 7——约束收紧时最优解常被推到边界(影子价格概念的直觉源头)。

情形二:整数约束。柜员人数必须是整数、价格常以 0.5 元计——连续最优解 3.8 → 整数化不是简单四舍五入,要比较 3 与 4 的目标值(本例 3.8 离 4 近但必须真算:C(3) > C(4) 才成立)。

情形三:多约束联立。两变量问题(进货 x 件 A 商品、y 件 B,预算与货架双约束)——图解法:可行域是凸多边形,线性目标的最大值必在顶点取得(线性规划基本定理,高二下册正式登场,此处先布点)。

约束思维三则:①写约束要用与目标函数相同的单位系统;②每个约束都问一句「现实里它松还是紧」;③约束变化时最优解如何移动——这就是第 9 页灵敏度的入口。

约束不是数学的麻烦,而是现实的形状——优化之美正在于戴着镣铐跳舞。

p.59专题

专题④ 灵敏度与稳健

最优解有多「脆」?让参数动一动看结论动多少——灵敏度分析:

操作一:单参数扫描。定价问题里「每涨 1 元减 15 杯」的 15 若实为 12 或 18,最优价是多少?计算:斜率 b 变化时 p* = (b·基准价 + 450)/2b 的移动很小(1.7 元内),但最优利润变化明显——结论对参数的敏感度,因量而异,必须逐个摸底。

操作二:龙卷风图。把每个参数 ±20% 时「最优解的变动幅度」画成水平条形图,按变动幅度排序——图形成龙卷风状。最长的条就是模型的「命门」,报告里要重点交代它的数据来源有多可靠。

操作三:稳健设计的思想。两个方案期望利润几乎相同:方案甲在参数偏 10% 时利润暴跌 40%,方案乙只跌 5%。选谁?——期望值相同选乙:参数总有估计误差,稳健性是期望之外的第二美德。田忌赛马的孙膑版本其实也懂这个:下马输得「刚刚好」(弃车保帅的稳健分配)。

术语先行:最优解对参数的依赖函数(如最优利润关于斜率的函数)在运筹学里称为「最优值函数」,其导数(边际意义)对应线性规划里的「影子价格」——一个约束放松一个单位,能换来多少目标改善。高二下与 C 段会正式登场,今天先留指纹。

向决策者报告时,区间比点更诚实:「最优定价 17–18 元,利润 1440 元上下」胜过一口咬定的 17.5。

p.60专题

专题⑤ 模型的局限

所有模型都是错的,有些是有用的——统计学家博克斯的名言。本页专门「拆自己的台」:

局限一:行为假设过强。定价模型假设需求函数稳定、顾客只看价格;现实中品牌、天气、竞品都在起作用。局限二:数据的代表性。排队数据采自周二,周五能外推吗?样本 20 人的服务时长服从什么分布?——小样本的中位数会被一个「找证件十分钟的大爷」彻底带偏。局限三:目标单一化。利润最大化忽略了公平、口碑与员工负荷——多目标问题(成本 vs 等待 vs 公平)没有唯一最优,只有权衡面(Pareto 前沿的直觉版)。

局限四:最优 ≠ 该执行。模型给出「开 4 个柜」,但当天只有 3 个柜员请假条——理论的可行域与现实可行域不同。模型是参谋,决策权在带约束的现实手里。

模型报告的「局限声明」规范:至少三条,每条一个句式——「本模型假设 ______,当 ______ 时该假设失效,届时结论 ______」。写下失效方式,比宣称万能更专业。

正面收束:承认局限不是泄气,而是模型的「保质期标签」——标注了适用范围与失效条件,模型才能被安全地使用与迭代。

会建模型是本事,知道自己模型的边界在哪,是更大的本事。

p.61研讨

研讨① 真实问题的复杂

课堂研讨:为什么课本应用题「太假」,真实问题「太难」?三组对照剖析:

对照一:数据之别。课本题数据齐全(「已知 λ = 2」),真实问题数据要自己采、口径要自己定、缺测要自己补——本组驿站数据里的「到达率」就有三种定义,哪种进模型需要论证。对照二:目标之别。课本题目标唯一明确,真实问题的目标常常互相打架:驿站既要少等待又要少花钱还要兼顾员工休息——建模的第一步其实是目标谈判。对照三:答案之别。课本题有标准答案,真实模型的答案是一份「决策建议 + 假设声明 + 灵敏度表」——它可能被推翻,但推翻它需要同样严格的论证。

研讨产出:把驿站问题改写成一道「课本题」(删到三行以内、数据完备),再与真实版并列对比——两个版本的差距清单,就是「建模这门手艺」的课程表。

延伸辩论:「建模应该先简单后复杂,还是先全面再剪裁?」正方:玩具模型先跑通,逐步加真实;反方:忽略关键因素会导致方向性错误。各写三行论据,互相质询。

从应用题到真实问题的距离,就是从「解题」到「研究」的距离——本章要带您走完这段路。

p.62研讨

研讨② 模型评价标准

如何判断一个建模方案的好坏?全班共建评价量表(评审用):

五维量表:
①假设合理性(20%):每条假设有理由吗?关键的简化诚实声明了吗?
②模型正确性(25%):量纲一致?推导无误?约束齐全?
③求解有效性(15%):方法选得当吗?数值精度达标吗?
④检验与灵敏度(20%):做了对照吗?命门参数摸底了吗?
⑤表达与可复现(20%):图表规范?陌生人能照着重做吗?

用法演示:现场评审一份「预置的瑕疵报告」(教师提供)——它假设合理、推导漂亮,但灵敏度为零、且把 20 人样本当全体。用量表打分:约 65/100。再评审一份「朴素但诚实」的报告:模型简单(只做了线性近似)却样样交代清楚——约 80/100。量表传递的价值观:诚实而朴素 > 漂亮而含糊。

研讨议题:数学建模比赛(MCM/ICM)评审实际关注什么?读一篇 O 奖论文摘要与评审意见,对照我们的量表——哪些维度被验证,哪些要补充(如「摘要质量」「创新点」)。

评价标准本身是一门建模:把「好」这个模糊词,拆成可打分、可质询、可申诉的维度。

p.63研讨

研讨③ 古代运筹案例

运筹思想的古代谱系研讨。四个案例卡,各组解剖一个并回答「约束是什么、目标是什么、妙在哪」:

案例一:田忌赛马(战国,《史记》)。已导入,此处补深一层:这是对策论(博弈)而非单纯优化——最优策略依赖对手的出阵方式;若齐王也换策略,田忌的 2:1 不复存在。稳定解在哪?——这是冯·诺依曼 minimax 定理的千年预告。

案例二:丁谓修宫(北宋,《梦溪笔谈》)。皇宫失火重建,丁谓挖沟取土 → 引水运料 → 竣工填沟消垃圾——一沟三用,把三个运输问题合成一个。妙处:不是单目标优化,而是发现「三个问题共享一个资源」,这是运筹中「耦合」思想的艺术级案例。

案例三:沈括粮道(同书)。行军运粮的账:民夫自带口粮的消耗率使「多带人」反而「净粮更少」——沈括算出了「民夫不可超过作战兵员的三分之一」的最优配比,并下结论「用兵之利,运粮为最急」——线性规划的消耗矩阵雏形。

案例四:都江堰。鱼嘴分水、飞沙堰排沙、宝瓶口控流——无坝引水的「多目标联合设计」,运转 2280 年。它的「设计文档」就是一组水沙运行规律的观察假设——工程界的「假设–检验」范本。

古代运筹与现代建模的共同点:在约束的夹缝里寻找结构的复用——一沟三用,一石三鸟。

p.64研讨

研讨④ 现代优化一瞥

从校园模型抬头看现代优化的版图(视野拓展,不求深透):

线性规划:目标与约束全线性,可行域凸多面体,单纯形算法(Dantzig 1947)沿顶点行走至最优——军用物流起家,如今炼油、航空、饲料配比全靠它。对偶理论与影子价格是它的哲学核心。整数规划:变量取整——快递车辆路径(VRP)、排课、排班;NP 难,靠分支定界与启发式。动态规划:多阶段决策的「最优子结构」(贝尔曼方程)——上一章迭代思想的亲戚:值函数就是某个算子的不动点!(本章与上章在理论上握手。)

启发式与元启发式:模拟退火(金属退火的物理类比)、遗传算法(进化隐喻)、蚁群算法——不保证最优但「够快够好」,工程界的日常。凸优化:内点法(1984)让大规模凸问题多项式时间可解——机器学习背后的发动机。

研讨讨论题:①为什么「凸性」如此珍贵?(局部最优即全局最优——搜索不再被骗)②启发式算法的「物理隐喻」有什么风险?(隐喻指导设计,也可能误导调参)③运筹学在抗疫物资调度、电网调度中的角色,举一例并指出其中的目标冲突。

现代优化的一句总纲:把「怎么选」变成「怎么搜」,再研究「怎么搜得快、搜得稳、搜得可信」。

p.65项目

项目① 真实课题立项

本章大项目:为校园或家庭的一个真实问题做完整建模。四类选题池(要求:数据两周内可采到、目标函数可写出、有真实决策者):

A 排队池:食堂窗口开设数、打印店午后排队长龙、校门口体温检测通道。资源池:教室多媒体设备的最优配置、共享单车在校园各点的投放量、晚自习教室照明与空调的开关策略。定价池:社团义卖定价、旧书回收价、洗照片服务的套餐设计。路径池:值日生收作业的最优路线、课间操解散后的最短回班路径、家长会停车引导方案。

立项卡(六要素,沿用并升级):①决策者是谁(真实姓名/角色,谁将看到您的报告);②决策变量与单位;③目标函数草案;④约束清单(现实约束 ≥ 3 条);⑤数据采集计划(口径、样本量、时间表);⑥成功标准(模型给出建议后,决策者能据此做什么)。

立项答辩新增「决策者环节」:各组须转述「已与决策者确认目标与约束」的对话要点——找不到决策者的课题(如「优化全球气候」)当场打回重选。真实性是本章项目的红线。

选题检验标准一句话:两周后,您的报告真的会被人拿去用吗?哪怕只用一次。

p.66项目

项目② 数据与建模

数据日与建模日的合并推进。节点目标:立项卡全部落地为「数据表 + 目标函数初稿」。

数据环节军规回顾:记录表先行、随机抽样、原始数据不涂改。本周新增:每组交叉抽查别组 5 条原始记录(读表、对单位、追问口径)——数据也接受「同行评审」。

建模环节三步:①画「系统草图」:把决策变量、参数、目标用箭头图连起来(谁影响谁);②写出第一版目标函数与全部约束(手写即可,丑没关系,对就行);③立刻做一次「单位审讯」:每个字母的量纲写在旁边,全式验一遍。

常见病与处方:①「参数黑洞」——某参数(如「等待一分钟值多少钱」)说不出口源 → 处方:做两版(高/低估计)看结论翻不翻;②「约束漏网」——忘了「柜员中间要吃饭」 → 处方:把一天 24 小时逐段过一遍;③「目标错位」——优化了「学生方便」但决策者关心「经费」 → 处方:回炉立项卡第①⑥项。

里程碑验收:建模日结束时,每组在黑板上贴出「一页纸模型」(草图+函数+约束),接受 5 分钟快评。

建模日的心跳是「一页纸」:写不出一页纸,说明还没想清;写得出,剩下的只是苦活。

p.67项目

项目③ 求解检验

求解与检验的实战回合。三步走查清单:

求解走查:①解析解可行吗(导数可求、方程可解)?不行则数值(枚举表格/迭代搜索),再不行则模拟(表格随机实验,如到达人数用掷骰子或随机函数模拟 100 天);②数值解给出「误差声明」:枚举步长多大、迭代精度多高;③整数约束处理了吗(比较相邻整数点的目标值)?

检验走查(六问):①量纲全式过一遍了吗?②边界情形(参数取 0、取极值)结论荒谬吗?③与实测对照:模型预测的「4 号窗口等待 0.75 分钟」与真实观测差多少?④灵敏度:龙卷风图画了吗,命门参数是谁?⑤反证:把最优解人为扰动 10%,目标恶化多少(恶化少 → 模型平坦 → 结论稳健)?⑥决策者回访:把建议用外行话讲给决策者,对方能不能复述?

检验失败处理预案:与实测差> 30% → 回到假设环节,通常 culprit 是到达率口径或服务时间分布;灵敏度爆炸 → 参数须改为区间输入,结论改为区间输出;决策者摇头 → 目标函数加权不对,重新谈判权重。

里程碑:本日结束时每组提交「求解检验单」——六问逐条打勾或写明未过与原因。

检验不是给自己找不痛快,而是替未来的执行者排雷——现在发现的每个雷,都是现实里省下的真金白银。

p.68项目

项目④ 报告成稿

正式报告成稿日。八段式模板(前两章六段式的升级版):

①摘要(150 字):问题、方法、核心建议、一句局限。
②问题与决策者:谁决策、决策什么、什么算好。
③假设与口径:每条假设附理由;数据口径逐项定义。
④模型:变量表(符号/含义/单位)、目标函数、约束。
⑤求解:方法与过程,关键中间结果。
⑥检验与灵敏度:六问走查记录、龙卷风图。
⑦建议:给决策者的三条可执行建议,每条标注依据。
⑧局限与展望:至少三条「假设 ______ 失效时 ______」。

写作纪律:摘要最后写;每个图表有编号与解读句;建议必须「可执行」(「增加 1 名柜员于 12:00–13:00」✓,「加强管理」✗);全篇不用「显然」「一定」。

成稿三审:一审自查(对照模板逐段打勾)、二审组内朗读(读不顺的句子重写——朗读是治翻译腔与黑话的特效药)、三审跨组预审(下页答辩对手队先读,提出三条书面问题)。

报告是模型的「出厂设置」:没有假设声明与局限声明的报告,等于没有保质期的食品。

p.69项目

项目⑤ 答辩演练

答辩前的最后一课:演练。流程与角色分工:

时间分配(10 分钟答辩):陈述 6 分(问题 1 分、模型 2 分、结果与建议 2 分、局限 1 分)、质询 4 分。角色轮换:陈述人、图表操作、质询应答、计时——四角轮转,人人全流程过关。

质询预演题库(每组必备五答):①「您的等待成本 1 元/分钟怎么来的?」(答:调查了 10 人意愿支付……并说明±20% 不改变建议);②「样本只有 20 个,可信吗?」(答:声明了局限,用中位数而非均值以抗离群……);③「为什么不考虑星期五?」(答:列入展望,理由是……);④「您的建议会有人执行吗?」(答:已与驿站张老师确认可行……);⑤「如果模型错了怎么办?」(答:建议已按敏感性分档,最低风险项先行试点……)。

答辩礼仪三条:听完整问再答(不打断);答不上说「这点我们没做,谢谢指出——补做方案是 ______」(不狡辩);引用数据必报来源(「根据我们第三页的表 2」)。

彩排标准:全程脱稿、投影切换零卡顿、超时 30 秒内启动「跳讲预案」(预先标好可跳段落)。

答辩的本质不是防守,而是一次公开的同行评审——您把模型交出去,让整个共同体替您找 bug,这本身就是收益。

p.70思想卡

〔均输〕优化建模是数学的实干

一句心法:优化建模 = 把「想要最好」翻译成「目标函数 + 约束 + 求解 + 检验」。翻译的质量决定一切——模型错了不是计算错,多半是翻译错。

《九章算术》的「均输」章讲的是按人口与路程公平摊派赋役与劳役——汉代的「资源优化配置」。两千年后,同样的思想叫线性规划、叫运筹学、叫算法调度。名字在变,「在约束下求最优分配」的内核不变。

本章四件武器:建模六环(流程骨架)、四个母题(题目归档架)、约束三情形(边界上的功夫)、灵敏度分析(结论的抗震等级)。

最深的一课:模型是人与现实的合同——假设是条款,检验是验收,局限声明是免责细则。写清这份合同的人,才配说「最优」二字。

愿您从此面对「怎么安排最好」的问题时,条件反射地三连问:目标是什么?约束是什么?参数错了会怎样?——这三个问题,就是均输章穿越两千年递给您的手术刀。

扫码打开游戏工坊
扫码开玩 ·「优化馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=3

p.71深读

深读① 运筹学的诞生

1936 年,英国布莱克特(物理学家、后来的诺奖得主)受命研究一个问题:雷达站该布在哪、防空炮怎么指挥,才能让有限的装备发挥最大战力。他组建了一支「混编小队」——物理学家、数学家、生物学家、军官各司其职,用数据与模型代替直觉做军事决策。这门手艺得名 Operational Research(作战研究),即运筹学。

战绩立竿见影:深水炸弹的起爆深度优化使潜艇击沉率提升数倍;护航编队的规模优化降低商船损失;大西洋之战被称为「运筹学的第一次大考」。战后,这门手艺转业民间:1947 年 Dantzig 发明单纯形法,线性规划正式成年;伯努利-冯·诺依曼一脉的对策论同期奠基;1950 年代,钱学森、许国志把运筹学引入中国,1956 年中科院建立第一个运筹学研究组,「运筹」二字取自《史记》「运筹帷幄之中,决胜千里之外」——古为今用,名实相副。

学科性格一瞥:运筹学天生面向决策——它不问「世界是什么」(那是科学的问法),只问「我们该怎么办」(这是工程的问法)。这门学科与本章您的驿站报告,在精神上是同一个物种。

运筹学的诞生提醒我们:数学最硬核的应用,往往诞生在最急迫的现实需求里。

p.72深读

深读② 线性规划的故事

1939 年,年轻的康托罗维奇(苏联)为胶合板厂解决机床分配问题,写下了线性规划的第一页与「分解乘数」(影子价格)思想——这项工作让他在 1975 年与 Koopmans 分享诺贝尔经济学奖。1947 年,丹齐格(美国)独立提出一般线性规划模型与单纯形算法,并发明了对偶理论。

单纯形法的传奇与悬案:它在实际问题上快得惊人(沿可行域顶点走,通常几步到最优),但理论最坏情形是指数步数——「实践巨人、理论谜题」持续了三十年,直到 1972 年 Klee–Minty 反例证实其最坏指数复杂度;1984 年 Karmarkar 内点法给出多项式保证。教科书式的提醒:平均快与最坏有界是两码事——这与上一章「平均情形 vs 最坏情形」的算法思维一脉相承。

中国的贡献:华罗庚 1960 年代在全国推广「优选法」与「统筹法」——0.618 法(黄金分割搜索,恰是上一章迭代家族的成员)走进车间与农村,是「数学普及应用于生产」的世界级案例。今天中国的快递分单、高铁调度、电网优化,后台都是大规模线性/整数规划的求解器。

线性规划的启示:一个足够一般的模型 + 一个足够快的算法,就能改写整个产业的游戏规则。

p.73深读

深读③ 延伸:数学建模竞赛导读

延伸阅读与路径规划。若本章点燃了您的建模热情,三条进阶路:

路径一:读书。姜启源等《数学模型》(经典教材,前五章与本章无缝衔接);米勒《数学建模竞赛与方法》(方法论视角)。阅读任务:选书中「椅子能在不平地面放稳吗」一例,用本章六环流程复走一遍,比较您的假设与书的假设。

路径二:参赛。高中可参与 MathCup、IMMC 及各地中学生建模赛。赛前准备清单:三人分工模板(建模手/编程手/写作手)、常用模型手册(优化、微分方程、统计三类)、十页纸「万能假设库」。经验之谈:赛题永远做不完,评委打分看完整度与诚实度,不看野心——把一个子问题做透胜过三个问题都做皮毛。

路径三:复盘真题。找一道公开赛题(如「共享单车的调度」),先自己建模一周,再读优秀论文对照——「先做后看」的落差清单,是涨功力最快的路线。

阅读产出:一页「建模工具卡」——把本章四母题+排队经验式+灵敏度三操作整理成可查阅的索引卡,标注「什么特征的问题该用什么工具」。这张卡将陪您走完高中。

建模能力不靠天赋靠库存——见过的模型多、走过的流程全、踩过的坑多,手就熟了。

p.74复盘

建模流程图

本章复盘产出:一张您自己手绘的「建模流程图」(不许照抄讲义,必须长着您的指纹)。要求包含:

必含元素:六环主干+第⑥环到第②环的回退箭头;每个环节标注「本组实际用时」与「最易翻车点」;决策者出现的位置(立项与回访);数据流(原始表 → 统计量 → 模型参数)。

自查三题:①「最优解被约束推到边界」是什么情形?影子价格在这里是什么意思?②您的龙卷风图里最长的那根条是什么参数?若它 ±50%,建议还成立吗?③「模型与实测差 30%」的排查顺序是什么?(口径 → 分布假设 → 参数 → 目标权重)

个人档案归档:把驿站实验、母题操练、项目报告按「流程环节」归档——同一环节的作业放一格。期末时您会看到:每个格子里的失误类型在收敛——那就是能力的生长曲线。

自评分表:流程完整 30%、检验扎实 25%、报告规范 20%、答辩与应答 15%、团队合作(角色轮换完成度)10%。

复盘的最高境界:能画出「别人照着做也能成功」的流程图——知识只有流程化才算真正到手。

p.75展示

建模成果展

成果展暨「决策者日」:特邀各组项目的真实决策者(驿站老师、食堂经理、总务主任……)到场听答辩。

流程:①各组 10 分钟答辩(决策者坐评委席);②决策者当场反馈三选一:「采纳试点 / 修改后再议 / 说明不可行的原因」——无论哪种,都是真反馈,都算项目成功;③全班投票「最值得执行奖」与「最诚实报告奖」;④决策者寄语 5 分钟。

讲评要点:表扬「假设–检验–局限」链条完整的小组;点评典型失误(单位错、样本误当总体、建议不可执行);对照开题时的立项卡,看目标有没有漂移、约束有没有补漏。

收官研讨(10 分钟):「这个项目里,数学占几成?」——预期争论:数据采集与沟通谈判的「非数学」成分很大,但没有数学,那些成分只是闲聊。数学是决策的骨架,现实是决策的血肉——两者缺一,都站不起来。

预习提示(衔接第 4 章):驿站数据里「每分钟到达人数」忽多忽少——下章起我们给「忽多忽少」建立精确的语言:概率与随机变量。确定性模型之外,还有一整个随机的世界等着优化。

展会落幕,模型上路:愿您报告里的那条建议,真的在校园里多运转了几年——那是数学能留下的最实在的脚印。

第 4 章 · CHAPTER 4

计数与二项式·随机变量

p.76–100 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

p.76导入

从杨辉三角说起

1261 年,杨辉在《详解九章算法》里抄下一张数字三角形——并注明「贾宪用此术」,把发明权上推到十一世纪的贾宪。四百年后帕斯卡重新研究它,欧洲人称帕斯卡三角。同一个三角形,东西方各自抵达:第 n 行是 (a+b)n 展开的系数,是组合数 C(n,k) 的表,是最短路径的计数,也是本章全部内容的地图。

这张图为什么值得花一整章?因为它是「计数」与「概率」两条大河的源头:向左走,是二项式定理与组合恒等式(计数的代数);向右走,是二项分布、期望、方差(随机的微积分雏形)。而「随机变量」的登场,标志着数学的一次大扩容:把「不确定性」本身当作一个量来运算。

本章双主题:上半章(计数与二项式)回答「有多少种」;下半章(随机变量)回答「平均怎么样、波动有多大」。两半在「二项分布」处会师:n 重独立试验的成功次数,既是计数的(C(n,k)pkqn−k),也是随机的(期望 np、方差 npq)。

学习方法预告:计数题最忌「背题型」,最提倡「掰手指」——把 n=3、k=2 的情形真的一枚一枚数出来,再抽象。概率最忌「想当然」,最提倡「做实验」——掷硬币一万次的表格软件,专治各种直觉翻车。

一张七百岁的三角形,今天仍是高考、计算机科学与赌场共同的心脏——先把它画满您的草稿本。

p.77操作

杨辉三角规律探索

把三角写到第 10 行(人手可及),然后玩「找规律」的寻宝游戏。必找的四件宝:

宝一:左右手对称——C(n,k) = C(n,n−k)。「选 2 个」与「留 5 个」一样多。对应现实:奖项名额与落选名额的一一对应。宝二:折线求和——第 n 行所有数之和 = 2n。证明(双射):每个 n 元子集都出现在计数里,全体子集 2n 个。宝三:浅对角线——1, 1, 2, 3, 5, 8… 是斐波那契数!斜着读三角,兔子问题藏在组合数里。宝四: hockey stick(曲棍球杆)——沿一列往下加到某行,和恰在其右下角:∑i=kn C(i,k) = C(n+1,k+1)。证明:分类「最大的元素」。

寻宝赛:再找三条本页没提的规律(提示:各行奇数的分布——谢尔宾斯基三角形第三度出场!;平方数是相邻两数的平方差;每一行交替加减是 2n·sin 的系数……),小组汇报,全班投票「最美规律」。

方法论落点:发现规律靠观察,确认规律靠证明——「数字都对」不是证明,双射与归纳才是。本页四件宝各配了证明思路,体会「猜想 → 证明」的完整动作。

杨辉三角是数学里的藏宝图:挖得越深,宝越多——从高中组合恒等到大学二项式反演,它一路都有货。

p.78操作

排列组合进阶题组

六个进阶题,每人先独立做 15 分钟,再小组对答案——重点比对「分类方式」而不只是答案:

①(相同元素)4 个 a、3 个 b 排成一列,多少种排法?——多重集排列 7!/(4!3!) = 35:先选 a 的位置。
②(圆排列)5 人围圆桌,多少种坐法?——(5−1)! = 24:旋转视为相同,固定一人破旋转对称。
③(隔板法)10 颗相同糖分给 3 人,每人至少 1 颗?——C(9,2) = 36:9 个空隙插 2 块板。
④(正难则反)6 人排队,甲不在头、乙不在尾?——总数 720 − 2×120 + 24 = 504:容斥(两个减多了,加回交集)。
⑤(对应对)8 人两两配对打羽毛球?——7×5×3×1 = 105:先排 8 人长队,1-2 一对、3-4 一对……除以队内顺序。
⑥(染色问题)3×3 方格棋盘涂三色,相邻异色?——逐步分类:中心一行定,四角唯一……(完整枚举留作挑战)。

六题六法:选位置、破对称、插隔板、容斥、除序、逐步分类。计数的总纲是「不重不漏」:每个方法都是把「不重不漏」这个抽象要求落成具体动作。

验算三件套(从今天起养成):小数值手数(n=3 真数一遍)、双解互核(两种方法答案一致)、极端检查(n=1 时公式是否退化正确)。计数题的自信不来自聪明,来自验算。

计数没有万能公式,只有万能态度:数不清就换个角度数——每一个新角度,都是一条新方法。

p.79操作

二项式展开实验

实验一(机械展开):(a+b)4 = a4 + 4a3b + 6a2b2 + 4ab3 + b4——系数恰是三角第 4 行。验证手段:把 (a+b)2 连乘两次、三次、四次,逐步对照三角「肩上两数之和」。

实验二(通项公式):以 (2x − 1x2)7 求含 x3 的项为例——通项 Tk+1 = C(7,k)(2x)7−k(−x−2)k = C(7,k)27−k(−1)kx7−3k;令 7 − 3k = 3 得 k 非整——没有 x3 项!公式之外先做存在性判断,避免硬算。求含 x−2 的项:7 − 3k = −2,k = 3,项 = −C(7,3)·8·x−2 = −280x−2。

实验三(系数和):令 a = b = 1 → 系数和 2n;令 a = 1, b = −1 → 奇偶位系数和相等(各 2n−1)。——「特殊值代入」是多项式恒等式的读心术。

二项式定理:(a+b)n = ∑k=0n C(n,k)an−kbk。组合解释:展开式每一项来自「n 个括号里选 k 个贡献 b」,选法 C(n,k) 种——代数公式在数「选择」。这也是定理的计数证明:无需归纳,双射即证。

实验四(近似估算):(1.01)10 ≈ 1 + 0.1 + 0.0045 ≈ 1.1046(真值 1.1046)——前两三项已够用。工程里的「一阶近似」思想由此发端,与下一章导数近似遥相呼应。

二项式定理是「代数与计数握手」的第一现场:每一项系数都是一次选择,每次展开都是一场清点。

p.80操作

随机变量建模

从「必然的计数」跨进「偶然的世界」。三步建模操练:

操练一:定义随机变量。掷两颗骰子,「点数和 X」的取值 2–12;「最大点 Y」取值 1–6。同一实验可以定义多个随机变量——随机变量是把样本点映射成数的函数。列表求 X 的分布:和为 7 有 6 种(概率 1/6,最大);和为 2 或 12 各 1 种(1/36)。

操练二:离散化现实。驿站问题(上一章)里「每分钟到达人数」X:取值 0,1,2,…,分布待定(下周用泊松或实测频率)。建模关键动作:决定 X 的取值范围与概率如何赋予——这是把模糊的「忽多忽少」变成可运算对象的唯一路径。

操练三:期望初算。彩票小游戏:2 元一张,1/10 概率中 5 元,1/100 中 20 元。期望回报 = 5×0.1 + 20×0.01 = 0.7 元,净期望 = −1.3 元/张——「期望为负的游戏长期玩必输」,这句话在专题⑤会展开成决策理论。

随机变量:样本空间到实数的映射 X。离散情形用分布列(每取值的概率)完全刻画;期望 E(X) = ∑ xipi 是「加权平均」,权是概率。平均不等于常见:中位数与众数各司其职。

随机变量是数学给「运气」发的身份证:从此运气有了分布、平均与波动,可以进公式、进模型、进合同。

p.81专题

专题① 二项式定理及其应用

定理再武装:三个高中层面的经典应用。

应用一:整除与余数。求 251 除以 7 的余数:251 = 817 = (7+1)17 ≡ 17 = 1(mod 7)——二项展开后除末项外全是 7 的倍数。「凑形式」是同余计算的起手式。同法:9192 除以 100 的余数 = 192 = 1(91 = 100 − 9?重凑:91 ≡ −9,(−9)92 = 8146 = (1+80)46 ≡ 1)。

应用二:组合恒等式。对 (1+x)n 求导或乘 x 再比较系数,一串恒等式免费到手:∑ k·C(n,k) = n·2n−1(另一证法:n 人队选队长再选队员,两种计数路径)。「一算两遍」是恒等式 generative 的引擎——同一集合两种数法,答案必然相等。

应用三:杨辉三角的高层定律。(1+x)n(1+x)m = (1+x)n+m 比较系数:∑ C(n,i)C(m,k−i) = C(n+m,k)——范德蒙恒等式,组合意义(两班合选 k 人)比推导更快。

方法论金句:多项式恒等式的两边是同一事实的两种计数。看到求和式,先问「它在数什么?」——组合证明往往比代数变形短一个数量级。

应用千变万化,心法只有一个:让代数式「回到人群里」——把它翻译成「谁选谁、怎么分」。

p.82专题

专题② 二项分布

二项分布 B(n,p):n 次独立重复试验,每次成功概率 p,成功总次数 X 服从 B(n,p),分布列 P(X = k) = C(n,k)pk(1 − p)n−k。名字的由来:概率恰是 (p + q)n 展开的通项——计数与概率在此合流。

识别二项分布的三要素(判断题常考):①每次试验两结果;②独立重复;③每次 p 不变。反例辨析:「无放回抽取」(p 在变 → 超几何分布);「首胜为止」(试验次数随机 → 几何分布)。

计算演练:20 道四选一选择题瞎蒙,蒙对 ≥ 12 题的概率?∑k=1220 C(20,k)(1/4)k(3/4)20−k ≈ 0.0009——万分之一。「瞎蒙及不了格」有了数量级证据。再算「至少对 1 题」:1 − (3/4)20 ≈ 0.9968——「全错」才是小概率。

图形实验:n = 20 固定,p = 0.1 / 0.3 / 0.5 / 0.7 的分布柱状图——p = 0.5 对称钟形;p 偏离 0.5 右(左)偏。p = 0.5、n = 5 与 n = 50 对比——n 增大时「摊平变尖」:这正是大数定律与中心极限定理的先声(专题④)。

B(n,p) 是随机世界的「氢原子」:最简单的结构,却藏着通向正态、泊松、大数定律的全部暗道。

p.83专题

专题③ 期望与方差

分布列是随机变量的「全景照」,但多数场合我们要两个浓缩指标:

期望:E(X) = ∑ xipi——「长期平均」。线性性质:E(aX + b) = aE(X) + b;独立时 E(XY) = E(X)E(Y),和的期望总可加:E(X + Y) = E(X) + E(Y)(不需独立!)。
方差:D(X) = E[(X − E(X))2] = E(X2) − E(X)2——「波动的平方平均」。性质:D(aX + b) = a2D(X);独立时 D(X + Y) = D(X) + D(Y)(此处必须独立)。

二项分布两指标现成:E(X) = np,D(X) = np(1 − p)。推导思路:X = X1 + … + Xn(指示变量之和),E(Xi) = p、D(Xi) = p(1 − p),叠加——「拆成指示变量」是二项计算的总开关。

直觉校正实验:投篮命中率 60%,投 10 次,问「期望命中 6 次」与「恰好命中 6 次的概率」是不是一回事?P(X = 6) ≈ 0.25——期望值出现的概率常常只有四分之一。期望是重心,不是众数。

方差的意义演练:两台机器日产量均值同是 1000 件,D(X) = 4 与 D(Y) = 400——均值说话、方差定质量:品控选低方差。期望与方差合起来,就是下一章正态分布的两个参数。

期望告诉您「平均能到哪」,方差告诉您「路上颠不颠」——决策要两个都看,就像选车既看马力也看悬挂。

p.84专题

专题④ 正态分布初见

把二项分布的柱状图 n = 5、20、50、100 一路画下去(p = 0.5):轮廓渐渐贴上一条光滑的钟形曲线——正态分布 N(μ, σ2),概率密度

f(x) = 1√(2π)·σ·e−(x−μ)2/(2σ2)。两个参数各就各位:μ 是期望(曲线中心),σ 是标准差(曲线胖瘦)。3σ 经验法则:落在 (μ−σ, μ+σ) 约 68%;(μ−2σ, μ+2σ) 约 95%;(μ−3σ, μ+3σ) 约 99.7%。

为什么它无处不在?高斯的天文学起源(测量误差)、生物学的身材身高、工业的零件公差——「大量微小独立因素叠加」的结果都长这样(中心极限定理:独立同分布随机变量之和标准化后趋 N(0,1),不论单变量什么形状)。二项分布 n 大时 ≈ N(np, npq)——棣莫弗 1733 年已见此景,比拉普拉斯的一般证明早七十年。

操作:查表与「标准化」。Z = (X − μ)/σ 把任何正态化成标准正态——「换算成离均值几个 σ」即可查表。例:身高 N(170, 6.252),180 cm 以上比例 = P(Z > 1.6) ≈ 5.5%。

警觉点:正态不是万能——考试成绩有下界 0 且可能双峰(文理分科);收入分布右偏严重(用对数正态)。用模型前先画直方图:数据长得像不像钟形,眼睛先替您把关。

钟形曲线是「无数小原因叠加」的签名——认识了它,您就在报分数、看体检单、读公差表时多了一副数学眼镜。

p.85专题

专题⑤ 决策与期望

期望的实战身份:决策的度量衡。三个案例递进:

案例一:保险的算术。年保费 300 元,赔付 10 万元,出险概率 0.2%。保险公司视角:每单期望赔付 200 元,毛利 100 元。投保人视角:期望「亏」100 元,为什么还买?——期望值是重复博弈的指标,个体一次性的灾难需要的是「分散风险」而非「平均划算」。保险的本质:用确定的小损失换取毁灭性大损失的豁免(效用论的入口)。

案例二:圣彼得堡悖论。掷硬币直到首次正面,赔 2n 元——期望 ∑ (1/2)n·2n = ∞,但没人肯付高价玩。缺口在哪?「期望」忽略了边际效用递减:100 万对穷人的意义远超富人。丹尼尔·伯努利 1738 年的解答开了效用理论的先河——现代经济学的基石之一。

案例三:质检决策。零件缺陷率 0.5%,漏检损失 500 元/件,全检成本 1 元/件。期望比较:不检的期望损失 2.5 元/件 > 全检 1 元/件 → 全检。加一层灵敏度:缺陷率降到 0.1% 时不检更省(0.5 < 1)——决策阈值 = 两方案期望相等的参数值,把「该不该做」变成一个方程。

期望决策三步:列方案 → 每方案算期望(收益与损失都要加权)→ 加灵敏度问「参数动多少结论会翻」。第三章的建模流程与本章的概率工具在此合流。

期望不是「预知未来」,而是「给不确定性定价」——它是理性人在迷雾中的唯一指南针。

p.86研讨

研讨① 概率模型的假设

每个概率模型都站在假设上。本页研讨给假设「验明正身」:

假设清单(以 B(n,p) 为例):①独立性——这次投篮与上次无关;②p 恒定——手不酸、心态稳;③结果二分——中/不中。逐条追问现实:职业选手连中后的「手感」是心理还是概率(热手悖论——研究显示多数所谓热手是选偏差);客场噪音会不会改 p?

研讨任务一:找漏洞。「某地区出生性别比约 1.05 : 1,问一家三孩全男孩的概率」——多数同学直接 (0.512)3 ≈ 0.134,但「同一家族内」与「总体比率」不是一回事(相关性与异质性)。体会:套公式前先问样本结构。

研讨任务二:蒙提霍尔问题的假设。换门胜率 2/3 的证明依赖「主持人必开一扇羊门」——若主持人「可能开可能不开」,结论翻覆。假设变了,概率就变了:概率是条件的函数,不是事件的属性。

研讨任务三:模型对比。同一批数据(驿站到达人数),用二项(人数上限 n 内每分钟每人在的概率 p)与泊松(n 大 p 小的极限)两种拟合,哪个残差小?为下周埋下「模型选择」的种子。

概率结论的可信度不高于它的假设——审题先审假设,是概率素养的第一课。

p.87研讨

研讨② 期望的直觉陷阱

直觉在期望面前的翻车实录,五案连环:

陷阱一:赌徒谬误。连开五次红,「该出黑了」——错。独立试验没有记忆;轮盘的下一转与历史无关。陷阱二:热手谬误。连中五球「他今天手感来了」——多数情形是选择效应(人们专挑连中后的出手来记)。与陷阱一恰成镜像:独立的看成有记忆,有选择的看成命定——人类直觉在两个方向上都会犯错。

陷阱三:均值回归的误读。极端表现后回均值是统计必然(纵坐标回归),但被误读成「批评有用表扬有害」——著名的飞行教练悖论:表扬后的下次表现变差,是因为「回归」,不是「骄傲」。研讨会重点:回归平均值是期望+波动的自动结果,无需因果解释。

陷阱四:幸存者偏差。「成功学样本」只统计了活下来的公司——统计对象本身经过选择,均值全部失真。与沃德教授的飞机装甲(只统计弹孔少的部位)同一副骨架。陷阱五:小样本神话。10 次观测的「规律」噪声占九成——n 多大才算数?这与置信区间相连,C 段正式登场。

研讨产出:五陷阱各配一个「自防口诀」(如「独立无记忆,连错不改 p」),写进个人手册。

概率直觉的出厂设置不适配现代世界——刷新直觉的唯一办法,是让每个陷阱都亲手翻一次车。

p.88研讨

研讨③ 保险与期望

把「保险」当一面棱镜,折射期望、风险与社会设计的三角关系:

议题一:定价的数学。保费 = 期望赔付 + 运营成本 + 风险溢价 + 利润。车险的 NCD(无赔款优待)本质是用历史记录更新个体 p——贝叶斯思想的商业实现(下一册的主角)。研讨:为什么年轻司机保费高?(群体统计定价 vs 个体差异——公平与精算的张力)

议题二:逆向选择与道德风险。最清楚自己风险的人最想投保(逆向选择)——统一定价会「选走坏风险」,保费螺旋上升,市场萎缩:信息不对称能杀死市场(阿克洛夫柠檬市场同构,2001 年诺奖)。参保后的行为改变(不锁门)是道德风险——免赔额设计正是为了让「部分风险留给您自己」。

议题三:社保的设计。养老金是代际转移 + 长寿风险池化;医保是大病风险池化。讨论:池子越大越稳(大数定律!)——为什么社会必须强制参保?(自愿参保下健康人退出,池子萎缩——逆向选择的公共版)

立场写作(200 字任选其一):「统计定价对个体不公平」vs「取消统计定价市场将崩溃」——两方都要引用本页至少一个机制作论据。

保险是最好的期望课:它把抽象的 E(X) 变成了每张保单上的人民币,也把大数定律变成了文明的安全网。

p.89研讨

研讨④ 《数书九章》的计数问题

回到中国古算找计数的根。秦九韶《数书九章》(1247 年)三题研讨:

题一:大衍求一术(一次同余组)。「物不知数」(《孙子算经》):今有物不知其数,三三数之剩二,五五数之剩三,七七数之剩二,问物几何?——答案 23。秦九韶把「余数凑法」系统化为「大衍总数术」,其核心与中国剩余定理等价。计数联系:模 3、5、7 的余数组合与整数一一对应——同余类的「乘法原理」。

题二:计功与派役。均赋、计库诸问中大量「分类计数+组合配比」——与本章隔板法、多重集排列同源。研讨:古算的「题问」形式(具体粮米、具体人夫)与今天的抽象计数,各自的教学优势?

题三:正负开方术。秦九韶的高次方程数值解法(欧洲称 Horner 算法,早近六百年)——它是「逐位确定」路线的巅峰,与上一章巴比伦「整体逼近」路线对照,构成算法史的双峰。

方法论对照:中国古算重「术」(可操作的算法步骤),希腊传统重「理」(公理演绎)——两条路径在近代数学里汇合:算法要证明收敛,定理要给出构造。今天写代码的各位读者,是两条传统的继承人。

「三三数之剩二」流传千年,靠的不是答案 23,而是那套能对付任何余数组的方法——术可以老,法的生命力不老。

p.90项目

项目① 概率课题立项

本章研究项目:用概率工具回答一个可实验的问题。四个选题池:

A 模拟池:蒙提霍尔 1000 次模拟(换门 vs 不换);掷硬币连击记录(最长连续同面的分布);生日悖论全级模拟。B 调查池:校服尺码分布(拟合正态并做 3σ 检验);食堂窗口排队人数的分布拟合;同学手机的电量残量分布。C 博弈池:骰子游戏「Cee-lo」或大富翁开局策略的期望分析;「抢 30」类游戏的必胜策略与随机扰动版。D 决策池:校运会项目报名的期望得分策略;自习室占座策略的成本收益。

立项卡(升级六要素):①问题句(含明确的不确定性来源);②随机变量定义(X 是什么、取值范围);③理论模型假设(二项/几何/正态/自定);④数据或模拟计划(样本量 ≥ 100,或模拟次数 ≥ 1000);⑤理论预测(先算后测——先有预测才有检验);⑥成功标准。

立项铁律:先理论后数据——先用分布列做出预测,再让数据说话;顺序反了就成了「事后诸葛亮式拟合」,检验失效。

好课题的自检:您的理论预测与数据之间,存在被推翻的可能吗?不可能被推翻的课题不是研究。

p.91项目

项目② 实验设计

让数据真的能回答问题。实验设计四讲:

讲一:样本量先算后采。想检验「硬币是否均匀」,偏离量多少才算异常?粗略标尺:n 次试验中 |正面频率 − 0.5| > 1.5/√n 才值得起疑(σ ≈ 0.5/√n 的 3σ 简化版)。n = 100 时需偏离 15% 以上——样本量决定分辨力,先算再采。

讲二:随机化。调查「自习室占座与成绩的关系」?相关不等于因果——占座者可能本来就勤奋。能随机化就随机化(实验组/对照组抽签),不能则至少记录混杂变量。本章只求「描述性结论」,因果语言留给大学。

讲三:模拟代替真实实验。蒙提霍尔不该真的搬门——表格软件随机数 1000 次,五分钟出结果。模拟的合法性:随机数发生器满足同样的概率规则。纪律:固定随机种子或记录首轮 20 个数,保证可复现。

讲四:记录规范。原始数据表(时间、条件、数值)与「事故记录」(中断、疑似异常)分开;每日备份两处。

实验设计的全部艺术:让「运气」只出现在您想研究的地方——其余的一切都钉死。

p.92项目

项目③ 数据分析

数据到手,三步分析出结论:

第一步:画。频数直方图(连续型)或条形图(离散型);模拟课题画「理论分布 vs 实测频率」的双柱对比图——理论与数据的同框是本章项目的标志性图像。

第二步:比。三个层次:①直观比(形状像不像、峰位对不对);②指标比(样本均值 vs 理论期望 E(X)=np;样本方差 vs npq);③偏差标尺(偏差除以 1.5/√n 的量级判断——超过 3 倍才怀疑模型)。

第三步:判。三种结论措辞的规范:「与模型一致」(偏差在标尺内);「与模型不符,疑似 ______」(写明可疑假设:不独立?p 不恒定?);「样本不足,无法判断」(这也是合法结论!)。禁止的措辞:「证明了」「绝对是」——统计结论永远带误差资格。

分析示范(生日悖论模拟):23 人班级,模拟 2000 次「至少两人同生日」。理论 P = 1 − 365!/(342!·36523) ≈ 50.7%;模拟实测 50.9%(±1.1% 标尺内)→ 结论「与模型一致」。追问:若班级 40 人呢?(≈ 89.1%——直觉vs 指数的经典翻车现场。)

数据分析的心跳只有一下:理论与数据对表——对得上是结果,对不上是更好的结果(您发现了假设的裂缝)。

p.93项目

项目④ 写作

概率项目报告八段式(建模模板的概率特化版):

①摘要:问题、方法(理论 + 实测)、核心数字结论。
②问题与随机性来源:运气从哪来、为什么值得量化。
③随机变量与模型:X 定义、分布推导(写出关键步骤如 C(n,k)pkqn−k 的来源)、假设清单。
④理论预测:期望、方差、关键概率值——先于数据出现。
⑤实验/模拟设计:样本量算法、随机化措施、可复现记录。
⑥数据与分析:双柱对比图、指标对表、偏差标尺判定。
⑦结论与讨论:三种规范措辞之一;不符时的假设诊断。
⑧局限:样本、假设、外推边界各一条。

概率写作专属红线:①概率值必须带「分母语境」(「千次模拟中 512 次」而非「大约一半」);②「期望」与「大概率」严格区分(期望为负的游戏也可能单次大赢);③引用独立性假设处必须注明依据(「掷骰子物理隔离,视为独立」)。

互审预案:明日答辩的审查重点就是「预测是否先于数据」——时间戳与实验日志将成为证据。

概率报告的灵魂是诚实:预测在先、数据在后、结论带资格——三样齐了,随机才不耍赖。

p.94项目

项目⑤ 展示准备

八分钟展示设计(概率专场三件套):

现场实验件:①全班参与的「人体随机试验」——请 40 位同学写下「想象中的三次抛硬币」(H/T 序列),与真实随机序列混排,让大家猜哪些是编的(编造的序列「连击太少」——这是心理学与概率的著名交叉实验,效果炸裂);②模拟大屏:蒙提霍尔或生日悖论的实时投点,数字滚动直至收敛;③「理论曲线」投影板:手绘正态钟形,实测数据点贴上去。

数字三精选:展示只留三个数字:理论期望、实测均值、偏差标尺倍数——其余进附录。反直觉钩子:开场 30 秒先抛调查(「23 人里两人同生日的概率过半,举手同意的?」),用现场投票制造认知冲突,再用数据揭底。

彩排检查单:①随机演示的应急预案(断网/卡顿→截图版);②每个概率值的分母语境背熟;③质询预演五题(样本量?独立性?为何先预测?偏差含义?结论的适用边界?);④计时两遍。

概率展示的高光时刻,永远是「直觉被打脸」的那三秒——设计好它,然后让数据当主角。

p.95思想卡

随机中自有秩序

一句心法:单个事件不可测,大量事件有铁律——期望 E(X) = ∑xipi 是随机的重心,方差 D(X) 是随机的半径。把握这两笔账,您就握住了不确定世界的缰绳。

本章地图回望:杨辉三角(计数的地图)→ 二项式定理(代数与计数握手)→ 二项分布(计数与概率合流)→ 期望方差(随机的两指标)→ 正态(叠加的铁律)→ 期望决策(随机的定价)。一条主线:从「有多少种」到「平均怎么样」。

更深一层:随机变量的发明,是人类给「运气」上户口——从此偶然不再是数学的弃儿,而是可以建模、可以定价、可以经营的对象。保险公司、精算师、搜索引擎的排序,全是这户人家的后代。

帕斯卡在《思想录》里写:「人是一根会思想的芦苇。」他与费马通信里诞生的期望论,恰是给这根芦苇递上的第一件对抗偶然的兵器。

别再问「下一次会怎样」——问「一万次平均会怎样、波动多大」。这是随机世界的成年礼。

扫码打开游戏工坊
扫码开玩 ·「二项分布馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=4

p.96深读

深读① 帕斯卡与费马的通信

1654 年,赌徒德·梅雷向帕斯卡提出两个困惑:「掷骰子问题」与「点数分配问题」——两局未赛完(比如五局三胜制下 2 : 1),赌金怎么分?帕斯卡与图卢兹的费马为此通信七封,概率论在赌桌上降生。

费马的解法:枚举所有可能的后续赛局(哪怕有的局根本不用打完),按等可能结局分配——「假想的完整比赛」。帕斯卡的解法更进一步:递推 + 三角形系数,并把思路推广成一般的计数原理。两人独立得到 3 : 1 的分配(2:1 时剩余两局全归对方方才翻盘,故另一方的两局「虚拟胜局」值一半赌注)。核心洞见:分注依据的不是已赛局数,而是剩余局数的赢面——期望思想的第一次亮相。

通信的历史地位:这是数学史上第一次把「机会」作为严格的数学对象处理。惠更斯闻讯写成《论赌博中的计算》(1657),概率论有了第一部教科书;雅各布·伯努利《猜度术》(1713,身后出版)证明大数定律,期望从赌桌走进科学。

细节耐人寻味:两人从未谋面,全部通过梅雷的朋友罗比瓦尔中转;费马用信中数学击败了自己的本职(语言学家与法官),帕斯卡则在此后转向神学写作——概率论诞生于两位天才的「业余之夜」。

读这段通信的收获:一个正确的问题(怎么分才公平)胜过一百个正确的答案——问题会把整个学科拽出来。

p.97深读

深读② 正态曲线的历史

钟形曲线的身世跨越三百年,主角各怀使命:

棣莫弗(1733):在赌桌问题的研究里,他需要 B(n, 1/2) 当 n 很大时的近似,推导出第一版正态曲线——数学动机,纯而又纯。高斯(1809):处理小行星谷神星的观测误差,以「误差分布 + 最大似然」推出同一曲线,并顺手发明最小二乘法——曲线从此冠他之名(Gaussian),德国马克与 10 马克钞票都印着它。拉普拉斯(1810):证明中心极限定理——不论单变量什么分布,大量独立微小因素之和趋于正态——曲线获得了「普遍性」的理论身份证。凯特勒(1844):把正态套上人群——身高、胸围、犯罪倾向,「平均人」(l'homme moyen)概念诞生,统计从天文学走入社会科学,也埋下「统计滥用」的隐患。

辩证一页:正态的普适性常被滥用——皮尔逊早期把一切分布都当正态的变体,遭自身数据打脸后转而建立一般分布理论(卡方检验)。现代统计的立场:正态是假设,不是信仰——用前检验(直方图、偏度),不符则改用其他模型。

文化注脚:「钟形曲线」也曾被滥用为群体歧视的工具(十九世纪末的颅相学与智力测验史)——数学工具的伦理责任在使用者,这一课与公式同样重要。

一条曲线,三个世纪的接力:从掷骰子的尘埃里出发,经天文学锤炼,最后照见了人类自己——包括照出滥用者的嘴脸。

p.98深读

深读③ 延伸:统计学改变世界

延伸阅读与视野拓展。推荐书与导读:

《女士品茶》(萨尔斯伯格):二十世纪统计革命的群像故事——从费希尔在 Rothamsted 农业试验站的实验设计,到「女士品茶」那个著名下午(检验一位女士能否真的分辨先加奶还是先加茶——假设检验思想的萌发)。阅读任务:找出书中三个「实验设计改变结论」的实例,用上一页的「随机化、样本量、混杂变量」三讲点评。

《统计陷阱》(哈夫):经典小册子,专治图形夸大、样本偏差、平均数戏法。任务:从本周新闻或广告中找出两个「统计话术」案例,按书中分类归档并写两行拆解。

选读:辛格《概率与统计的故事》或陈希孺《概率论与数理统计》的绪论任一本通史;亦可浏览各国统计部门官网的「统计科普」栏目(如国家统计局网站的数据解读专栏),看正态、指数、相关系数如何活在公报里。

阅读产出:一页「统计公民卡」——回答三问:①看到「平均」先问什么(哪个平均?什么分布?);②看到「相关」先问什么(样本?混杂?因果方向?);③看到「预测」先问什么(历史样本多大?假设变了吗?)。这张卡是现代公民的素养底座。

统计学不保证您不被骗,但保证您被骗得慢一点、发现得快一点——在数据时代,这已经是一种超能力。

p.99复盘

概率统计工具箱

本章复盘以「工具箱清点」方式进行——把每件工具的「用途、用法、失灵条件」三栏填满:

工具箱清单:
①杨辉三角:恒等式地图;失灵条件:n 大时手画不可行(改用公式)。
②六大计数法(选位/破对称/隔板/容斥/除序/分类):总纲不重不漏;失灵条件:分类标准互相纠缠(先理层级再数)。
③二项式定理:展开、通项、近似、同余;失灵条件:非二项(三项式先合并或用多项式定理)。
④B(n,p):识别三要素;失灵条件:无放回(超几何)、p 变(一般独立和)。
⑤E 与 D:计算、性质、二项结论 np 与 npq;失灵条件:D(X+Y) 无独立不加。
⑥正态 N(μ,σ2):标准化、查表、3σ;失灵条件:偏态、双峰、小样本。

自查三题:①「至少一人」型为什么用对立事件(1 − 全不)而不是直接加?(容斥爆炸)②期望 6 元与「大概率得 0 元」为何不矛盾?③正态查表前必须做哪一步?(标准化)

错题归档按「直觉陷阱」分类(赌徒谬误式 / 幸存者式 / 均值回归式 / 小样本式),每条配一个自创口诀——您踩过的坑就是您的护城河。

工具箱的最后放一张便签:「下次遇到随机问题,先画分布列。」——这句话能救命。

p.100展示

随机实验展

成果展日:概率专场,主打「现场可重复」。

展区设计:①模拟大屏区(蒙提霍尔 / 生日悖论 / 高尔顿钉板——钉板是正态的实体教具,若能借到物理钉板必展);②人体试验区(真假硬币序列辨认、全班身高贴点正态板);③理论对表墙(各组「理论 vs 实测」双柱图并列,比谁的偏差标尺最小);④决策咨询台(决策池小组现场接单:观众出题「该不该……」,期望三步现答)。

答辩与评分沿用公开评分表:模型正确 30%、理论与数据对表质量 25%、展示与钩子 20%、应答 25%。增设「最佳反直觉奖」——投给把全班直觉掀翻最漂亮的小组。

教师总讲评:回望本章与前三章的合流——建模(第三章)给骨架,概率(本章)给血肉,迭代(上一章)给引擎,极限(第一章)给地基。下一册《空间·统计·导数深化》里,它们将一起面对更硬核的问题:空间向量、回归分析、以及导数的证明级应用。

散会一问带走:「您今天哪一次直觉翻车,让您最服气?」——记住那个瞬间,它就是概率论在您身上生效的时刻。

第 5 章 · CHAPTER 5

矩阵与变换初感

p.101–125 · 项目章 · 导入 1 · 操作 4 · 专题 5 · 研讨 4 · 项目 5 · 思想卡 1 · 深读 3 · 复盘 1 · 展示 1

p.101导入

表格会动:矩阵变形记

手机随手一拍的照片能旋转、能缩放、能加滤镜——屏幕上每个像素点都被「搬了个家」。搬家的规则是什么?把它写下来,就是一张矩阵。矩阵不是数字表格那么简单:矩阵是「动作」的编码——旋转、镜像、拉伸、剪切,甚至一连串动作的组合,都能装进一个小方块里。

三个一分钟的震撼实验:①在绘图软件里把一个笑脸旋转 90°,再旋转 90°,再旋转 90°,再旋转 90°——回到原位(旋转 90° 连做四次 = 恒等变换,「乘」起来是单位矩阵);②把照片水平镜像再水平镜像——归位(镜像的「平方」是恒等);③把照片拉伸 2 倍再旋转 45°,与先旋转再拉伸结果不同——动作的次序有讲究(矩阵乘法不可交换!)。三个实验预告了本章三大母题:变换、复合、不可交换性。

本章定位:矩阵在 C 段(高等代数)是主角,本章只「初感」——用变换的几何直觉先住进矩阵的房子,将来住结构时会发现每个房间都似曾相识。主线一句:线性变换 ↔ 矩阵,复合 ↔ 乘法,面积缩放 ↔ 行列式。

历史彩蛋:《九章算术》第八章「方程」用长方形的数字阵排布线性方程组并用「遍乘直除」消元——公元一世纪的算筹台上,矩阵与消元法已经同框。矩阵的名字(matrix, womb/子宫,孕育之物)是十九世纪西尔维斯特起的,但它的身体早就躺在《九章》里。

矩阵是「把动作当数来算」的第一课——代数从描述静止的量,升级为编排变化的舞步。

p.102操作

平移旋转的坐标实验

坐标纸上画一个 L 形七巧块,做三个受控实验(每步记录顶点坐标):

实验一:绕原点旋转 90°。顶点 (3,1) → (−1,3);(1,4) → (−4,1)。规律浮现:(x, y) → (−y, x)。这就是旋转 90° 的「坐标公式」。实验二:旋转 180° 与 270°:(x,y) → (−x,−y) → (y,−x)——四次轮回回到原点。实验三:旋转任意角 θ(用量角器与细线实测,或软件):坐标公式 (x, y) → (x·cos θ − y·sin θ, x·sin θ + y·cos θ)。代入 θ = 90°(cos = 0, sin = 1)与实验一吻合。

关键观察:旋转(绕原点)是线性的——先加后转等于先转后加(对任意两个向量 u、v:R(u+v) = R(u) + R(v)),数乘同理(R(2u) = 2R(u))。「保持加法与数乘」就是线性变换的定义——它保证变换被「少数几个顶点的去向」完全决定。

对照实验:平移 (x,y) → (x+3, y) 不是线性的(R(0,0) = (3,0) ≠ (0,0))——平移不把原点留在原地。预告:平移要用「齐次坐标」的技巧才能进矩阵家族(专题⑤彩蛋)。

线性变换:T 满足 T(u+v) = T(u) + T(v) 且 T(ku) = kT(u)。等价判据:T(0) = 0 且保持平行四边形。几何口号:直线映成直线、原点原地不动。

「线性」不是「直线形」,而是「保持加法与倍数」——本章一切魔法都从这两条守恒开始。

p.103操作

矩阵乘法速算

把旋转 90° 的坐标公式装进方括号:(x, y) → (−y, x) 写成 [ [0, −1], [1, 0] ]·[x, y]。矩阵登场——「每一行读作:新坐标是旧坐标的什么组合」。三个速算操练:

操练一:矩阵 × 向量。[ [a, b], [c, d] ]·(x, y) = (ax + by, cx + dy)——「行乘列」。速记:第一行管新 x,第二行管新 y。操练二:矩阵 × 矩阵(动作复合)。先旋转 90° 再镜像 x 轴(镜像矩阵 [ [1, 0], [0, −1] ]),与先镜像再旋转——结果矩阵不同:AB ≠ BA!亲手算:[ [1,0],[0,−1] ]·[ [0,−1],[1,0] ] = [ [0,−1],[−1,0] ],调换次序得 [ [0,1],[1,0] ]——一个旋转 270°,一个对角线镜像,次序即命运。

操练三:单位矩阵与逆。I = [ [1,0],[0,1] ] 是「什么都不做」;旋转 90° 的「逆动作」是旋转 270°(矩阵 [ [0,1],[−1,0] ]),验证相乘得 I——逆矩阵 = 抵消动作的矩阵。

矩阵乘法的双重身份:机械规则「行乘列求和」+ 几何意义「动作的先后连接」。背规则不如记住:(AB)v = A(Bv)——先做 B 再做 A。不可交换不是矩阵的缺陷,是「动作次序」的真实写照:先穿袜后穿鞋 ≠ 先穿鞋后穿袜。

矩阵乘法天下第一难背?换个记法:它不是算术,是「接着做」——B 的输出是 A 的输入。

p.104操作

剪切与伸缩实验

除旋转镜像外的两大基本动作,方格纸+橡皮筋即可实验:

实验一:伸缩。[ [2, 0], [0, 3] ]:x 方向拉 2 倍、y 方向拉 3 倍。单位正方形 (0,0),(1,0),(1,1),(0,1) → (0,0),(2,0),(2,3),(0,3),面积 1 → 6。实验二:剪切。[ [1, 1], [0, 1] ]:底边不动,横向错切——牌楼变斜。单位正方形变成平行四边形,面积仍 1!「剪切不增面积,只歪形状」。实验三:混合。[ [1, 1], [1, 0] ](斐波那契矩阵?):单位正方形 → 面积 1 的另一平行四边形;连续作用(斐波那契数列的矩阵幂!)面积守恒,向量在平面上沿「黄金角」方向伸长——本实验与递推章暗通款曲。

面积追踪总规律(先猜后证):任何矩阵 M 作用下,面积缩放倍数是一个只依赖 M 的常数——记作 det(M),行列式。伸缩 [ [2,0],[0,3] ] → 6;剪切 → 1;旋转 → 1;镜像 → −1(面积不变但定向翻转——顺时针变逆时针,负号记录「翻面」)。

行列式初定义(几何版):det(M) = M 作用下单位正方形变成的平行四边形的有向面积。2 阶公式 det = ad − bc——两列向量的「叉积」。det = 0 ⟺ 正方形被压成线段 ⟺ 变换不可逆(信息丢失)。

剪切是最「温柔」的动作:只歪不胖。它和伸缩、旋转一组合,就能拼出全部线性变换——本章的「三原色」。

p.105操作

变换复合

把三原色调出千军万马。目标:用「基本矩阵的乘积」复现复杂动作:

任务一:绕任意点旋转。绕点 P(1,2) 旋转 90° = 平移 P 到原点 → 旋转 → 平移回来。矩阵语言(借齐次坐标):T−P·R·TP——三个矩阵连乘。亲手验证顶点 (2,3) → (0,3)。任务意义:复杂变换 = 简单变换的复合,矩阵乘法是它的记谱法。

任务二:镜面任意直线。对直线 y = x 镜像 = 旋转 −45° → 对 x 轴镜像 → 旋转 +45°。矩阵 [ [0,1],[1,0] ]——「交换 xy」的矩阵,验算与「直接推导」一致。

任务三:斐波那契螺旋。矩阵 F = [ [1,1],[1,0] ] 的幂:F2 = [ [2,1],[1,1] ],F3 = [ [3,2],[2,1] ]……系数恰是斐波那契数!Fn 右下角就是 Fn(第 n 个斐波那契数)。矩阵幂把递推「一步到位」——上一章的递推与本章的矩阵在此正式会师(F 的对角化是 C 段的礼物,今天先收藏惊讶)。

复合三律(与数的运算对照):结合律成立 (AB)C = A(BC)——「接着做」的分组不影响结果;单位元存在(I);乘法一般不交换。矩阵世界 = 「有结合律、有单位、次序敏感」的乘法——抽象代数(半群→群)的活教材,C 段「抽代上」的伏笔。

复合是变换的语法:基本动作是单词,矩阵乘法是造句——而句子的意思,与单词的顺序有关。

p.106专题

专题① 二维线性变换

从操作升到理论。核心定理(本章的顶梁柱):

两列定终身:线性变换 T 完全由 T(e1) 与 T(e2) 决定(e1 = (1,0), e2 = (0,1))。证明:任意向量 (x,y) = x·e1 + y·e2,由线性 T(x,y) = x·T(e1) + y·T(e2)——把两个去向写成两列,矩阵就是变换的「身份证」。

推论一:线性变换 = 矩阵,一一对应——两个世界从此可互译。推论二:矩阵的列空间直观——矩阵两列就是两个基向量的去向,读矩阵先读列。检验:旋转 90° 矩阵 [ [0,−1],[1,0] ] 的两列 (0,1)、(−1,0)——正是 e1、e2 旋转后的像,吻合。

反例巩固:为什么「(x,y) → (x+1, y)」写不成 2×2 矩阵?——T(e1) = (2,0),T(e2) = (0,1),拼出的矩阵作用到 (1,1) 得 (2,1) ≠ (2,1)?重验:原变换 T(1,1) = (2,1),矩阵也给 (2,1)——但 T(0,0) = (1,0) ≠ (0,0) 破坏线性,而矩阵必把原点映到原点——矛盾出在 T(e1) = (2,0) 时 T(0,0) 应为 0。症结清晰:矩阵的世界里没有「不在原点的原点」——平移必须另想办法(齐次坐标)。

课堂快练:给出三个变换(投影到 x 轴、对 y = −x 镜像、旋转 30°),各写矩阵并验证「两列去向」。

「两列定终身」是线性代数的第一根支柱:无限的对象(整个平面),由两个向量决定——这就是「有限控制无限」。

p.107专题

专题② 矩阵表示变换

矩阵语言的词典与语法总表(本页是本章的「随身卡」):

词典(每个变换写矩阵 + 列去向 + 行列式):旋转 θ:[ [cosθ, −sinθ],[sinθ, cosθ] ],det = 1。镜像 x 轴:[ [1,0],[0,−1] ],det = −1。伸缩 (a,b):[ [a,0],[0,b] ],det = ab。剪切 x:[ [1,k],[0,1] ],det = 1。投影 x 轴:[ [1,0],[0,0] ],det = 0(压扁,不可逆)。恒等 I:det = 1。

语法:①复合 = 矩阵左乘(先做的在右);②求逆 = 反向动作(旋转 θ 的逆是旋转 −θ;一般逆矩阵公式 2 阶版 M−1 = 1det M[ [d, −b],[−c, a] ],det = 0 无逆——压扁了拉不回来);③变换方程:求「被变换到 v′ 的原像」= 解 Mx = v′。

计算操练:①求 [ [2,1],[1,1] ] 的逆并验证(det = 1,逆 = [ [1,−1],[−1,2] ]);②解 Mx = (3,2):x = M−1(3,2) = (1,−1)——「逆矩阵解方程」与《九章》方程术同构(第 14 页研讨);③复合三个变换并说明「为何次序写反了」——训练左乘直觉。

这张词典卡请收好:高中到大学之间所有的线性变换,都从这六张底牌出。

p.108专题

专题③ 行列式:面积因子

第 4 页的观察定理化:

行列式 = 面积因子:线性变换 M 把任何图形的面积放大 |det M| 倍(定向由符号记录)。证明骨架(旋转不变性):先对矩形(边沿基方向)直接验证;任意图形用小方格逼近(积分思想的离散版)——每格同倍缩放,总和同倍。
乘法奇迹:det(AB) = det(A)·det(B)——「先 B 后 A 的总缩放 = 各自缩放之积」。几何读法秒懂,代数验证两行。

性质清单(几何动机逐条配图):①det = 0 ⟺ 压扁(两列共线)⟺ 不可逆;②交换两列 → 变号(定向翻转);③一列加另一列的倍数 → 行列式不变(剪切!面积不动);④一列乘 k → 行列式乘 k(该方向伸缩)。消元法不改变行列式的「非零性」——这正是「消元可判断方程组可解」的几何真相,第 14 页展开。

应用演练:①平行四边形面积:以 (3,1)、(1,2) 为邻边 → |3×2 − 1×1| = 5;②三角形:顶点 (0,0),(a,b),(c,d) 面积 = ½|ad − bc|;③判断三向量组 (2,1),(4,2) 是否把平面压扁(det = 0,压扁——向量共线);④判断方程组唯一性:系数矩阵 det ≠ 0 ⟺ 唯一解(几何:两直线相交 vs 平行/重合)。

行列式是变换的「身份证号」:一个数读出缩放、定向、可逆性三件事——信息密度之王。

p.109专题

专题④ 特殊矩阵巡礼

矩阵动物园一日游,五类明星动物:

①对称矩阵(MT = M,沿对角线照镜子):伸缩、镜像都是;几何特征——无「螺旋感」。C 段谱定理的主角,实对称矩阵必可对角化。②正交矩阵(MTM = I):旋转与镜像家族;列向量是标准正交基(两列各自单位长且垂直)。保长保角保圆——刚体动作。③对角矩阵:坐标轴方向的纯伸缩;n 次幂只幂对角元——「对角化 = 找到让矩阵变对角的坐标系」,一切矩阵理论的圣杯。

④幂零与循环:[ [0,1],[0,0] ]2 = 0——「作用两次彻底压扁」,投影与移位算子的零件。⑤随机矩阵(列和为 1,非负):PageRank 的引擎(上一章研讨③提过)——概率的流动矩阵,幂收敛到平稳分布:又是一处不动点!

分类的统一视角:det 与迹。det(M) = λ1λ2,迹 tr(M) = a + d = λ1 + λ2(特征值之积与和——先记结论,C 段证明)。旋转 90°:det 1、迹 0;镜像:det −1、迹 0;纯伸缩 (2,3):det 6、迹 5——「一个变换的家族指纹」。

动手:给上面五类各找一个实例,算 det 与迹,填表——您会发现「旋转 ⟺ det 1 迹 |≤2|」这类判据开始浮现(C 段的二次型与谱理论预览)。

矩阵分类不是背名词,而是给「动作的性格」分型——det 管胖瘦与翻面,迹管「整体的伸缩脾气」。

p.110专题

专题⑤ 图形学中的矩阵

您的每一帧游戏画面背后都是矩阵流水线:

流水线三站:①建模坐标 → 世界坐标:把角色(存为一串顶点)用模型矩阵摆放——平移+旋转+缩放的复合;②世界 → 相机:视图矩阵(把相机移到原点,世界反向动);③投影:3D 压成 2D 屏幕——透视投影矩阵(齐次坐标 4×4,除以 w 产生「近大远小」)。每秒 60 帧 × 数百万顶点 × 十几次矩阵乘法——GPU 的本职就是矩阵运算机。

齐次坐标彩蛋(平移入籍矩阵):把 (x,y) 写成 (x, y, 1),平移 (a,b) 即 [ [1,0,a],[0,1,b],[0,0,1] ]——三维方阵装下一维平移。代价:多一维;收益:全部仿射变换(含平移)统一为矩阵乘法,复合只需连乘。工程智慧:与其改理论框架,不如升一个维度让例外归顺。

实例估算:角色绕脚下 (10, 20) 旋转 45°:T(10,20)·R(45°)·T(−10,−20)——三个 3×3 齐次矩阵连乘得一个总矩阵,逐帧只算一次乘法/顶点。这就是游戏引擎「预乘矩阵」的日常。

研讨预热:为什么图形学偏爱「矩阵流水线」而不是「逐点算公式」?(复合可预乘、硬件原生并行、数学结构可复用——三重收益)

屏幕上每一次翻滚跳跃,都是亿万次矩阵乘法的合奏——您本章学的 2×2,就是这场交响乐的乐器样本。

p.111研讨

研讨① 矩阵乘法为何这样定义

「行乘列」的规则看似武断——本研讨证明它「非如此不可」:

论证一:复合的必然性。要求「矩阵乘法表示变换复合」+「B·v 算 B 作用」两条,则 (AB)v 必须等于 A(Bv)——逐列展开验证,乘法规则被唯一确定:第 i 行第 j 列元 = A 第 i 行与 B 第 j 列的点积。结论:不是数学家拍脑袋,是「复合」这个概念本身就长这样。

论证二:不这样定义会发生什么。尝试「对应位置相乘」(Hadamard 积):旋转 90° 两次得不到旋转 180°——复合失效,矩阵退化为「数字表格」。反证法的味道:定义的价值 = 它让哪些结构存活。

研讨任务:①验证 (AB)v = A(Bv) 用具体矩阵(旋转 × 镜像 × 向量);②讨论「为什么交换律可以牺牲,结合律不能」(复合的次序本质 vs 分组的无谓);③找生活中其他「不可交换但可结合」的系统:穿衣、洗车(先冲后擦)、数据处理(先过滤后排序)——矩阵是这类系统的最小数学模型。

方法论落点:好的定义不是「陈述」,而是「承诺」——它承诺保住您最想要的结构(这里是复合),并愿意付出代价(失去交换律)。数学史上的每个定义,都是一次这样的交易。

下次觉得某定义「怪」,先问它保住了什么——怪,往往是结构的影子。

p.112研讨

研讨② 变换的观点看几何

换一副眼镜看中学几何——「变换不变量」纲领(克莱因 1872 年《埃朗根纲领》的中学预演):

视角一:全等 = 刚体变换。三角形全等的判定(SSS/SAS/ASA),本质是「存在旋转+平移(+镜像)把一个映到另一个」——刚体变换保长度保角度。视角二:相似 = 伸缩 + 刚体。相似比 = 缩放因子;角是相似变换的不变量,长度不是——「保角不保长」正是缩放的脾气。视角三:对称 = 变换群。等腰三角形在对称轴镜像下不动;正方形在 8 个变换(4 旋转 × 2 镜像)下不动——「一个图形的对称性 = 保持它不动的变换全体」,构成群(上册 H1-2 已见,这里矩阵化)。

研讨任务一:用矩阵证明「旋转 + 镜像全体」构成正方形的全部对称(8 个矩阵列出,验证封闭性与逆)。任务二:圆的对称群多大?(所有旋转 + 所有过心镜像——无限群)与正 n 边形对称群(2n 个)的关系?(n→∞ 的极限直觉。)任务三:克莱因纲领一句话——「几何 = 研究某变换群下的不变量」。用这句话区分:欧氏几何(刚体群)、仿射几何(可逆线性 + 平移)、拓扑(连续变形)——三者的「不变量」各是什么?

「变换的观点」让几何从「量长度算角度」升级为「找不变量」——这是十九世纪以来几何学的总纲,今天您已握住它的矩阵版。

p.113研讨

研讨③ 行列式的几何直觉

把行列式从公式还原为图像。三组研讨:

组一:负号的几何。det < 0 表示定向翻转(镜像)。任务:验证交换两列 det 变号——用「单位正方形翻面」图示;追问:三次镜像后 det?((−1)3 = −1——奇数次翻面仍反面。)

组二:加法的分配性。det(a+b, c) = det(a, c) + det(b, c)(对第二列同理)——「平行四边形可拆」。任务:画图验证(以 c 为公共底边,两个平行四边形拼成第三个);这解释了为什么行列式对「每一列」是线性的。

组三:三阶行列式的体积推广。det 是 3×3 时 = 平行六面体有向体积。任务:验证恒等式 (a×b)·c = det[a b c](混合积——体积的另一记法);讨论「右手定则」与定向的对应。

一句话哲学:行列式不是「算出来的数」,而是「变换性格的读数」——零 = 塌缩,正负 = 面/翻面,大小 = 缩放。先有几何,后有代数;公式只是图像的速记。

延伸一问(C 段预告):为什么解方程组等价于「行列式是否为零」?——线性方程组 Mx = b 有唯一解 ⟺ M 不塌缩(可逆)⟺ det ≠ 0。三个世界(代数方程、几何变换、行列式数值)在此对表。

会算行列式只是入门,会「看」行列式才算出师——看到公式,脑子里要能放电影。

p.114研讨

研讨④ 《九章》方程术与矩阵思想

回到源头。《九章算术》第八章「方程」第一题(上册 H1 已读原文,本章用矩阵重演):

「今有上禾三秉,中禾二秉,下禾一秉,实三十九斗;上禾二秉,中禾三秉,下禾一秉,实三十四斗;上禾一秉,中禾二秉,下禾三秉,实二十六斗。问上中下禾实一秉各几何?」——三品种产量三个未知数,三个线性方程。

矩阵重演:系数阵 [ [3,2,1],[2,3,1],[1,2,3] ](古代直排、今横排),右端 (39,34,26)。「遍乘直除」(全行乘适当倍数后直减)= 高斯消元,公元前一世纪已操作娴熟——比高斯早一千八百年。刘徽注「举率以减之」「以一行示全路」——消元的每一句注解都是算法思想。

研讨任务一:用高斯消元与矩阵求逆两条路解此题,比较效率与清晰度(消元:更快;逆:一次求逆处处复用)。任务二:用行列式判断该方程组唯一解(det = 3(9−2) − 2(6−1) + 1(4−3) = 21 − 10 + 1 = 12 ≠ 0)。任务三(开放):古算「正负术」引入负数做消元——为什么消元「逼着」文明接受负数?(减法运算的封闭性需求——数学概念被算法需求催生的案例。)

方程术是矩阵的「身世档案」:它出生时叫「方程」,两千年后在西方以 matrix 之名二次成名——名字会迟到,思想不缺席。

p.115项目

项目① 变换艺术课题

本章项目:用矩阵变换创作一件「数学艺术品」。四个方向:

A 图案设计:用镜像 + 旋转 + 伸缩复合,生成平面密铺或雪花图案(对称群的活用——正多边形壁纸群的中学子集)。B 动画脚本:为一段 5 秒动画设计变换序列(预乘矩阵逐帧),如「卡片翻转 + 缩放淡出」。C 分形制造:IFS(上一章)的矩阵化——把压缩映射写成仿射矩阵,用软件生成蕨类或谢尔宾斯基地毯,附全部矩阵参数。D 字体变形:对某字形做剪切、拉伸、旋转的复合(如「斜体 = 剪切」的排版真相),对比印刷体规范。

立项卡要素:①作品目标(视觉效果一句话);②变换清单(每个矩阵写出 + 动作顺序);③数学说明的提纲(对称群?行列式效应?复合次序?);④工具(方格纸/表格软件/编程);⑤验收标准(作品 + 说明各占多少比重)。

立项门槛:作品必须「由矩阵生成」——手工涂鸦不在验收范围;说明必须包含至少一次「次序不可交换」的对比展示。

艺术课题的评分真相:美是入口,数学说明才是作品——没有说明的矩阵画,只是一张好看的涂鸦。

p.116项目

项目② 设计与实现

制作日。两条技术路线与三条纪律:

路线一:表格软件版(零编程)。顶点坐标列 A、B 列;变换用三个新列装复合矩阵作用;散点图连线渲染。优点:每一步肉眼可见、矩阵写在旁边;缺点:帧动画繁琐——只做静态图案。路线二:编程版(10–30 行)。定义矩阵乘法函数与顶点列表,循环渲染多帧;或直接用图形库的 transform。优点:可做动画与迭代分形;缺点:黑盒倾向——必须附变换矩阵的打印输出。

三条纪律:①每个图形元素都要能回答「它是哪个矩阵、以什么次序、作用在哪个顶点集上得到的」;②对称作品的对称群要「验算」(生成元矩阵的幂与积是否回到全集);③版本留痕:v1、v2 的参数差异记录(作品也是实验,参数即数据)。

里程碑检查:本日结束时提交「半成品 + 矩阵清单」,互查两问——矩阵与画面一致吗?次序写对了吗?

实现环节的最高奖赏:当画面与您预测的完全一致——数学的「可复现」第一次以美的形式兑现。

p.117项目

项目③ 数学说明

为作品写「数学说明书」(150–300 字 + 图),必答四问:

①变换结构:用了哪几个基本变换?复合次序是什么?哪个环节 AB ≠ BA?(配一图对比两种次序的结果差异。)
②不变量与对称:作品在哪些变换下不动?对称群多大?(如雪花六重:旋转 60°×6 + 镜像 6。)
③行列式档案:各变换的 det 与总体面积缩放;有无 det = 0 的环节(为什么作品里必须避免)。
④推广:参数改一改,作品会怎样?(如旋转角 60°→72°,六重对称变五重——参数即风格。)

写作规范沿用前两章:术语首次出现要定义(「对称群指……」);矩阵全部用统一记号;图注含参数。互审环节:两人交换说明书,只凭文字能否复现作品?——能,则说明合格;不能,指出缺失的参数或次序。

本页也是「数学交流」的专项训练:把视觉经验翻译成代数条件,再把代数条件翻译回视觉验证——双向翻译能力是线性代数的真功夫。

说明书的意义:让您的作品脱离您也活着——任何人拿着矩阵清单,都能在另一台机器上复现同样的美。

p.118项目

项目④ 写作

项目报告成稿(六段式微调版):

①摘要:作品一句话 + 核心数学结构一句话。
②创作意图:想表达什么、为何选这类变换。
③数学设计:变换清单(矩阵 + 次序 + 参数)、对称群分析、行列式档案。
④实现:工具、关键代码/表格公式、可复现参数。
⑤效果与对照:预期 vs 实际;AB ≠ BA 的展示;失败版本一例(失败也是数据)。
⑥反思与推广:参数敏感性;向 3D/分形/动画的自然延伸。

评审焦点提前公开:①矩阵与画面对得上(数学正确);②说明可复现(交流有效);③次序与行列式的讨论有真材实料(深度)。三关全部通过才谈「美」——本项目的美是数学挣来的,不是排版挣来的。

成稿流程:初稿 → 组内朗读 → 跨组预审 → 定稿。预审专用问题卡:「读者不看您的图,能否想象出作品?」「读者不看您的代码,能否重做出作品?」

写作是作品的三次创作:第一次画出来,第二次想清楚,第三次写明白——三关全部通过,才算交卷。

p.119项目

项目⑤ 展示准备

布展与答辩双线准备:

布展线:作品打印 A3 挂墙,旁边必配「矩阵卡」(变换清单 + 对称群 + det 档案,一页纸);有动画的组准备平板循环播放。展位动线设计:入口放「AB ≠ BA 对比图」当钩子,主作品居中,参数表在出口——让参观者的路线就是一次复合变换。

答辩线:8 分钟 = 讲作品 3 分 + 讲数学 4 分 + 现场改参数 1 分。必备演示:「评委现场点参数(如旋转角、剪切系数),当场重算矩阵并预期画面变化」——这一手是本项目答辩的高光,务必彩排到肌肉记忆。

质询预演五题:①为什么先旋转后镜像与反之结果不同(举画面证据)?②您的对称群为什么恰好是这 N 个?(验证封闭性?)③哪个变换的 det 最大?作品整体放大还是缩小?④如果要求作品 det 处处为 1,您要放弃什么?⑤把作品推广到 3D,第一个难题是什么?

展示的最高境界:评委离开时记住的不是「这幅画好看」,而是「这些矩阵活着」。

p.120思想卡

〔方程〕矩阵:把方程团成一个对象

一句心法:矩阵是「动作的档案」——两列向量记录基向量的去向,乘法记录动作的接力,行列式记录缩放与翻面。把变换当对象,才能对变换做代数。

《九章》「方程」章把三个方程团成一张系数方阵,用「遍乘直除」整体处理——「团成一个对象再操作」的思想在两千年后被称为「封装」。矩阵乘法不可交换,是因为动作有序;矩阵可结合,是因为「接着做」的分组无所谓。结构的取舍,全在概念之内,不在符号之表。

本章三件行李带往 C 段:①变换 ↔ 矩阵的双向翻译;②det 的三重身份(面积/可逆性/定向);③「对称 = 不动变换群」的眼光。将来学特征值、正交化、谱定理时,请记得它们都是「给动作找好坐标」的延续。

凯莱 1858 年写下矩阵代数时说它「似乎没什么用处」——七十年后量子力学的海森堡矩阵、一百年后您手机里的 GPU,都替他回了话。

把「变化」本身变成可计算的对象,是代数史上最华丽的一次升维——而您的第一次升维,发生在本章的方格纸上。

扫码打开游戏工坊
扫码开玩 ·「矩阵变换馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=5

p.121深读

深读① 凯莱与矩阵代数

阿瑟·凯莱(1821–1895),英国人,职业律师,业余数学家——业余到成为十九世纪最多产的数学家之一(966 篇论文)。1858 年《矩阵论回忆录》首次把「矩形数阵」当作独立的代数对象:定义加法、数乘、乘法、单位阵,并指出乘法一般不交换。

当时的反应:几乎无人问津。矩阵是「没有内容的运算游戏」——代数同行更关心方程与不变量。凯莱自己也在论文里坦承这项理论「对当下的数学而言,似乎没有什么重要应用」。转机在七十年后:1925 年海森堡发明量子力学(矩阵力学),物理学家发现「可观察量的乘法不对易」恰是矩阵的母语;再往后,数值分析、图论、统计(协方差阵)、计算机图形学——矩阵成为整个计算时代的通用货币。

凯莱的两个启发点:①「无用的数学」的时间贴现——数学结构的投资回报期可能长达几十年,评价标准不能只有「马上有用」;②形式主义的方法论——他不是先有应用再发明矩阵,而是先立代数结构、应用随后认领。这与《九章》「方程术」(问题驱动、算法先行)构成发明模式的两个极端——历史需要两种人。

凯莱的故事回答一个永恒之问:「学这个有什么用?」——正确答案可能是:「现在没有;但结构本身已经是收获,用处会自己来敲门。」

p.122深读

深读② 计算机图形学

从本章的 2×2 到产业级的图形管线,中间隔着一个波澜壮阔的学科史:

奠基期(1960s):Sutherland 的「画板」(Sketchpad, 1963)确立交互式图形范式;Coons 与 Bézier 把参数曲线引入工程(雪铁龙与雷诺的车身设计)——今天的字体、汽车与动漫角色,仍在用贝塞尔曲线与曲面。标准化期(1970s–80s):齐次坐标统一变换体系;Gouraud 与 Phong 完成着色模型;Silicon Graphics 把图形管线硬件化。普及期(1990s 至今):GPU 诞生——一座专为矩阵与向量运算设计的大规模并行工厂;OpenGL/DirectX 把管线标准化;游戏与影视(皮克斯的渲染农场)把矩阵乘法推到每秒万亿次的量级。

与中学数学的接口清点:齐次坐标(本页专题⑤)、旋转矩阵(本章词典)、贝塞尔曲线(二项式定理的连续版—— Bernstein 基恰是 (a+b)n 展开系数!)、重心坐标(面积比 = 行列式比)。您在这四册里学的每一样,都在屏幕上活着。

延伸阅读:《Real-Time Rendering》前三章(有中文版),或搜「Graphics pipeline tutorial」系列图解——读图即可,公式将来 C 段再战。

图形学是「线性代数最大的一次出道」:一个中学阶段的数学分支,养活了一个数千亿美元的产业。

p.123深读

深读③ 通向 C 段:高等代数预告

本章的「初感」将生长为 C 段的「高等代数」。提前勘测三处关隘:

关隘一:向量空间与线性无关。本章「两列定终身」的抽象版:任何线性变换由基向量去向决定;「张成、无关、基、维数」四个词将取代方格纸。预习自测:为什么 (1,2) 与 (2,4) 当不了基?(共线——det = 0 的抽象说法。)

关隘二:特征值与对角化。Mv = λv 的方向(特征方向)上,变换只是伸缩。对角化 = 换到特征坐标系,矩阵幂立刻「一步到位」(斐波那契通项、人口模型、PageRank 收敛全靠它)。预习自测:[ [2,0],[0,3] ] 的特征向量是谁?(坐标轴本身——对角矩阵的秘密已经摊牌。)

关隘三:正交性与对称。内积、正交基、施密特正交化、实对称矩阵的谱定理——「旋转镜像家族」的理论完成体。线性代数因此被称为「宇宙的语法」:从量子态到神经网络,凡「线性」处必现身。

给未来的自己三句话:①定义先于计算(先问「这是什么结构」);②每条定理配一张图(几何直觉是脚手架,不拆);③矩阵是动词,空间是名词——高等代数学的是「动词的语法」。

初感到精通的距离,不过是把「我见过」变成「我能证」——C 段见。

p.124复盘

矩阵变换手册

本章复盘产出「变换手册」一页(自绘),四大栏目:

①词典栏:六张底牌矩阵(旋转 θ / 镜像 / 伸缩 / 剪切 / 投影 / 恒等)——每个配列去向图与 det。
②语法栏:复合 = 左乘(先做在右)、结合律、不可交换、逆矩阵、2 阶逆公式、det(AB) = det(A)det(B)。
③判据栏:线性判据(保加法数乘、原点不动);可逆判据(det ≠ 0);对称/正交/对角三类特殊矩阵的特征。
④应用栏:解方程组三路对照(消元 / 逆 / 行列式判断)、齐次坐标装平移、PageRank 与图形管线一瞥。

自查三题:①「两列定终身」的证明为什么离不开线性两条守恒?②剪切的 det 为什么是 1?请用面积语言而非代数回答。③为什么矩阵世界装不下「平移」?装下了什么代价?(齐次坐标 +1 维)

错题归档主题:「次序写反」(左乘直觉)与「det 符号漏负」(定向遗忘)——各配一例自己的翻车现场。

自评分表:手册完整 30%、三个项目环节(作品/说明/展示)参与 40%、自查正确 30%。

合上手册前做最后一次翻译练习:看到 2×2 矩阵,默念「两列去向、面积因子、动作接力」——九个字,本章全部。

p.125展示

变换艺术展

年度艺术展开幕:展区即数学现场。

展区设计:①矩阵画廊(作品 + 矩阵卡并列,参观者可扫码看参数);②现场改参台(评委点参数,作者当场重算矩阵并预测画面——本章答辩高光的公开版);③「AB ≠ BA」主题墙(全班两种次序的对比图拼贴,视觉化不可交换性);④对称群角(雪花、密铺、剪纸的对称群标注竞赛)。

答辩与评选:评分 = 数学正确 30% + 说明可复现 25% + 展示表达 20% + 现场改参应答 25%。奖项三席:最佳数学深度、最佳复现性、最佳审美整合。

教师总讲评:本章以「美」为糖衣,内核是三条硬道理——变换即对象、复合即乘法、行列式即性格。H2 三册至此完成「分析(极限)— 过程(迭代)— 实干(建模)— 偶然(概率)— 结构(矩阵)」五环;下一册《结构与哲学》收官高二,把五环拧成一条绳,并把目光投向数学的地基与边界。

散展寄语:矩阵的世界没有「看懂了」,只有「用过了」——愿您下次旋转手机照片时,会心一笑:我知道您在乘什么。

第 6 章 · CHAPTER 6

综合站:冬令营

p.126–150 · 综合站 · 开幕 1 · 热身 1 · 挑战 5 · 讲评 2 · 项目 5 · 进阶 2 · 成果 3 · 答辩 1 · 复盘 1 · 思想卡 1 · 对弈赛 1 · 任务 1 · 规划 1

p.126开幕

冬令营开幕:极限主题

三日前落雪,教学楼里灯火通明——高二冬季学术营开幕。主题词只有两个字:极限。它是本册《极限思想》的题眼,也是五个月来五个章节的公约数:无穷的故事以极限收束,递推以不动点收束,建模以最优收束,随机以期望收束,矩阵以不变量收束——「收敛于一点」,是数学与成长共同的隐喻。

赛制总览:三日上午五个分会场同时开赛(无穷故事答辩、迭代可视化赛、建模方案评审、概率实验赛、变换艺术展评);下午起进入项目冲刺(报告定稿 → 展板 → 讲稿 → 彩排 → 布展);两日后报告会与答辩,评出最佳研究奖并颁发冬季积分(本学期对弈赛与各项作业积分的年度总决算)。参赛资格:每组至少报名一个分会场,鼓励跨章联合项目(如「逻辑斯蒂映射的概率解释」)。

冬令营公约:①证据优先——一切结论带数据或证明出场;②质询善意——挑战对象是论证,不是人;③时间刚性——超时铃响即停,这本身就是极限精神;④全员上场——每个人至少完成一次陈述或一次质询。

开幕致辞(学生代表):「这学期我们学了很多,但最想带走的是一种姿势:面对无穷的、随机的、复杂的世界,不后退,先建模。」——掌声中,五路兵马各奔战场。

冬令营不是期末考试,而是一次公开的「知识出舱」:把五个月攒下的家底,放到阳光下让同伴检验。

p.127热身

知识竞答

开幕热身:五轮快答,每轮 6 题、限时 30 秒/题,覆盖全册五章——既提神,又是一次诚实的「摸底」。

第一轮 · 无穷:①0.999… 与 1 谁大?(相等)②调和级数收敛吗?(发散)③有理数与实数谁多?(实数,对角线法)
第二轮 · 迭代:④|f′(p)| < 1 意味着什么?(p 吸引)⑤巴比伦法每迭代一次,正确位数?(约翻倍)⑥费根鲍姆常数约多少?(4.6692)
第三轮 · 建模:⑦建模六环的第四环?(求解)⑧最优解常被约束推到哪里?(边界)⑨龙卷风图看什么?(参数敏感度)
第四轮 · 概率:⑩B(n,p) 的期望与方差?(np;npq)⑪生日悖论 23 人同生日概率约?(过半)⑫保险的数学本质?(风险池化+大数定律)
第五轮 · 矩阵:⑬det = 0 的几何意义?(压扁不可逆)⑭矩阵乘法为什么不可交换?(动作次序)⑮det(AB) = ?(det A · det B)

计分与用途:小组均分计入冬季积分 10%;错题率最高的三轮,下午讲评环节集中复盘——竞答的真正产出是一张全班「薄弱点热力图」。

趣味加赛:连续同面硬币的世界纪录(正反正反正…的构造性序列)、斐波那契矩阵 F10 心算挑战、23 人生日现场验证——把冷知识变成暖场曲。

热身的目的不是分高下,是把五个月的知识地图重新铺开——下一页起,真刀真枪。

p.128挑战

①无穷故事答辩

分会场一:无穷主题的公开答辩。六组轮番,每组 8 分钟陈述 + 4 分钟质询。

今日看点:A 组用「谢尔宾斯基地毯的挖洞账本」现场推几何级数(面积归零、周长发散的双纪录);B 组复演希尔伯特旅馆并加码「无穷多辆无穷座大巴」,被质询「可数辆之后呢」——顺势引出 ℵ0 与 2ℵ0 的分层;C 组以法庭剧形式重审 0.999…,控辩双方证物均为自算的 ε-N 表;D 组讲康托尔,把「被反对」与「被反驳」的区别讲透了,全场默了三秒。

质询金句存档:「您的配对是声称的,请写出对应规则并验证双向。」「部分和第 83 项才过 5——慢,但发散的判据是『无界』不是『快』,对吗?」「您说直觉靠不住,可您的证明第一步就是画图——图不也是直觉?」

评分表:数学内容 30%、论证严密 30%、表达 20%、应答 20%。评审团 = 教师 1 人 + 跨组学生评委 4 人(回避本组)。

评语焦点:本轮最佳瞬间颁给 D 组的「默了三秒」——答辩的最高奖赏,是让听众在非数学的时刻也想起了数学。

无穷的故事讲了五个月,今天终于讲给「不知道答案的人」听了——这才叫学过。

p.129挑战

②迭代可视化赛

分会场二:迭代与混沌的可视化竞赛。作品双轨:动态演示(现场运行)+ 静态长图(打印上墙)。

参赛亮点:①「分支图生长动画」——r 从 2.5 扫到 4,分岔逐帧绽开,作者同步讲解费根鲍姆间距的测量过程;②「双初值分道赛」——0.4000 与 0.4001 并行迭代,第 38 步开始分道,配计时器与「预测失联」倒计时;③「牛顿分形花园」——三次方程在复平面的吸引域染色,边界之华丽让全场掏出手机;④「混沌游戏 10 万点」——散点从噪声中结晶出谢尔宾斯基,配一句解说「随机被规则雕刻」。

技术评审要点:参数三元组是否标注(r、x0、步数)?暂态是否丢弃?色彩映射是否有数学含义(如按逃逸速度)?——可视化不是美工,是带坐标轴的叙事。

评分表:数学正确 30%、信息密度 25%、美学完成度 25%、现场可交互 20%。

赛果花絮:最佳作品是「把本册五章画进一张图」的全景图——极限号收束级数、蛛网卷向不动点、分支图在 r = 3 处开花、钟形曲线罩住直方图、旋转矩阵托起雪花。作者被要求签名赠图三份。

可视化赛证明了一件事:数学的抽象不排斥感官,只要求您把感官训练到能跟上它。

p.130挑战

③建模方案评审

分会场三:真实课题的建模方案评审会(项目尚在半程,评审「方案」而非「成品」)。五组提交一页纸模型 + 数据采集报告。

评审现场节录:食堂窗口组被问「等待成本 1 元/分钟怎么定」,出示了 30 份问卷的意愿支付分布(中位数 0.8 元,均值 1.1 元)并当场做了 ±20% 灵敏度——评审团通过;共享单车组的目标函数漏了「调度成本」,被纠正后现场补列——记「假设完备性」扣 2 分但「可修正性」加 1 分;停车引导组的龙卷风图最长条是「家长到达时间方差」——评审追问「方差您怎么估?」答「用了上周三两段录像的人工计数」——诚实加分。

评审五维量表(沿用第 3 章研讨②):假设合理 20%、模型正确 25%、求解有效 15%、检验与灵敏度 20%、表达可复现 20%。今日新增否决项:「决策者未确认」一票否决。

评审共识(写入公告栏):①各单位表格错一处扣一分——单位审讯要过成肌肉记忆;②「局限声明」宁多勿少——三条是底线;③所有「最优」必须携带灵敏度区间出场。

评审会的共识让人踏实:好的建模方案不是没有漏洞,而是每一处漏洞都有名字和补丁计划。

p.131挑战

④概率实验赛

分会场四:现场随机实验对抗赛。三关计分:

第一关:理论竞速(15 分钟)——六道分布计算抢答(超几何、几何分布、条件概率版蒙提霍尔、二项 ≥ k 型、期望决策阈值、正态查表),考「识别与套用」的肌肉记忆。第二关:模拟对抗(25 分钟)——现场抽取课题:「模拟并估计『连续 5 把剪刀石头布平局』的概率」,各组设计随机模拟(表格或代码),30 分钟内提交估计值与置信区间——评「效率与误差控制」。第三关:直觉拆弹(20 分钟)——五道陷阱题(赌徒谬误、幸存者、均值回归、小样本、基率忽视),先答直觉再答正解,双答全对才得分。

第三关样题:「某病患病率 1%,检测准确率 95%(患病者 95% 阳性,健康者 5% 误报)。小明检出阳性,他真患病概率多少?」直觉答案 95%——正确答案约 16%:1000 人中 10 个真患者(9.5 阳性)对 99 个健康误报(约 49.5 阳性),9.5/59 ≈ 16%。基率忽视的经典拆解。

赛果:第三关全班平均得分率仅 42%——「直觉拆弹」蝉联最难关。颁奖词:「今天各位读者的直觉又集体翻车了,翻得很科学。」

概率赛的深意:检验的不是计算力,而是「预测在先、数据在后」的纪律——随机世界的军规,平时就要练。

p.132挑战

⑤变换艺术展评

分会场五:矩阵艺术终评。布展即考场——作品、矩阵卡、现场改参台三位一体。

终评流程:①静态评审(30 分钟):评委带量表巡展,矩阵卡与作品逐项对表;②现场改参(每组 3 分钟):评委任点参数(旋转角、剪切系数、IFS 概率权重),作者当场重算矩阵、预测画面、验证结果;③公众投票:全年级路过的同学一人一票选「最美作品」。

精彩时刻:某组被点「把旋转 60° 改成 72°」,60 秒内报出新矩阵与「六重对称变五重」的预测,重算渲染验证——通过;另一组的 IFS 蕨类被问「概率权重为什么是 85/1/7/7」,答「按子叶面积比分配,改权重会改变浓淡但不改形状——形状由矩阵定,概率只管流量」——全场记笔记。

评分:数学正确 30%、说明可复现 25%、审美整合 20%、现场应答 25%。三奖:最佳深度、最佳复现、最佳审美。

展评彩蛋:教师作品《本册公式矩阵化》也上墙受质询——师生同台,规矩相同。教师被学生问倒一处(剪切矩阵的逆的几何表述),全场欢呼——被问倒是荣誉,说明问题问到了边界。

艺术展评的真正展品,是「数学正确」四个字被反复验证的过程——美只是它的影子。

p.133讲评

成果初审

分会场收兵,进入讲评时段。第一站:成果初审——把五个分会场的成绩与作品汇总成「冲刺清单」。

初审公告(张贴):①总分榜与单项奖归属(数据上墙,规则透明);②「共性短板 TOP3」:单位审讯漏检(建模场 3 例)、暂态未丢弃(迭代场 2 例)、概率结论不带分母语境(概率场 5 例);③冲刺任务令:全部报告须在明日定稿前完成对应修订,修订记录(改动点 + 理由)附于文末——改了什么,和写了什么同样重要。

分组辅导:教师与助教按短板分片包干——建模片补「灵敏度三操作」,概率片补「三种规范措辞」,迭代片补「参数三元组」规范。每组带走一张「定制修订清单」。

初审的三个原则:①先肯定后纠错(每个作品先说一条真优点);②纠错对事(引用原文行号,不评人);③可执行(每条意见给出「怎么改」而非「不行」)。

学生反响节录:「初审像体检报告——不愉快,但每个指标都给了处方。」

讲评是赛事的中场:比赛的价值不在分出胜负,而在把胜负暴露的问题变成明天的改进项。

p.134讲评

修改工作坊

冲刺第一弹:全员修改工作坊(90 分钟高强度)。

工坊规程:①30 分钟「自查修订」——对照定制清单逐条处理,改动处高亮;②30 分钟「交叉复核」——交换报告,专查修订是否落实、有无引入新错(改 A 错 B 是常见事故);③30 分钟「教师终检」——抽查 + 盖章(「修订闭环」章)。

本次工坊三个高频手术:①「参数三元组补丁」——把所有「我们取 r = 3.9」补全为「r = 3.9,x0 = 0.4,迭代 50 步,弃前 20 暂态」;②「分母语境补丁」——「大约一半」→「2000 次模拟中 1018 次(50.9%)」;③「单位审讯补丁」——三组重算后结论微调(最优柜员 4→5),并补记「事故与修正」一节——诚实的事故记录比完美的初稿值钱。

工坊纪律:只许改错,不许「趁机动笔重写」——大改需立项说明;修订日志当场同步进共享文档,保留修订历史。

修改工作坊的精神:报告不是一次写成的文章,而是被认真修订出来的文献——数学的「已发表」,从来都意味着「已修订」。

p.135项目

项目① 报告定稿

冲刺第二弹:报告定稿日。定稿标准(逐项验收):

定稿八关:①摘要 ≤ 200 字且含核心数字;②假设逐条有理由;③变量表单位齐全;④关键计算可复现(陌生人测试通过);⑤图表全部编号带解读;⑥局限 ≥ 3 条;⑦修订日志完整;⑧参考文献真实(引用到页码)。

验收方式:组间互查 + 教师抽查,八关全部通过发「定稿号」(如 H2-冬-007)——定稿号将印在展板右下角,与积分挂钩。未过关的报告进入「补检队列」,下午二次验收。

定稿中的两件趣事:某组发现定稿版比初稿短了两页——删掉的尽是「显然」「众所周知」;另一组在第七关卡住:「参考文献里《无穷之旅》的页码翻不到了」——最终注明「网络版章节号」。两件事都被写进教师讲评:前者是进步,后者是学术诚信的日常实践。

定稿即冻结:此后任何改动须走「变更说明」——与真实期刊的校样流程同构,体会「出版」二字的分量。

定稿的仪式感是必要的:它宣告「此刻起,这份报告开始接受世界的检验」。

p.136项目

项目② 展板制作

冲刺第三弹:展板制作。规格与工艺:

规格标准:A1 竖版,四栏布局——问题与结论(左上,先声夺人)、方法与模型(右上)、图表与证据(中部 60% 面积)、局限与展望(底部)。字号铁律:标题 72pt 级、正文 24pt 级、图注 18pt 级——「一米五外能读标题,一米内能读正文」。

工艺要点:①图表尺寸服从「三秒可辨」(曲线粗细、色对比按投影距离校准);②矩阵卡与作品并置(变换艺术组);③「参数三元组」入板(迭代与概率组);④二维码贴角——扫码看完整报告(本组学以致用:上一册的二维码纪律直接迁移)。配色沿用深蓝金底、忌纯白块——视觉规范是全校统一素养。

展板自查四问:①三秒内参观者知道我在研究什么吗?②证据链(图 → 数 → 结论)在板上走通了吗?③有没有大段文字?(有则压成要点)④右下角有定稿号与成员分工吗?

制作分工:版面 1 人、图表 1 人、文案压缩 1 人、校对 1 人——校对员独立于制作者(作者读不出自己的错字,这是铁律)。

展板是报告的「极限压缩」:一张 A1 承载三个月——压缩比检验的是您对「什么最重要」的判断力。

p.137项目

项目③ 讲稿打磨

冲刺第四弹:讲稿打磨。从报告到演讲的三次压缩:

第一次压缩:结构定骨。8 分钟 = 钩子 30 秒 + 主线 6 分 + 收束 90 秒。主线只保「一个证明 / 一张图 / 一组数据」的金三角——多即是少。第二次压缩:语言除锈。三查:查黑话(每个术语首次出现配白话)、查翻译腔(「进行……的操作」→ 直接动词)、查口头禅(彩排统计「然后」「就是」次数,目标 ≤ 3 次/人)。

第三次压缩:节奏定拍。金句与关键数字处留白两秒;换页与讲解同步(不许「我在讲上一页而屏幕在下一页」);质询预演题库过一遍(各组三题互出)。

讲稿一页纸格式:左栏讲词要点(不用全文),右栏操作提示(翻页/指图/停顿/切换演示)——演讲不是背稿,是「执行计划」。

演练纪律:彩排录像回看(自己看自己最难堪也最有效);超时部分预先标记「可跳」;设备故障预案(截图版 + 纸质图版双备份)。

讲稿打磨的本质:把「我懂了」翻译成「您懂了」——中间隔着的不只是表达,还有对听众认知负荷的想象力。

p.138项目

项目④ 彩排互评

冲刺第五弹:全流程彩排。按明日报告会完整走一遍,含计时、投影、质询、评分。

彩排流程:五组各 12 分钟(8 陈述 + 4 质询),严格按正式流程执行;互评使用明日同一评分表——彩排的意义是让明天的流程「零新鲜感」。轮空组担任「流程监理」:计时、提示物到位、话筒传递、评分表回收。

互评产出:三张清单。①「超时点清单」——哪一页讲超了、建议砍法;②「听不懂点清单」——质询人如实标记「这段我没跟上」,讲者针对性重讲;③「高光点清单」——哪些瞬间值得明日放大(多给两秒停顿)。

现场数据:全班平均陈述超时 47 秒——彩排第一天共砍掉 3 分 55 秒的废话;「听不懂点」集中出现在两处:一处 ε-N 语言的口语化不足,一处矩阵连乘的次序交代——当晚全部返工。

彩排复盘三问:①如果明天只留 3 分钟,您讲哪三句?②质询中最难的那题,重答一遍能进步几分?③您的高光时刻,观众记住了吗?(问三位听众。)

彩排是把明天的意外变成今天的练习——好答辩从来不是临场发挥,是「把临场彩排过三遍」。

p.139项目

项目⑤ 会场布置

冲刺收官:明日报告会的会场布置——把教室变成学术会场。

布置清单:①主席台与计时器(可见倒计时,超时自动响铃——「时间刚性」公约的物理化);②展板区:A1 展板沿墙一字排开,按「无穷 → 迭代 → 建模 → 概率 → 矩阵」的五章顺序动线,参观者走完一圈=重走一册;③签到与评分台:评分表、票箱(公众投票)、积分榜挂墙;④茶水与「论文摘要发放处」——各组 50 份单页摘要,模拟学术会议的 handout 文化。

分工与预案:主持 1、计时 1、评分统计 2、摄影 1、机动 2——全员有岗。设备三备份(主投影 / 备投影 / 平板直连);停电预案:荧光棒 + 手电筒继续(「黑暗中答辩」成为传奇彩蛋的预案虽然最终没启用,但大家都很期待)。

布置的隐藏课程:一场学术报告会的动线、计时、评审、资料发放,全部是「系统设计」——布置会场的过程,就是把「学术规范」从口号变成可触摸的流程。

布置完毕,全员在报告厅合影:背景板上「极限 · 冬令营」四个字由各组的矩阵变换字体拼接而成——本学期最后一道综合题,是把自己变成作品。

会场是学术的容器——把容器搭好,明天的思想才有处安放。

p.140进阶

进阶:跨组质询

报告会前夜的加时赛:跨组质询专场——各组向其他方向的小组发起深度质询,规则升级:质询方须「预研」对方领域(读对方报告全文 + 指定教材章节),质询深度对标同行评议。

质询实录节选:迭代组问概率组:「各位读者的『独立』假设,在 2000 次模拟里怎么验证的?随机数发生器本身就是确定性的!」——概率组以「种子可复现性与统计检验的分工」作答,双方在「伪随机 vs 真随机」处交火三轮,最终共识:模拟检验的是模型结构,不是随机源的哲学身份。建模组问无穷组:「您说的『无穷多组』在现实采购里不存在——极限结论对有限量级有多大指导意义?」——引出「渐近分析与有限样本的现实边界」的精彩讨论。

质询评分升级:本轮单独计分——好质询的三个等级:①指出错误(基础);②指出盲区(进阶:对方没意识到的假设);③指出连接(高阶:把对方结论与本组领域连接出新的问题)。本轮全班产出「高阶质询」7 条,全部收入班级《质询集》。

教师观察记:跨组质询暴露了「专业之间的翻译缺口」——每个组都能听懂本组语言,把本组语言讲成别组能懂的语言,才是真功夫。这条结论将写入期末评语模板。

质询他人之前先研读对方——学术共同体最稀缺的不是批评的勇气,而是理解的耐心。

p.141进阶

进阶:专家连线

报告会前的压轴进阶:视频连线一位校外专家(大学教师/工程师/数据分析师),20 分钟:10 分钟成果简报 + 10 分钟自由问答。

连线实录要点:学生简报「分支图与费根鲍姆常数的测量」后,专家追问三连——「各位读者测量的分辨率多少?」「如果换一类单峰映射(比如正弦映射),间距比会变吗?」「如果不变,这说明什么?」——全场在第二问卡壳,专家微笑提示:「这就是『普适性』——试着猜想,再设计验证。」这十分钟的追问示范,比任何一堂课都直观地展示了「专家怎么想问题」。

问答精选:问「数学系学生最该提前练什么?」答「把话说清楚——把一个证明讲给不同的人听懂,是数学家的核心技能,各位读者这两天一直在练的就是它。」问「AI 时代还值得手算吗?」答「值得——手算是对结构的手感训练;但更要紧的是学会向 AI 提出可检验的问题。」

连线作业:每人记「专家三句」——专家原话中最触动您的三句 + 您的反驳或追问(一周内交)。被专家点名「这个问题问得好」的同学,获得积分翻倍卡。

专家连线的最大收获不是答案,是示范——看到「好问题」长什么样,胜过背诵一百个答案。

p.142成果

冬令营报告会(上)

正日子到了。报告会(上):前两组正式答辩 + 全体展板巡展。

第一组答辩(无穷故事方向):陈述行云流水,质询环节遭遇「跨组质询专场」埋伏的同一批狠角色——但这次他们有备而来,「配对规则双向验证」的补丁演示获得满堂彩。评审高分的关键点:修订闭环——昨日初审的三处漏洞全部在陈述中主动「自首」并展示修复,评委将「学术诚实」折算成实分。第二组答辩(迭代可视化方向):现场改参演示一次成功,双初值分道的 38 步倒计时成为全场高光;被问「费根鲍姆常数的普适性」时坦然引用昨日专家连线——「我们只验证了二次映射的普适,正弦映射的验证列为下一步」——边界声明教科书级。

中场巡展:30 分钟自由参观,公众投票同步进行;摘要发放处人气回报了印刷组——240 份摘要发完。

今日流程纪律:计时铃即停(两次超时扣积分);质询先举手登记(保证顺序公平);每场结束观众 30 秒书面反馈(一句话即可,投进票箱)。

报告会(上)的观感:这些十七岁的答辩者,已经在用学术共同体的方式对待彼此——这比任何一道题的分数都珍贵。

p.143成果

冬令营报告会(下)

报告会(下):后三组答辩 + 跨组联合项目特别场。

第三组(建模方向):食堂窗口方案获「决策者采纳试点」——后勤主任当场拍板下学期试行「高峰时段加开 1 窗口」,并邀请团队期末回访验证——数学第一次在本校落地为管理决策,全场掌声最久。第四组(概率方向):基率忽视实验的「全班正确率 42% → 彩排后 71%」对照成为最锋利的教育证据,评委笑称「各位读者把研讨会做成了干预实验」。第五组(矩阵方向):变换字体作品被美术老师预约「期末汇演背景板」;现场改参三连全对,技术分拉满。

特别场:联合项目:「逻辑斯蒂映射的概率解释」——把混沌轨道当随机过程,比较其长期频率分布与理论不变分布;两组成员互补短板,被评委评为「本营最佳合作示范」。

答辩全景统计:15 场质询、3 场超时(各扣 1 分)、高阶质询再添 2 条、全营零「答不上且无补做承诺」——学术诚实的底线守住了。

(下)场最动人的画面:第三组答辩结束时,后勤主任起立鼓掌——数学的价值,第一次被一位「真实的决策者」当众确认。

p.144成果

质询与答辩

全场压轴环节:评委团对各组追加「开放质询」——不再针对报告细节,而是追问「更大的一层」。

开放质询实录:「各位读者整册都在谈收敛——请问各位读者小组这学期『收敛』到了什么?哪次协作走了弯路又修正?」「如果给各位读者一年时间和一台超级计算机,各位读者最想验证本册的哪个猜想?」「概率组:各位读者说直觉不可靠——那各位读者的直觉在哪些时候依然比计算快?」——三个问题的回答质量参差,但每一份「诚实的卡壳」都被评委记为有效回答:开放质询考核的是元认知,不是知识存量。

答辩胜负判定:综合分会场积分、报告定稿分、答辩分、质询贡献分四项,实时统计上墙——榜首与次席只差 1.5 分,冠亚军悬念保留到颁奖时刻。

评委团闭幕语(教师):「这三天我看到的不是五场比赛,而是一个学术共同体第一次完整地运转:预研、陈述、质询、修订、采纳、回访。分数会忘,这个运转的记忆不会。」

答辩的终极意义:让每个人体验「把认知交给共同体检验」的全部通过程——这是科学文明最核心的仪式。

p.145答辩

最佳研究评选

颁奖时刻。评选机制全透明(规则赛前公示,全程可申诉):

积分构成:分会场 30% + 报告定稿 25% + 答辩表现 25% + 质询贡献 15% + 全营协作 5%。附加项:决策者采纳 +3、专家点名好问题 +2、修订闭环满分 +2。评选结果:冠军——「食堂窗口优化」组(决策者采纳 + 灵敏度满分的综合优势);亚军——「分支图生长」可视化组;季军——联合项目「混沌的概率解释」组。单项奖:最佳反直觉(概率组)、最佳美学(矩阵组)、最佳质询(跨组质询产出的「渐近与有限样本」一条)、最佳修订(「事故与修正」一节的建模组)。

颁奖词节选(教师):「冠军组的获奖理由写在他们的局限声明里——他们把『不知道』写得和『知道』一样认真。」

冬季积分总决算同步公布:本学期对弈赛、作业积分、冬令营积分三账合并,前八名进入「荣誉席」,全员积分折算为期末过程性评价——规则透明,账目可查,异议期三天。

评选的制度反思(全班讨论 10 分钟):积分制会不会逼人「做题化」?共识:积分是脚手架不是目的——它保证努力可见,但「最佳质询奖」的存在提醒大家:批判性同样计价。

评选不是终点排名,而是价值观的公示:我们奖励诚实、奖励修正、奖励把问题问深的人。

p.146复盘

研究方法总复盘

冬令营收官课:把本册五次项目实践的方法论拧成一股绳。

研究方法九步总图(五次项目共用):①选题(可推翻的问题)→ ②假设(逐条有理由)→ ③设计(样本量/参数/对照)→ ④数据或推演 → ⑤理论对表(预测在先!)→ ⑥检验与灵敏度 → ⑦修订(修订日志)→ ⑧发表(定稿、展示、答辩)→ ⑨回访(采纳与验证)。
五个项目的差异化要点:无穷项目重「证明与直觉的分工」;迭代项目重「参数与暂态」;建模项目重「单位与约束」;概率项目重「预测在先与分母语境」;矩阵项目重「可复现与次序」。

个人复盘三件套:①我的「直觉翻车档案」更新(本册共几条?);②我最擅长与最短板的研究环节各一(自评 + 组评互证);③下一册个人改进承诺一条(写入期末信封,明年拆)。

全班共创产出:《高二研究手册 v1》——五次项目的模板、量表、口诀、反例汇编成册,作为传家宝交给下一届(并预告 H3 修订版)。

方法总复盘的一句话:研究不是天才的灵光,是一套可复制的流程加上诚实的执行——各位读者已经完整走过了两遍。

p.147思想卡

极限:无限逼近的勇气

一句心法:极限思想的全部勇气,在于承认「此岸永远到不了,但彼岸真实存在」——序列无限逼近,而极限是一个确定的点。学数学如此,做研究如此,长大亦如此。

本册五站的回味:无穷教会我们「翻译」(把无穷过程翻成有限对象);迭代教会我们「耐心」(简单规则重复出复杂秩序);建模教会我们「落地」(最优在约束的夹缝里);概率教会我们「谦卑」(直觉会翻车,纪律能救命);矩阵教会我们「结构」(动作也是数)。

把五站连成一条线,是一个人的成长曲线:从「背结论」到「做实验」,从「怕出错」到「修订闭环」,从「个人解题」到「共同体互审」——极限不存在于任何一步,却定义了整条轨迹的方向。

芝诺的阿基里斯最终追上了乌龟——在数学里用极限,在人生里用坚持。

愿您带着这份勇气进入高三:前面还有更抽象的山(结构与哲学)、更严苛的海(高考的碎浪),但您已经知道——无限逼近,本身就是抵达。

扫码打开游戏工坊
扫码开玩 ·「冬令营总挑战馆」

本单元配套游戏站(H2-2《极限思想》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。

games/h2-2.html?u=6

p.148对弈赛

冬季积分颁奖

学期对弈赛总决算暨颁奖礼。本学年积分账本公开(附于班级公告墙 + 电子表):

账目构成:①对弈赛(NIM、24 点、幻方接力等互动馆积分,共 14 场);②作业与实验报告积分;③冬令营三项积分。总决算细则:三个账本加权合并,单场最高与最低各弃一场(防偶发),异议期三天。颁奖:荣誉席八人授证;「对弈最佳新人」与「最佳复盘笔记」两特别奖——后者颁给坚持每场对弈写复盘、把败局画成决策树的同学。

对弈赛季回顾:本学年对弈与课程的接口清单——NIM 与 Bouton 定理(组合博弈)、24 点与运算策略、幻方接力与构造美学、逻辑斯蒂映射的「人机对弈」(人猜长期归宿,计算机验证)、PageRank 阵地战(谁能在矩阵幂迭代中占据平稳分布前排)。对弈的数学收益:每场对弈都是一次微缩研究——读局(建模)、试探(模拟)、复盘(检验)。

颁奖礼议程:账本公示 5 分钟 → 特别奖 2 项 → 荣誉席 8 人 → 冠军队重登领奖台 → 全员合影(背景:本册五站知识地图长卷)。发言席留给「最意外的一败」讲述者——败局叙事同样是传统。

对弈教会我们的最后一件事情:胜负是数据的收束,成长才是序列的极限。

p.149任务

寒假导数任务书

寒假任务书发布:主题「导数的深化——为下学期蓄力」。四个任务(总量约 8 小时,拒绝题海):

任务一 · 概念回炉(1.5h):用 ε-δ 与导数定义各重写一遍「瞬时速度」问题;自选一个函数(如 x·sin(1/x))考察「连续但不可导」——写 300 字理解。
任务二 · 迭代与导数会师(2h):验证牛顿法就是「切线迭代」,手算解 x3 − x − 1 = 0 前四轮;对比巴比伦法误差表,写「收敛阶」小结。
任务三 · 建模实战(2.5h):自选生活问题(最优、最省、最快皆可)完成「一页纸模型 + 求解 + 灵敏度」;开学提交,优秀作品进班级案例库。
任务四 · 预读(2h):下学期《空间·统计·导数深化》第 1 章预读——空间向量引入;带着三个问题开学(问题卡随任务书发放)。

任务规则:①全部任务允许(鼓励)使用计算器与软件,但须标注使用位置;②「卡壳记录」是任务的一部分——每任务至少一条「卡在哪、试了什么、卡多久」;③不设标准答案,设「验收面谈」——开学第一周每人 5 分钟讲一件寒假数学事。

给不同节奏同学的建议:快节奏——任务三做双解(解析 + 数值)对照;稳节奏——任务一、四吃透即可;疲惫时——去对弈馆下两盘 NIM,数学的休整方式是换一种数学。

寒假不是课程的空白,是课程的自习室——愿您带着「预测在先、修订闭环」的习惯,独自走一段数学的夜路。

p.150规划

下学期预习规划

收官页:下学期《H2-3 空间·统计·导数深化》的预习路线图。

六章速览(预习级):①空间向量与夹角距离——把本章矩阵升入三维(法向量、三面角);②统计案例与成对数据回归——把概率推进到「从数据估参数」(最小二乘 = 求导 + 矩阵!);③导数与不等式证明——把 H2-1 的导数武装到证明级;④导数与函数综合——高考主战场的系统演练;⑤全概率与贝叶斯——把条件概率升级为「信念的更新」;⑥综合站·建模答辩——春季学术营(与冬令营同构,主题「空间与数据」)。

预习三原则:①只预读不刷题(每章读导入页 + 思想卡即可);②带着问题读(问题卡上的三问随读随记);③先连接后新知(每章想一句「它接在已学的哪一环」——导数接 H2-1、矩阵接本章、贝叶斯接概率章)。

时间规划建议:寒假前两周完成导数任务书;第三周预读;第四周休整 + 对弈馆自由玩。开学后节奏:月考区间 + 春季营冲刺 + 高二总复习启动——本册的「研究方法九步」将成为您总复习的元方法。

最后一句(班主任附言位):「这一年各位读者学会了与无穷、随机、复杂共处——下一年,轮到各位读者把这份从容传递给学弟学妹。愿各位读者讲题时也记得留一个悬念:数学里最漂亮的结论,永远在下一章。」

册终章未终:数学是无限逼近的艺术,而您是那个无限逼近的自己——寒假快乐,春季营见。