抽象之门

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

全书按「章」前进，每章恰好二十五页。理论章的节奏是：第 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，平方与立方用小肩数字 x²、a³；点坐标写作 (2, −1)；函数写作 y ＝ 2x − 1；圆周率 π ≈ 3.14。中括号写成 ［　］，比例号 ∶。

为什么需要证明

先看一个「看起来显然」的结论：任意三角形三个内角和等于 180°。小学用撕角拼平角验证过，初中用量角器量过，几何课上用辅助线证过——同一件事做了三遍，差别在哪里？撕角与量角是实验：您验证的是「您手里这一个」三角形；证明是推理：它一举覆盖了过去、现在与未来所有三角形，包括此刻还没画出来的那一个。实验给出信心，证明给出必然。

为什么非此不可？因为眼睛会骗人。图可以画得不准，猜想可以从有限个例子里「外推」出并不成立的规律，直觉更是常常把「经常发生」误当「必然发生」。数学是唯一一门对每个结论都要出示身份证的科学：从大家共同接受的起点出发，走一条人人可查的路，抵达结论——这条路就是证明。

本章任务：先亲手让几个「显然」的直觉当场翻车，再学会证明的标准姿势（直接证明、反证、归纳法），最后每人认领一条定理，把它干净利落地证明出来，写出您人生第一篇数学小论文的雏形。夏季册《抽象之门》从这里起步——学会证明，才算拿到了数学世界的通行证。

高斯说过：数学是科学的女王，数论是数学的女王。而证明，是给女王加冕的仪式——没有仪式的王冠，只是漂亮的帽子。

证明热身：奇奇偶偶

热身命题：奇数＋奇数＝偶数。这句话人人会背，可「证明」它需要把它翻译成可以被检验的形式。请依次体验三种证法，比较它们的性格。

证法一（枚举）：1＋3＝4，3＋5＝8，7＋11＝18……试到第十组都对。能收工吗？不能——枚举永远只覆盖您试过的那些，第 1001 组没被验证。这一步的「不收工」，正是数学与经验的分水岭。

证法二（配对）：把奇数想成「完整的一对再单出一个」：⚫⚫＋⚪。两个奇数拼在一起，两个「单出来的」恰好配成一对，剩下的全是完整对子——所以必是偶数。这是图像证明：一眼看穿，但覆盖所有奇数吗？覆盖，因为「一对＋单一个」描写的是奇数的一般构造，不是某个具体奇数。

证法三（代数）：任意奇数写成 2m＋1（m 是整数），另一个写成 2n＋1。相加：2m＋1＋2n＋1＝2(m＋n＋1)。它是 2 的倍数——按偶数的定义，得证。三行收工，无懈可击。

操作任务：用同样的三种风格处理「奇数×奇数＝奇数」，写出您自己的代数证明（提示：2m＋1 乘 2n＋1，展开）。再用代数法证「偶数的任何倍数都是偶数」。

字母的入场是分水岭：2m＋1 里的 m 不指任何一个数，却指所有数——一个符号，覆盖无穷。

直觉翻车案例集

证明为什么不可省略？因为下面三位选手都在「看起来对」的赛道上当场翻车。请逐一亲手验尸。

案例一：圆上的区域。在圆周上取 n 个点，两两连弦（无三弦共点）。点少时数一数把圆分成的区域数：1 点得 1 区，2 点得 2 区，3 点得 4 区，4 点得 8 区，5 点得 16 区。规律呼之欲出：2ⁿ⁻¹！请画 6 个点，耐心数到底——答案是 31，不是 32。公式是 1＋C(n,2)＋C(n,4)。五组数据支持的猜想，第六组就翻车。

案例二：素数生成器。多项式 n²＋n＋41：代入 n＝0,1,2……39，全是素数！四十连胜，堪称素数工厂。n＝40 呢？40²＋40＋41＝40×41＋41＝41×41＝41²——合数。四十个例子，抵不过一个反例。

案例三：纸牌上升的错觉。把一张 A4 纸对折 42 次，厚度能超过地球到月亮的距离吗？直觉喊「不可能」，算一下：0.1 毫米×2⁴²≈44 万公里——月球平均距离 38.4 万公里，早就到了。直觉对指数增长完全失灵。

操作任务：把三个案例做成展板卡片，每张写清「直觉说了什么—事实是什么—教训是什么」。教训统一成一句话：有限个例子永远证明不了「所有」，但一个反例足以推翻「所有」。

翻车不是丢脸，是保险：今天在课堂上花十分钟撞墙，是为了明天在研究里花十年不撞墙。

三段论演练

两千三百年前，亚里士多德给「讲道理」立了模板——三段论：大前提（一般规律）＋小前提（具体情况）⇒ 结论。人人都会死（大前提）；苏格拉底是人（小前提）；所以苏格拉底会死（结论）。数学证明的每一小步，几乎都是它的变体。

操作一：搭桥。把下列「跳跃」补全成完整三段论：「37 是奇数，所以 37² 是奇数」——大前提是什么？（所有奇数的平方是奇数。）这条大前提成立吗？用上一页的代数证法核验。

操作二：找病根。三段论会以两种方式生病：大前提假（「所有天鹅是白的；这是天鹅；所以它是白的」——黑天鹅等着您），或结构错（「猫有四条腿；狗有四条腿；所以猫是狗」——两个前提都对，结论荒谬，因为推理形式不合法）。判断下面三条推理哪条生病、病在哪：① 所有正方形是矩形，这个图形不是正方形，所以不是矩形；② 所有素数大于 1，7 大于 1，所以 7 是素数；③ 凡直角皆相等，∠A 与 ∠B 都是直角，所以 ∠A＝∠B。

操作三：数学化改写。把「平行线的同位角相等；l₁∥l₂，∠1 与 ∠2 是同位角；所以 ∠1＝∠2」写成「定理名＋条件＋结论」的格式。数学证明的惯例：大前提叫定理，小前提叫条件，结论叫结论。

三段论的价值不在「得出结论」，而在结论是从前提里长出来的——前提真、形式对，结论就逃不掉。这是人类第一次给「说服」装上质检系统。

证明结构填空

把证明当成拼图：骨架固定，缺哪块补哪块。下面的证明有五处挖空，请独立补全后与同伴对答案。

参考答案自查：空 1 填 3k；空 2 填 (3k)²；空 3 填 3k²；空 4 填 3。注意证明的三段式格式：先译条件（「3 整除 n」翻译成「存在整数 k 使 n＝3k」），再运算，最后收口回结论的定义（「能被 3 整除」的准确定义是什么，就说什么）。

加练一题：用同样格式证「若 n² 是偶数，则 n 是偶数」（提示：反着来——设 n 是奇数，推出 n² 是奇数，与条件矛盾）。这题里藏着下一章将在专题②正式命名的武器：反证法。

格式自查清单（贴进笔记本）：① 每个符号第一次出现时定义了吗？② 每一步的依据写了吗（条件、定义、已证定理）？③ 结尾真的回到了「要证的那句话」吗，还是证了个近亲？④ 有没有偷用「显然」？——凡是写「显然」的地方，试着把理由补出来；补不出来，那里就是漏洞。

证明的格式不是繁文缛节，是给读者（包括三个月后的您自己）修的高速公路——每一步都有路牌，谁都能开车重走一遍。

专题① 公理·定义·定理

一栋大楼的施工图上，砖、地基、承重墙各司其职。数学同样如此：定义是约定（为了少打字——「素数」两个字代表「大于 1 且恰有两个正因数」，没约定前这句话没意义）；公理是出发点（不加证明而接受，其余一切从它长出来）；定理是收成（由定义与公理推得的真命题）。三者关系一句话：定义给词汇，公理给燃料，定理给成果。

一个容易被忽略的事实：定义本身无真假，只有好用不好用。欧几里得把「角」定义为「倾斜直线的相互位置」，如今课本改用「由公共端点出发的两条射线构成的图形」——两个定义都「对」，后者更好用。数学史上一半的大进步来自定义的换代：函数从「解析式」换成「对应法则」（狄利克雷），连续从「笔不离纸」换成 ε-δ（魏尔斯特拉斯），直觉被精确化，理论才上台阶。

公理的标准则是另一回事：它要接受相容性（内部不打架）、独立性（谁也不多余）、完备性（该有的都在场）三重体检——上册非欧几何章已经见过「独立性」的现场。

先问「定义是什么」，再问「结论对不对」——一半的争论在第一问就化解了。这是数学教给辩论学的第一课。

专题② 直接证明与反证

证明的两条主路。直接证明：从条件出发，一路正向推理到结论，像修桥从两岸同时开工。反证法：假设结论不成立，推呀推推出与已知矛盾——既然「结论不成立」会闹出矛盾，结论只能成立。逻辑依据是一条古老的规则：前提真而结论假是不可能的（矛盾律）。

什么时候选反证法？经验法则：结论是否定式的（「不存在」「写不成」）、唯一性的（「只有这一个」），或条件里藏着互素、有限性这类「好用的东西」——反证法顺手。直接证明能走通时，它通常更透明。

反证法的心理机制很妙：它允许您暂时「站在错的一边」——反正错到底会自己露馅。错着错着，就把对的逼出来了。

专题③ 数学归纳法初识

要证明一个对所有正整数 n 都成立的命题 P(n)，总不能逐个验证——n 有无穷多个。数学归纳法的思路：不逐个验证，而是搭一排多米诺骨牌。

例：Σ(2k−1)＝n²（前 n 个奇数之和是平方数）。奠基：n＝1，左边 1＝右边 1²。✓ 归纳：设对 n＝k 有 1＋3＋⋯＋(2k−1)＝k²。两边加下一个奇数 2k＋1：左边 ＝ k²＋(2k＋1)＝(k＋1)²，恰是 P(k＋1)。两步齐，证毕。

眼见为实的图像版：1 是一格；1＋3 是 L 形围成 2×2；1＋3＋5 是再加一层 L 形围成 3×3——每个奇数恰好补出一个 L 形，把 n×n 方阵扩成 (n＋1)×(n＋1)。「奇数相加」与「方阵长大」是同一件事的两个名字。这一页只收下两件工具：格式的两步走、图像的对应物。归纳法的合法性为什么可靠、它还能玩出什么变形，第 2 章专题③④展开。

一个常见误会：「归纳」这个词在数学里有两副面孔——从例子猜规律叫归纳猜想（不可靠，见翻车案例集），数学归纳法却是演绎的：它是一个严格的公理推论，一个例子都不「猜」。

专题④ 构造性证明与存在性证明

「存在」型命题的证明有两派。构造性证明：亲手造一个出来，眼见为实。非构造性证明：只证「不可能没有」，不交货——比如用反证法证存在，但没告诉您它长什么样。

细看这个证明：它甚至没告诉您哪种情况是真的（(√2)^√2 的有理性其实是盖尔丰德定理的结论——它确实无理），但命题照样证完了。构造派（直觉主义者）对此皱眉：您证了「存在」，却拿不出样本，这算什么存在？经典派耸肩：逻辑上无懈可击，够了。这场哲学之争至今未决，但它逼出了一个共识：能构造就构造——构造性证明信息量大，还能拿去算。

练习两题：① 构造一个恰有 3 个正因数的最小自然数（答：4＝2²；一般地 p² 恰有 3 个因数）；② 证明「存在两个相邻整数都是 2025 个连续整数之积的和」——太狠了？换一题：证明存在 n 使 1＋2＋⋯＋n 是完全平方数（提示：n＝1 或 n＝8，1＋⋯＋8＝36）。

「存在」与「找到」之间隔着一整类证明。数学允许只证存在，但好的数学家会追问一句：能不能把它揪出来？

专题⑤ 证明的伦理：不骗人

证明有技术标准，也有伦理标准。技术不过关是错误，伦理不过关是欺骗。四宗罪逐一认识，学会给自己与别人的证明「验伤」。

一宗罪：循环论证。用结论本身当论据。例：「证明」等腰三角形两底角相等——辅助线作顶角的平分线，可「顶角平分线分两底角相等」恰恰要用两底角相等才成立。检查法：把每条依据列出来，看结论是否化装混进了队伍。

二宗罪：偷换概念。「所有自然数之和是 −1/12」之类的把戏，多数在「和」的定义上做了手脚——级数收敛的定义不满足时，交换律与分配律不再免费。检查法：盯住每个关键词的定义有没有中途换人。

三宗罪：跳步＋「显然」。每一步的依据必须可查。「显然」「易得」「留作练习」最多省略机械步骤，不许省略逻辑步骤。费马在页边写「我发现了一个绝妙的证明，可惜空白太小写不下」——三百五十八年没人补上这一步，怀尔斯用的是三百多年后才有的工具。页边注再天才，也不算证明。

四宗罪：数据造假。实验环节（画图、计算、编程验证）的数据必须真实。数学的公信力建立在「任何人可以重走一遍」上——造假一次，整个体系的信用跟着塌。

证明伦理与学术诚信是同一件事：数学是全人类共建的唯一零赝品仓库。您交出的每一个证明，都是在为这个仓库担保。

研讨① 什么是好的证明

证明也分好坏。同样一个结论，有的证明像绕远路的公文，有的像一剑封喉的诗。研讨材料一：欧几里得对「素数无穷」的证明（专题②已读）——只用加减乘与反证，两百行内收工，两千三百年无人改进。材料二：高斯对「1＋2＋⋯＋100」的倒序相加——不算严格证明，却是「好方法」的标本。材料三：四色定理的计算机证明（深读③将细读）——一千九百多个构形、上千小时机时，无人能徒手核验。

研讨问题一：哈代在《一个数学家的辩白》里说，好证明的标准是严肃与美——「棋谱也可以精巧，但毫不严肃」。请给三个材料分别打「美」的分（1–10 分）与「严肃」的分，说说您的评分理由。

研讨问题二：「无人能徒手核验的证明」还算证明吗？支持的论点：程序与代码也是公开文本，可独立重跑。反对的论点：证明的社会功能是「让共同体信服」，黑箱做不到。您站哪边？两派各写一条最有力的论据。

研讨问题三：找一条您已经学过的定理（如勾股定理），比较「赵爽弦图证明」与课本的「边长代数证明」，哪个更「好」？「好」在哪儿——更短？更有图像感？更少前提？

埃尔米特评价某个证明：「它像莫扎特的音乐一样清澈。」证明的审美不是装饰——美感常常是正确性的预警器：丑且长的证明里，错误最爱藏身。

研讨② 欧几里得范式

《几何原本》十三卷、465 个命题，全部悬在 5 条公设、5 条公理与 23 个定义上——从这几粒种子，长出整片森林。这个写法本身成了一个文化模板，史称欧几里得范式：明示起点，逐级演绎，每个命题只依赖已立的命题。

它的辐射远超数学：斯宾诺莎用「定义—公理—命题—证明」的格式写《伦理学》（副标题就叫「依几何次序证明」）；牛顿《自然哲学的数学原理》全程仿《原本》体例；美国《独立宣言》开篇「我们认为这些真理不证自明」——公理的语言进入了政治文献。一门几何书的体例，成了西方「讲道理」的通用格式。

研讨问题一：《原本》第一卷 48 个命题里，「证明」出现的密度远高于今天的课本——几乎没有例题与习题。对比：现代教材把「证明」与「运用」编织在一起。两种编排各适合什么读者、各成就什么能力？

研讨问题二：范式也有裂缝——欧几里得的公理表并不完备（他用了「介于」关系却未列入公理），到十九世纪末才由帕施、希尔伯特补齐。这给我们的启示：「从公理出发」的理想很美，把公理真正找齐要两千年。对正在写自己第一份证明的您有何提醒？

研讨问题三：中国的《九章算术》体例完全相反——问题、答案、术（算法），没有公理表。下一页就这个问题展开研讨，先各自预想：体例的差异背后是什么？

范式是隐形的教科书：您模仿的不只是格式，更是「什么算数、什么算理由」的价值观。

研讨③ 中国古算的「术」算证明吗

《九章算术》给出术（算法）而少给理由；刘徽作注（263 年），用出入相补、割圆、率等手段给术补上道理。勾股章「勾股容方」、商功章的土方体积，刘徽注里大量使用「以图验之」——把图形切开、移补，面积体积的关系当场显形。赵爽注《周髀》给出的弦图，两四个直角三角形拼外围，中间小方，一图之内勾股定理赫然可见（2002 年北京国际数学家大会的会徽原型）。

研讨问题一：出入相补算「证明」吗？正方：图形关系一目了然，且推理覆盖所有情形（推理覆盖所有情形（直角三角形的一般形状），具有证明的普遍性。反方：它默认了「图形移动不改变面积」这条未明说的公理，且依赖图形直观——直观可被非欧几何与病态函数反复打脸。您的裁决与理由？

研讨问题二：两种传统后来如何互补？——希腊传统供给「为什么要这样算」的演绎骨架；中国传统供给「怎样算得快」的算法与程序。现代计算机数学（算法证明、数值验证）更像哪家的传人？

研讨问题三：请在《九章》方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股九章中任选一章，找一条「术」，尝试为它补写一段刘徽式的理由或一段现代代数证明（如盈不足术可用今天的方程组改写）。

吴文俊先生的判断：中国古代数学的主流是算法化的构造性数学，与现代计算机科学一脉相承——「证明」不必只有一种口音。

研讨④ 可计算与不可证明一瞥

本章末尾立一块警示牌：证明的力量有边界。三个里程碑，各用三句话认识一下。

哥德尔不完备定理（1931）：任何包含算术的、自洽的公理系统，必然存在「真但不可证」的命题。希尔伯特「把全部数学公理化并一劳永逸证明其自洽」的纲领，被这一击改写了航向——不是数学不可靠，而是「数学的可靠性」这件事本身不能在数学内部完全自证。

图灵停机问题（1936）：不存在万能程序，能判定任意程序在任意输入下会不会停下。对角线式的自我指涉（「若这台机器能判定自己，就让它做相反的事」）与康托尔对角线法、哥德尔的编码自指，是同一家族的三兄弟。

四色定理（1976）：任何地图只需四种颜色即可使相邻区域异色——第一个主要依赖计算机完成的证明，横跨「人类证明」与「机器证明」的门槛（深读③细读）。

研讨问题一：「真而不可证」听着玄，请尝试理解这个区分：命题在标准模型里为真（如哥德尔构造的自指句），但公理系统内的推导够不着它。这说明「真」与「可证」是两个概念——说说您的理解。

研讨问题二：既然有不可证的命题，数学还「可靠」吗？——把您的答案与「科学理论可修正但仍可信」对照，写三句。

希尔伯特的墓志铭是「我们必须知道，我们必将知道」；哥德尔的回答是「有些我们永远不知道」。两人没有谁输——数学在边界处反而更清楚了自己是什么。

项目① 选定理研究

本章大项目启动：每人（或两人一组）认领一条定理，完成「理解—仿证—自证—成文」的完整旅程。四周后夏季研究营上展示。今天先定题。

候选题库（按难度分档）：
轻档：① 奇偶性三连（奇＋奇＝偶、奇×奇＝奇、偶×任何数＝偶）；② n² 与 n 同奇偶；③ 三连续正整数之和是 3 的倍数；④ 任何整数的平方末位只能是 0,1,4,5,6,9。
中档：⑤ √3 是无理数；⑥ 素数无穷多（必须用反证法写完整）；⑦ 若 3∤n 则 n²≡1 (mod 3)；⑧ 前 n 个正整数之和公式（归纳法完整两步）。
重档：⑨ 无穷多个形如 4k＋3 的素数（欧几里得的变奏）；⑩ √2＋√3 是无理数；⑪ 2 的幂的末位循环规律及其证明；⑫ 六人中有三人互相认识或互不相识（拉姆齐初体验，画图辅助）。

选题规则：不许与同桌同题；轻档须加做「拓展问」一道；选题表今天登记，写清「我要证什么、我打算用什么方法、我最担心的步骤」。登记表将随项目档案存档。

选题如择友：轻了没劲，重了伤感情。规则是——跳一跳够得着的那条，就是您的。

项目② 资料与仿证

认领定理后第一件事：别急着自证，先看别人怎么证。这一步叫「仿证」——临帖。书法先描红再创作，证明先仿写再独立。

任务一：找两个证明版本。到课本、数学读物或可信网络资源里，为您的定理找两个不同的证明版本（例如「素数无穷」有欧几里得反证版与欧拉分析版；「√2 无理」有无穷递降版与质因数计数版）。记录出处——从今天起养成标注来源的习惯（第 5 章将升级为正式的引用规范）。

任务二：逐句翻译。把较容易的那个版本逐句抄一遍，每句后面用括号补注「这一步用了什么」（定义？条件？前一步？某定理？）。凡是补不出注的句子，标记为「断点」——断点就是您真正要学的部分。

任务三：变式预演。把证明里的关键数字换掉重走一遍（如把 2 换成 3 证 √3；把 4k＋3 换成 4k＋1 看哪里卡住——这正是欧几里得变奏的妙处）。变式走通，才算读懂；走不通的地方写进「疑问清单」。

仿证不是抄袭——抄的是路线图，走路的依然是您。音乐家先听千遍，才写下第一支曲子。

项目③ 自证与互查

收起参考资料，合上笔记本，白纸独立自证。规则：只准写，不准翻；卡壳处做个记号跳过去；完成后才允许核对。

自证评分（自评）：① 完整——从条件走到结论，无断链；② 严谨——每步有依据，无「显然」滥用；③ 简洁——没有绕路的废步。三项各打 1–5 分，低于 4 分的项回炉。

互查环节（双人交换）：查三件事——查逻辑（哪一步依据不明？用铅笔在句旁画「?」）、查收口（结论真的是要证的那句吗？）、查概念（每个符号有定义吗？）。互查不得代改：发现问题只标注、不修补，把修补权还给作者——这是数学共同体的规矩，审稿人只提意见。

常见伤病速查：循环论证（结论混进依据）；逆命题冒充（证了「若 p 则 q」却当作「若 q 则 p」用）；量词失踪（「存在」与「所有」糊成一团）；特例当通例（画了个特殊图，就靠图形直观下结论）。收到带这些批注的稿子，回炉重点明确。

白纸自证的那一刻，您与三千年间所有证明者站在同一张桌前：没有参考答案，只有您与真理的二人对话。

项目④ 写作成文

把证明写成一篇两页的小论文。数学写作有自己的格式，今天立规矩，第 5 章将全套升级。

结构四段：① 题目与摘要——摘要三句话：本文证明什么、用什么方法、结论有什么意思；② 预备——用到的定义与记号，逐条列出（读者是您的同学，不是您的肚子里的蛔虫）；③ 证明——分段落，每段落一个「战役」，关键转折处用「下面证⋯」「为此只需⋯」做路牌；④ 结语——您仿证与自证过程中最惊险的一步、变式的心得、一个还没解决的疑问（疑问必须保留——没有疑问的论文反而可疑）。

语言守则：陈述句为主，不用感叹号；「我们」优于「我」（证明是写给共同体看的）；每个公式占一行时要编号或居中；符号第一次出现必定义。禁语清单：「显然」「易知」「毫无疑问」——除非后一句立刻给出理由。

誊写与自查：誊清后做一次「朗读测试」——小声把证明读一遍，读不顺的地方多半是逻辑跳步。测试通过，签名交稿。

写下来才知道自己是否真懂。证明在脑子里时人人都觉得自己会写——落到纸上，断点会自己现形。

项目⑤ 展示准备

研究营展示倒计时。三件套备齐：展板、讲稿、质询预案。

展板设计：三栏式——左栏「命题与背景」（这定理说的是什么，一个反例或特例的图），中栏「证明主脉」（只放骨架，不超过八步，观众十秒能扫完），右栏「心得与疑问」。板面少字多图：证明全文钉在展板背面，愿意深读的人自己翻。

讲稿（90 秒版）：三句命题、四步证明主脉、一句最大的心得。对着计时器练三遍——超时是展示第一大杀器。练习「断片从容」：讲到一半忘了词，说「这里让我看一下笔记」，比干站着强十倍。

质询预案：预想三个最可能被问的问题——「第 x 步为什么成立？」「这个方法能推广到⋯吗？」「您有没有试过反例？」——每个写好两句话的回答。答不上的问题，正面承认并记下来：「好问题，我还没想清楚，研究营前我会补上。」——这句答辩语的价值超过任何流利空话。

展示不是背书，是把您与定理搏斗过的痕迹诚实呈现——观众要看的是搏斗，不是完美。

深读① 《证明与反驳》导读

拉卡托斯《证明与反驳》（1976）是二十世纪数学哲学最有趣的实验：全书伪装成一间教室的课堂记录，学生们围绕「多面体的欧拉公式 V−E＋F＝2」反复交锋——有人提出证明，有人造反例，证明被修补、概念被磨尖，像一场持续两百页的数学攻防战。

书中命名了几种经典角色：全局反例（推翻定理本身——如「画框形」多面体挖穿后 V−E＋F＝0，公式失效）；局部反例（不推翻结论，但揪出证明某步站不住——逼您把「移掉一个面摊平」的每一步说清楚）；概念拉张（「多面体」到底是什么？星形多面体算吗？空心算吗？——定义在争论中被磨得越来越锋利）。

拉卡托斯的结论：数学不是从公理到定理的单行道，而是「证明—反例—修补—再证明」的螺旋。欧拉公式的最终形态（对一切「单连通、面单连通」的多面体成立）是这句话的注脚：定理的精确表述，一半是证出来的，一半是被反例逼出来的。

深读任务：读本书任一节选（或课堂节选材料），找出一次「局部反例」与一次「概念拉张」的现场，各用三句转述，并注明它如何改变了证明。

「数学是拟经验的」——这句拗口的话翻译过来：数学也像自然科学一样，在猜想与反驳中生长。课本只给您晒好的成品，这本书带您进后厨。

深读② 费马大定理三百年

1637 年前后，费马在丢番图《算术》的页边写下：n≥3 时 xⁿ＋yⁿ＝zⁿ 无正整数解，「我发现了一个绝妙的证明，可惜这里空白太小，写不下。」这一行页边注吊了数学界 358 年。

战况速览：费马自己用无穷递降法证了 n＝4；欧拉补 n＝3（1770）；热尔曼给出了一类指数的统一思路（她是当时罕见的女数学家，以男性笔名通信）；库默尔十九世纪中叶创立理想数理论，一举覆盖一大批指数——他证明的结论与「全部」之间始终隔着一条缝。三百多年里，「 FLT」成了数学家的试金石：为它锻造的工具（代数数论）远远比定理本身值钱。

1993 年 6 月，怀尔斯在剑桥连讲三场，最后一句：「证毕。」全场起立。主线是一条出人意料的隧道：谷山–志村猜想（椭圆曲线与模形式之间的桥）⇒ 弗莱命题（FLT 若有解，可造出一条「怪」椭圆曲线）⇒ 怀尔斯证明半稳定椭圆曲线全是模的 ⇒ 矛盾 ⇒ FLT 成立。1994 年 9 月补上最后一道裂缝，1995 年发表，全文 109 页。

深读任务：画出这条证明链的流程图（五站），并回答：为什么一个「数论」问题要用「几何＋分析」的工具？——这提示了数学的什么特点？

怀尔斯回顾七年秘密作战：「先在黑暗的宅邸里摸索，一天后发现一堵墙塌了，豁然开朗——然后又进入下一个黑暗房间。」黑暗不是失败，是探索本身。

深读③ 延伸：四色定理与机器证明

1852 年，南非的弗朗西斯·格思里给英国地图上色时发现：似乎四种颜色总够用。问题传开，一百二十多年里出现了一串「证明」——全都有漏洞；还催生了大量副产品（肯普 1879 年那个「几乎对」的证明里藏着的思路，恰是最后正确证明的钥匙——错误也能传家）。

1976 年，阿佩尔与哈肯在伊利诺伊大学宣告：把所有情形化归为 1936 个构形，逐一用计算机验证，机时一千二百多小时。这是第一个主要依赖机器的重要定理，数学界当场分裂：一派宣布新时代（「可靠性交给可重复运行的程序」）；一派抗议（「一千九百页的验证无人读过，凭什么信？」）。1996 年罗伯逊等给出更简的验证（633 构形）；2005 年前后，贡蒂尔等把它装进形式证明助手 Coq——每一行都被逻辑程序逐句核验，人类终于「读」完了这个证明。

深读任务：把「人工证明」「机器辅助证明」「形式化证明」三级的信任机制各写一行；再表决一次：您更信任哪一级？理由是什么？（本学期研究营答辩时，这个立场题还会再考。）

四色定理的真正遗产不是定理（它没有推论，没人拿它干别的），而是它逼人类想清楚：证明的本质是可核查，而不是可阅读——这句话的边界，至今仍在谈判。

证明方法手册

用一张知识地图把本章收进四个格子：

自查五问（答不出的回到对应页）：① 枚举为什么永远不够？（p.2）② 反证法的逻辑依据是什么？（p.7）③ 归纳法的两步各负责什么？（p.8）④ 构造性与非构造性证明的差别在哪个例子里最清楚？（p.9）⑤ 互查时为什么只标注不代改？（p.17）

误区清单（答辩前排查）：「验证了很多例子」（不是证明）；「逆命题顺口当原命题用」；「画了特殊图形靠目测下结论」；「页边注当证明」。

复盘的最高标准：能向没学过的同学讲明白「为什么验证一百次也顶不上一个证明」。讲一遍，比读三遍有效。

证明成果展

本章成果集中陈列，分三个展区＋一场仪式。

展区一：翻车博物馆。三张翻车案例卡（p.3）按「直觉—事实—教训」格式上墙，附参观者投票：「您最意外的是哪张？」——票数最高的案例将在研究营嘉年华重演。

展区二：定理研习档案。每人一个档案袋：选题登记表、仿证笔记（含两个版本的对照）、白纸自证原稿（带互查批注，不誊清——批注是过程的一部分）、两页小论文、质询预案。档案按「题目难度档」陈列，参观者可抽任意一份「白纸自证」现场质检。

展区三：断点收藏。每人上墙一条「我卡过最久的地方」与「卡了多久、怎么通」。这一展区是全展的灵魂——让后来者看见：卡壳不是能力问题，是过程的正常地形。

仪式：签名礼。每位完成者在小论文首页签下姓名与日期，宣言一句话：「此证明，人人可查。」——签过的纸随学年档案留存，夏季研究营时把它带来：三个月后您再读自己的白纸原稿，会有新感想。

展的不是聪明，是诚实与坚持。数学共同体从第一天起就这样接纳新成员：凭证明，不凭头衔。

映射：数学的万能接头

现代数学做了一个漂亮的减法：把「函数」从解析式的束缚里解放出来。狄利克雷说：所谓函数，不过是一条对应法则——给每个输入指派恰好一个输出。这条「指派」就叫映射，记作 f : A → B，A 叫定义域，B 叫陪域。解析式只是一种写法，甚至不是必须的写法。

映射是数学的万能接头：数列是 N→R 的映射；几何变换（旋转、翻折、平移）是平面到自身的映射；密码把明文映成密文；「按身份证号查人」是把号码集合映到人群；统计里的「把 40 名学生按视力分组」也是映射。凡有「一一对应着看」的地方，就有映射的结构在干活。

为什么单开一章？因为映射是结构的搬运工：当两个集合之间的映射足够好（单射、满射、双射），一个集合的结构就能原封不动搬到另一个集合——本章末尾您将看到，「无穷也有大小」这样惊人的结论，靠的全是映射这一个接头；下一章「群」的骨架，也由映射（同构）来焊接。第 1 章证明了「若 3|n 则 3|n²」，本章您将学会把这类证明沿着映射搬运。

一句行话提前存档：数学不问「东西是什么」，只问「怎么对应」。换映射如换眼镜——换一副，看见一种新结构。

集合运算图解练习

映射作用在集合上，先把集合的「积木」练熟。道具：两支不同颜色的笔（或两色圆贴纸）。

操作一：双圈实验。在班级名单里，画两个圈：A＝「运动会报名者」，B＝「航模社成员」。把名单上的人各归各位。数一数四块区域：A∩B、A−B、B−A、A∪B（都不在的人数）。用人数验证容斥原理：|A∪B|＝|A|＋|B|−|A∩B|——多加的那个 |A∩B| 是为了「还债」：两圈相交的人被数了两次。

操作二：补的真身。设全集 U＝全班。验证德摩根律的最直观版本：「不在（A∪B）里」＝「既不在 A 也不在 B」，即 (A∪B)^c＝A^c∩B^c。用手比划圈外区域，再拿名单上的具体名字核验两个集合相等。

操作三：三圈升级。加第三个圈 C＝「本周值日生」，数 |A∪B∪C| 的容斥公式（先加三个，减两两之交，再加回三者之交）——为什么「加回」？用一块三色重叠区实地数一数：它被加 3 次、减 3 次，账面为零，可它明明该算 1 次。

操作任务卡：把三次实验的人数各填进表格，写出三个等式的「数字版验证」，并各举一个错误答案（故意少加或漏减），说明错在哪一步。

集合运算的图解不是「示意」，是半证明：区域互不相交、恰好覆盖全集——这两句说全了，图就成了文氏图的证明。

映射举例接龙

规则：全班围坐，按组接龙。每人举一个真实世界或数学中的映射，必须说全三件套——定义域 A、陪域 B、对应规则；说不出三件套即出局，最后存活的组加分。

示范开轮：f : 身份证号 → 中国公民，规则为「按号查人」；g : {A,B,C,D} → {优,良,及格,不及格}，规则为「按等级映射」；h : Q → Q，h(x)＝x²。接龙中立刻涌现的争议点，正是映射概念的刀口：① 同一输入能有不同输出吗？（不许——身份证号的例子与 h 的例子都保证唯一输出；这是映射的单值性。）② 陪域里每个元素都要被「打到」吗？（不必——h 里的负数就没人打到；「打满」与否是下一页的主角。）③ 没有公式的映射算数吗？（算——「按座位表找学生」就是映射。）

追问记录：把接龙里出现的三类争议各记一条，作为本页「概念刀口清单」：单值性、满不满、要不要公式。这三条将在 p.6 专题①逐一正名。

加时赛（机动）：举一个「看起来是映射但其实不是」的例子并说明理由。经典候选：「每个正整数 ↔ 它的平方根」（半数正整数打不到实数域内，且有的数有两个平方根——两头都不合格）；「每个人 ↔ 他认识的人」（一个人可能认识多人——单值性违反，反向才是映射）。

三件套齐了才算映射——这个格式强迫您把模糊的「有关系」升级成精确的「怎么对应」。模糊语感到精确结构，就隔着这三件套。

单射满射判定

映射的两种「美德」各有一个名字。单射：不同输入必得不同输出（不打架）；满射：陪域里每个元素都被打到（不漏客）。两者兼备叫双射（一一对应）——映射里的「完美交接」，下一页它将接管「无穷的大小」。

操作一：桌面映射卡。六张卡片，先判后翻：① f : N → N，f(n)＝2n（单而不满——奇数是空座）；② f : Z → N，f(n)＝|n|（满而不单——±n 撞座）；③ f : Z → N，f(0)＝0，f(n)＝2n（n＞0）、f(n)＝−2n−1（n＜0）（双射！正负数与自然数一一安顿——本页最重要的一张卡）；④ f : R → R，f(x)＝x³（双射）；⑤ f : R → R，f(x)＝x²（单都不——±1 撞座，负数空座；但限制到 [0,∞) 就是双射）；⑥ f : {红,黄,蓝} → {1,2}（三客两座，必有撞座——抽屉原理现身：多的往少的放，必有两客一座）。

操作二：箭头图实战。给 A＝{a,b,c,d}、B＝{1,2,3} 画所有可能的映射示意（共 3⁴＝81 种不必画全，画满射的几种），验证：A 比 B 大时满射不可能；B 比 A 大时单射不可能。把这条写成一般规则——这是基数比较的种子。

操作任务：六张卡各写一行判定词（单/满/双/皆非＋一句理由），同桌互批后收进项目档案。

双射的日常名字是「配得刚刚好」：一客一座，不撞不空——婚礼座位表排到这个境界，映射论就入门了。

归纳法多米诺实验

把第 1 章纸上的归纳法立起来——真骨牌，真推倒。道具：一副多米诺骨牌（或麻将、橡皮），一块平整桌面。

实验一：间距的物理学。摆 10 张骨牌，第一张轻推。调三种间距各试一次：过密（推不动下一张，传不到头）；过疏（碰到时动量不够，也传不到头）；恰好（每张倒下时必能撞到下一张）。结论记一行：「相邻传递」必须对每一对相邻骨牌都成立——这就是归纳推理里那个「对任意 k」的真身。

实验二：第一张的特权。间距全调到恰好，但第一张骨牌离推手远一点、谁也不去推它——全员站岗，无一张倒下。「奠基步骤」缺席时，归纳推理再完备也全盘哑火：p(1) 不成立，「对每个 k 传递」永远无人启动。实验三：抽掉中间一张，推第一张——前半截倒，后半截纹丝不动（传递链在断口处失效——若 p(k) 真 p(k＋1) 假，链条从断口死亡）。

实验四：环形骨牌（挑战）。把 8 张骨牌摆成一个圆圈，推倒任意一张——全部倒下！环上没有「第一张」，为什么也成立？讨论后记下：环形情形等价于「任取一张奠基＋传递」，这已嗅到归纳法的变体（p.9 专题④）。

收束任务：用骨牌语言把数学归纳法两步各写成一句话，与第 1 章 p.8 的定义对照，夹进笔记本。

多米诺是归纳法的实物教材：奠基是「有人推第一张」，归纳是「间距都够近」——两句合璧，无穷长的队伍才能一倒到底。

专题① 映射与函数的统一

接龙清单上的三个刀口，现在逐一收刀。

刀口一：单值性。映射的定义要求每个输入恰有一个输出——「多值」的对应（如「每人↔认识的人」）必须先修剪（改成「每人↔他最好的朋友」）才成映射。这一刀看似苛刻，实为一切推理的地基：输出唯一，「逆推」与「比较」才有意义。

刀口二：满不满，各自为政。单射、满射是映射的属性，不是定义的一部分。同一规则 f(n)＝2n：从 N 到 N 看是不满的，从 N 到偶数集看就是满射——「满」取决于陪域怎么声明。所以数学行文里映射永远带着三件套出场。

刀口三：公式非必须。函数＝映射＝对应法则，解析式只是常用写法之一。狄利克雷函数（有理数处取 1、无理数处取 0）通篇没有「公式感」，却是如假包换的函数；「按座位表查学生」更是纯表格函数。中学课本把函数写成「数集到数集的映射」——这句话如今您可以逐字读懂了。

学了这一节，再读「函数 y＝f(x)」应当读出三件套：定义域、陪域、规则——一句话里藏着一整个现代数学的接头标准。

专题② 基数与对应

「两个集合谁的元素多？」——有限集合数一数即可；可「数」这个动作的本质是什么？是把集合与 {1,2,…,n} 搞一个双射：第 1 个、第 2 个……数完恰好没有剩的。数数＝配对。这个视角一换，无穷集合的比较立刻有了定义：A 与 B 等势（基数相同）⟺ 存在双射 A ↔ B。不数（无穷数不了），只配对。

立刻有惊讶。偶数集与自然数集等势（f(n)＝2n 双射）；正整数平方数 {1,4,9,16,…} 也与 N 等势——「平方数明明比正整数稀疏得多！」伽利略 1638 年就为这事困惑：部分竟能与全体一样多。这曾被视为无穷的悖论，康托尔却把它立为无穷的定义性特征：整体与部分等势，正是无穷集合的标志（有限集合绝不可能）。

练习：① 用抽屉原理证：任取 13 人，必有两人同月出生；② 任取 8 个整数，必有（至少）两数之差是 7 的倍数（提示：余数只有 7 种）；③ Z 与 N 等势吗？用 p.4 卡片③的公式作答。

「数数」的哲学升级：计数不是集合的属性，是集合与标准集合之间的关系。无穷的数学由此从「大小之争」变成「配对之术」。

专题③ 数学归纳法原理

归纳法为什么可靠？第 1 章把它当工具用，现在追问它的合法性来源。答案藏在一条公理里：皮亚诺公理（1889）给正整数系立了五条规矩，其中归纳公理直说：若 S 是正整数集的一个子集，1∈S，且「n∈S ⇒ n＋1∈S」，则 S＝全体正整数。翻译：装得下 1、且一装一个准的集合，必然装下一切——这正是骨牌实验的公理化。

于是归纳法的合法性是「买入」的：它是正整数系定义的一部分。您不把归纳公理收进公理表，「奠基＋传递」就推不出任何事（存在「断号」的非标准模型——罗宾逊算术里归纳失效的奇特世界，大学再会）。

强归纳（第二数学归纳法）：把归纳推理换成「若 P(1),…,P(k) 全真则 P(k＋1) 真」——前面全部骨牌都已倒下作保，而不只是上一张。它与普通归纳法等价（能互相推导），但用起来更称手，典型场景是整除与递推：

算术基本定理（唯一分解）的后半场（分解唯一性）还要等第 4 章的反例技术来配合——先存档：归纳负责「存在分解」，反证负责「唯一」。

专题④ 归纳法变形：起点后移等

归纳法是一台可调参数的机器，三种常用改装件。

改装一：起点后移。命题不必从 n＝1 起步。「n≥4 时 2ⁿ＞n²」：奠基直接落在 n＝4（16＞16? 相等！——那用 n＝5：32＞25 ✓，从 n＝5 起步）；传递步照旧。合法性与原来完全相同：骨牌从第 5 张开始摆，前面的不用倒。奠基落在哪，结论就覆盖哪之后的所有 n。

改装二：双奠基。某些递推看两步（如斐波那契式），归纳推理需要「P(k) 且 P(k−1) ⇒ P(k＋1)」，奠基就得连验 P(1)、P(2) 两张骨牌。例：「数列 a₁＝1,a₂＝2,a_n＝a_n−1＋a_n−2，证 a_n＜2ⁿ」——奠基验两项，传递用两项推一项。

改装三：证强于原（最锋利的一件）。有时原命题 P 传递不动，把它加强成 P＋Q 反而顺。名例：证 Σ1/k²＜2（k 从 1 到 n）。直接归纳：P(k)⇒P(k＋1) 需要「部分和＜2」再加一项仍＜2——加正数当然可能破功，推不动。改证更强的 Q(n)：「Σ1/k² ≤ 2−1/n」：加 1/(n＋1)² 后右边只需 ≤ 2−1/(n＋1)，验算 2−1/n＋1/(n＋1)² ≤ 2−1/(n＋1) 恰好成立（展开即知）——更强的命题自己给了自己腾挪的余量。魏岑伯克把这一招用到极限，克莱因赞为「归纳法的艺术」。

改装件的共同哲学：归纳法约束的是传递，奠基与命题形态都可以随机应变——机器不变，装夹具千变。

专题⑤ 无穷的比较：对角线法

无穷与无穷，谁更大？康托尔 1874 年给出震惊世界的答案：无穷分等级。工具还是配对，招式是对角线法。

对角线法的狠处：它不是「这张清单有漏」，而是任何清单必有漏——拿别人的清单现造漏网之鱼，当场制造、当场验货。招式的祖先正是第 1 章提到的康托尔对角线；它的后代遍布二十世纪：哥德尔自指句、图灵停机问题的反证，全是家族企业。

注意一个常识纠偏：「数轴上点无穷多」与「自然数无穷多」不能比出大小，必须按等势定义严格办——结论是（0,1）与整条数轴、乃至整个平面等势（线段与正方形一样多点！），但与 N 不等势。无穷的世界比直觉荒诞得多。

康托尔给「无穷的大小」起了名字：ℵ₀（可数无穷）、𝔠（连续统）……他晚年说：「数学的本质在于它的自由。」——先把配对的权利还给无穷，等级自然浮现。

研讨① 归纳法证的是什么

研讨材料一：培根式「归纳」——观察一百只天鹅皆白，推断天鹅皆白。材料二：数学归纳——奠基验 P(1)，传递证 P(k)⇒P(k＋1)。两个「归纳」，一个从例子爬向规律（可能爬空），一个从结构推出必然（绝不落空）。英文里培根式叫 induction，数学归纳法也叫 mathematical induction——历史误会至今未改，研讨会先正名。

研讨问题一：数学归纳法里有没有「从例子到规律」的成分？——传递步 P(k)⇒P(k＋1) 是对一个任意的 k 证明的：它不是例子，是「全体例子的代理人」。用您自己的话把这个区别讲清楚（同桌互讲，讲不清的互相追问）。

研讨问题二：归纳公理说「装得下 1 且传递即全体」。请类比「传话游戏」：为什么「每人向后传且不走样」＋「第 1 人拿到信」能保证第 n 人一定收到？哪个环节在现实中最易坏？——答案恰好暴露了数学里这两个前提为何必须精确陈述。

研讨问题三：有人质疑：「归纳法只证了可数个命题，凭什么算严格？」——这质疑本身混淆了什么？（提示：命题个数是可数无穷，归纳法处理的对象恰是正整数——两者同域，覆盖完全。归纳法对「所有实数」的命题不适用——举一个只用归纳证不动的命题。）

培根归纳产生信心，数学归纳产生必然。两者都在科学里服役，但签证类别不同：一个进实验室，一个进公理体系。

研讨② 希尔伯特旅馆

希尔伯特 1920 年代的著名想象：一家无穷旅馆，房间编号 1,2,3,……，全部住满。今夜新客一位，怎么办？——让 1 号房客搬去 2 号，2 号搬 3 号……人人后移一号，1 号房腾出。满员的旅馆，硬是住进一位：∞＋1＝∞。

变奏升级：① 今夜来了一整车可数无穷位新客——请老房客全搬到 2n 号（偶数房腾空，可数无穷间），新客入住奇数号；② 来了可数无穷多辆车，每车可数无穷位客人——用对角楼梯法编号：车 1 客 1 号、车 1 客 2 号、车 2 客 1 号、车 1 客 3 号……全部安顿（这正是 p.13「有理数可数」的彩排）；③ 旅馆旁边又开一家无穷旅馆想整体并入——住户乘 2，老旅馆空号由新客补齐。每一次变奏，都是一次「配对方案」的设计赛。

研讨问题一：∞＋1＝∞ 违反算术吗？——违反的是有限算术的迁移直觉；在基数运算里这是定理不是悖论。请把这句话用「双射」的语言重写一遍（存在 1 号房腾出 ⟺ 存在 N 到 N 的一个双射把 1 漏在外面）。

研讨问题二：有没有「住不进」的客人团？——有：p.10 的 (0,1) 全体实数。用对角线法给「拒收通知」写理由。

希尔伯特旅馆的教学价值：它把「无穷的算术」从吓人的术语变成可以动手排班的服务业案例——无穷不可怕，怕的是只背结论不排班。

研讨③ 无穷的无穷

康托尔把「与 N 等势」的无穷叫可数。清单比想象的长：整数可数（p.4 卡③）、有理数也可数——虽然稠密得「任何两数之间还有有理数」。证法即 p.12 变奏③的对角楼梯：按「分子分母之和」分排，逐对角线扫过去，跳过未约简者——每个正有理数迟早被点到名。

而实数不可数（p.10 对角线法）。于是一座两层楼的无穷大厦落成：楼下 ℵ₀，楼上 𝔠。康托尔进一步问：楼与楼之间还有没有夹层？——「连续统假设」，他一生最深的执念。1938 年哥德尔、1963 年科恩联手给出戏剧性答案：它既不能被证明也不能被否证（在标准公理系统内独立）——数学的公理可以有不同的「平行宇宙」。

研讨问题一：有理数稠密却可数，实数也稠密却不可数——「稠密」与「多少」是两码事。用一句话概括这个区分对您的冲击。

研讨问题二：希尔伯特说：「没有人能把我们从康托尔创造的乐园里驱逐出去。」而克罗内克骂康托尔是「腐蚀青年的骗子」。数学争论到了公理层面，还能分对错吗？——参考 p.14 的讨论角度：先问「在哪个公理系统里」。

研讨问题三：楼梯法与对角线法，一个证明「可数」、一个证明「不可数」——两招共用的底层动作是什么？（都是按位置逐位/逐行操作，本质上都是构造一个双射或一个漏网者。）

无穷的无穷不是修辞，是定理。康托尔的墓碑上刻着希耳伯特那句判词——而他生前只等到嘲笑。基础研究的价格表：先付孤独，后付辉煌。

研讨④ 从对应看结构

本章反复出现同一个动作：摆对应。现在把它升格为思想：数学家眼中，两套系统「本质上相同，当且仅当存在一个保持结构的双射。数数如此（与 {1,…,n} 双射），无穷比大小如此，下一章的群论（同构）更是如此。研讨三个应用现场。

现场一：组合双射。「n 个人两两握手共多少次」与「n 边形对角线多少条」是同一道题——把「人—人」对应「顶点—顶点」，握手对应连线。数一遍答案：C(n,2)。双射让两道题共享同一个答案。

现场二：祖暅原理（「幂势既同，则积不容异」）：两层几何体在每一高度的截面面积都相等，则体积相等——这就是「逐层配对」：把截面与截面双射，体积的对应自动生成。它比西方的卡瓦列里原理早一千一百年。

现场三：题目翻译。「钟面 3 点加 10 点＝1 点」与「三角形旋转 3 次再加 10 次」是同一道题（下一章将证明二者同构）；「4 人排 4 个座位的方案数」与「4!」是同一道题。研究项目选题时，学会问一句：它跟哪个已知问题同构？——问出这句话，往往题就解了一半。

克莱因《爱尔兰根纲领》的雄心：一切几何＝某个变换群下的不变量。把「研究东西」换成「研究对应」，是十九世纪数学最重要的一次换脑——本章您已经换上了。

项目① 选题与开题

本章项目：完成一份「映射与无穷」迷您研究。今天开题。

课题菜单（三线任选其一）：
A 线·无穷景观：A1 证明整数集与自然数集等势并画配对图；A2 证明有理数可数（对角楼梯完整版）；A3 写一份「希尔伯特旅馆经营手册」（三变奏＋一个不可数拒收案例）。
B 线·归纳兵法：B1 收集归纳法三个变形（双奠基、起点后移、证强于原）各配一道完整例题；B2 研究斐波那契数列的某个归纳证明（如 F₁＋F₃＋⋯＋F_2n−1＝F_2n）；B3 用强归纳重证「素数分解存在」并注明普通归纳卡壳的位置。
C 线·映射侦探：C1 在校园里找三个真实映射并判定单射/满射（如「学号→学生」「餐卡余额→今天午餐」）；C2 用抽屉原理设计并证明三条「校园必然事件」（如全班 40 人必有两人同月同周生日——自定）；C3 研究一张校内数据表（成绩单、课程表）里的函数关系并讨论其定义域与陪域。

开题报告（半页）：题目、选线理由、拟用方法（双射/归纳/抽屉）、预期成果形式（证明+图示/手册/报告）、时间表。开题报告同学互签「可行性意见」一条后立项。

开题的价值在于逼您把「感兴趣」翻译成「做什么、怎么做、做成什么样」——研究的第一课是可执行。

项目② 探究实施

实施周。三条纪律保证进度：一、先小后大——把课题切成最小可验证单元（A2 先证「正有理数可数」，再扩符号；B1 先做双奠基一题再谈变式全家福）；二、每步留痕——图、草稿、废案全进过程档案，废案标上「为什么放弃」；三、卡壳限时不死磕——同一难点卡 20 分钟，强制换通道：换表述（用双射语言重说一遍）、换特例（n＝1,2,3 试试）、换书（另找一本教材的讲法）、换同伴（互讲五分钟）。

中期检查站（周五）：每人两分钟进度陈述——「已完成什么/正在攻什么/下一步」。只许报实况，不许报愿景。陈述后互提一条「最有用的一问」。

记录规范：所有配对图必须画「双向箭头」标注双射方向；归纳证明必须显式写出「奠基—归纳假设—传递—结论」四行；抽屉原理的应用必须点明「谁是物品、谁是抽屉、各多少个」——这三条格式习惯从今天养成，第 5 章小论文直接受益。

探究的进度条不是灵感曲线，是纪律曲线：小步、留痕、限时换道——三件事做到，灵感自然来加班。

项目③ 论证打磨

成果初稿完成后进入打磨期。数学论证的打磨有专用工具，今天实操三件。

工具一：逐行审讯。把证明每行编号，逐行回答三问：这行用了什么前提？这行推出什么？这两行之间的因果关系是「必然」还是「顺手」？凡是「顺手」（只是画面上像）的行，标记待审。

工具二：换衣测试。把命题换三种衣裳检验理解：① 反着说（原命题的逆命题与否命题各是什么？对不对？举例）；② 换条件（把「可数」换成「有限」结论还成立吗？把「n＞0」去掉会怎样？）；③ 换对象（把整数换成有理数、把平面换成空间，哪些步骤失效？）。三项各写一行结论。

工具三：外行试讲。讲给一位没学过本单元的同学/家人听，规则：只许用「配对」「排队」「倒骨牌」三件生活比喻，禁用术语。外行皱眉的地方，就是您偷懒的地方。

打磨完成的标志不是「我讲顺了」，而是「三种换衣都换过了、外行点头了、逐行审讯无待审行」。

打磨不是磨时间，是换角度轰炸：逐行审逻辑、换衣测理解、外行验表达——三个方向各炸一遍，漏洞无处可藏。

项目④ 写作

把研究写成三页小论文（本章版，第 5 章将升级到正式版）。结构与本章项目特点定制：

第一页·问题与准备：研究问题用一句问句写全（例：「有理数集与自然数集之间是否存在双射？」）；预备知识一节列出用到的定义（等势、双射、对角线法……）——每个定义一句话＋一个例子。

第二页·论证主体：核心证明全文，四行格式（奠基/构造—检验—结论）；配图至少一幅（配对图或对角线表），图须有编号与标题（图 1：××配对示意）。

第三页·发现与延伸：三个板块——「过程中最意外的时刻」「一个变式及其结果」「新产生的问题」（必须有一条，而且要写得让人想接着研究）。

格式清单：术语首次出现即定义；图有编号；证明有收口句「证毕」；文末列「参考来源」（教材页码/读物名，第 1 章任务二的标注习惯正式化）。

写完先做一次第 1 章 p.18 的朗读测试，再做本页「格式清单」逐项打勾，然后交稿。

小论文与习题的区别：习题向老师证明您会做，论文向读者证明这问题值得想——写「新产生的问题」那一栏时，您已经是研究者了。

项目⑤ 展示准备

研究营展示装备升级（第 1 章三件套的迭代版）。

展板 2.0：左栏「问题」——用一个生活比喻开场（希尔伯特旅馆/配对/倒骨牌三选一）；中栏「证据」——核心图放大居中，证明只留四行主脉；右栏「地图」——您的结论与哪些已知结论相邻（画一个小地图：本课题在「无穷景观/归纳兵法/映射侦探」里的坐标）。板书字号自查：最后一排（约 6 米）能读清中栏。

讲稿（3 分钟版）：四段式——30 秒比喻开场、90 秒核心思路（只讲招式不讲细节）、30 秒最意外时刻、30 秒「我们还没解决的问题」。禁念稿：只准带四张关键词卡。

质询预案 2.0：本章预设三问——「对角线造的数一定是 (0,1) 里的数吗？」（小数展开的规范问题）；「强归纳和普通归纳哪个更『强』？」（名字骗人：二者等价）；「您的抽屉原理应用里抽屉数对吗？」（数抽屉是最常见事故）。每个问题准备两句话回答＋一个「好问题，我回去算」的备选。

展示排练的最高心法：把观众当成「聪明的第一次」。聪明的，所以您不许糊弄；第一次，所以您不许跳步。

深读① 康托尔与无穷之争

康托尔 1845 年生于圣彼得堡，一生大半在哈勒大学——一所当时德国地图上的「边陲」学校。他研究三角级数出身，却在追问「函数展开的唯一性」时一头撞进无穷的深处：1874 年证明代数数可数、实数不可数；1878 年起系统建立集合论与超穷数（ℵ₀、ℵ₁……他亲手起名）。

代价惨烈。柏林学派的领袖克罗内克公开抨击：无穷集合不是数学，「我不承认您的数」；他阻挠康托尔到柏林任教，处处设卡。彭加勒讥讽集合论是「一种病，迟早会被治好」。康托尔在重压与抑郁中仍坚持研究，与神学家通信探讨无穷与上帝——他深信自己的工作既是数学也是神学。1918 年在哈勒的精神病院中去世。

平反由希尔伯特完成：「从康托尔为我们建造的乐园中，没有人能驱逐我们。」他把连续统假设列为二十世纪数学 23 问之首；今日集合论是全部现代数学的通用语言——课本每一页的「集合」二字，都是康托尔的遗产。1950 年代后，他的信件与手稿整理出版，学界重新认识了这位先知。

深读任务：读康托尔传记或相关选段，写三行「人物卡」：一个贡献、一次打击、一句您最想对他说的评论。

克罗内克的判断力一流（他是构造主义的真知灼见者之一），却把一流判断力用在了攻击一个尚未被理解的人身上——科学共同体的教训：对看不懂的东西，先研究，再开炮。

深读② 归纳法的印度起源

数学归纳法的护照上，第一页印章来自印度。公元前 2 世纪至公元 7 世纪，耆那教与佛教的数学家处理组合与数列问题时，已经使用「从 n 项到 n＋1 项」的推理格式。公元 7 世纪婆罗摩笈多、9 世纪马哈维拉处理数列求和；12 世纪婆什迦罗第二《莉拉沃蒂》里的数列问题，注家明确写下「依此法逐项类推，直至无穷」的句式——「由 n 到 n＋1」的推理在印度被称为「由前例推进」，被当作合法的证明方式。

传播路线清晰可考：十世纪阿拉伯学者凯拉吉在《代数之书》里用「从任意 n 推 n＋1」证二项式系数求和，并自注此法「可无限推进」；十三世纪伊本·海赛姆用它处理平方和；经马格里布学者代代转写，十六世纪毛里求斯数学家（哈拉尔·毛鲁迪等）已把「两步格式」写得与现代教科书几乎一致。欧洲一侧，莫罗利科 1575 年用它证三角形数公式；帕斯卡《算术三角形论》（1654）把它作为正式证明工具；「数学归纳法」这个名字由德·摩根 1838 年正式提出。

研讨角度：把「印度—阿拉伯—欧洲」的传播链画成时间轴，与第 1 章欧几里得范式的单线叙事对比——数学的发明权从来不是单名的，而是接力。

皮亚诺公理 1889 年才给归纳法补上地基，而它被实际使用已近两千年——数学史上「先用后懂」的例子，这一件排前三。

深读③ 延伸阅读：无穷的故事

本页书单为研究营后想继续远航的同学准备，按「离岸距离」分三档。

近岸（可现在读）：马丁·加德纳《啊哈！灵机一动》——无穷旅馆与配对谜题的游戏化版本；乔治·伽莫夫《从一到无穷大》第 1–2 章——康托尔、希尔伯特旅馆与「会说话的数」的通俗经典，本册多处梗的原产地；马库斯·杜·索托伊《素数的故事》（或其纪录片）——把对角线法与素数串成一部悬疑片。

中程（高一升高二）：鲁道夫·拉夫《无穷简史》——从芝诺到康托尔的观念史，哲学味浓；伊恩·斯图尔特《现代数学的概念》——集合论、基数、超穷数的准专业导览，读它等于预习大学一学期课。

远洋（C 段与大学）：康托尔论文英译选（ Contributions to the Founding of the Theory of Transfinite Numbers ）——亲手读原典；科恩《集合论与连续统假设》——独立性的第一现场；哈特《极客信条》——当代数学家的无穷杂谈。

深读任务：从近岸三本中任选其一读一章，写 200 字「海图」——读了什么、哪里最好玩、愿意把哪一段搬进研究营展示。

书单的排序哲学：先玩后学，先故事后结构，先通俗后原典——顺序反了，海风还没吹到，晕船先到。

映射与归纳工具箱

用一张知识地图把本章收进四个格子：

自查五问（答不出的回到对应页）：① 单射与满射为何相互独立？（p.4、p.6）② 为什么「部分可与全体等势」反而定义了无穷？（p.7）③ 强归纳何时不可替代？（p.8）④ 对角线法造漏网之鱼的关键一步是什么？（p.10）⑤ 「证强于原」为何反而好证？（p.9）

误区清单：「∞＋1＝∞ 是错的」（在基数算术里它是定理）；「有理数稠密所以不可数」（稠密与大小两码事）；「归纳法是从例子猜规律」（它是演绎）。

复盘的最高标准：能对没学过的同学讲清「两个无穷怎么比大小」——只需一张嘴、一支笔、一张清单。

研究成果展

三个展区＋一场对谈，与第 1 章成果展错峰布置。

展区一：无穷装置墙。A 线成果上墙：整数—自然数配对图（卡③的箭头图放大版）、有理数对角楼梯表、希尔伯特旅馆「经营手册」选页。参观者领取「拒收通知单」：现场考一道——「本馆能否接纳 (0,1) 全体房客？」答对盖「无穷管理员」章。

展区二：归纳工坊。B 线成果陈列三改装件的例题卡（每题四行格式），附「断号处」标记——普通归纳卡壳而强归纳通行的位置用红签标出，参观者先猜红签位置再翻答案。

展区三：映射侦探社。C 线成果做成「校园映射图鉴」：三个真实映射＋三条抽屉原理「必然事件」证明卡。互动环节：参观者现场提交一条校园映射，侦探社即席判定单/满/双。

压轴对谈（10 分钟）：三线各出一人登台，议题：「无穷是发明还是发现？」——各自陈述两分钟，互相一问，观众举手表决。对谈无标准答案，标准只有一个：每句话都要能被追问。

展区一的「拒收通知单」是本展的镇纸：它提醒每一位参观者——无穷的世界有等级，而等级是用一根对角线量出来的。

对称：随处可见的结构

雪花六出、人脸左右、正方形四边、圆与无穷远——「对称」是自然与艺术的第一美学词汇。但在数学家眼里，对称不是「好看」，而是一组操作：能让图形与自己重合的那些动作。正方形的对称＝{不转、转 90°、转 180°、转 270°、沿两条对角线翻、沿两条中线翻}——一共 8 个操作。研究这 8 个操作互相复合的规律，比研究正方形本身更深：把「操作」当主角，图形退成背景，这一步换位就是本章的全部剧情。

为什么值得换位？因为「操作及其复合」是一种纯结构：正方形的 8 个对称操作、时钟 12 点的加法、方程的根的置换、晶体的排列……表面天差地别的系统，操作复合的规律可以一模一样。抓住规律，就一次看懂一整类系统——这门「研究操作复合」的学问叫群论，是 C 段抽象代数的正门。本章带您摸到门环：亲手做对称实验、填群表、发现「四条公理」原来是无数次操作体验后蒸馏出的精华。

分工预告：第 1 章学了证明，第 2 章学了对应，本章把两件兵器合璧——用对应辨认「同一个群的不同马甲」，用证明核验公理。

外尔说：「对称性，无论按广义还是狭义的定义，是人类自古以来理解宇宙并试图创造秩序的一种思想。」本章只加一句：它还是一台机器——把「好看」变成「可算」。

图形对称性盘点

道具：硬纸板剪出四个图形——等边三角形、正方形、正六边形、等腰三角形（非等边）。任务：给每个图形开一份「对称操作清单」。

操作一：数旋转。捏住图形中心旋转，能与自身重合的角度各是多少？等边三角形：0°、120°、240°——3 个；正方形：4 个；正六边形：6 个；等腰三角形：只有 0°——1 个（「不转」也是操作！它将挂一个重要的头衔）。规律：正 n 边形有 n 个旋转对称。

操作二：数翻折。沿哪些直线翻过去能与自身重合？等边三角形 3 条（每条过顶点与对边中点）；正方形 4 条（两对角线＋两中线）；正六边形 6 条；等腰三角形 1 条（底边中线）。规律：正 n 边形 n 条。

操作三：总账。四个图形的对称操作总数：6、8、12、2。注意等腰三角形的「总账」＝2：只有「不转」与「沿中线翻」——这两个操作已经构成一个群（本章 p.6 后您能验证）。数最少的图形，群最小——结构不分大小，一律平等。

操作任务：把清单整理成表格（图形×旋转数×翻折数×总数），并在每个图形上用虚线画出翻折轴。收藏进项目档案——p.4 填群表时它是底稿。

「不转」也要入册：什么都没做的操作，是所有复合的起点——它的数学名字叫单位元，此刻先叫它「躺着不动的那位」。

操作生成：旋转与翻折复合

单看每个操作还不够，群论的灵魂在复合：先做一个再做另一个，等效于哪个操作？道具：上页的等边三角形纸板，四角贴小标记（正面 A、B、C；背面同位置贴 A′、B′、C′，以便辨认翻面）。

实验一：旋×旋。转 120° 再转 120°，等效转 240°；再 120° 回到原位。记号：r＝转 120°，则 r·r＝r²，r³＝e（e 是「不转」）。旋转自成闭环。

实验二：翻×翻。沿一条对称轴翻两次——回到原位：s·s＝e。每个翻折「做两次等于没做」：它是自己的反面。

实验三：混合的惊奇。先翻 s 再旋 r，与先旋 r 再翻 s，结果相同吗？——不同！动手做三遍确认。再做一个组合表：先 s 后 r 等效于哪个单独操作？答案是某个翻折（沿哪条轴？用纸板转出来）。把六种混合组合逐一实验，记下等效结果。

收获盘点：① 复合永远得到清单内的操作——封闭性（p.6 公理第一号）当场出现；② 复合次序有讲究——非交换当场出现；③ 每个操作都能被「撤销」——翻折自撤，旋转用反向旋撤——逆元（公理第四号）当场出现。四条公理您已亲手摸到三条半，只差「结合律」需要一点抽象（p.6 补课）。

公理不是天上掉下的，是从纸板上长出来的——先玩够，再命名。这是本章的教法，也是数学史的顺序。

群表填写体验

把 p.3 的六种实验结果整理成一张 6×6 的表——等边三角形对称群的群表（凯莱表）。行＝第一个操作，列＝第二个操作，格＝「先行后列」的复合结果。

填写任务：先约定记号——e（不转）、r、r²（三个旋转）；a、b、c（三条轴的翻折）。已知线索：r·r＝r²，r³＝e；每个翻折平方是 e（p.3 实验二）；混合组合的答案按 p.3 实验三的记录填。表中还有 12 格未给出实验线索，用纸板补测，一格一测，全部填满。

填完后的三连发现：① 每行每列都是六个记号各出现一次——为什么？（每行如「r×一切」：把所有操作各撤销一次或重排一次，不打架不重复——这正是 p.4 单射满射判定的回声：消去律在表格上的形状是拉丁方。）② 对角线附近 r、r²、e 组成一个小小的封闭角落（{e,r,r²} 自己是群——子群现形）；③ 表沿主对角线不对称——r·a 与 a·r 不同格：非交换写在了纸上。

收尾任务：在表格上用三种颜色圈出：单位元所在的行与列（第一行/列照原样复制全体——单位元的指纹）；每个元素的「逆元对」（表中 e 出现的位置）。收进档案。

群表是群的「指纹」：两个群同构，当且仅当交换记号名后群表可以完全重合——p.5 您将用它抓到一对「同案犯」。

模 3 加法循环圈

换一个完全不同的领域：钟表算术。模 3 加法：只保留除以 3 的余数——0＋0＝0，0＋1＝1，1＋1＝2，1＋2＝0（3 归零），2＋2＝1（4 除 3 余 1）。把它画成一张 3×3 表，再画成一幅「循环圈」：0 → 1 → 2 → 0 的三角循环。

任务一：对表。把模 3 加法表与 p.4 群表里的 {e, r, r²} 小角落并排——把 e 换名成 0、r 换名成 1、r² 换名成 2，两张表逐格相同。第 2 章的双射（换名表）在此正式上岗：这是我们的第一对同构——「三角形旋转」与「模 3 加法」是同一个结构穿了两件衣裳。

任务二：换钟。再做模 4 加法（4 归 0）与模 12 加法（时钟）的表与循环圈。模 4 与哪个图形的旋转群同构？（正方形——但只算旋转、不算翻折的那 4 个操作。）模 12 呢？（正十二边形旋转，或纯粹的钟面。）每个 n，模 n 加法都是「n 次旋转」的代数马甲：记号 ℤ_n，C 段的常客今日报到。

任务三：找非交换的反例。ℤ₃ 的表沿对角线对称（交换）；p.4 全表不对称（不交换）。观察结论：越小的循环圈越「守规矩」，一掺翻折就开始耍脾气。把这句话精确化成您的猜想，写进档案——p.12 研讨将裁决。

同一张表，三副面孔：纸板的旋转、钟面的加法、循环圈的箭头。您从今天起有了数学家的病：看见任何表，先问一句——它跟谁同构？

专题① 群的定义：四条公理

五页操作体验蒸馏完毕，正式命名。

逐条对照我们的实验：封闭（p.3 复合不出清单外的操作）✓；结合（试试 (r·s)·r 与 r·(s·r)：前者先翻后旋再翻，后者重排顺序——纸板验证相等；一般地操作复合的结合律与「函数复合」同源）✓；单位元（e）✓；逆元（翻折自逆，r 的逆是 r²）✓。注意群公理不要求交换律——满足交换的群特称交换群（阿贝尔群）。p.4 的 6 阶对称群非交换，ℤ₃ 交换，都是群。

两条纪律：① 「×」号不一定是乘法——ℤ₃ 里它是加法；群论只关心运算的性质，不关心它的长相。② 验群四步（封、结、单、逆）将成为本章项目的核心工序——p.16 现场演练。

四条公理是四道筛子：从「所有带运算的集合」里筛出「行为良好的复合系统」——筛掉的是不可逆、会漏、会炸的坏脾气，留下的是值得研究的结构。

专题② 例子总动员

定义立好，立刻总动员——12 个候选人排队过筛，判定群与非群，是本页的集体游戏。

正取八席：① (ℤ, ＋) 整数加法群；② (ℚ, ＋)、(ℝ, ＋)；③ (ℚ*， ×) 非零有理数乘法群（0 被开除——它没有乘法逆）；④ (ℤ_n, ＋) 模 n 加法（p.5 全家）；⑤ 正 n 边形旋转群 C_n（「循环群」）；⑥ 等边三角形全对称群 D₃（p.4 的 6 阶表）；⑦ 三物体的全部排列（置换群 S₃，p.8 正式登场）；⑧ {1, −1} 乘法群（最小的非平凡群——与「等腰三角形的两个对称操作」同构！）。

落选四席（说明落选原因，比正取更有营养）：⑨ (ℤ, ×)——1 与 −1 之外全无逆元，第 ④ 条阵亡；⑩ (ℕ, ＋)——正整数减不出 ℕ（2−3 无家可归），逆元缺席；⑪ (ℚ, ×) 含 0——0 无逆；⑫ 单个操作 {e}——它反而是群！最小群，平凡群，公理逐条满足（封闭✓ 结合✓ 单位元 e✓ 逆元 e⁻¹＝e✓）——「落选」是陷阱选项，正取。

速配游戏：八席正取里，谁与谁同构？——{1,−1} ↔ 等腰三角形对称操作（2 阶）；ℤ₃ ↔ C₃ ↔ D₃ 的旋转子群（3 阶）；ℤ₄ ↔ C₄（4 阶）。同构判定标准：换名后群表重合（p.5 的技法）。

落选样本是公理的试金石：知道「什么不是群」的四种姿势，比背四条公理更能把公理刻进脑子。

专题③ 置换群初探

最具体的群：置换——把几个对象重新排座位。三个对象 {1,2,3} 的全部排法共 3!＝6 种：「123」原样、「213」换前两个、「132」换后两个、「321」换两头、「231」轮转、「312」轮转。六种排法本身就是六个操作（把一种排法施加到任何排列上）。

轮换记号：轮转「1→2→3→1」写作 (123)；对换「1↔2」写作 (12)。于是 S₃ 的六个元素：e、(12)、(13)、(23)、(123)、(132)。复合实验：先 (12) 后 (13) 得什么？动手排牌验证：结果不是对称差，是 (132)——把 (12)·(13) 填进群表，与 p.4 的 D₃ 表对照：换名后（e↔e，翻折↔对换，旋转↔轮换）两张表重合。S₃ ≅ D₃——六个对称操作与六种排法是同一个群的又两件马甲。这不是巧合：对称轴的翻折恰好在交换两个顶点，旋转恰好在轮换三个顶点。

奇偶性彩蛋：对换是「奇」的，三循环是「偶」的（两个对换拼成）。乘法规则：奇×奇＝偶，偶×偶＝偶，奇×偶＝奇——六置换中三奇三偶，三个偶置换自成子群 A₃（交错群）。这个不起眼的小角落，将在 p.13 研讨里掀起五次方程的风暴——今日埋种。

凯莱定理预告：每个群都是某个置换群——「重新排座位」是群的万能马甲。抽象与具体，在这里握手。

专题④ 对称群与多面体

把对称盘点（p.2）从平面抬升到空间。问题：正多面体的「旋转对称群」多大？（只算旋转，翻折在空间里是「反射」，暂时不请。）

对偶原理：面数与顶点数互换（四面体自对偶；立方体↔八面体；十二面体↔二十面体）——对偶体的对称群同构，因为「把面当顶点」这个操作保住了全部对称关系。第 2 章「从对应看结构」（p.14）的空间版。

数一数的统一公式：旋转对称数＝顶点数×（过顶点的面数−1）＋1。验算：正四面体 4×(3−1)＋1＝9？不对——公式应为 顶点数×(过顶点面数−1) 是「非平凡旋转」数，加 e 才是总数：4×2＋1＝9？再算：四面体每顶点 3 面，绕「顶点-对心」轴有 2 个非平凡旋转，4 顶点共 8 个，加 e 得 9——但实测 12！问题出在哪？——还有 6 个「过棱中点」的 180° 旋转没算进去。修正清单后重算立方体：24 ✓。这一段「公式翻车—找漏—修复」的现场，正是研究过程的真实质地。

二十面体的 60 阶旋转群与 A₅（60 个偶置换）同构——它将在 p.13 的五次方程故事里担任主角。宇宙的骰子，五百年前已铸好。

专题⑤ 群与现代物理一瞥

群论诞生于方程（p.13），却统治了物理。三个现场速览。

现场一：守恒律的源头。能量为什么守恒？诺特定理（p.14 详解）回答：因为物理定律「今天与明天一样」（时间平移对称）。动量守恒来自空间平移对称，角动量守恒来自旋转对称——每一条守恒律背后站着一种对称，每一步「从对称到守恒」的推理都是群论。

现场二：晶体的排班表。晶体中原子的对称操作群（空间群）全宇宙只有 230 种——十九世纪末费奥多罗夫等用群论穷举完毕。材料科学靠这张排班表区分晶型；X 射线衍射照片一出来，先查表定群。三维空间「只有 230 种」的断言，与平面上贴砖的 17 种壁纸群一样，是「结构普查」的胜利。

现场三：粒子的家谱。基本粒子（夸克、轻子）按「对称群的表示」分类：SU(3) 对称把一堆当时看似杂乱的强子排成整齐的八重态——盖尔曼 1964 年照着群论的「空位」预言了 Ω⁻ 粒子，两年后实验找到，质量分毫不差。「先有群表，后有粒子」——物理学家管这叫「看不见的手指」。

外尔的判词：物理学的全部进展，可以概括为「不断扩大对称性的适用范围」。您今天学的每一条群公理，都是宇宙的记账规则。

研讨① 公理如何「筛选」结构

研讨材料：三个「不完整」的运算系统——① (ℕ, ＋)：封闭✓ 结合✓ 单位元（0 不在 ℕ 里！若 ℕ 从 1 起）✗ 逆✗；② (整数集, 取最大值 max)：封闭✓ 结合✓（max(a,max(b,c))＝max(max(a,b),c)）单位元？——比一切整数都小的「最大值吸收元」不存在于 ℤ 中 ✗；③ (ℚ⁺, ÷)：封闭✓ 结合 ✗（(8÷4)÷2＝1 而 8÷(4÷2)＝4）。

研讨问题一：三个系统各卡在哪条公理？由此体会公理的「独立工作」：结合律管「括号自由」，单位元管「起点」，逆元管「回头路」——缺一条，哪种推理失灵？（例：缺逆元则「由 ab＝ac 推 b＝c」失效——消去律与逆元的关系请用 ℤ× 的例子说清。）

层级图：集合 →（＋结合）半群 →（＋单位元）幺半群 →（＋逆元）群 →（＋交换）交换群。请把 p.7 的 12 位候选人各归入层级——(ℕ, ＋) 若含 0 是幺半群；(ℤ, ×) 是幺半群；max-系统是半群。层级图是公理筛选的可视化。

研讨问题二：为什么要一层层筛而不是一步到位？——每一层都有自己的用武之地：自动机理论用半群，计算机启动状态用幺半群，加密用群。公理不是「门槛高更好」，是「够用且精确」——第 1 章 p.6「定义的换代」在本章的回声。

公理化像调焦：太松，什么都不清楚；太紧，只剩一张照片。四条公理是群论定好的焦距——恰好拍清「可逆的复合」这一整类现象。

研讨② 群表里能读出什么

群表不只是成绩单，是诊断书。四项读表技术，边读边研讨。

技术一：拉丁方＝消去律。每行每列不重不漏（p.4 发现①），逻辑来源：a·x＝a·y 两边乘 a⁻¹ 得 x＝y。研讨：消去律依赖哪条公理？（逆元与结合。）为什么 (ℤ, ×) 的表不是拉丁方？（2×3＝2×(−3)？不——2×3＝6≠−6；用 0：0×a＝0×b 对一切成立——0 无逆，消去律阵亡，行内重复。）

技术二：对角对称＝交换。表沿主对角线对称 ⟺ a·b＝b·a。统计 D₃ 表：36 格中不对称的 12 格——「不交换」是少数派但存在，且一存在就改变整个结构的命运（p.13）。

技术三：子群显影。表中 {e,r,r²} 的 3×3 角落自成拉丁方——子群在表上「显影」。研讨：子群的存在受拉格朗日定理约束（子群阶整除群阶——6 的因子 1,2,3,6；D₃ 的子群恰有 1,2,3,6 阶各若干）。「因子约束」用 12 阶群验证：可能有 5 阶子群吗？（6 阶群 D₃ 没有；一般地 5∤12 故无——定理的威力：不搜即知。）

技术四：换名同构。两张表逐格比对（p.5 的技法）的同构判定，在表上等价于「行距列距的重排」。研讨：判断同构先看什么不变量？（阶数、交换性、元素的自乘周期——即每个元素的「循环长度」。）

读表的功夫＝读结构：一张 6×6 的方格纸，装着消去律、交换性、子群、同构四门课。费曼说他「不能创造的东西就不理解」——先读懂一张表，再谈理解群。

研讨③ 阿贝尔与五次方程

十六世纪是方程的黄金时代：三次、四次方程的求根公式相继问世（卡尔达诺、费拉里），解法里满是「降次」的巧劲——把四次压成三次，三次压成二次。自然的大胆猜想：五次也能压。三百年间，欧洲最好的头脑（欧拉、拉格朗日……）轮流上阵，全部失败。

第一个说破真相的是鲁菲尼（1799，论证有缺口）与阿贝尔（1824–26，完全严格）：一般五次方程没有根式解。「没有」怎么证？——反证法＋结构：若存在根式解，解的置换必须落在某种「可逐步拆解」的结构（可解群）里；阿贝尔与伽罗瓦证明 S₅（五个根的置换群，120 阶）含有 A₅（60 阶，单群——不可再拆），拆不动，故无根式解。四次能解而五次不能，分水岭正是 A₅ 的「单」——二十面体旋转群（p.9，60 阶）恰是 A₅：几何的骰子与方程的死结是同一个群。

研讨问题一：「无解」的证明比「有解」更难吗？讨论：证明存在只须造一个；证明不存在必须封死所有路——回看第 1 章 p.7「反证法适合否定式」，此处是它最伟大的战绩。

研讨问题二：阿贝尔 26 岁死于肺结核，穷困潦倒，死前两天收到柏林大学的聘书。拉格朗日评价五次方程问题时说它「要求人类知识的飞跃」——从「找公式」到「研究结构的不可拆性」，这个「飞跃」对「数学研究是什么」给出了怎样的答案？

五次方程的故事是本章的预告片：群论诞生于「证明不可能」。而「不可能」的证明，往往比一切「可能」更深——它告诉您世界的边界在哪。

研讨④ 对称守恒：诺特的洞见

1915 年，埃米·诺特来到哥廷根。爱因斯坦的广义相对论刚发表，物理学家为「能量守恒在弯曲时空还成不成立」吵成一团。诺特给出石破天惊的回答：诺特定理——每一个连续对称性对应一条守恒律，反之亦然。时间平移对称 ↔ 能量守恒；空间平移对称 ↔ 动量守恒；旋转对称 ↔ 角动量守恒。守恒律不再是经验的总结，而是对称性的账本。

定理的数学内核：群论＋变分法。「对称」由一个连续群描写（旋转群、平移群），「守恒量」由群作用生成——「找到对称，就找到了守恒」从此成为物理学的寻宝图。量子力学里它更进一步：粒子的分类＝群的不可约表示；规范对称（二十世纪的主线）直接从群论里长出三种基本力的统一语言。

研讨问题一：诺特定理把「守恒」从「观测事实」升级为「结构必然」。请用「记账」比喻讲一遍：为什么「账本平衡」（守恒）是因为「规则不变」（对称）？

研讨问题二：诺特在哥廷根多年拿不到正式教职（「女性不能任讲师」的条文），她的课常由希尔伯特名义开设——「数学教授诺特先生」是课堂暗号。结合 p.13 阿贝尔的命运：数学共同体应该如何对待它的天才？制度与个人各能做什么？

研讨问题三：爱因斯坦称诺特为「数学史上最重要的女性」。这句话的修饰词今天看反而多余——讨论：为什么「最重要的女性数学家」这个说法本身需要被修正？

诺特的墓志铭是她自己的方法论：「讲道理时，少谈具体，多谈关系。」——她把这句话做成了二十世纪数学的门规：公理化、结构化、去具体化。

项目① 找一个身边的群

本章项目：在生活或数学中定位一个群，完成「找群—验群—析群—成文—展示」全流程。今天开题，三路选题。

A 路·生活群：A1 摩天轮座舱的旋转（C_n）；A2 魔方一个面的旋转记号（注意：整个魔方群有 4.3×10¹⁹ 个元素——只取「单面转」的子结构分析）；A3 学校作息表里「星期」的循环（ℤ₇：周一＋3＝周四；春假是不是「逆元」？——用群语言重写作息表）；A4 万花筒图案的对称群（壁纸群的玩具版，只盘点不动点）。

B 路·代数群：B1 ℤ₁₂ 的所有子群普查（12 的因子 1,2,3,4,6,12 逐一核对——拉格朗日定理现场）；B2 {1,−1,i,−i} 乘法群（4 阶循环群与 ℤ₄ 同构，画循环圈）；B3 矩阵群初探：旋转变换矩阵 [[cosθ,−sinθ],[sinθ,cosθ]] 的复合对应角度相加——用两三个特殊角验证封闭与结合。

C 路·置换群：C1 四人小组换座位的全部方案（S₄，24 阶）与「轮流换座」的循环结构；C2 三张扑克牌洗牌问题：「切牌」与「交换」两种洗法生成多大的群？C3 钥匙串的排列等价（旋转与翻转视作同一种串——等价类的计数预演）。

开题报告：题目＋群元素清单（先列出全部元素！）＋拟验证的四条公理计划＋成果形式。同伴签「元素清单完备性」意见后立项。

找群的诀窍：先找到「撤销键」（每个动作能否逆），再找「躺着不动的」（单位元）——两键齐备的复合系统，八成是群。

项目② 性质验证

验群四步，操作规程如下——这是本章项目的核心工序，比结论重要。

第一步：封闭性。把全部元素列成清单（重要：是全部——漏一个元素，后面全盘皆错）；两两复合抽查＋边界抽查（含单位元的组合、含「最难缠元素」的组合）。若元素太多，抽样验证＋说明抽样逻辑。

第二步：结合律。多数系统复合天然结合（操作类、函数类、矩阵类），但须写明「为什么结合」一句——引用的母定理（函数复合的结合律）要列进参考来源。自造运算（如 max、÷）必须实算抽查三组。

第三步：单位元。先猜后验：猜出候选 e，对每个元素验 e·a＝a·e＝a——一个都不能跳。

第四步：逆元。给每个元素配对它的逆：列表（元素/逆元/逆元之积的验证）。顺手记录每个元素的周期（自乘几次回到 e：r 的周期 3，翻折的周期 2，e 的周期 1）——周期表是下页群表分析的原材料。

验群报告单：四步各一节，结论一节（「本系统是/不是群，若不是，卡在哪条公理」）。若课题落选为非群（如 C 路若发现切牌系统结合律崩坏），如实报告并降级分析（半群？幺半群？）——「诚实的落选报告」与「正取报告」同分。

验群像体检：四项检查缺一不可，漏项的「健康证明」无效——第 1 章的证明伦理，在此化为四行核对清单。

项目③ 群表分析

验群通过（或如实降级）后，为您的群绘制群表并做四项分析——p.12 四技术的实战。

分析一：交换性审计。数出表中主对角线不对称的格数，判定交换群与否。若非交换，找出最小的一对「闹别扭元素」a、b（a·b≠b·a）并物理解释（先转后翻 ≠ 先翻后转——用您的实际对象演示一次）。

分析二：周期普查。把每个元素的周期列成频数表（如 D₃：周期 1 有 1 个、周期 2 有 3 个、周期 3 有 2 个）。周期分布是群的「体检指纹」——同构的群指纹相同（p.5 的换名技法的理论化）。

分析三：子群狩猎。在表上找「自成拉丁方」的封闭角落，列出全部子群并核对拉格朗日约束（子群阶整除群阶）。您的群若是循环群 C_n，子群与 n 的因子一一对应——亲手把这条定理「数」出来。

分析四：同构速配。对照标准群（ℤ_n、C_n、S₃、D₃）的指纹表，给您的群找同构对象；找到的写「换名表」（逐元素对应），找不到的写明「与任一标准群指纹不符之处」。

四项分析各不超过半页，连同群表收进档案——p.18 写作的正文素材已齐。

群表分析是「从计算到结构」的桥：前三步您在数格子，最后一步您在读结构——桥过了，就再也回不去「只会算」的此岸了。

项目④ 写作成文

两页半小论文，结构定制如下：

第一页·发现与验群：用一段讲清「我在哪找到了这个群」（对象描写＋元素清单表）；验群四步各一小节，结论明确（群/半群/幺半群）。

第二页·群表与分析：群表居中（表格规范：行列有表头、单位元居首）；四项分析各一段，周期频数表与子群清单配小表。

第三页半·同构与感想：同构判定（换名表或否定理由）；「研究中最意外的发现」一段（例：闹别扭元素对的物理原因、拉格朗日约束的现场体验）；「新问题」一条（必填）。

格式守则（三章成果累积版）：① 术语首现即定义（群、子群、周期、同构）；② 表格有编号有标题；③ 证明段落用四行格式；④ 禁语清单沿用（显然/易知需附理由）；⑤ 文末参考来源（教材页码＋向谁请教过——请教人也是来源，注明日期）。

自检双关：朗读测试＋「换衣测试」（把您的群换成另一个同构群，论文的论证是否原样成立？——成立，说明您写的是结构不是对象；不成立，说明哪段写具体了，回炉那段）。

「换衣测试」是本章送给写作的独门武器：论文写的是群，不是您的摩天轮——对象可以退休，结构必须常青。

项目⑤ 展示准备

研究营展示第三轮迭代，本轮新增「现场演示」环节。

展板 3.0：左栏「群的身份证」（对象照片或示意图＋元素清单＋周期频数表）；中栏「群表与结构」（群表放大，用彩色标注单位元行列、子群显影区、闹别扭格）；右栏「同构判定书」（换名表或否定证据）。

讲稿（3 分钟）：开场 30 秒（对象引入＋「我找到了 n 个元素」）；核心 90 秒（验群中最惊险的一步＋群表上最得意的一个发现）；收尾 60 秒（同构结论＋新问题）。演示道具：实物（摩天轮模型/魔方/扑克/作息表）必须上场——「先转后翻」的现场演示是全场最容易被记住的 15 秒，务必排练到丝滑。

质询预案 3.0：本章预设四问——「您的元素清单真的全吗？」（完备性自查方法）；「结合律为什么成立？」（母定理来源）；「拉格朗日定理怎么用的？」（因子核对）；「您的群和 ℤ_n 到底是不是一回事？」（换名表）。另备一个「开放题应答」：被问倒时，记录问题＋承诺研究营前补上。

演示排练的心法：观众可以忘记您群表的每一个格子，但忘不掉那 15 秒的「先转后翻果然不一样」——抽象结论的最佳载体，是一次具体的惊讶。

深读① 伽罗瓦的传奇

埃瓦里斯特·伽罗瓦（1811–1832），法国人，一生只有二十年。十五岁读勒让德的几何原著如读小说；十六岁报考巴黎综合理工学院，口试时嫌考官的题目太浅、把擦黑板布扔向考官——落榜。两次把手稿寄给柯西与傅里叶，一次被退回、一次「遗失」。十七岁写下群论思想的雏形，十八岁父亲自杀，他卷入政治风浪两次被捕入狱。

1832 年 5 月 29 日夜，决斗前夜。伽罗瓦知道自己可能战死，通宵给友人谢瓦利埃写信，把毕生数学思想匆匆写下，页边写：「我没有时间了。」信中是判别方程可解性的完整理论——后称伽罗瓦理论：把方程的根的置换组织成群，方程可根式解 ⟺ 群可解。他证明了五次方程无根式解（补全阿贝尔的版图），并开创了「用结构判别可能性」的方法论。次日清晨决斗中弹，六日后死于腹膜炎，年二十。

1846 年，刘维尔整理出版这封「决斗遗书」，惊动欧洲；今日伽罗瓦理论是代数学的支柱，S₅ 与 A₅（p.13 的故事）只是它最著名的战役。死因与决斗背景至今有争议（情事？政治构陷？），但那十四页手稿的光芒从未被争论遮蔽。

深读任务：读伽罗瓦生平选段，写三行「遗书页边」体笔记：他哪一句让您最震动？为什么？

「我没有时间了」——数学史上最悲壮的五个字。它同时是警告与遗产：思想可以等一百年被读懂，但不等任何人慢慢写。

深读② 诺特：抽象代数之母

埃米·诺特（1882–1935），德国埃尔朗根人，父亲是数学教授。1907 年以代数不变量论文获博士学位；1915 年应希尔伯特与克莱因之邀到哥廷根——彼时条文规定女性不得任讲师，希尔伯特在教务会上拍案：「我不明白候选人的性别为什么能成为聘任的障碍——大学又不是浴室。」1919 年她终于获得特许任教资格。

两大贡献改写数学：一是诺特定理（p.14，物理学永恒的账本）；二是 1921 年起创建抽象环论——《环中的理想论》被公认为抽象代数的出生证。她的方法论革命：把代数从「具体对象的计算」彻底转向「公理化结构的研究」——今天教科书里「诺特环」「诺特模」是基本词汇。范德瓦尔登教科书《代数学》前言写明「本书素材多取自诺特讲义」；一代代数学家自称「诺特的孩子」。

1933 年纳粹上台，犹太裔的诺特被逐出哥廷根，流亡美国布林莫尔学院，1935 年病逝，年仅 53。爱因斯坦在《纽约时报》悼文写道：「纯数学是一台按照自己意志运转的诗意与逻辑的机器；诺特女士是这台机器最有创造力的操作者。」

深读任务：查诺特环的定义（选读），只要求回答一个问题：「升链条件」这条抽象性质，凭什么是「结构」而非「计算」？用两句写下您的第一感觉。

诺特的遗产双份：一份是定理与理论，一份是「数学可以彻底抽象而愈发有力」的信念——后者是她留给每个后来者的通行证。

深读③ 通向 C 段：抽象代数预告

本章摸到门环，C 段《抽象之门》为您开门。课程地图先睹为快。

群论正式课：拉格朗日定理的证明（本章只「数」过它）；同态与同构定理（换名表的理论化）；西罗定理（素数幂子群的存在性——把「找子群」变成工程学）。环与域：从 (ℤ, ＋, ×) 到多项式环；模素数 p 的域 F_p——第 1 章密码学的仿射密码将在 F_p* 上重装升级。线性代数的高地：向量空间的公理化（第 2 章的「映射」思想将成为主角）；特征值与对角化（H1-2 矩阵章的正式版）。终点站预告：伽罗瓦理论的精简版——您将亲手读懂「为什么五次方程没有公式」。

衔接自查单（本章成果即入门票）：能独立验群四步✓；能画群表并读出子群✓；能写换名表证同构✓；能讲清 S₃ 与 D₃ 同构的原因✓。四项皆稳，C 段第一课您将坐在第一排。

阅读推荐：阿廷《代数》开篇、Artin《Algebra》或国内教材《近世代数引论》的第一章——不是让您现在读通，是让您「见过它不慌」。

抽象代数的门上刻着一句话：「越抽象，越具体。」——只有见过足够多马甲的人，才配得上这句话的深意。您已经见过四件。

群概念档案

用一张知识地图把本章收进四个格子：

自查五问（答不出的回到对应页）：① 为什么 (ℤ, ×) 不是群而 (ℚ*, ×) 是？（p.7）② S₃ 与 D₃ 同构的对应关系是什么？（p.8）③ 二十面体旋转群多大、与谁同构？（p.9、p.13）④ 诺特定理把哪两样东西绑在一起？（p.14）⑤ 拉格朗日定理怎样帮您「不搜即知」？（p.12）

误区清单：「群必须交换」（不要求）；「单位元总是 1 或 0」（看运算）；「元素多才是大结构」（2 阶群照样是群）；「验群可以跳步」（封闭性漏元素即全盘皆错）。

复盘的最高标准：能向没学过的同学讲清「为什么先转后翻和先翻后转不一样」——讲的时候手里最好有个三角形。

群研究成果展

研究营前的最后一轮校内展示，三展区＋一场擂台。

展区一：群的动物园。A 路成果陈列：摩天轮、魔方、万花筒、作息表……每个展位一张「群的身份证」（元素清单＋周期表＋群表缩印）。参观者领取「寻群任务卡」：在展区内找一个展位没展示过的群，当场登记——优质新发现进入研究营候选课题库。

展区二：群表画廊。B 路与 C 路的群表放大展出，统一用三色标注（单位元/子群显影/闹别扭格），旁挂「换名表」与同构判定书。画廊互动：参观者抽「指纹卡」（只给周期频数），猜对应哪张表——猜中者领取「结构侦探」徽章。

展区三：历史回廊。伽罗瓦遗书（选段仿制页）、诺特悼文（爱因斯坦文选段）、230 种空间群与 17 种壁纸群的挂图——配一张时间轴：方程（16 世纪）→ 阿贝尔（1824）→ 伽罗瓦（1832）→ 诺特（1921）→ 粒子物理（1964）。

擂台：群表竞速。两人一组：随机发一张空白 6 阶群表框架，限时 5 分钟填完且与 D₃ 一致——本周研究营「群表竞速」项目的校内预选（综合站 p.5 正赛）。

展的主题词是一句话：万物皆群，只要您会认。认出一个群的瞬间，您与伽罗瓦共享同一种快乐——在混乱里看见不变的结构。

一个反例胜过千言

第 1 章的翻车案例集留下一句铁律：有限个例子永远证明不了「所有」，但一个反例足以推翻「所有」。本章把这句话发展成两门手艺：给猜想制造反例（证伪的手艺），与给「存在」命题亲手构造样本（构造的手艺）。前者是数学的质检系统，后者是数学的生产系统——两门手艺合用，就是本章的标题：构造与反例。

反例的分量有多重？欧拉猜想「三个四次幂之和不能是四次幂」流传两百年，1966 年被一个反例（95800⁴＋217519⁴＋414560⁴＝422481⁴）当场终结——两百年 千言，不如一行等式。而构造的分量：要证「存在两无理数 a,b 使 a^b 为有理数」（第 1 章 p.9），一个 √2 顶得上十页论证。

本章的日程：先打猎（命题证伪的实操）、再练兵（存在性构造）、后参观画廊（连续与不连续的奇景）、学波利亚解题表、最后做一轮完整的「猜想—检验—证明/反驳—修正」循环。这是数学研究的最小工作单元——夏季研究营与 C 段的全部课题，都在这个循环里运转。

哈代：「数学家与命题之间的关系，不是主人与仆人，而是检察官与嫌疑人。」反例是您的传票，构造是您的搜查令。

反例狩猎：命题证伪

狩猎规则：下列命题每条看起来都「挺对」，请逐一判定真假；假的必须交出具体反例（哪个数、哪个图、哪个情形），光说「不对」不得分。

猎物一：「n 为素数 ⟹ n²＋2 是素数」。n＝3：11 ✓；n＝5：27＝3³ ✗——反例 5。狩猎心得：小素数全对（3,7 试过的人不少），翻车点常在第 2、3 个候选处。

猎物二：「任意三个自然数，必有两数之和为偶数」。反例：1、2、4（两两之和 3,5,6——只有一个偶）。心得：奇偶分布是隐蔽变量——奇奇、偶偶、奇偶三种情形逐一过筛。

猎物三：「所有三角形的高的交点在三角形内」。反例：钝角三角形——垂心跑到形外。心得：画图时只画了「标准图」（锐角），「特殊图」才是反例藏身处——p.5 特殊值试验法的几何版。

猎物四：「对任意正整数 n，n²＋n＋17 是素数」。n＝0..15 全素数（不信自己验），n＝16：16²＋16＋17＝16×17＋17＝17×17 ✗。心得：与第 1 章 n²＋n＋41 同族——「素数工厂」的流水线都会断，断点常在「＋1 的那个因数」附近。

收尾任务：给四条猎物各写一张「狩猎卡」：命题—反例—失败原因（哪个隐藏条件被漏了）。答案部分用铅笔写，可擦——下一章它们还要修改。

反例的质量标准只有一条：可核验。交出 27＝3³ 的人，比交出「我试过很多都不对」的人高一整个段位。

构造练习：存在性命题

换兵器：从「推翻」转向「造出」。下列存在性命题各须交出构造物——具体的样本，并说明构造思路。

任务一：造一个恰好有 5 个正因数的数。思路：因数成对出现（d 与 n/d），总数是平方数才可能为奇——p² 有 3 个因数、p³ 有 4 个、p⁴ 有 5 个。构造：2⁴＝16（因数 1,2,4,8,16）。思路比答案值钱：因数个数的配对原理。

任务二：造 10 个连续合数。蛮力搜索很累；构造思路：让每个数都「自动有因数」——11!＋2, 11!＋3, …, 11!＋11（11!＝39916800；11!＋k 能被 k 整除，因为 k 整除 11! 与 k）。十个连续合数一次成型——阶乘是最慷慨的「因数批发商」。

任务三：造一个正整数 n，使 n、n＋1、n＋2 都不是素数且 n＋3 是素数。8,9,10 后是 11 ✓；构造思路：找三个连续合数最省的是 8,9,10（8²起 才稳妥的一般构造是 4!,5!…——不必，8,9,10 已是答案），验证 11 素。心得：小样本先试，通式后造。

任务四（挑战）：造两个无理数 a,b 使 a^b 是有理数，且要构造性地造。第 1 章的证明是「分情况」的非构造版；构造版：取 a＝√2、b＝2log₂3（b 无理——若它有理则 3＝2 的有理次幂，与第 1 章 √2 无理的技术同理可证），则 a^b＝3。构造完成，无分情况。

构造的通用心法：先问「什么样的东西天生满足条件」，再问「怎么批量生产它」——16 是「因数配对」的产物，11!＋k 是「因数批发」的产物。构造是设计，不是撞运气。

反例画廊：连续与不连续

「连续」的直觉定义：笔不离纸。画廊里挂三幅画，逐一参观，每一幅都是对直觉的一次冲击。

画一：符号函数 sgn(x)。x＜0 取 −1，x＝0 取 0，x＞0 取 1。图像两段平台加中间一个孤点——笔在 x＝0 处「跳」了一下：不连续。观察：它处处有定义，只在一点断——不连续可以是「点状事故」。

画二：阶梯函数。取整函数 f(x)＝⌊x⌋（不超过 x 的最大整数）：在 x＝1,2,3,… 处各跳一级。无穷多个跳跃点，但每个跳跃点之间都好好的——「可数个点状事故」。研讨点：它「基本上连续」吗？（后 Riemann 可积——大学分析第一课的伏笔。）

画三：狄利克雷函数。有理数处取 1、无理数处取 0——它处处不连续：任何一点的任何邻域里既有有理数又有无理数，函数值在 0 与 1 之间疯狂横跳，图像根本无法画（您画的任何图都是错的——它没有「曲线」可言）。这是「笔不离纸」直觉的彻底破产：有定义、有规则，却无一处能落笔。

参观任务：给三幅画各写一行「观后感」，格式：「我以为连续需要____，但画__说明还需要____。」收进档案——p.22 深读将把这组画推到极端（处处连续却处处不可导的怪物）。

画廊的策展逻辑：一幅比一幅更「不讲理」——反例的价值在于告诉您定义为什么必须精确。狄利克雷函数逼出了 ε-δ 语言：不是数学家爱折腾，是直觉先撂了挑子。

特殊值试验法

试验法是反例与猜想共用的探测器：用精心挑选的特殊值快速试探命题。四个技法，配四组实操。

技法一：边界值。命题「对一切正整数 n，n²＜n³」——n＝1：1＜1 假。反例恰好藏在「小到不能再小」的角落。边界（1、0、空集、退化三角形）是命题的软肋高发区。

技法二：对称值。命题「x＋1/x ≥ 2 对一切正实数 x 成立」——取 x＝1：2≥2 ✓（恰好压线）；x＝1/2：2.5 ✓；但 x 取「让两项相等」以外的值都过，真的成立吗？（成立——基本不等式。反向练习：若命题是「x＋1/x＞2」，x＝1 就是反例——等号在边界。）

技法三：破对称值。命题「三角形三边若两两不等，则任一边上的高把该边分成两段的平方差等于第三边的两倍」（杜撰题——请验证它是否成立）。挑一个「最不对称」的三角形（如 2、3、4）实算，多数杜撰命题在破对称值下现形。

技法四：极端图。几何命题先用「极端图」试探：细长三角形、接近共线的四点、半径趋零的圆——「图会变形，结论会不会掉队？」（p.2 猎物三的钝角三角形复用。）

收束任务：为四技法各写一张「试验卡」（技法名＋适用场景＋一例），与 p.2 狩猎卡合并成「证伪工具包」。

特殊值的挑选是艺术：太随机的值什么都测不出，太「乖」的值全是假象——好靶位永远在边界、对称点、极端图上。

专题① 构造的思想：从无到有

构造不是碰运气，是几条成熟思路的组合运用。四条主路。

路一：公式化构造。要十个连续合数？让 11!＋k 人人带因数（p.3 任务二）。公式化构造的套路：先找到「条件的自动发生机制」（整除、对称、奇偶），再用一个参变量把它批量生产出来。

路二：递归构造。从最小样本出发，每步「合法扩张」。例：要一棵树（无圈连通图）使某顶点度为 3——从一颗星（中心连三叶）出发已经完成；要 3-正则图（每点度 3）——从 K₄ 出发「剖边换子图」逐步长大。递归构造的承诺：每步合法，则极限合法。

路三：对偶/借用构造。借别的结构来生样本：要无理数 b 使 (√2)^b＝3——借对数（p.3 任务四）；要证明某方程有解——借几何图像的交点（方程 x＝cos x 有解，因 y＝x 与 y＝cos x 在 (0,1) 内必相交：连续函数介值，画图即证）。

路四：抽屉式构造。「存在两个同余的」类命题：不造具体样本，先布满抽屉，让存在性自动浮现。例：任意 5 个整数中必有两数之差被 4 整除——余数只有 4 种，5 个数必撞抽屉。构造物（那两个数）事后才被指定：这是「存在性先于具体性」的典范。

四条路的共同哲学：让条件替您干活——好构造不是硬凑出来的样本，而是让「条件的机制」自己长出样本。

专题② 反例的力量

反例在数学史上的三次「改朝换代」，看它如何塑造整个学科。

事件一：连续的严格化。十九世纪初，「连续」的通行理解是「笔不离纸」；柯西与魏尔斯特拉斯用 ε-δ 重写定义后，一批「直觉连续」的命题被证伪，一批「直觉不可能」的反例（p.22 的怪物曲线）被造出——分析学从几何直觉的属地变成逻辑的领地。

事件二：欧拉猜想的倒台。欧拉 1769 年猜想：至少 n 个 n 次幂之和才能是 n 次幂（n＝4 即「三个四次幂之和不能是四次幂」）。1966 年，Lander 与 Parkin 用计算机搜索找到 95800⁴＋217519⁴＋414560⁴＝422481⁴——一行反例终结两百年猜想。教训：猜想的有效期以反例为限，不以权威为限。

事件三：第五公设的独立。两千年「证明」第五公设的失败史，本质是一场持续的反例搜索：只要造出一个「否定第五公设却自洽」的模型（非欧几何，H1-2 已学），公设的独立性即告成立。这里反例以「模型」的形态出现——造反例=造世界。

三条事件共同点：反例都不是「消极的失败」，而是积极的重建——旧命题倒下之处，正是新定义、新结构站起来之处。

拉卡托斯把这一机制写成书名：《证明与反驳》。数学不是真理的堆积，是猜想与反例的军备竞赛——竞赛越激烈，结构越锋利。

专题③ 一般化与特殊化

波利亚把数学思维的两大翼命名为一般化（向更普遍的情形推广）与特殊化（向具体个案降落）。两翼看似相反，实则互为供给。

特殊化是探测器。难题当前，先降落到最小情形：n 元问题先看 n＝1,2,3；一般三角形先看等边；任意整数先看 2 和 17。降落的目的是收集线索：小情形的结构常暗示一般解法（p.5 特殊值试验法的正面用法）。

一般化是放大器。有时原题反而难证，推广后更好证——第 2 章 p.9「证强于原」的全学科版。名例：证「√2 是无理数」不如证「√2 与 1 不可公度」（更抽象）；证「任意 6 人中有 3 人互识或互不识」（拉姆齐 R(3,3)）不如先证一个更强的 Ramsey 下界结构。一般化的妙处：推广后「条件更松、结构更显」，钳制变少，规律反而露脸。

双翼合练一例。命题：「任意三角形内角平分线交于一点。」特殊化：等边三角形显然（三条对称轴）；一般化：三条「内角平分线或外角平分线」的直线共点有几个组合？旁心三点的发现正是从「钝角、外角」的特殊化失败区反推出来的一般图景——先特殊化找现象，再一般化定结构。

波利亚的比喻：特殊化是「尝一滴海水知咸」，一般化是「知咸而推知洋」——两件事连起来，才是完整的航海术。

专题④ 波利亚解题表

波利亚《怎样解题》（1945）的四步表，是二十世纪最有影响力的思维工具书之一——乔治·波利亚，匈牙利裔斯坦福教授，把「解题」本身做成了可教的艺术。

四步表与本章工具的对位：理解≈特殊化（p.5 试验卡），方案≈构造四路（p.6），执行≈证明四行（第 1 章），回顾≈猜想循环（p.10）。它不是流程图而是检查清单：卡壳时逐项问，必有一步失守。

实操：用四步表完整走一遍「证明任意 6 人中有 3 人互相认识或互不相识」：理解（6 人图、边涂两色）；方案（聚焦一人，5 条边抽屉原理）；执行（染 2 红 3 蓝 → 红边 2 人与此人互识，或蓝边 3 人内部拉姆齐）；回顾（人数 6＝R(3,3)，能否推 R(3,4)？——写下为研究营问题）。

波利亚的座右铭：「如果您解不出这道题，附近一定有一道更简单的题——先找到它。」特殊化的哲学，一句话版。

专题⑤ 猜想与修正的循环

现在把全章工具装进一台引擎：猜想—检验—证明/反驳—修正的循环。这是数学研究的原子反应，也是拉卡托斯「证明与反驳」的实操版。

引擎四冲程：① 猜想——从小情形归纳出候选命题（第 2 章的试验法＋归纳猜想）。② 检验——先验证若干例子（提升信心、校对表述），再挑特殊值狩猎（p.5）。③ 证明或反驳——能证则证（第 1 章兵器库）；找到反例则④。④ 修正——反例不是句号：缩小命题（补上反例暴露的遗漏条件）或改造概念，回到①，进入下一圈。命题的最终形态，是被反例「雕刻」出来的。

现场演练：猜想「圆上任两点分圆的两弧，长弧所对圆周角大于短弧所对圆周角」→ 检验几例 ✓ → 特殊值：两点恰为直径两端？两弧相等、角相等——边界反例（等号情形）→ 修正：改为「大于等于」或限定「两点不共直径」→ 重证 ✓。一圈下来，命题从「毛坯」到「成品」。

循环的两个纪律：其一，反例要归档——每张狩猎卡都是一个被雕刻的痕迹，研究营答辩时它们是最有说服力的展品；其二，修正要最小——能补一个条件解决的不推倒重来，命题的「演化谱系」要可追溯（这习惯与代码版本管理同源）。

数学写作里最常见的谎言是把成品直接端上桌，假装没有毛坯阶段。诚实的论文会写「最初的猜想是⋯，被⋯推翻，修正为⋯」——科学的社会学价值正在这谱系里。

研讨① 哥德巴赫猜想为什么难

猜想：任何大于 2 的偶数都可写成两素数之和（1742 年哥德巴赫致欧拉的信）。现状：验证已推进到 4×10¹⁸ 量级，无一例外——却仍是猜想。

难在哪？三个研讨角度。角度一：素数的「不受控」。素数的分布没有可用的公式（素数定理只给统计规律），而猜想要求每个偶数的精确表示——统计正确与逐点成立之间隔着深渊。对照：弱哥德巴赫（奇数＝三素数和）2013 年被何海璐（Helfgott）证明，靠的是把验证与解析数论边界拼合——「逐点」与「统计」的桥只有在奇数情形搭得起来。

角度二：加法的无结构。乘法世界（素数定义处）工具丰富（唯一分解、模运算）；加法世界（两数相加）与乘法世界的通道极窄——「加法交互素数」的难题本质是两个世界之间缺桥。陈景润「1＋2」（每个大偶数＝素数＋至多两素数之积，1966）是离桥最近的记录。

角度三：验证的哲学边界。4×10¹⁸ 个例子为什么不算证明？回看第 1 章圆区域反例（第六组就翻车）——大数不豁免，翻车可能只是还没到。研讨：您接受「验证到 10¹⁸ 就当真的」吗？在密码学里人们天天这样用 RSA（依赖大数分解难）——工程信任与数学证明的区别是什么？

哥德巴赫猜想的伟大不在于答案，而在于它逼出整个「解析数论」——研究它造的工具，已经比猜想本身值钱一百倍。这与怀尔斯的 FLT 是同一条经济学。

研讨② 欧拉线与巧合

实验：任意画一个三角形，作三边中点连线（中线）交于重心 G；作三高的交点 H；作三边垂直平分线交于外心 O。看起来是三个独立巧合。惊人的事实：G、H、O 恒共线，且 HG＝2GO（H、G、O 依次成 2:1）——欧拉线（1765）。

为什么「巧合」变成了定理？因为证明把它接进了已知结构：以 G 为中心作位似变换（比例 −1/2），三角形顶点映到对边中点，垂足结构随位似整体搬运——H 的像是 O。共线不是运气，是位似不变量。九点圆（垂足、边中点、各顶点与 H 的中点共圆）随后加入，圆心恰在欧拉线上——巧合一个接一个被「收编」。

研讨问题一：几何里「看似巧合」与「定理」的界线在哪？操作标准：巧合经一次换图（换个三角形）就消失，定理永远在。请设计一个「巧合探测器」流程（画图—换图—特例—尝试证明），写进工具包。

研讨问题二：欧拉线的证明用了「位似」（变换观点）。这与克莱因纲领「几何＝变换群下的不变量」（H1-2 已学）什么关系？——变换不是解题技巧，是让巧合现出必然身份的镜子。

研讨问题三：拿本章引擎四冲程复盘欧拉线的发现过程：猜想（画图观察共线）→ 检验（换三角形）→ 证明（位似）→ 修正/推广（九点圆、旁心版本）。哪一冲程最关键？

「巧合是尚未被证明的定理。」——欧拉线的教训：遇见巧合，别鼓掌，先找镜子（变换）、找结构（不变量）。

研讨③ 费马素数的教训

费马 1640 年观察：F_n＝2²ⁿ＋1 中，F₀＝3、F₁＝5、F₂＝17、F₃＝257、F₄＝65537 全是素数。他写道：「我强烈相信（同一规律继续成立）。」一百多年后，欧拉出手：F₅＝4294967297＝641×6700417——费马素数家族至此绝后。今日已知：n＝5 到 32 的 F_n 全是合数，费马素数可能只有五个。

更戏剧的后续：高斯少年时证明正十七边形可尺规作图，晚年证明可作图正 n 边形 ⟺ n 是费马素数与 2 的幂的乘积——一个「错了一半」的猜想，却是可作图多边形理论的钥匙。641 亦有巧技：641＝625＋16＝5⁴＋2⁴，且 641＝2⁴·5·8＋1＝2²⁸·5·8/2⁴·5·8＋1——由 2²⁸ ≡ −1 (mod 641) 一击命中。欧拉没有暴力试除到底，而是找到了结构性的因子。

研讨问题一：费马的归纳为什么失败？对照第 2 章「培根归纳产生信心」——五连击的信心价值几何？再对照第 1 章 n²＋n＋41（四十连击后翻车）：猜想的「验证半衰期」与什么有关？

研讨问题二：欧拉的攻击路径给您什么启示？——不蛮力，先找可攻的代数结构（模运算、因数形式）。把这条写成反例搜索的战术条目，纳入工具包。

研讨问题三：费马猜想的「遗产净值」为正——它是高斯定理的钥匙。有没有「净值为负」的猜想教训？（讨论：投错方向的机会成本如何衡量。）

费马素数的剧本：天才的五连胜、欧拉的致命一击、高斯的点石成金——同一个猜想，在三个不同手里分别是错觉、目标与钥匙。猜想的价值，取决于接住它的那双手。

研讨④ 构造在竞赛与研究中

构造与反例在「考场」与「前沿」两大现场的角色不同，值得对照研讨。

竞赛现场：构造题是竞赛的招牌菜——「构造一个满足××的 6 阶图」「构造 n 使××」「存在性＋最值」连着考。竞赛构造的特征：规模小、答案可验、思路浓缩——本质是 p.6 四条路的小型演练场。抽屉原理与递归构造是出镜率最高的两件兵器。

研究现场：构造以三种更大规模出现。① 反例工程：如阿蒂亚猜想（2017）——反例在其发表的当年即被找到（附计算脚本），猜想正式死亡；② 大构造：有限单群的分类（1983 年宣告，万页证明）本质是「把所有可能的群构造穷尽」；③ 存在性的概率法（埃尔德什开创）：证明「随机样本满足条件的概率为正，故存在」——构造物「事后才存在」，甚至迄今没人造得出（如某些拉姆齐图的下界：知道存在某种 17 个点的图，画不出）。研究现场的存在性证明可以超越人类的画图能力。

研讨问题一：「存在但画不出」的证明您接受吗？回看第 1 章 p.9 构造性之争——概率法把争论推到极限：它甚至不给任何样本，只给概率。您的立场？

研讨问题二：竞赛构造与研究构造的功力转换关系——竞赛练的「小构造直觉」在研究里如何变现？（提示：所有大构造都由小机制拼装；猎物的手感在猎大象时同样值钱。）

埃尔德什说：「上帝有一本书，里面有每个定理最完美的证明。」概率法的存在性证明常常被认为「来自那本书」——美，但远得看不清；竞赛构造是「人间的书」，近，且每一页都练得出来。

项目① 提出自己的猜想

本章项目全流程：自己提出猜想 → 证明或反驳 → 迭代修正 → 成文 → 展示。今天第一步：产猜想。

猜想的三个矿脉：
矿脉一：试验数据——任选一个数论/组合函数（如「n 的因数个数」「n² 与 n＋1 的互素性」「三角形数差的奇偶」），算出前 20 项，观察模式，写成候选猜想（例：「相邻两数的因数个数的奇偶性常相同？」）。
矿脉二：已知定理的改写——把一条学过的定理改条件再猜：若「3|n 则 3|n²」改为「3|n² 则 3|n」对吗（对——素数性质）？改「4|n² 则 4|n」呢（对）？「9|n² 则 9|n」呢（对？试 n＝3: 9|9✓ 但 9|3✗——反例已现）！
矿脉三：图形与运动——几何巧合狩猎（p.12 方法）：画特殊点连线，找「换图不消失」的现象。

猜想规范：写成单句陈述句；明确「对什么范围成立」（一切正整数？所有三角形？）；附 3 个支持例＋自评信心分（1–10）。信心分规则：低于 4 分的猜想也欢迎——弱猜想恰是反例狩猎的最佳猎场。

猜想登记墙：全班猜想上墙编号（G-01、G-02……），每人认领自己的一条＋可交叉认领他人一条（下页「证明或反驳」双料任务）。

提出猜想的门槛比想象低：会数数、会画图、会写一句完整的话，就能产猜想。数学的门从不锁，锁着的只是「证明」那一道门。

项目② 证明或反驳

对认领的猜想二选一：证之，或毙之。决策树＋兵器谱如下。

第一步：估值——用 p.5 四技法快速试探 10 分钟。四技法全部通过而无翻车，转「证明路线」；任一技法翻车，直接转「反驳路线」（省下的时间投资证明）。

证明路线兵器谱：直接证明（恒等变形、奇偶分析、余数分类）；反证法（否定式结论首选）；归纳法（「对一切 n」型，注意第 2 章三改装）；构造法（存在型）；抽屉原理（「必有」型）。每件兵器一页卡（已在前三章备齐，此役实战调用）。

反驳路线兵器谱：边界值、破对称值、极端图（p.5）；批量机器（写十行程序扫 10⁶ 个样本——允许且鼓励，「机器找到的反例」同样是反例，注明搜索范围）；欧拉式结构攻击（p.13 研讨③：从因子形式下手）。

双轨并行许可：证不动又毙不掉的猜想，允许「部分结果」交卷——如「已证 n 为奇数时成立」「已验证 n≤1000 无反例」。部分结果是研究的常态，如实记录两轨进度。

今日产出：路线决策书（选哪条、为什么）＋第一轮试探记录。明日进入迭代修正。

证明与反驳不是两队人马，是同一个人的左右手：左手找反例的人，右手写的证明才无懈可击。

项目③ 迭代修正

引擎第④冲程：被反驳的猜想回炉改造，进入第二圈循环。修正的三种手术，按创伤大小排序。

手术一：补条件（创伤最小）。反例暴露「某情形不该涵盖」——把命题范围收窄。「9|n² 则 9|n」被 n＝3 反例命中？不——反例命中的是猜想对「n² 被 9 整除但 n 不被 9 整除」未设防；修正方向有两个：收窄为「n²|N 且 9|N 则 9|n」类（换量词位置），或改问「n² 被 9 整除时 n 被 3 整除吗」（✓——修正后反而得到更强的定理）。

手术二：换概念（中等创伤）。反例说明原概念太粗，需要磨细。例：「相邻两数因数个数的奇偶常相同」若反例频发，可改问「完全平方数的因数个数恒为奇数吗」（✓——配对原理，恒真）。概念的升级往往把死猜想变成活定理。

手术三：反转命题（大手术）。若反例系统性地出现，也许真实规律在反面：「部分和总是＜2」证不动，改证「≤2−1/n」（第 2 章魏岑伯克技的回声）——把「修不动」变成「更强命题一次通过」。

谱系档案：每轮修正记一行「G-xx v1 → v2：反例＋修正方向」。三条以内修出真命题是常见战绩；修四轮仍败的猜想转入「悬置库」（与研究营共享——悬置猜想是营期课题的富矿）。

反例不是敌人的炮火，是外科医生的手术刀：每一刀都疼，每一刀都让命题更健康——谱系档案就是病历本。

项目④ 写作

两页「猜想档案」论文——本章文体与前三章不同：主角是谱系，不是单一证明。

第一页·猜想与战斗：开头一句原猜想（v1 原文照录，包括它的粗糙——粗糙是历史的一部分）；随后是战斗记录：试探记录（四技法各自的结果）、第一轮证明或反驳的关键步骤、反例或首次突破。

第二页·谱系与结论：版本演化表（v1→v2→…，每版一行「改动＋理由」）；最终命题的完整证明（或「悬置报告」：两轨进度＋悬置理由）；「本轮最值钱的工具」一段（哪件兵器立了功）；新猜想至少一条（修正过程往往自动产卵——记下来，这就是数学的生长方式）。

文体守则：战斗记录允许保留弯路（「我先试了 X，失败，因为⋯」）——这类句子的科学价值高于结果本身；但每个版本号必须钉死日期，谱系不可重排。最终证明仍执行第 1 章格式四件套（依据可查、收口回命题、无「显然」滥用、朗读测试）。

自查双关：谱系完整性（从 v1 到终版，每一跳都有反例或理由吗？）＋证明格式合规。两关都过，交稿。

普通习题论文写「我证了什么」，本章论文写「这个命题经历了什么」——后者才是数学真实的传记体。

项目⑤ 展示准备

研究营展示第四轮迭代，本轮新增「谱系剧」环节。

展板 4.0：左栏「猎物档案」（原猜想 v1＋三张狩猎卡中最锋利的一张）；中栏「谱系剧场」（版本演化表做主视觉：v1→v2→…，每个反例用红色标签钉在击中处，像手术示意图）；右栏「最终形态＋证明主脉」（若已证）或「悬置启事＋两轨进度」（若悬置）。

讲稿（3 分钟）：30 秒「我最初的猜想是这样的」（故意原样念 v1——包括它后来的错误）；90 秒「战斗实况」（最惊险的反例＋最得意的修正）；60 秒「终版与证明主脉」或「为什么悬置」；30 秒「新猜想」。念出自己 v1 的错误是本轮设计的关键：展示谱系，是展示诚实。

质询预案 4.0：预设四问——「您的反例可复验吗？」（狩猎卡数据）；「修正后的命题会不会太弱？」（范围与强度的权衡说明）；「悬置的猜想打算怎么继续？」（两轨计划）；「您的新猜想有反例吗？」（现场试探一次——准备一个特殊值）。最后一条是观众最爱玩的，务必排练。

这轮展示的胜负手不在「证出了多难的题」，而在谱系剧讲得是否诚实有力——观众会记住那个敢当场念自己错误版本的人。

深读① 数学史上的著名反例

三件「改变学科方向」的反例，逐一细看。

一、两千年的第五公设「证明」全数阵亡——不是被某一个反例击倒，而是被一整个新世界（非欧几何模型）取代：所有「证明」都被查出偷用了等价命题。教训一：反例可以是「平行宇宙」而非单一实例。教训二：检查循环论证的最好办法，是把每个「显然」逼到墙角。

二、Euler 的多面体公式与「画框」：V−E＋F＝2 对凸多面体成立，但对「画框形」（中间挖长方孔的框）V−E＋F＝0。第 1 章深读①已见面——这里补充它的技术后果：「多面体」的定义被迫全面重写，「亏格」概念登场（框的洞数 1 正是答案：V−E＋F＝2−2g）。反例直接催生了拓扑学。

三、莫比乌斯与单侧曲面：把纸带扭转半圈再粘合——只有一个面、一条边。蚂蚁沿带爬一圈回到原地，已翻至「另一面」（其实没有另一面）。它不是反驳某条定理，而是把「曲面」这个概念的直觉地基整个掀开：定向、可定向性由此成为核心概念。

深读任务：三例各写一行「反例攻防表」——它反驳了什么直觉、催生了什么概念、改变了哪门学科。

好反例的标准：不是「错得多漂亮」，而是「错得有信息量」——它必须指出哪里错、为什么错、正确的方向可能在哪。

深读② 魏尔斯特拉斯的曲线

十九世纪中叶，数学家普遍相信：连续函数「几乎处处」可导——曲线可以处处有尖角，但不能处处是尖角。魏尔斯特拉斯 1872 年在柏林科学院宣读了一个函数（发表于 1875）：逐项叠加的高频余弦级数 f(x)＝Σaⁿcos(bⁿπx)（b 为奇整数，0＜a＜1，ab＞1＋3π/2）——处处连续，且处处不可导。满座哗然，杜波依斯-雷蒙称之为「理智的恐怖」。

为什么它是终极反例？p.4 画廊里狄利克雷函数破的是「连续」的直觉，这条曲线破的是「连续必可导」的直觉——它在每一点的切线都不存在：放大任何倍数，看到的永远是无穷尽的锯齿，没有一处平坦。这个函数无法画出（任何绘图仪都只能画出它「看起来光滑」的假象——正因如此它长期被当作绘图事故），只能靠不等式逐点证明。

后果深远：ε-δ 语言从此不可动摇（直觉在这个领域彻底交枪）；「病态函数」成为正常研究对象，最终催生测度论与勒贝格积分——「病态」研究了一百年，成了现代分析的地基。今日数学的「分形」（曼德博，H1-2 已见过）在精神上正是它的继承人：处处锯齿，处处自相似。

深读任务：查一条关于此函数的科普材料（或其图像软件演示），写三行「观后感」：哪一次放大最颠覆您的直觉？

庞加莱说：「逻辑有时制造怪物。半个世纪以来人们见到了一堆奇函数，它们看起来都想反对一切常识。」——而正是这些怪物，逼出了比常识更结实的常识。

深读③ 通向 C 段：分析的语言

本章画廊与怪物都指向同一扇门：C 段将学的分析语言。预告三件套。

ε-δ 定义：「极限」不再靠「无限逼近」的感觉，而是「任给 ε＞0，存在 δ＞0，使 0＜|x−a|＜δ 时 |f(x)−L|＜ε」——一个全称与存在交替的精确句式。狄利克雷函数为什么处处不连续？用 ε-δ 写只需两行（任何点的任何邻域都有函数值跳变 ≥1 的两点）。第 1 章 p.14「真而不可证」的哥德尔自指、p.10 的对角线，与 ε-δ 是同一种「精确句法」的三个样本。

一致连续与一致收敛：画廊里的阶梯函数启示「逐点」与「一致」的差别——逐点成立的性质不保证整体成立（魏尔斯特拉斯函数的连续性靠一致收敛保证）。这是大学分析第一学期的主战场，您现在见过它翻车的现场图。

可导与连续的分层：连续⊃可导⊃光滑，三层各有自己的反例家族（绝对值函数：连续不可导；魏尔斯特拉斯：处处如此）。C 段的学习方法与本章同构：先看反例画廊，再学定义——先知道「为什么需要这门语言」，再背这门语言。

分析的教科书倒着讲了三百年：先给定义后给反例。本章倒过来演了一遍——先画廊后定义。两种顺序都通向同一座山，但您已选了风景更好的那条路。

构造反例手册

用一张知识地图把本章收进四个格子：

自查五问（答不出的回到对应页）：① 11!＋2 到 11!＋11 为什么全是合数？（p.3）② 狄利克雷函数为什么处处不连续？（p.4）③ 「9|n² 则 9|n」的反例是什么、修正成什么？（p.17）④ 魏尔斯特拉斯曲线破了哪条直觉？（p.22）⑤ 欧拉线把「巧合」变成定理靠的是什么？（p.12）

误区清单：「验证到大数就算证明」（圆区域 31 在等您）；「反例是失败」（是修正的起点）；「构造必须写出具体样本」（抽屉与概率法证明存在而不交货）；「特殊值随便挑」（边界、对称、极端三靶位优先）。

复盘的最高标准：拿到一个新猜想，能在十分钟内给出试探方案（先打哪个靶位、后动哪件兵器）——侦探的第一反应，是训练出来的。

猜想成果展

本章成果展＝一场微型学术会议，设三个专场。

专场一：反例博览会。全班狩猎卡上墙，按「击中的直觉类型」分区（边界区/对称区/极端图区/大数区）。博览会设「年度最佳反例」投票——评选标准：可核验性、信息量（它指出了什么）、经济性（多简洁）。得奖反例直接进入研究营「反例扑克」牌库（综合站 p.6）。

专场二：谱系答辩。每人 2 分钟讲自己的猜想谱系（v1 原文→反例→终版），答辩委员会（教师＋两名学生）按三问评分：谱系是否完整？证明是否合规？新猜想是否有研究价值？——悬置猜想同台答辩，悬置不扣分、谱系断裂才扣分。

专场三：悬置库揭牌。所有未决猜想编号入库（附「两轨进度」卡），库门贴一行字：「这些题今天没人会——包括您的老师。」悬置库与全班猜想的「新猜想」池合并，成为夏季研究营的课题池。

闭幕宣言：全班齐读一行字——「有限个例子永远证明不了所有；一个反例足以推翻所有；而每一次推翻，都是重建的开始。」本章结束，引擎入库存放：研究营将它全速点火。

这场展的隐藏考题：当您看到别人的猜想被反例击倒时，您的第一句话是什么？——「漂亮，这个反例说明了什么？」的组，已经学会了数学的礼貌。

读一本数学书像旅行

四季册教了您证明（第 1 章）、对应（第 2 章）、结构（第 3 章）、猜想与反例（第 4 章）——四门手艺的出口只有一个：把它们写出来、讲出来。本章学数学的第五门手艺：阅读与写作。读一本数学书像旅行：目录是地图，正文是路线，习题是沿途的景点，注解是当地人写的旅行笔记——多数人旅行时只顾赶路，本章教您做「会读的旅人」与「会写的向导」。

为什么用《九章算术》当旅行第一站？因为它是您能读懂的、最古老的数学书之一：两千一百年前的二百四十六道问题，今天高一学生依然可以逐条验算——这是数学独有的时光机。更因为它与您学过的几乎一切都有接口：方田章的面积（几何）、粟米章的比例（第 2 章的映射）、方程章的消元（代数）、勾股章的弦图（H1-2）。读它的过程，就是把本学年全部资产盘点一遍的过程。

本章的最终产出是一篇小论文：从《九章》的某个古算题出发，用现代视角把它重做一遍——问题、方法、结论、古今对照，五到八页。它将是夏季研究营展示与答辩的主体，也是 C 段论文训练的处女作。

数学书的双重身份：它既是「答案之书」也是「问题之书」——同一页纸，赶路的人看见答案，旅人看见问题的出生地。

精读示范：方田章选段

精读第一课：慢。材料一——《九章算术》方田章第一题原文：「今有田广十五步，从十六步。问为田几何？答曰：一亩。术曰：广从步数相乘得积步。」（「从」读 zòng，纵。）三句话：题、答、术——两千一百年前的「例题＋答案＋算法」格式。

精读四步：① 逐字过关——「广」＝宽，「从」＝长，「积步」＝以平方步计的面积。生词查注本，字字有着落。② 验算术文——「广从相乘」：15×16＝240 平方步；书末附「亩法二百四十步」，240÷240＝1 亩 ✓。今天一亩≈667㎡，汉制 240 平方步≈461㎡——单位变迁也是阅读的一部分。③ 复原语境——为什么是 240 步一亩？（秦制行之，商鞅田制遗产；「步」是走一步的长度——土地丈量的国家工程需求，正是方田章的出身。）④ 提出问题——「只给算法不给理由，编者怎么看『术』的地位？」——这条问题接第 1 章 p.13 的研讨。

操练任务：用同一套四步精读方田章「圭田」（三角形田）条：「半广以乘正从」——先解释术文，再用现代公式 S＝ah/2 对照，最后回答：刘徽为什么说「半广者，以盈补虚为直田也」？（把三角形拼补成矩形——出入相补的出场券。）

精读的检验标准：合上书，能把这条「术」讲给一个没读过的人听——并且讲得出它为什么对（或为什么古人觉得它对）。

精读示范：刘徽注一则

材料二——刘徽注《九章》（263 年）割圆术一则：「割之弥细，所失弥少。割之又割，以至于不可割，则与圆周合体而无所失矣。」

精读四步：① 逐字——「割」＝分割内接正多边形，「弥」＝越。② 验算——刘徽从正六边形起算，割至正 192 边形得 π≈157/50，又推 3072 边形得 π≈3.1416：请用内接正多边形面积公式（正 n 边形面积＝n·sin(360°/2n)·r²……可用现代工具）复算 96 边形一步，体会「所失弥少」。③ 复原——这是中国数学第一次触及「极限」思想：与第 2 章 0.999… 之辩、H1-2 的重要极限同宗；比阿基米德的穷竭法晚五百年，但路径独立。④ 提问——「不可割而合体」：刘徽宣称达到了极限吗，还是给出了一个收敛过程？（今日可辩：他给的是过程性极限，不是 ε-δ 的极限——但作为 263 年的文本，惊世骇俗。）

对照阅读：阿基米德《圆的度量》用内接外切夹逼得 3 < π < 22/7；刘徽单边逼近＋「徽率」——两种极限意识，两种性格：希腊的「确定性优先」，中国的「算法实用优先」。把对照写进您的读书卡。

注是古书的第二生命：刘徽的一百条注，把《九章》从「操作手册」读成了「思想著作」——会读注的人，才算进了古人的书房。

文献检索演练

写论文先有粮草。今天的粮仓：三类文献＋三条检索术。

三类文献：① 一手文献——原文本身（《九章》原文、刘徽注，用郭书春汇校版或权威点校本；古文材料务必注明版本）；② 二手文献——研究著作与可靠读物（吴文俊主编《中国数学史大系》相关卷、李继闵《〈九章算术〉及其刘徽注研究》、钱宝琮《中国数学史》）；③ 科普与视频——纪录片与公众号文章可作入口，但只许做跳板不许做论据：论文里引用的每一句必须有可查的纸面出处。

三条检索术：① 顺藤——从任何一篇可靠文献的「参考文献」页顺藤摸瓜，一圈下来粮仓即满（本页书单就是藤根）；② 对镜——同一事实找两个独立来源交叉印证（「刘徽得 π≈3.1416」在钱宝琮与李继闵两处都查到才入卡）；③ 追时——记下每条材料的年代与版本：古算书的版本差异是真问题（「徽率 157/50」各版本表述有出入）。

操练任务：围绕您感兴趣的一个古算关键词（盈不足／垛积／勾股／开方……），产出一张「文献卡」：三本书＋两条交叉印证的事实＋一个还没查到答案的问题。文献卡进档案，p.15 开题直接取用。

检索的本领不在于找到多少，而在于知道每条材料的成色——一手、二手、转述三层世界，混用一层，论文掉一档。

笔记与摘录规范

读到的东西不记下来，两周后蒸发一半。数学阅读笔记三件套，今天立规。

一、摘录卡：每条摘录一张卡——原文（逐字，加引号）＋出处（书名·页码·版本）＋您的批注（为什么摘它）。规范：摘录与批注分区书写，绝不混写——三个月后您要能一眼分清「他说的」与「我想的」（这条规范在 p.7 升格为学术诚信问题）。

二、翻译卡：古文材料的第二层笔记——白话翻译＋术语对照表（广＝宽、从＝长、术＝算法、盈不足＝双设法……）。翻译卡的纪律：宁可存疑标注「？」，不可硬译——「损益分数」译成「加减分数」还是「列方程的损益规则」，差之毫厘谬以千里。

三、问题墙：阅读中冒出的一切疑问随手挂墙（「为什么少广章开方术只给出步骤不证唯一性？」「均输章的『均』是平均还是加权？」）。问题墙是猜想的苗圃——p.15 的课题多半将从这里长出。

操练任务：对 p.2、p.3 两条精读材料各制一张摘录卡＋一张翻译卡，往问题墙上挂至少两条疑问。

笔记的三件套对应三种时间：摘录卡为「存」（三个月后还在），翻译卡为「通」（读懂古人的话），问题墙为「生」（长出您自己的问题）——读一页书，存一页、通一页、生一页，才是全读。

专题① 论文结构：问题-方法-结论

数学小论文的通用骨架：问题—方法—结论三段制。本章项目的论文按此铸造，逐段细看。

问题段：把研究问题写成一句可判定的问句，配背景两三句（古人为什么问它？它与您学过的什么相关？）。反例：「研究盈不足术」不是问题（没有问号）；「盈不足术为什么能解『若干人共买鸡』这类双条件问题？它与今天的二元一次方程组是什么关系？」是问题（可判定、有坐标）。问题段的高下，一半决定论文的高下。

方法段：交代「用什么工具、按什么路线」回答问题——古人的术＋您的现代翻译＋对照方案。纪律：方法可复现——读者按您写的步骤应能重走（第 1 章证明伦理的论文版）。

结论段：明确回答问句（「盈不足术的『假令』恰是今天的假设检验：两次试错把非线性问题折算成线性插值——它与方程组的关系是……」）；承认局限（「本文只处理了三种题型，『盈不足』在非线性情形的失效条件待研究」）；开新问题一条。

反面教材清单：结构写成「流水账」（今天我查了……明天我算了……）；问题失踪（通篇没有明确问句）；结论飘忽（「我觉得挺有意思」）。三条各中一条，重写。

三段制的本质是把「想清楚」外置成结构：写不出问题段，说明还没想清楚要问什么——结构是最诚实的镜子。

专题② 引用与学术诚信

第 1 章 p.10 立过「证明的四宗罪」；论文世界有配套的四宗罪，逐条立规。

一宗罪：抄袭——把别人的话或证明当自己的。判定标准惊人地严格：连续 12 字与来源相同而未加引号注明，即视为抄袭（您自己写时也按此自查）。洗稿（换词抄结构）同罪。

二宗罪：引而不注——思想抄袭：句子是您写的，想法是别人的（某本书的对照思路、某文章的例子）。防法：p.5 的摘录卡制度——批注区里每一个「我想的」，都应能追溯到「他说的」。

三宗罪：伪引——列出没读过的文献装点门面。防法：参考文献只列真读过且真用上的；「参考了但没用上」的不列。

四宗罪：数据造假——验算不过就「顺」一个正确答案。数学论文的数据（例、图、计算）必须真实可复算。

引用格式（本章从简）：文中标注〔1〕〔2〕，文末参考文献表按「作者《书名》版本·页码·年份」排列。古文材料必须注版本（「郭书春汇校《九章算术》卷四·第 241 页」）。

学术诚信的经济学：引用让别人的思想替您工作，注明出处则让这份工作可追溯——不注明，等于偷电；注明，等于接线。论文的全部信誉都在这条电线上。

专题③ 图表制作规范

数学论文里，一张好图省半页字，一张坏图毁整页信。四条军规。

军规一：图必有编号与标题——「图 1：割圆术 96 边形示意」，正文引用时写「如图 1」。无编号的图，读者无法指认，等于没画。

军规二：图必自足——只看图（＋标题）就能懂大意：坐标轴有标注、单位有说明、关键点有字母。检查法：把图抽出来给没读过论文的同学看，问「这是什么」。

军规三：表同此理——表格有编号（表 1：盈不足术与现代解法对照）、有表头、数字对位；古算题的「题—答—术—今译」四栏对照表是本章论文的标配格式。

军规四：图不代证——图是证据的向导，不是证据本身：几何结论不能「由图显然」。写「如图 2 所示」时，图旁必须跟着证明或说明文字。

操练任务：为本章您的论文候选题预备两件图/表——一张古题的现代图解（如圭田拼补图、割圆多边形图）、一张古今对照表。按四军规互检同桌的图，互写一条改进意见。

制图与制证同源：图上每一根线都该有个理由——「装饰性箭头」与「论证性跳步」是同一种病：都想蒙混过关。

专题④ 从古算题到现代视角

本章论文的核心动作：把古算题翻译成现代数学并给出对照分析。翻译的四种姿势，各配一例。

姿势一：方程化。盈不足章「共买鸡」题（人出 9 鸡盈 11，人出 6 不足 16）→ 设人数 x、鸡价 y，二元一次方程组直解。对照发现：盈不足术的「假令」实为取两个试值做线性插值——对线性问题严格等价，对非线性问题（如「蒲生水」类）只是近似——古术的适用边界本身是绝佳论文题。

姿势二：代数恒等式化。勾股章「圆材埋壁」：尺２在壁外，问径——翻译为 d²−(d−b)²＝a²，恒等式一头连勾股定理一头连因式分解。

姿势三：算法化。少广章开方术逐字转译为「逐位试商算法」，与现代竖式开方对照；更深一层可讨论「为什么开平方一位一位能确定」（(10a＋b)² 展开——二项式的力量）。

姿势四：结构化。方程章的「正负术」给出正负数加减规则——翻译为「ℤ 的运算公理雏形」；与第 3 章「从算到结构」对表：古人在操作层摸到的，正是结构层的定理。

任务：四种姿势各写一行「可用课题」，与问题墙合并——p.11 选题门诊的挂号单已齐。

翻译不是「把古文变白话」，是「把操作变结构」：盈不足术翻成方程组的那一刻，您同时读懂了古人与代数——双重阅读，一本万利。

专题⑤ 开题报告写法

开题报告是论文的「施工许可证」：半页纸，五个栏目，今天铸模。

栏目一：题目——问句式或「对象＋视角」式（「盈不足术的适用边界——以非线性问题为例」）。禁大而空（「论九章算术」）。栏目二：问题——一句可判定问句＋背景两句。栏目三：文献——拟用文献 3–5 条（一手＋二手成色分明，p.4 文献卡直接粘贴）。栏目四：路线——方法段提纲：先做什么、再做什么、古今对照在哪一步插入、预计图/表几件。栏目五：风险——最可能卡住的一环＋备用方案（文献读不懂找哪个译本？算不动用不用机器辅助？）。

审批制：开题报告交「门诊」（p.11 研讨①）会诊，通过者立项编号；退回者限时补材料——退回不是否定，是节省您三周后的返工。

自查三问（写完自测）：我的问题一句能说清吗？我的结论还没做出来，但我知道结论「长什么样」吗（哪句判词将回答它）？我的路线每一步可核验吗？三问全部通过，交审。

开题报告的成本是半小时，收益是三周——它是全套写作工艺里「性价比之王」。数学家申请课题与各位读者开题，格式惊人地一致。

研讨① 选题门诊

门诊规则：全班分诊室（每组一室），开题报告轮流上台，三分钟陈述，会诊团按「四诊」出具意见。

四诊：望——题目大小合适吗？（大题小做、小题大做都要调方：把「论九章」缩成「论均输章的三类加权问题」，把「一道题的解法」扩出对照意义。）闻——问题闻得见研究味吗？（有问号、有坐标、有可判定性。）问——追问三句：您的结论将是一句什么话？您的方法与「抄答案」的区别在哪一步？您最担心的环节是什么？切——路线可切分吗？（切成三个可单独验收的段：文献段、翻译段、对照段——每段都有交付物。）

处方单：每份报告一张——「通过／修改后通过／退回重开」三档；「修改后通过」必须写明改哪一条（如「问题句改问句」「文献补一手材料」「路线加对照段」）。

门诊纪律：会诊只对报告不对人；意见必须具体可执行（「题目太大」无效，「把对象从九章全书缩到盈不足章三题」有效）——第 1 章互查规矩（只标注不代改）的门诊版。

门诊的文化原型是数学共同体的 seminar：选题会在世界上任何一所数学系每周都在开——四诊的顺序，就是学术批评的通用礼仪。

研讨② 大纲互评

立项后第一交付物：论文大纲（三段制骨架展开到二级标题＋每节一句「本节要说什么」）。今日互评。

互评三关：结构关——骨架是否三段制？问题段是否有问句与背景？结论段是否预留「局限＋新问题」？（缺一格，铅笔圈出。）逻辑关——各节的「要说什么」连起来读，是否恰好构成对问题的回答？（测试法：把每节那句「本节要说什么」连抄成一段话，读一读——这就是论文的「压缩饼干」，饼干不完整，骨架有洞。）材料关——每一节后面标注「弹药号」（用第几张摘录卡／文献卡）；没有任何弹药号的节，是空炮。

互评礼仪升级：本轮起采用「两褒一贬」制——先说两处真实的优点（不许敷衍），再给一条最关键的建设性批评。批评句式统一为「如果⋯会更有说服力」。

今日产出：大纲 v2（带互评批注）。明日进入写作推进。

互评是零成本的重写：别人的眼睛五分钟看见的洞，自己三天也未必看见——因为作者永远「知道」自己想写什么，读者只看见写出来的。

研讨③ 初稿工作坊

初稿工作坊：每人携初稿（或半稿）入坊，三道工序。

工序一：朗读跑表。小声朗读引言与结论，掐表：引言 60 秒内是否把「问题＋为什么值得」讲清？结论 60 秒内是否给出判词？超时处标红——超时多半是废话密度超标，不是内容多。

工序二：连续性体检。同桌交换，专查三处：① 每个术语首次出现是否定义（用荧光笔画出所有未定义术语）；② 古文引文是否都有白话跟注；③ 图表是否都被正文引用（孤图即违军规）。

工序三：最弱段手术。选出全文最弱的一节（自己选，不许藏），会诊团现场开方：是材料不足（补弹药）、逻辑跳步（补桥）、还是问题漂移（这节在答另一个问题——删或改）。手术记录写入档案。

坊规：工作坊期间禁止「防卫性解释」（「其实我意思是⋯」）——听不清就是没写清，辩解无效，修改才是唯一出口。此规与第 1 章互查规矩一脉相承：稿子是唯一被告，也是唯一证人。

初稿的使命是「存在」而不是「完美」：海明威说一切初稿都是臭狗屎——数学家的初稿稍好一点，但也好不到哪去。工作坊是初稿的消毒室。

研讨④ 修改策略

修改不是重读一遍，是分轮次的定向手术。三轮修改法。

第一轮：结构轮（先动骨头）。只看三段制：问题段答「问什么」、方法段答「怎么做」、结论段答「答出了什么＋边界」——把每段首句单独抄出，检查是否自成一篇迷您论文。结构轮动刀最狠（整节搬家、删除），故必须最先：先改字再改结构，字全白写。

第二轮：逻辑轮（再动筋络）。逐段自查：每一步的依据标出来了吗（引文、引理、前节）？古今对照处是否两边都「说全了」（古术的条件、今法的条件各是什么）？反例/特例出现的位置是否及时（论据永远走在论断前）？

第三轮：文字轮（最后动皮肤）。删三样：冗词（「其实」「可以说」「众所周知」）、模糊量词（「很多」「大部分」——换成具体数）、防御性从句（「虽然可能不成熟但⋯」——自信地写）。统一术语（「术」「算法」「方法」全篇一词一义）；检查 TeX 式排版纪律：数学符号斜体、上下标规范（本章 p.8 军规的排版细则）。

修改日志：每轮记一行改了什么、为什么——日志随论文入档，是「修改策略」本身的第一手研究材料。

修改的次序哲学：先问「说的对不对」，再问「说的清不清」，最后问「说的美不美」——顺序颠倒，美词会把逻辑漏洞描得更好看。

项目① 定题与开题

小论文项目正式启动：五周工期，今天定题开题。

课题池（三源汇流）：① 问题墙高票题（第 1–4 章的问题墙＋本章 p.5）；② p.9 四姿势课程单；③ 第 4 章悬置库中「古算口味」的猜想（如「盈不足术解非线性问题的误差何时可忽略」）。课题必须含古算题＋现代视角双要素，单要素者退回。

候选题样例：盈不足术与线性插值——等价性的证明与失效的边界；圭田术的出入相补证明与现代三角形面积公式的对谱；开方术逐位试商的原理——(10a＋b)² 展开的威力；勾股容方与相似三角形——一道题的四种解法史；正负术：负数的东方出生证与 ℤ 的公理；粟米章今有术＝比例＝第 2 章的映射——一道术的三重身份；垛积术与高斯求和的对话（联系 H1-2 第 4 章）。

今日工序：选题（不许与同组同题）→ 开题报告半页（p.10 五栏目）→ 门诊会诊（p.11 四诊）→ 立项编号。全部手续今日办结——本学年的项目手续，这是最后一次，仪式感拉满。

定题的标准不是「会不会」，是「想不想」：未来五周您要与它朝夕相处——选那个半夜想起来会笑的。

项目② 文献精读

第二周：把开题报告里的文献清单变成「读过的文献」。精读三工序。

工序一：一手文献通读。把您的古算题原文及相关术文通读三遍：第一遍通（不懂处贴签）、第二遍逐字（p.2 四步精读法）、第三遍复述（合书讲述，录音自听）。产出：翻译卡全套＋复述录音一条。

工序二：二手文献定向读。不从头读到尾——按问题定位：先查书的目录与索引，直奔相关节；每节只回答一个问题「它对我判定的问句有什么贡献」。产出：批注卡（每书至少两张）＋两两交叉印证记录（p.4 对镜术）。

工序三：弹药入库。全部卡片按「将用于哪一节」归档（问题段弹药／方法段弹药／结论段弹药），缺弹药的段落记入「采购单」——下周补读或改路线。入库完毕即写文献综述节初稿（半页：前人对本题说了什么、本文接哪一棒）。

周检查站：周五三项验收——翻译卡齐、批注卡齐、综述节半页。缺项者写补欠条（欠什么、何时还）。

「精读」的判定标准是产出的卡数而非读书时长：一周读十页出十张卡，胜过一天翻五十页零卡——粮草论按斤计，不按趟计。

项目③ 写作推进

第三周：初稿周。推进策略按「骨架先行」执行。

日程表：周一—二：方法段初稿（最容易下笔——弹药最足，先吃软柿子）；周三：问题段（背景两句＋问句一句，从综述节改写嫁接）；周四：核心证明/对照节（古术今译＋对照分析，本章论文的心脏）；周五：结论段初稿＋全文第一遍拼接。

写作纪律四条：① 先骨架后血肉——每节先写三行提纲（本节要说什么/用什么弹药/结论一句），提纲过目再动笔；② 引用即标注——第一稿就按 p.7 格式标〔1〕〔2〕，绝不允许「先写完再补引」（补引=开始遗忘，遗忘=伪引温床）；③ 数学内容走 TeX 式规范——公式独立成行居中、符号首现即定义；④ 每天收尾写三行日志（今日写完哪节/卡壳在哪/明日从哪续）——日志是跨周续写的救生索。

卡壳预案：同一节卡壳超过 40 分钟——跳到下一节（骨架允许跳建）；核心证明节卡壳——退回「最小情形」（p.5 特殊值法：先证 n＝2、先解简化题），星期日补救。

初稿周的敌人是完美主义：它让您在第一节精雕细琢而全文难产。记住节奏——先有全文，再有全文的好。

项目④ 修改定稿

第四周：修改周。执行 p.14 三轮修改法，日程如下。

周一：结构轮。三段首句连读测试＋「压缩饼干」检查（p.12）；结构调整刀——允许整节搬家。收工标准：骨架五分钟讲清。

周二：逻辑轮。逐段依据标注＋古今对照双查＋工作坊三道工序复跑（朗读跑表/连续性体检/最弱段手术——工作坊意见这轮全部消化）。收工标准：荧光笔零残留（无未定义术语、无孤图、无跟注缺失）。

周三：文字轮。删冗词、统一术语、排版细修（图表编号复核、参考文献格式复核）。收工标准：朗读全文不超过两处绊嘴。

周四：双盲互审。与跨组同学交换定稿候选，互查 p.7 四宗罪＋按 p.24 评分量表试打分；对差值大的项当面质询。

周五：定稿三件套：终稿（PDF 或誊清稿）＋修改日志＋文献卡档案袋。三件套齐，送装帧——周五下午是学年项目线的最后一次「交卷」，把这份仪式感做足：签上姓名、日期与一句「此证可查」。

修改周的心法：把自己从「作者」切换成「最凶的审稿人」——您对自己的稿子温柔，答辩时评委不会。

项目⑤ 排版与展示

第五周前半：装帧与彩排。

排版验收单（对照逐项打勾）：标题页（题目/姓名/日期/立项编号）；摘要 150 字内（问题＋方法＋结论各一句）；三段制正文齐；图表编号标题全；参考文献按格式排且全为实读；页码；全文 TeX 式数学排版统一。验收不过，排仿期一日内返修——这是格式铁律的最后一次演习，研究营展板与答辩稿全部沿用此标准。

答辩稿（5 分钟版）：结构＝1 分钟问题与价值、2 分钟核心方法与对照发现、1 分钟结论与局限、1 分钟新问题与致谢。答辩预演三问（p.19 质询预案的升级版）：「您的结论与某某文献的区别？」；「古人的术在现代哪些情形失效？」；「如果重做这个课题您会改什么？」——第三问的答案务必诚实具体（「我会先读某某书第几章」「我会加一个机器验证环节」）。

展板（研究营主展板）：五栏——题与问题／古题原文与今译（对照表居中放大）／方法与证明主脉／结论与新问题／文献与致谢。板式执行本学年全套军规（最后一排可读、图必自足、色不过三）。

答辩与展板的全部规矩，说到底是一句话：让证据走在结论前面——评委信不信您，取决于您把证据放在哪。

深读① 数学传播史一瞥

您手里的《九章》是一部世界旅行家：两千一百年间它换了七八种身份。速写它的传播地图。

成书与定型（约公元前 1 世纪定型）：秦火之后，张苍、耿寿昌等删补勘定——今天读到的版本本身已是「汉代整理版」。刘徽注（263 年）给它装上论证的灵魂；李淳风等奉敕注释（656 年）使它成为唐代国子监算学教科书——「算经十书」之首。

东渡与北上：《九章》体系经朝鲜半岛入日本（宽平年间《日本国见在书目录》已著录），和算的「遗题」与验算文化里处处有方田勾股的身影；宋元之际，垛积、天元术在《九章》土壤上长成新枝（朱世杰《四元玉鉴》1303）。丝绸之路向西：9 世纪花拉子米的代数书里，可辨认出与盈不足术同构的「双试位法」——后世欧洲干脆把试位法叫「来自东方的方法」（regula falsi 的别名）。

西传与回流：利玛窦与徐光启 1607 年译《几何原本》前六卷是「西学东渐」的著名一页；而《九章》的算法精神（开方、方程、正负术）经翻译与转述参与塑造了欧洲人对东方数学的认识。十九世纪起《九章》被译成英、法、德、俄、日——一部「术」的全球旅行完成闭环。

深读任务：在传播地图上挑一站（如「盈不足→花拉子米」或「刘徽→唐代教科书」），查一条材料，写三行「驿站小传」。

传播史的总规律：算法比定理更容易旅行（不需要公理体系打底），定理比算法更能扎根（落地就长出体系）——《九章》与《原本》恰好各占一头。

深读② 《九章》的世界影响

把「影响」分成三层看，比一句「很伟大」更有内容。

第一层：算法范式的影响。吴文俊的著名论断：《九章》的传统是机械化算法体系——给术、可复算、可推广。这条传统与现代计算机科学精神同构：吴本人晚年转向数学机械化研究并获首届国家最高科技奖，自称其思想源头正是「《九章》的构造性、机械化」。古算传统不是博物馆标本，是活着的研究纲领。

第二层：教育范式的影响。「题—答—术」的教科书格式统治东亚数学教育近两千年：今天的例题—解法—练习三段制课本，正是《九章》格式的现代装帧。江户日本的《算法统宗》翻刻、朝鲜《算学启蒙》的流传——一部教科书史，半部东亚文化交流史。

第三层：观念的影响。「正负术」是世界数学史上第一次明确给出负数运算规则（欧洲直到 17 世纪仍在为负数吵闹）；「盈不足」的双试位思想在微积分的割线法里复活；「方程章」的直除消元是高斯消元法的东方先声。观念的清单可以列得很长——每一条都是「古今对照」类论文的选题。

深读任务：三层各挑一条，写「影响卡」（谁、传了什么、在哪还能看见它）。最优秀的影响卡将贴进研究营展区的「活的传统」板块。

读《九章》的现代意义不在怀古，而在照镜：机械化、实用性、问题驱动——您今天学的每一个现代概念，都能在这面镜子里找到它的东方倒影。

深读③ 通向 C 段：文献与课程预告

夏季册收官在即，本页是通向 C 段《抽象之门》的行前简报。

课程预告：C 段从「公理集合论雏形＋群环域初阶」起步——第 3 章您摸过的群公理将获得完整定理链（拉格朗日定理的证明、同态基本定理）；第 4 章的反例技术将在分析语言（ε-δ）中继续服役；本章的论文将升级为学期研究论文（15 页起，含文献综述与答辩）。第 5 章的全部工艺——检索、引用、三轮修改、答辩——一件不少地平移过去。

文献阶梯（想远行者的书单）：入门——钱宝琮校点《算经十书》、李文林《数学史概论》（两书把您本章的手工阅读接上系统史）；进阶——吴文俊主编《中国数学史大系》选卷、克莱因《古今数学思想》第 1 卷（全球视野下的《九章》定位）；远航——刘徽注的现代研究专著、Libbrecht《宋代中国的中国数学》选章（英文，研究生级，先「见过」即可）。

衔接自查单：能按四步精读一份古文材料✓；能产文献卡并交叉印证✓；能写三段制论文并过三轮修改✓；能按四军规制图表✓；能开题、门诊、答辩全流程✓。五项齐备——C 段的论文季，您已经领先一学期。

文献的终极用途不是「查过」，是「对话」：您写的每一页都在回答前人的问题、提出后人的问题——加入这场跨越两千一百年的笔谈，是学数学最大的特权。

小论文评分量表

本章收官利器：一张可操作的评分量表（研究营答辩用同款）。四个维度各 25 分。

自评—互评—师评三方各打一份，差值超 10 分的维度召开「质询庭」对表复核。量表同时是答辩评分器（研究营「论文答辩」挑战的直接依据）与下学期论文的起跑线（对照找最弱维度先补）。

自查五问（答不出的回到对应页）：① 三段制的「压缩饼干」测试怎么做？（p.12）② 伪引为什么比不引更糟？（p.7）③ 盈不足术的适用边界怎么查？（p.9）④ 三轮修改的次序为何不可颠倒？（p.14）⑤ 悬置猜想为什么也算成果？（p.17，第 4 章遗产）

量表的隐藏功能：它把「好论文」从玄学变成工程——每一分都有名字。下次动笔前先读量表，等于先看见终点线。

论文报告会

学年项目线的终点站：正式论文报告会，四幕制。

第一幕：海报巡礼（30 分钟）。全部论文展板上墙，作者驻板；参观者（跨班邀请）持「提问券」入场——每张券写一个真问题，贴到感兴趣的展板上。

第二幕：代表报告（6×6 分钟）。六个方向各推一篇（问题型／翻译型／对照型／猜想型／悬置型／方法论型），按答辩稿 5 分钟＋质询 1 分钟执行。评分用 p.24 量表现场打分，投影公示。

第三幕：圆桌对谈。议题：「古算题还值得研究吗？」——代表、会诊团、观众三方各陈两分钟；对谈唯一规则：每句发言必须挂在具体例子上（空谈「文化价值」者被主持人递上《九章》一本）。

第四幕：档案封存仪式。每人把论文终稿＋修改日志＋文献卡袋＋五周日志装袋编号，投入「学年档案库」；库前齐诵一行：「此证可查。」——五章手艺（证明、对应、结构、猜想、写作）随档案完成验收，只待研究营点火。

报告会的真正奖品是那行「此证可查」：写论文的人从此知道——被追问不可怕，可怕的是无证可查。带着这句底气进研究营，进 C 段，进一辈子。

夏日研究营开幕

开幕词只有三句。第一句：五天，各位读者不再是学生，是研究员。冬研会的传统延续至此——营期之内没有「学过没学过」，只有「做出来了没有」。第二句：研究营的全部燃料来自本学年五个项目库——证明成果展的档案袋、映射与无穷的展区、群的动物园、猜想悬置库、论文档案库——今天起它们全部解封，材料随取随用。第三句：结营时每个人都要交三样东西：一份课题成果、一块展板、一场答辩。

营制速览：第 2 页热身闯关（个人积分启动）；第 3–7 页五场擂台挑战（证明／归纳／群表／反例／答辩，积分入总榜）；第 8–9 页研究初评与深化；第 10–14 页营期课题全程（立项—攻关—整合—展板）；第 17–19 页成果发布与颁奖；第 20 页结营答辩。积分规则：擂台名次分＋课题过程分（日志、档案、协作）＋答辩表现分，三项合计——过程分占比最高，研究与冬研会一致：诚实的过程比漂亮的结果值钱。

分组：按学年五个项目线混编成营（每人自带一条「看家本领」入场），五人一组、组名自取、徽标自绘——徽标将出现在每一块展板的右上角。

研究营开幕的老规矩：各组齐声念一遍营规第一行——「每一步可核验，每一句有出处。」念完，点火。

抽象之门闯关热身

热身赛：五道关卡对应五章手艺，个人限时闯关（每关 8 分钟），成绩计入个人积分。

第一关·证明热身：白纸证明「任意整数的平方除以 4 余 0 或 1」（分奇偶两路——第 1 章四行格式）。第二关·对应热身：给出集合 A＝{1,2,3} 到 B＝{a,b} 的全部映射数（8），指出其中满射的个数（6），并说明用了什么原理（补集＋抽屉）。第三关·结构热身：给一张 4 阶群的空表（只给 e 与一个 2 阶元素），补全整表并判定它与 ℤ₄ 还是与克莱因四元群同构（由周期分布定）。第四关·反例热身：命题「n²＋n＋41 是素数」——至少交出两个不同角度的反例（n＝40 代数因式分解＋边界意识说明为什么 41 处翻车）。第五关·写作热身：给一段百字的「问题—方法」残稿，指出缺失的要素（问句？判词？出处？），用铅笔现场补一句。

计分与诊断：每关 2 分，满分 10。低于 6 分者领取「补气卡」（对应章节的三页复习清单）；8 分以上者受聘为下午擂台的「擂主助理」。热身的意义在诊断不在名次——下午的五场擂台，才是真火。

闯关热身像乐手调音：五件乐器各响一声——哪件走了音，现在就修，别等交响乐开场。

①证明擂台

擂台一：证明擂台（上午第一场，45 分钟）。赛制：三题递进制，白纸独立作证，评审团（教师＋擂主助理）按「完整、严谨、简洁」三分制评分。

第一轮（热身局）：证「任意 5 个整数中必有两数之差被 4 整除」（抽屉＋余数分类——限时 8 分钟）。第二轮（主力局）：证「√3 是无理数」（反证＋互素论证；须写明每步依据——限时 12 分钟）。第三轮（加时局）：证「若 p 为素数且 p 整除 a²，则 p 整除 a」（强归纳或素数性质任选路线，写出路线选择理由——限时 15 分钟）。

擂台看点：评审团专盯三处——「收口是否回到命题」（第 1 章格式检查）、「反证假设是否偷换」、「每一步依据是否可查」。现场设「最佳一步奖」：评委票选全场最干净的一步推理，颁「手术刀」徽章。

积分：三轮累计前三名入总榜，全员参与分照记。

擂台与考试的区别：考台上没有标准答案可背，只有您与命题的正面交锋——第 1 章的「白纸自证」在更大的舞台上重演。

②归纳法接力

擂台二：归纳法接力（团体赛，每组一条赛道，40 分钟）。赛制仿接力：四棒各完成命题的一段证明，棒棒相扣——上一棒的最后一句是下一棒的第一依据。

赛道题（各组同题，错开起点）：证明「1³＋2³＋⋯＋n³＝(1＋2＋⋯＋n)²」。第一棒：奠基＋n＝2,3 验证；第二棒：归纳假设的精确表述（设什么、限什么）；第三棒：传递步——用归纳假设代入，化为（1＋⋯＋k）²＋(k＋1)³＝(1＋⋯＋(k＋1))²，关键一步是因式分解；第四棒：收口＋「回顾波利亚第四步」（本证明与 Σ(2k−1)＝n² 的方格拼图何缘？给出一种图像解释或指出其局限）。

评分：正确性（棒棒验收，一处断链全段重跑）＋衔接质量（下一棒能否不用追问直接接棒）＋回顾分（第四棒的图像解释）。接力赛的精髓在第二、三棒之间：归纳假设的措辞——写松了推不动，写紧了用不上，全场观众可围观各组在此处的措辞拉锯。

接力赛暴露的真相：证明不是「一个人的默想」，是「可移交的手艺」——您的传递步写得好不好，试金石是队友能否无缝接棒。

③群表竞速

擂台三：群表竞速（团体赛，30 分钟）。三轮难度递进，速度与正确双计分。

第一轮（6 阶）：D₃ 群表限时填写（4 分钟）——校内预选赛已练过，正式赛加验「三色标注」（单位元行列／子群显影／非交换格）。第二轮（8 队抢答）：给出指纹卡（只报周期频数），抢答同构对象与理由——「周期 1×1、2×5、4×2」是谁？（ℤ₄×ℤ₂？不——8 阶且无 8 周期元素，排除 ℤ₈；答案在 C₄×C₂ 与克莱因四元群这些近亲之间，抢答须给出排除理由才算得分。）第三轮（构造赛）：构造一个 6 阶非交换群的全部子群清单并核对拉格朗日约束——限时 10 分钟，最快且全对者称「群表之王」。

竞速的学理：快不是目的，「指纹先行」才是——先查周期分布、再定交换性、后填表，是结构阅读术（第 3 章 p.12）的肌肉记忆化。竞速赛后评审团出一道「反思题」（入各组档案）：速度策略的哪一步，本质上是在「读结构」而非「做计算」？

群表竞速的隐喻：熟练的数学家看见群表，如棋手看见棋盘——不是 36 个格子，是攻防的形势。速度，是结构感的外显。

④反例扑克

擂台四：反例扑克（个人赛，40 分钟，全场最欢乐的一场）。牌库两副：命题牌（各类「看起来对」的命题，含第 4 章狩猎卡的真牌＋评委新编的暗牌）与反例牌（具体反例，如「n＝16」「钝角三角形」「F₅＝641×6700417」）。

赛制：每人起手 4 张反例牌。庄家逐张翻命题牌，玩家轮流出手：出一张反例牌并当场验给全场看（数字代入、图形操作），验真者得 2 分、验伪（反例本身不对）者倒扣 1 分；无人能出的命题牌流入「悬置堆」，揭底后由出题人讲解难点（每条 1 分钟）。

暗牌规则：牌库混入三张「其实为真」的命题——抢出反例者不仅失分，还要现场听出题人给出证明。识别「该证不该毙」，与「该毙能毙」同样得分：本轮真正的考的是 p.5 特殊值试验法的判断力，不只是火力。

赛后存档：全场高分的反例牌与全部悬置命题入营档案——悬置堆是明年学弟学妹的牌库，这场扑克会一直打下去。

反例扑克的牌品即学品：验伪主动认、验真给证据、暗牌栽了跟头就鼓掌——第 4 章闭幕宣言在牌桌上的复述：每一次推翻，都是重建的开始。

⑤论文答辩

擂台五：论文答辩预演（第 5 章报告会的营内加时版，45 分钟）。六篇方向代表论文再战一轮，本次答辩团由跨组同学组成（作者所在组回避）——预演的目的是把报告会的质询提前消化。

赛制：5 分钟报告＋3 分钟质询（比校内多 2 分钟质询——营期的问题更刁）。答辩团三问必问：①「您的结论与文献里某某说法的区别？」②「您的方法在哪个边界失效？」③「重做一次您会改什么？」另设「观众自由问」两条。

评分新项：校内报告会四维（问题/方法/证据/产出）之外，营期加第五维——抗压：被追问第三层时的态度（诚实记录并承诺跟进者满分；强行绕开者扣分；当场给出新论证者加分并记「答辩名场面」）。

赛后即时复盘（15 分钟）：每篇论文一条「答辩改进卡」——哪个问题最伤、哪句话最该改、明天的正式结营答辩改用哪套说辞。改进卡随论文入档。

答辩预演的价值公式：正式答辩的失误率 ∝ 预演次数的倒数——第 1 章 p.19「质询反击」的老话第三次应验：听清问题再回答。

研究初评

五场擂台收官，营期课题（明日立项）之前，评审团对各组既有资产做一次全面初评——初评对象不是新研究，是本学年五个项目线交出的全部档案。

初评三表：① 档案完整度表：五章成果（证明档案／无穷展区／群的身份证／猜想谱系／论文档案）各组到齐率与成色——成色按「过程留痕」评定：白纸原稿、批注卡、废案、欠条都在场者满分，只交成品者七折（成品是果实，留痕是年轮）。② 方法论迁移表：各组在五场擂台里实际调用了哪些「看家本领」、哪些本领还没上场——未上场者（如「换衣测试」「谱系剧」）标记为营期课题的候选武器。③ 协作生态表：接力赛与抢答赛中的交接质量——「无缝接棒」次数与「断链事故」次数各记一笔。

初评不是排名，是配药：每张表的读法都是「下一剂该怎么开」——档案缺什么，营期课题就补什么演练；什么武器没用过，课题就优先给它上场的理由。

初评的哲学：研究营不从零开始，从「盘点」开始——各位读者已经攒了整整一学年的家当，今天只是开箱验货。

深化建议讲评

初评配药之后，评审团给每组开一份深化建议书——半页纸，三条建议，每条都指名「在哪一页学的哪门手艺、如何在营期课题里升级使用」。

建议书样例（示范组）：① 贵组的证明档案严谨但「补气卡」显示反证法偏弱——营期课题若涉存在性，请强制双轨（证明＋反例并行，第 4 章 p.16 兵器谱）；② 贵组的群的动物园缺「同构速配」实绩——课题选置换群路线（第 3 章 C 路），把换名表技法练成看家；③ 贵组论文的文献成色好而图表偏弱——展板制作时执行 p.8 四军规全检，评审将按军规逐项打分。

讲评仪式：建议书当众宣读、组内认领（每条建议指定第一责任人）、贴上组内任务板——结营答辩时逐条「销号」：做到的打钩，做不到的说明原因。建议书的公开性是刻意的：研究营的文化是明处的成长，不是暗处的排名。

深化建议的写法精髓：「建议＋出处＋用法」三件套——没有出处的建议是口号，没有用法的建议是客套。

项目① 营期课题立项

营期主课题立项。课题池三源汇流：第 4 章悬置库、第 5 章论文的「新问题」池、评审团新投的三道大题（「素数分布的试验地图」「六人相识问题的推广 R(3,4) 试探」「魔方单面群的子群普查」）。今日立项全流程压缩至一页。

立项规则：① 每组一题，题目必须含「可判定问句＋判定路线」两要素；② 组内分工到人（文献／试验／证明／写作／展板五角色，允许一人双角色）；③ 时间盒三天：攻关（两天半）＋整合（半天），超时按「部分结果」交卷不延期——研究营的纪律与冬研会一致：交卷时间神圣。

开题会诊：各组 3 分钟陈述（p.10 五栏目浓缩版），评审团四诊（望闻问切）＋两问必问：「最可能失败的环节是什么？」「部分结果的下限是什么？」——先谈失败可能，再谈愿景，是营期开题的固定顺序。

立项卡：编号 R-01 起，随卡发放「过程留痕袋」（日志纸、弹药卡、废案纸各若干）——三天的每一步都要进袋。

立项的速度来自学年的训练：开题—门诊—审批的全流程，各位读者在第 5 章已经跑过一遍——这次只是把五周压成三天，手艺不变，火候加急。

项目② 集中攻关（上）

攻关第一天：目标「最小可验证单元」全部打通（第 2 章 p.16 纪律的营期版）。

上午权限：只做两件事——文献与试验。文献角色带组精读（一手材料优先，翻译卡现场制）；试验角色搭「试验台」（数表、程序、画图，全部落纸可复算）；证明角色先写「证明骨架」——只列「将用到哪三件兵器、最惊险一步预计在哪」，不许急着写全证明。

午间站会（15 分钟）：各组一分钟进度＋一个具体求助。站会规则沿用第 4 章「卡壳限时不死磕」：卡壳 20 分钟强制换道（换表述／换特例／换书／换组互援）。

傍晚验收：三问——最小单元打通了吗？试验数据可信吗（另有一人独立复算了吗）？废案有留痕吗？三问全部通过者，明日进入证明冲刺；不过者连夜调整路线（调整记录入袋）。

攻关第一天的秘诀是「忍住」：忍住不写完整证明（骨架未立血肉白搭）、忍住不做漂亮展板（证据未齐版面空转）——第一天只管打通最小单元。

项目③ 集中攻关（下）

攻关第二天：证明冲刺＋反例狩猎双轨日。

上午：证明冲刺。证明角色主笔，全组供弹药：每写完一段，读给一名「非本段负责人」听（第 1 章互查规矩）——听不懂即返工。最惊险一步若攻不下，立即启动「降维预案」：先证弱命题、先证特例、或转入反例轨（第 4 章双轨许可）。

下午：反例狩猎。试验角色带一人组「红队」，专攻本组结论：边界值、破对称值、极端图全上，鼓励写十行程序扫描（机器反例同权，注明搜索范围）。红队战报傍晚公开——每组必须交出红队战报，哪怕内容是「全弹尽」——零反例也是一种战果，注明火力覆盖范围。

晚间评审巡视：评审团巡组三问（呼应第 4 章引擎）：猜想谱系清楚吗？依据都标〔 〕了吗？部分结果的下限守住吗？巡视意见即时贴组板——明日整合周知。

攻关第二天的心法是「诚实」：证明攻不下就降维，反例打不出就报火力范围——研究营的最高纪律不是聪明，是每一步可核验。

项目④ 成果整合

第三天上午：把两天的材料铸成成果包。整合清单五件，逐件验收。

件一：成果摘要（半页）——问题、路线、结论、局限四句制；结论句必须是判词（「我们证明了⋯／我们未能证明⋯，但明确了⋯」）。件二：证明主脉图——全部推理画成流程条（每条一依据，〔1〕〔2〕标注），最惊险一步高亮。件三：红队战报——原样入包（战报比战果更能体现营期伦理）。件四：谱系档案——本课题三天的版本演化（含所有废案），一版一行。件五：新问题清单——至少两条，其中一条要具体到「下一步可动手」。

整合验收：五件齐＋「压缩饼干」测试（第 5 章 p.12）＋朗读测试。验收通过的组领取展板材料包，进入展板制作；未过的组限时两小时返修——返修不是羞辱，是营期的最后一次格式演习。

整合是把「研究」变成「可传播的研究」：五件套缺一，观众的信任就缺一角——件件齐整的组，答辩还没开始就赢了一半。

项目⑤ 展板制作

第三天下午：展板制作。军规全量执行（第 5 章 p.8），营期加三条本地规则。

营规一：五栏制——题与问句／证据主脉（流程条图）／红队战报（原样上墙！）／结论与局限／新问题与文献。红队战报上墙是营期特色：观众要看到您如何自己打自己。营规二：徽标与署名——组徽标右上角，全员姓名与角色（文献／试验／证明／写作／展板）左下角——署名到角色，致敬分工。营规三：最后一排测试——6 米外能读清「问句」与「结论」两句；测试不过，字号重调，不辩解。

制作工艺：先纸面打样（全组过一遍五栏内容），再上板；版面色彩执行学年铁律（色不过三、图必自足、深底浅字或浅底深字二选一并全板统一）。评审团巡场按军规逐板打分（展板分入课题总分）。

收工仪式：各组展板抬入发布厅就位，组徽标对齐，全组合影——明天上午，这里就是发布会现场。

展板制作的最后一课：版面是研究的「脸」，但不整容、只洗漱——每一根线条都必须有内容撑腰，否则再美的板也只是漂亮的空箱子。

进阶：专家在线咨询

发布会前夜的加餐：连线场外专家（教师邀请的数学系师生／往届营员），每组一问，专家按「咨询礼仪」回答后反问一题。

咨询礼仪（答辩三问的进阶版）：① 问题先行——把问句与已做的功课先说清（「我们试了 A、B，卡在 C」——绝不允许只甩一句「这题怎么解」）；② 接得住「我不知道」——专家答不上时会明说，营员也应学会；③ 记录即尊重——专家的每条答复入过程留痕袋，署上咨询时间与对象。

专家反问环节：每位专家向全场反问一题（难度自定，往届最爱问「您觉得您今天学到的哪件工具五年后还活着？」）。反问的答案当晚写入个人日志——结营答辩的「成长陈述」将从中取材。

本场的设计意图：让营员在结营前体验一次真实的学术求助——学问的世界不禁止提问，禁止的是不备课的提问。把功课做在提问前，是研究者的基本体面。

咨询的黄金句式永远是：「我做了什么、卡在哪、我猜下一步是⋯——您看对吗？」前半句是诚意，后半句是胆识，中间那句是本分。

进阶：跨营交流

加餐之二：与「平行数据」交流——评审团提供三份外部材料（往届冬研会的优秀结营报告、一本公开数学杂志的学生栏目选文、一份真实的数学系 seminar 海报），各组对照自己的成果包，做一次「对标阅读」。

对标三问：① 结构对标——人家的摘要与我们的差在哪？（多数答案：人家的「局限」写得比我们大方——局限写得越诚实，结论越可信，这是反复验证过的规律。）② 证据对标——人家的依据标注密度多高？我们的流程条图够密吗？③ 问题对标——人家的「新问题」有多具体？回看我们清单里最像口号的一条，把它改具体。

交流产出：每组一张「对标卡」（三问各一行答案＋一项今晚就改的行动），明早发布前完成改造——跨营交流的落点永远在「今晚就改」，不在「下次注意」。

对标阅读的本质是「借别人的镜子照自己」：读到别人比我们好的地方不丢人，读不出差别才是真的损失。

营期成果发布会（上）

第四天上午：成果发布会（上）——按课题编号顺序，每组 12 分钟：报告 7 分钟＋质询 5 分钟。评审团按五维量表（问题／方法／证据／产出／抗压）现场打分并公示。

报告节奏表（评审团计时执行）：0–1 分钟问句与价值；1–5 分钟路线与最惊险一步（流程条图指讲）；5–6 分钟红队战报（如何自证清白）；6–7 分钟结论、局限与新问题。超时 30 秒亮黄牌，60 秒切麦——发布会的纪律与擂台一致。

质询规则：评审两问＋观众两问；质询只针对证据与逻辑，不针对人（「您凭什么」违规，「您的第 3 步依据是什么」合规——学年第 1 章立下的规矩一路沿用至此）。

上半个亮点池：评审即时记录「名场面」（最干净的一步、最诚实的局限、最刁问题的漂亮回答）——颁奖礼的「特别奖」将从亮点池里出。

发布会的上半场关键词是「节奏」：7 分钟讲清三天的心血，靠的不是语速，是取舍得狠——把 90% 的细节让给展板与档案，嘴上只留主脉。

营期成果发布会（下）

发布会（下）：后半程组发布＋全场交叉评审。

交叉评审：后半程各组发布时，前半程组按同一量表打分（去掉自己组的极端分）——评审权下沉是研究营的成人礼：您给别人打分的尺度，就是您希望被检验的尺度。

合议：全部发布完毕后 40 分钟全场合议——评审团汇总两组分数，方差过大的项目「对表复核」（第 5 章 p.24 质询庭的营期版），最后形成总榜草案，草案公示于展板墙，接受一小时的异议期。

异议期规则：对任何分数有异议者书面提交（引用量表条目），评审团书面答复；异议不改变友谊，只校准尺度。

晚间彩排：明日结营答辩（教师、专家、家长列席的正式场）——各组答辩人上场踩台，试麦、试翻页、试指板；紧张是正常的，彩排是唯一解药。

发布会的下半场关键词是「尺度」：交叉评审让每个营员坐上评委席一次——坐过的人，回自己的答辩席时会突然明白评委在等什么。

优秀研究颁奖

颁奖礼：奖项设计延续冬研会传统并加设两席。

常设三奖：最佳研究（总分榜首——量表四维加权的冠军，奖「研究营盾」）；最佳答辩（抗压维与观众票选合成的金牌——把最难的问题答出最好的样子）；最佳展板（展板分＋军规全检的最高分——版面即门面，门面见功夫）。加设两席：最佳红队奖——颁给红队战报最有信息量的组（找到了反例，或火力覆盖写得更诚实）；最佳接棒奖——颁给接力赛与协作记录中「无缝交接」次数最多的组（研究与冬研会共通的信念：接棒质量决定团队上限）。

特别奖：从亮点池现场评出——「名场面」一条（可能是某句漂亮的补救，也可能是某个承认「我不知道」的瞬间）。

颁奖辞的共同句：每个奖项的颁奖辞最后一句都相同——「他们的每一步，都可核验。」这句话五天里听了太多次，颁奖时它第一次像奖杯一样有形状。

奖项的意图从来不是分层，是定标：让「诚实的过程」以最可见的方式被看见——明年营期，标准就在今天这五座奖杯里。

研究营结营答辩

结营答辩：研究营的最后一关，也是高一项目线的终点。三十分钟，三道程序。

程序一：课题答辩（15 分钟）——评审团（教师＋专家＋外请评委）对冠军课题与两支抽签组进行深度质询：从流程条图任取一步要求现场复述依据；从红队战报任取一条追问「您如何排除⋯」；从新问题清单任取一条问「下一步怎么动手」。此程序对全体开放旁听——被抽中的组代表全营应考，全场与其同呼吸。

程序二：成长陈述（10 分钟）——每名营员一句陈述（按组轮流，专家反问环节的日志在此取材）：「本学年我从⋯学会了⋯，它在我身上改掉了⋯。」一句即可，不许客套。

程序三：销号与启封（5 分钟）——各组当众「销号」评审团深化建议（第 9 页）：逐条打钩或说明；随后共同启封「高二任务书」的信封（内容今日保密，p.24 揭晓）。

答辩完成的判定不是分数，是仪式：评审团起立，宣布——「本营课题，全部可核验。结营。」

结营答辩的真正考题在程序二：五天擂台测的是手艺，一句成长陈述测的是人——手艺会过时，那句陈述里长出来的东西不会。

高一学年总复盘

把一学年（春夏秋冬四季册＋本营）全部资产收进一张大地图。

总复盘自查（每条一句话自答）：哪一章最难忘？哪件兵器用得最顺？哪一页曾让您卡壳最久、后来怎么通的？哪个瞬间您想到了「将来我想做数学」？——四个答案写进学年档案最后一页。

误区清单（毕业前最后排查）：「反例是失败」「群必须交换」「验证很多例子等于证明」「无限大只有一个」「论文的局限要藏起来」——五句全部是错，且全是这一年亲手证伪过的。

学年总复盘的一句话版本：数学从「算对」长成了「想清楚、写明白、经得起追问」——这十二个字，是高一的毕业照。

数学游戏嘉年华

结营日下午：嘉年华时间——学年游戏总决赛＋自由对弈，紧张了五天，该回到最初的爱。

总决赛区（三台）：① Nim 擂台——学年总积分榜前列者攻擂，异或判据验身（冬季册第 3 章的机器人对手不在场，全靠人脑）；② 独立钻石棋残局——抽签定局，F₂ 不变量预判「可解不可解」再动手（第 26 站老友重逢）；③ 8-滑块速解——三局定胜负，策略组现场讲解「奇偶性判定无解局」的原理（H1 冬季的置换观点回响）。

自由对弈区：六贯棋、豆芽棋、威索夫、二十四点挑战、五联方拼盘——全部开放，规则自带；鼓励「教一个会一个」：把会玩的游戏十分钟教会一位家长或外班同学（教会的瞬间，比赢的瞬间更值得记日志）。

彩蛋：反例扑克公开场——第 4 章的牌库全体开放，欢迎挑战暗牌；胜者把名字写在牌库盒上。

嘉年华的座右铭写在入口：算得快的人赢一局，懂结构的人赢一年——而教得会别人的人，赢得整个游戏。

高二衔接任务书

启封「高二任务书」——三任务，开学前完成，可轻可重。

任务一：三页读书笔记（必做）——从书单（第 2 章 p.23 近岸书单＋第 5 章 p.23 文献阶梯入门层）任选一本读一章，按第 5 章三件套（摘录卡／翻译卡／问题墙）各至少一份。开学第一周交。任务二：一个暑假猜想（必做）——用第 4 章四冲程引擎跑一个自己的小课题（猜想—检验—证明或反驳—修正），至少两圈循环，产出两页「猜想档案」——这将是高二第一次研讨课的敲门砖。任务三：一次讲述（选做）——把学年里您最得意的一个证明或反例，讲给一位完全没学过的人听（家人、朋友、小区里的初中生），录一段一分钟的复述：听的人哪里听懂了、哪里没懂——这是给 C 段论文季最好的预习。

任务书落款：「每一步可核验，每一句有出处」——研究营营规即任务书验收标准，开学见。

暑假任务的秘密：它不是作业，是保鲜剂——数学的手艺与琴一样，三个月不碰，开学第一周就要还债；三张卡片，就把债免了。

高二预习规划

学年最后一页：把通往 C 段的路画完。

内容地图：C 段《抽象之门》六章——群的第一课（对称与运算）、群的定义与例子、同构与不变量（克莱因纲领的正式化）、模运算与密码的代数升级（RSA 的数论地基初探）、伽罗瓦故事初读（五次方程无解的传奇）、综合站（学年总答辩：抽象之门答辩会）。与本册的接口：冬季册策略公理化（第 3 章）、本册 1 的 n 次根（第 2 章 p.17）、四元数与算律代价（第 3 章 p.11）——三处伏笔将在 C 段合流。

方法地图：公理化眼光（非欧章）、结构化抽象（矩阵、复数）、策略分析（博弈章）——三件旧武器合铸新剑：把「运算＋算律」本身当研究对象。预习自测：给定「时钟 12 点制」，您能回答「2 加 10 等于几？8 的逆元是谁？」吗？——这就是群论的日常。

预习任务三档（对应任务书选做③）：轻档——翻 C 段目录，每章猜一句「会讲什么」；中档——精读第一章前三页，把「单位元、逆元、封闭」三词各抄一例；重档——把本册问题墙上与「结构」「对称」相关的 10 条问题分类，预判它们会在 C 段哪一章被回答。

本册收官一行：从高斯的 5050 到 i 的 90° 旋转，从 P 态机器到贝叶斯的方向盘，从球面 270° 到曼德博的一行递推——三学期您反复验证同一件事：数学的力量，来自「结构清晰」四个字。夏季，抽象之门为您开。

预习的最高境界依旧是：带着问题等。问题在手，开学第一周就已经在研究了——这一条本册说了三次，因为它比任何公式都保值。