对称与变化

本书怎么读：一章十五页

全书按「章」前进，每章恰好十五页。理论章的节奏是：第 1–3 页概念（从身边事引进新概念，配定义框）、第 4–8 页方法（法则一条一条立起来）、第 9–12 页例题（例 1–例 4，带完整解答）、第 13 页思想卡（一页只说一个数学思想）、第 14–15 页格物札记（把《九章算术》的古智慧与现代数学接通）。游戏章的节奏是：导入→规则→试玩×3→策略×3→进阶×3→复盘→思想卡→对弈赛→任务。综合站的节奏是：导入→热身→挑战×5→讲评→进阶×2→创意工坊→复盘→思想卡→对弈赛→任务。

写法约定（TEX 标准）：分数写成上下两层的 12；绝对值写成 |−3| ＝ 3；未知数用字母 x，方程写作 3x ＋ 5 ＝ 20；不等号 ＞ ＜ ≥ ≤ ≠ 各就各位；平方根写作 √2，平方与立方用小肩数字 x²、a³；点坐标写作 (2, −1)；函数写作 y ＝ 2x − 1；圆周率 π ≈ 3.14。中括号写成 ［　］，比例号 ∶。

导入：伸缩门里的四边形

学校大门口的伸缩门，由一串交叉的杆件连成——整扇门可以自由拉长、压短，却始终平整不散架。秘密在每一个「四连杆」单元：四根杆首尾相接构成的四边形，不稳定（可以变形）；而三角形结构则是刚性的。

工程师用四边形的「可动」做伸缩门、折叠衣架、升降台，用三角形的「不动」做桥梁与屋顶桁架——稳定性与不稳定性，都是财富。

本章主角是四边形家族：从「可以动」的平行四边形出发，逐步加约束，直到「最端正」的正方形。

平行四边形的定义

「两组对边分别平行」是它的法定身份：一组平行只算梯形（或一般四边形），两组平行才是平行四边形。这个定义看似朴素，却「藏着大量财富」——下一页将看到，平行这一句话能免费兑换出边、角、对角线三组性质。

与三角形对比：三角形三条边一旦确定，形状就锁死（SSS 全等）；四边形四条边确定了还能扭动——这正是伸缩门的原理。

定义是「一句话的合同」：签字（两组对边平行）之后，附带条款（性质）自动生效。

性质：边·角·对角线

三条性质的共同来源是对角线分出的全等三角形：连 AC，由 AB∥CD、AD∥BC 与公共边 AC，ASA 得 △ABC≌△CDA——对边相等、对角相等一次到手。连两条对角线，再用一对全等，得互相平分。

「对角线互相平分」是四边形里最实用的性质：它说明 ▱ 的中心是对角线的中点——对称中心（第六章正式命名）。

性质不是背出来的，是「连一条对角线、证一对全等」出来的——平行四边形是全等三角形最好的练兵场。

判定五法

五法互为逆定理：性质「正着读」是性质，「反着用」是判定。①是出身（定义），②③④⑤是学历（可证的充分条件）。

易混警示：③要求「平行且相等」同一组对边——一组对边平行、另一组相等的可能是等腰梯形！这是判定题的第一陷阱。

「性质 ↔ 判定」互逆成对出现，是几何的一大风景：上一章角平分线如此，本章四边形如此。

判定选择策略

拿到条件，按「手头有什么」选判定：看到平行——凑「一组平行且相等」（法③）或另一组平行（法①）；看到中点——连对角线，走「互相平分」（法⑤）；看到边相等——凑两组对边（法②）；看到角——两组对角（法④）。

「中点」是本章关键词：出现两个中点，优先想对角线互相平分或构造全等——中点连线本身就是常用辅助线。

判定选择是「条件匹配」游戏：不背「最强判定」，只找「最顺路」的判定。

中点四边形

证明：连原四边形对角线 AC。△ABC 中，E、F 是 AB、BC 中点——EF∥AC 且 EF＝12AC（三角形中位线定理）。同理 HG∥AC 且 HG＝12AC。于是 EF∥HG 且 EF＝HG，法③判定 ▱。

彩蛋：中点四边形的形状由原四边形的对角线决定——对角线相等 ⟹ 中点四边形是菱形；对角线垂直 ⟹ 是矩形。原对角线既等且垂 ⟹ 正方形。

中位线定理是「中点世界」的宪法：平行且减半——两个中点一出现，就要想到它。

面积与等积变换

等积变换：平行四边形沿同底推斜，面积不变——「底不变、高不变 ⟹ 面积不变」。这与《九章》方田章「以盈补虚」的出入相补原理一脉相承：把左边突出的一块「补」到右边凹进的空缺，平行四边形化为等积矩形。

等积命题：同底等高的平行四边形面积相等；平行四边形被一条对角线分成两个全等（等积）三角形。

面积把「位置」抹掉、只留「底与高」——等积变换是几何里最早的「不变量」之一。

平行四边形中的计算

计算题三类：①角度——用对角相等、邻角互补，配合角平分线（▱ 的角平分线常造出等腰三角形！）；②周长——对角线分周长（△ABO 周长 = AB+12(AC+BD)）；③面积——两组底×高，交叉验证。

角平分线模型：▱ABCD 中 ∠A 的平分线交 BC 于 E——∠BAE＝∠EAD＝∠AEB（内错角），故 AB＝BE：角平分线截出等腰三角形。这一招在计算与证明里反复出现。

「连对角线」「找角平分线」是四边形计算的两大扳手——扳手在手，题目拆得动。

例1 性质应用

解：∠C＝180°−110°＝70°，∠D＝110°（对角）。CE 平分 ∠C ⟹ ∠BCE＝∠ECD＝35°；∠DEC＝∠BCE＝35°（内错角）⟹ DE＝DC＝3。AD＝AE+ED＝5。周长＝2×(5+3)＝16。

角平分线截出等腰 ▱：DC＝DE——模型直接落地。

例2 判定证明

证明：连 AC 交 BD 于 O。▱ABCD ⟹ OA＝OC、OB＝OD；BE＝DF ⟹ OB−BE＝OD−DF，即 OE＝OF。对角线互相平分（OA＝OC、OE＝OF）⟹ 四边形 AECF 是平行四边形（法⑤）。

「对角线交点为原点」的意识：一切关于中点的等量，都在 O 点两侧对账。

例3 中点四边形证明

证明：由中位线定理，EF∥AC、FG∥BD，故 EF 与 FG 的夹角＝AC 与 BD 的夹角＝90°。又 EFGH 是平行四边形（中点四边形定理），有一个角是直角的平行四边形是矩形。

「中点四边形的形状由原对角线决定」的现场证明——垂直对角线 ⟹ 矩形。

例4 动点与面积

解：0≤t≤6（P 在 AB 上）：△APD 底 AD＝4、高恒为 h＝3（P 沿平行于 AD 的直线移动），面积恒为 6；6≤t≤10（P 在 BC 上）：同理由平行性，高仍为 3，面积 6；10≤t≤14（P 在 CD 上）：P 向 D 逼近，面积线性减到 0。

图像：两段水平线 + 一段下降直线——「平行 ⟹ 距离不变 ⟹ 面积不变」的动态版。

动点题的本质是函数图像题：分段找不变量与线性段——几何与函数在此合流。

对边的约定造就对称的形

扫码开玩 ·「平行四边形馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=1

札记① 从《九章》方田到平行四边形

方田章 38 问覆盖方田（矩形）、圭田（三角形）、邪田（直角梯形）、箕田（等腰梯形）——却没有「斜方形」。因为中国古代的面积算法走「出入相补」路线：任何直边形都能剖补成矩形，平行四边形只是中转站，不值得单独立术。

刘徽注里「以盈补虚」四个字，正是等积变换的精髓——与现代教科书把 ▱ 剪拼成矩形的动画，一步不差。

札记② 变换观点下的四边形

用变换重排四边形家族谱系：平移生成平行四边形；旋转 180°（中心对称）同样生成 ▱；对 ▱ 加「翻折对称」得矩形或菱形；四条对称轴齐备 ⟹ 正方形。克莱因式的眼光（见 M2-1 札记）在此大显身手：对称性越多的四边形，越特殊。

19 世纪以前，四边形按「边的相等」分类；变换几何兴起后，按「对称群的大小」分类——同一批图形，换了一套坐标系，连「特殊」的定义都变了。

分类标准是人为的，但好标准让结构显形——变换就是那个好标准。

导入：矩形菱形正方形一家亲

平行四边形家族的开枝散叶：给 ▱ 加「一个直角」⟹ 矩形；加「一组邻边相等」⟹ 菱形；两者都加 ⟹ 正方形。三个名字，一张家谱：正方形既是特殊的矩形，也是特殊的菱形——它同时继承了双方的全部财产。

本章的任务是「管好这份财产」：每一层新约束兑换哪些新性质？判定时该从哪一层下手？折叠与计算题里怎么层层识别身份？

「特殊」是有代价的：约束越多，图形越端正，也越稀少——数学的分类学，从这里开始有了「层级」的味道。

矩形的性质与判定

对角线相等是矩形的「指纹」：▱ABCD 中 AC＝BD ⟹ 矩形。直角三角形斜边上的中线等于斜边一半——这一定理由「直角 + 对角线相等 + 互相平分」一步推出，是矩形最常用的衍生结论。

矩形是「直角遇见平行四边形」：一次遇见（一个直角），四角全部跟直——平行把直角复制粘贴到每个角落。

菱形的性质与判定

菱形面积双公式：底×高，或 12×对角线乘积（两条对角线把菱形分成四个全等直角三角形，逐块求和即得）。

「对角线平分对角」让菱形成为「自带的角平分仪」：菱形镜片能将入射光沿角平分线反射——自行车尾灯的原理。

矩形管「角」，菱形管「边」：一个驯服了角度，一个统一了长度——正方形把它们全部收编。

正方形：集大成者

判定路径两条：▱ → 加直角 → 加邻边等；或 ▱ → 加邻边等 → 加直角。殊途同归——「两条路都通」正说明正方形是两级约束的共同交点。

正方形的对称性登峰造极：4 条对称轴 + 中心对称。它是唯一「旋转 45° 后与自身错位重合仍显得端正」的四边形——旋转对称群有 8 个元素。

从 ▱ 到正方形，对称元素从 2 个涨到 8 个——「特殊」的程度，可以用对称的多少来度量。

中点四边形再研究

用上一章的结论反观本家谱：任意四边形 → 中点四边形是 ▱；对角线相等（等腰梯形、矩形）→ 中点四边形是菱形；对角线垂直（菱形）→ 中点四边形是矩形；对角线既等且垂（正方形）→ 中点四边形是正方形。

妙处：中点四边形的「身份」由原对角线决定，与原四边形是 ▱ 与否无关！等腰梯形的中点四边形是菱形——「越界」的结论，恰是检验理解的试金石。

一层约束（对角线）决定下一层身份（中点四边形）——家谱不止一棵树，而是一张对应表。

特殊四边形中的计算

计算三板斧：①勾股——矩形对角线 c＝√(a²+b²)；菱形对角线互垂 ⟹ 一半对角线与边构成 Rt△（边²＝(d₁2)²+(d₂2)²）；②面积——矩形 a×b，菱形 12d₁d₂，正方形 a² 或 12d²；③角度——正方形对角线 45°，矩形对角线夹角的等腰三角形。

经典组合：菱形两对角线 6 与 8 ⟹ 边长 5（勾股数 3-4-5 减半）⟹ 面积 24、周长 20——一道题串起三个公式。

特殊四边形的计算题，一半是勾股定理的「换装演出」——第一章的老朋友，处处返场。

折叠问题

矩形与菱形的折叠是「轴对称 + 勾股 + 特殊四边形性质」的三方会谈。通用流程：①标出翻折保持的等长等角；②在重叠区域的直角三角形设未知数列勾股方程；③用四边形性质（对边相等、对角线互分）提供边长关系。

高频模型：矩形沿对角线折叠 ⟹ 重叠部分是等腰三角形（内错角 + 翻折角相等）；矩形折角落在对边上 ⟹ 勾股定落点。

折叠题的地图就三站：对称取等 → 找直角三角形 → 勾股解 x——M2-1 两章的老套路，在新的图形里再走一遍。

判定与证明综合

综合证明的「身份递进」策略：先证 ▱（挑最顺的判定法），再加一层约束证矩形或菱形，最后证正方形。跳级是大忌——直接证「四边相等且四角直」事倍功半，逐级递进每步都短。

书写模板：「∵ ⋯ ⟹ ▱ABCD（法⑤）；又 AC⊥BD ⟹ 菱形；又 ∠A＝90° ⟹ 正方形。」三句三行，证据链完整。

证明「最特殊」的图形，走的永远是「最短路径树」：一级一个判定，行行有依据。

例1 矩形对角线计算

解：OA＝OB＝5，∠AOB＝120° ⟹ ∠AOB 的邻补角 60° ⟹ △AOB 等边（取 ∠BAO 侧）——细看：∠AOD＝120° 时 △AOD 中 OA＝OD、顶角 120°，底角 30° ⟹ ∠ADB＝30° ⟹ AB＝12BD＝5（30° 角对半斜边）。AD＝√(100−25)＝5√3。

矩形对角线的等腰三角形 + 30° 角定理——两个老模型接力。

例2 菱形面积

解：边长 5。对角线互垂平分 ⟹ 半条另一对角线＝√(5²−4²)＝3 ⟹ 另一对角线 6。面积＝12×8×6＝24。

又是 3-4-5：菱形里藏着四个全等的 3-4-5 直角三角形——勾股数是特殊四边形的常驻嘉宾。

例3 折叠求边长

解：翻折保长：AD＝AF＝10，DE＝FE。Rt△ABF 中 BF＝√(AF²−AB²)＝√(100−64)＝6 ⟹ FC＝BC−BF＝4。

设 CE＝x，则 DE＝FE＝10−x。Rt△EFC 中勾股：(10−x)²＝x²＋4²，展开 100−20x＝16，x＝4.2。答：CE＝4.2。

折叠三件套（对称取等、勾股列方程、设短边）再次通车——矩形换成新尺寸，方法一寸未变。

例4 证明题规范

证明：AE∥CF（▱ 对边），⟹ ∠EAO＝∠FCO；∠AOE＝∠COF（对顶角），OA＝OC ⟹ △AOE≌△COF（ASA）⟹ OE＝OF。又 OA＝OC ⟹ AECF 对角线互分 ⟹ ▱；EF⊥AC ⟹ 菱形（判定③）。

三行证据链：全等 → ▱ → 菱形——「身份递进」模板的实弹演练。

定义叠加：概念的层级

扫码开玩 ·「特殊四边形馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=2

札记① 欧几里得的四边形定义链

《几何原本》卷一定义：「在四边形中，四边相等且四个角是直角的叫正方形；四角直角但边不等的是长方形（oblong）；四边相等但角不直的是菱形（rhombus）；对边相等对角相等且不满足前述的，叫平行四边形（rhomboid）；其余叫梯形。」

注意欧氏的分类是并列式（正方形不是矩形的特例），而现代教科书改为包含式（正方形 ⊂ 矩形 ⊂ ▱）。包含式让「性质继承」名正言顺，是 19 世纪以后集合论思维的胜利——定义方式本身，也是数学史。

札记② 从四边形到铺满平面

哪种四边形能铺满平面（不留缝不重叠）？任何三角形、任何四边形都可以：内角和 360°，四个不同角绕一点恰好拼满。但正多边形中只有正三角形、正方形、正六边形能独挑大梁。

半正则镶嵌（阿基米德镶嵌）用两种以上正多边形配合，共 11 种——伊斯兰建筑早就把它们画满了穹顶。2011 年，数学家还发现了凸五边形镶嵌的第 15 种、也是（截至当时）最后一种：一个看似幼稚的问题，拖了整整一个世纪。

「铺满地面」是幼儿园的问题，答案却到 21 世纪才收齐——数学的深浅，从不按年龄标注。

导入：水费阶梯价：分段的生活

某市水价：每年 180 吨以内 3.5 元/吨；180–260 吨的部分 4.5 元/吨；260 吨以上 6 元/吨。一家年用水 300 吨，水费 ＝ 3.5×180+4.5×80+6×40 ＝ 630+360+240 ＝ 1230 元。

这个「阶梯价」是一次函数应用的头号范本：不同区间，不同斜率——函数图像像三级台阶。生活里的分期费率、个税、快递计费，全是同一张脸。

本册主轴「盈不足 · 均输」：古代算学家研究「按比例摊派、按盈亏调价」，今天的一次函数应用题，就是它们的现代面孔。

一次函数应用类型综述

五大题型地图：①方案选择（两家方案、交点定界）；②分段计费（阶梯价，分段列式）；③调运规划（设未知数表示调运量，列总费用函数）；④图像信息题（从图读条件，反求解析式）；⑤最值决策（一次函数在区间上取最值，落在端点）。

共同骨架：设自变量 → 列解析式 → 定实际范围 → 求值/比较/最值。M2-1 建模四步的「应用题加强版」。

五大题型共用一副骨架——应用题的「多」，是同一套动作的「重复」。

方案问题的结构

方案问题的标准结构：两个线性函数，比较大小。y甲＝k₁x+b₁，y乙＝k₂x+b₂，令 y甲＝y乙 得临界点 x₀；x＜x₀ 谁便宜、x＞x₀ 谁便宜，由 k 的大小定方向。

三段式答案模板：「①求交点 x₀；②分类：当 x＜x₀ 时……当 x＞x₀ 时……；③作答：建议（按实际情况选方案）。」——分类讨论的雏形，答案必须「完整覆盖所有区间」。

方案题的正义是「分类完整」：漏一个区间，答案就是伪证。

方案选择建模

建模示范：学校团购笔记本，甲店：单价 5 元，满 100 本打 8 折；乙店：单价 4.5 元无折扣。买 x 本（x≥100）：y甲＝4x，y乙＝4.5x——甲恒优！改条件：甲店满 200 本才打折呢？x＜200：y甲＝5x＞4.5x＝y乙；x≥200：4x＜4.5x——临界点移到 200，方案在 x＝200 处切换。

条件变化 ⟹ 临界点移动——「敏感性」意识：比结论更重要的，是结论在什么条件下成立。

方案题训练的是「条件—结论」的因果手感：改一个数字，重算一遍临界点，直觉就长出来了。

分段函数建模

阶梯水价建模（导入的数据）：0≤x≤180：y＝3.5x；180＜x≤260：y＝3.5×180+4.5(x−180)＝4.5x−180；x＞260：y＝630+360+6(x−260)＝6x−570。

三个检查点：①接缝连续——x＝180 处两段同为 630 ✓；x＝260 处 990 ✓（连续函数）；②斜率递增——3.5＜4.5＜6，图像越走越陡（惩罚多用水）；③范围标注——每段的自变量区间必须写。

分段函数的「接缝连续性检查」是建模者的职业习惯：接不上缝，说明费用算重或算漏。

调运与最值初步

经典调运题：甲仓库有货 100 吨、乙仓库 80 吨，运往 A 城 60 吨、B 城 120 吨；甲→A 运费 20 元/吨、甲→B 25、乙→A 15、乙→B 24。设甲运往 A 城 x 吨（0≤x≤60），则甲→B 为 100−x，乙→A 为 60−x，乙→B 为 80−(60−x)＝20+x。总运费：

W ＝ 20x+25(100−x)+15(60−x)+24(20+x) ＝ 4x+4580

k＝4＞0 ⟹ W 随 x 增大而增大 ⟹ x＝0 最省：W最小＝4580 元。调运方案的本质：用约束方程消元，让费用只含一个变量。

「设一个未知数，用约束把其余都表示出来」——调运题的消元思想，正是《九章》方程章的核心手艺。

图像信息题

图像信息题的「读图三查」：查轴（横纵各是什么量、单位）；查关键点（起点、转折、终点、交点——每个点都是一条方程）；查段（每段的斜率是什么现实含义——速度快慢、单价大小）。

示范：水池进水图，0–5 分钟水位升 20 cm（斜率 4），5 分钟后改为出水，15 分钟回到 0（斜率 −2）——斜率的正负与大小，就是「进水/出水/快慢」的翻译词典。

图像信息题考「翻译」：把图像语言译回现实语言——三查走完，解析式自动浮出。

函数与方程组联立

两条直线的交点，可以「代数求」也可以「图像读」：y＝2x+1 与 y＝−x+4 联立，2x+1＝−x+4 ⟹ x＝1，y＝3——交点 (1,3)。图像上两条直线确实交于这一点。

应用落地：两条「费用线」的交点就是方案临界点；两条「行程线」的交点就是追及时刻——联立 = 求交点 = 找临界。M2-1 学的方程组，在这里找到了最自然的战场。

方程组的解是「共同满足」，几何上是「共同到达」——代数与现实的又一次对码。

例1 套餐选择

解：yA＝0.15x+19，yB＝0.25x。0.15x+19＝0.25x ⟹ x＝190 分钟。x＜190 选 B；x＞190 选 A；x＝190 任选。

交点 (190, 47.5)：每月恰打 190 分钟，两种套餐同价 47.5 元

例2 阶梯水费

解：先判断档位：260 吨时 y＝990＜1050，故超出第二档。6x−570＝1050 ⟹ x＝270 吨。

方法要点：先「定位档位」再解方程——分段函数反求自变量，必须先确定所在段。

例3 调运方案

解：约束变为 0≤x≤60 且 (100−x)≤90 ⟹ x≥10。W＝4x+4580 在 [10,60] 上递增 ⟹ x＝10 最优：甲→A 10 吨、甲→B 80 吨、乙→A 50 吨、乙→B 30 吨，W＝4620 元。

新约束改变了「定义域」，最值点随之改变——最值永远长在定义域上。

例4 图像综合题

解：货车 y＝60t（t 从 8:00 起算），轿车 y＝90(t−1)。追上：60t＝90t−90 ⟹ t＝3，即 11:00，距甲地 180 km。轿车到达：t−1＝30090＝103 小时，即约 12:20。

行程图像的交点 = 追及，纵截距 = 先发优势——把第 7 页的「三查」用到底。

〔盈不足〕从盈亏试值到函数择优

扫码开玩 ·「方案选择馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=3

札记① 线性思想：最简单的依赖

「线性」是数学中最古老的依赖关系之一：《九章》粟米章的比率、衰分章的按比例分配，都是线性关系。线性之所以无处不在，因为它是「公平」的代数：多一倍投入，多一倍产出；每一段的边际代价恒定。

当然，真实世界常是「分段线性」的（本章的阶梯价）乃至非线性的（下一章的反比例）。线性是模型，不是现实——但它是所有模型的起点与对照：任何复杂函数的局部，都「近似线性」（微积分的种子）。

学线性函数，是在学「依赖关系」的第一课：变量之间如何互相牵动——这一课将贯穿整个数学。

札记② 生活中的线性模型清单

一份可采集的清单：出租计费、快递首重续重、出租车等候费、水电阶梯价、通话套餐、里程报销、健身私教课时包（总价 = 单价×节数+办卡费）……每一条都能写成 y＝kx+b 或分段式。

反例同样珍贵：加速度运动（位移是时间的二次函数）、利息复利（指数）、压强与面积（反比例）——收集「像线性又不像」的案例，是对模型边界的最好训练。

带着这张清单走一周，您会发现：线性模型是现代生活的默认语法——而读出它的边界，是数学素养。

导入：两次考试成绩谁更稳

小华五次测验：85、90、95、88、92；小强五次：70、100、65、98、87。两人平均分都是 90——但谁的成绩更让人放心？显然小华：他稳。

「平均数」回答「总体水平」，回答不了「稳定程度」。衡量波动的主角是方差：把每个数据与平均数的偏离平方后求平均。小华的偏离都很小，小强的偏离巨大——方差一算便知。

统计学教的第一课：平均数只是半个真相，另一半在波动里。

方差概念深化

三问三答：为什么用「与平均数的差」？——波动是相对中心的摆动；为什么平方？——正负偏离不抵消（直接相加恒为 0！），平方让每个偏离都「作数」，还放大了大的偏离；为什么「求平均」？——消除数据个数的影响，实现公平比较。

验证小例子：1,3 与 2,2 的平均数都是 2；前者方差 12(1+1)＝1，后者 0——方差精确定义了「稳」。

方差的每一步设计都有理由——统计量不是公式，是一连串「为什么要这样算」的回答。

标准差与波动

为何开了方还要留方差？——平方后的量在数学上更「好算」（可加性强），很多公式用 s² 表达更简洁；而开口后的 s 与数据同单位、可直观解释。两者是「一份数据的两个译本」。

经验判断：s 约等于「数据离平均的典型距离」。小华 s≈3.4 分，小强 s≈13.9 分——「典型偏离」差了四倍。

方差管运算，标准差管解释——两兄弟分工，一个在后台，一个在前台。

方差计算进阶

三条简化性质（都可从定义推出）：①每个数据加常数 a，方差不变（整体平移不改变波动）；②每个数据乘 k，方差乘 k²（标准差乘 |k|）；③数据 x₁⋯x_n 的方差 ＝ 1n(x₁²+x₂²+⋯+x_n²) − (平均数)²（平方和公式，免减平均，量大时省力）。

应用：8, 9, 10, 11, 12 的方差？——它就是 0,1,2,3,4 平移来的，先算后者的方差 2，答案 2。整体平移不变性立功。

先化简再计算是统计计算的美德：利用性质走捷径，而不是死算大数。

用方差做决策

决策场景三例：①选拔——两名射击手平均环数相同，选方差小者（稳）；②采购——两家工厂灯泡平均寿命相同，选方差小者（质量一致）；③投资——两种基金平均收益相同，方差小者风险低。

决策纪律：先比平均，再比方差——平均差异悬殊时方差是次要矛盾；平均相当时，方差才升为第一判据。「稳」从来不是唯一目标：有时要主动选方差大的（创新项目的回报分布）。

方差是中性的：它只是「波动的大小」，是福是祸取决于您在赌稳定还是赌惊喜。

离散与集中的对照

把 M2-1 学的中位数、众数请回来，与方差组成「数据体检全项」：集中趋势（平均/中位/众数——数据挤在哪）与离散程度（方差/极差——数据散多开）互相补位。

极端案例：数据 1,2,3,4,100——平均数 22 被极端值拉飞，中位数 3 稳如泰山，方差 1504 惊人。先看离散再看平均：方差大时，平均数的代表性要打问号。

「集中」与「离散」是数据的一对坐标轴：只报一个，就是只交一半卷。

统计图表综合分析

方差 + 图表的联合阅读：折线图看走势（斜率），散点看散布（方差的形象化），直方图看分布（集中区与尾巴）。三图联用的口诀：走势、散布、分布，一图一问。

综合题常设陷阱：两图坐标轴刻度不同，视觉上「波动悬殊」实际方差相同——先查刻度再下结论（下学期《统计图表的真伪》将全面清算这类骗术）。

图表是数据的「化妆」：化妆可以美化也可以欺骗——先查刻度，再看妆容。

数据分析报告撰写

报告四段式：①数据来源（谁、何时、怎么收集——样本代表性）；②集中与离散（平均数/中位数 + 方差/标准差，配一图）；③结论（用统计量说话，一句一个证据）；④局限（样本小？有异常值？——主动交代弱点）。

第四段最见水平：敢写「本调查仅访问了 30 人，结论有限」的报告，比满篇豪言的报告可信十倍。承认局限是统计的成年礼。

数据报告的尊严来自诚实：统计量会算错，态度不能错。

例1 方差计算比较

解：甲平均 90，偏离 −5,0,5,−2,2，平方和 25+0+25+4+4＝58，s²甲＝11.6。乙平均 84？——核算：70+100+65+98+87＝420，平均 84。偏离 −14,16,−19,14,3，平方和 196+256+361+196+9＝1018，s²乙＝203.6。

注意乙的平均不是 90——「设平均相等」是导入的简化，真实数据要先算平均。差距 11.6 : 203.6，稳定性一目了然。

例2 决策类问题

解：甲平均 900，乙平均 920。平均乙高，但方差乙显著更大（950 与 850 大起大落）。若追求「不早坏」（工程可靠性），且平均差距不大，可考察「最差表现」：甲最差 880，乙最差 850——用最差值兜底决策。结论：重视下限选甲，重视上限选乙，须写明理由。

决策没有唯一答案，只有「依据充分」的答案——统计决策考的是说理。

例3 综合图表题

解：平均＝(8×1.8+12×2.0+10×2.2+6×2.4)÷36＝(14.4+24+22+14.4)÷36＝74.8÷36≈2.08 米。中位数：第 18、19 个数据落在 2.0 组，中位 2.0。

波动：组间极差 0.6，偏离集中在 ±0.2 内——数据相当集中，平均数代表性好（加权方差≈0.039）。

例4 报告评价与修改

评析：①样本代表性——一个班 ≠ 全校（年级差异、食堂档口差异）；②以偏概全——应改为「本班同学中 85% 表示满意」，或扩大样本重新调查。若原数据未给样本量与抽样方式，还要补第三条：过程透明。

评价报告的能力 = 防骗能力：发现「样本、范围、过程」三处漏洞，您就不会轻易被统计数字说服。

波动也是信息

扫码开玩 ·「方差实验室」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=4

札记① 误差思想与实验科学

任何测量都有误差：同一张桌子量五次得 1.204, 1.199, 1.201, 1.203, 1.198 米。伽利略与开普勒的时代，科学家学会了两件事：用平均抵消随机误差，用波动幅度评估测量质量——这是方差思想的实验源头。

19 世纪高斯与拉普拉斯建立误差理论：测量误差常近似服从「正态分布」，其宽度正是标准差。从此「给一个数，必须附带不确定度」成为实验科学的铁律——现代物理报告里的 ±0.003，就是标准差的通行证。

札记② 大数据时代的波动观

大数据时代，「平均」的神话进一步瓦解：电商 knows 您不是「平均用户」，推送系统为每个人单独建模——个体差异（方差）本身成了金矿。保险定价、信用评分、精准医疗，本质都是「把方差细分到个体」。

反过来，滥用个体数据也制造新的不公（大数据杀熟）。数学给您的免疫力是：看清「平均」与「波动」各说了什么，追问「这个数字对我这个个体意味着什么」。

averages serve the crowd, variance defines the individual——平均服务群体，方差定义个体。两把钥匙，都要在手里。

导入：压强与面积：此消彼长

同一台冰箱，四脚着地稳稳站立；换成单脚着地（想象一根立柱），压强瞬间翻四倍——压强 P＝FS：压力一定，受力面积越小，压强越大。一个增，一个减，乘积不变——这就是反比关系。

骆驼宽大的脚掌、书包宽背带、图钉尖与钉帽——生活处处在调「面积与压强」的跷跷板。这种「乘积恒定」的关系，写成函数就是 y＝kx。

一次函数讲「匀速变化」，反比例函数讲「守恒的对峙」——变化的数学，有两种基本脾气。

反比例函数定义

三种等价写法：y＝kx；y＝kx⁻¹；xy＝k。第三种最直白地暴露本性：两个变量之积是常数——「反比例」的名字由来。

与正比例 y＝kx 对照：正比例是「商不变」（y÷x＝k），反比例是「积不变」（y×x＝k）。一字之差，脾气迥异。

判断反比例只认一条：变形后是否 xy＝k。y＝kx+1 就不是（多了一个尾巴）。

图像：双曲线

用描点法画 y＝6x：x 取 ±1,±2,±3,±6⋯ 对应 y＝±6,±3,±2,±1⋯——图像是两支曲线，合称双曲线：第一、三象限各一支（k＞0 时）。

两条关键性格：①永不相交坐标轴——x≠0 且 y≠0，曲线无限贴近 x 轴与 y 轴却永不触碰（这两条轴叫渐近线）；②断成两支——x＝0 处没有定义，图像在此「跳崖」。

「无限接近却永不相交」——双曲线把「极限」的直觉提前送到了您面前。

性质：k 的符号与象限

细节纪律：增减性必须限定在「每个象限内」说——跨象限比较大小（如 x＝−1 与 x＝1 处的函数值）不能直接用增减性：k＞0 时 y(−1)＝−k＜0＜y(1)＝k，「增减」被断点拦腰截断。

这是初中阶段「增减性要带范围」的第一课——高速路上的限速只在本路段有效。

「在每个象限内」六个字是反比例函数考题的第一陷阱，也是严谨性的第一块试金石。

k 的几何意义：面积不变

「恒定的矩形」是双曲线的身份证：无论 P 走到哪支曲线的哪个位置，脚下的小矩形面积不变——这正是「乘积不变」的几何化身。三角形版本：连 OP，三角形面积＝12|k|。

考题姿势：给面积反求 k（注意符号由象限定）；给 k 求面积；给两个点的矩形面积相等证「点在同一双曲线上」。

第一章的等积变换（同底等高面积不变）、本章的等积矩形——「不变量」思维第三次登场。

与一次函数综合

双曲线与直线同台：求 y＝4x 与 y＝x+1 的交点——联立 4x＝x+1 ⟹ x²+x−4＝0，x＝−1±√172——根式登场（第二章的功力兑现），交点坐标含无理数，图像上「看得出位置、写不出整数」。

另一种综合：双曲线的对称性（关于 y＝x 对称）与直线交点的对称分布——两交点若在 y＝x 上对称，坐标互为倒数位置。

反比例与一次函数的综合 = 勾股 + 根式 + 方程的联合会诊——全书知识在此互相出诊。

实际问题建模

反比例建模三步：①找守恒量（压力×面积、总量×份额、速度×时间、单价×数量）；②定 k（一组已知值）；③划范围（实际问题里 x＞0，且常有上限）。

示范：400 名学生分坐若干辆车，每车 x 人、需要 y 辆：y＝400x（x≤50 且 x≥10，x 取 400 的因数）——「整除」约束让连续曲线散成一串允许的点：实际模型常把曲线「拍」成离散格点。

建模时记住：现实给曲线加了两道箍——定义域（正数）与整除性（有时）。

增减性的细节辨析

辨析三连：①「y 随 x 增大而减小」必须带「在每个象限内」；②k 的符号决定象限与增减方向，二者联动记：k＞0 ⟹ 一、三象限 + 减；③比较函数值大小先看是否同支（同象限）——异支比大小看正负即可。

易错题演习：k＞0 时比较 x₁＜0＜x₂ 处的函数值——y₁＜0＜y₂，与「减」无关（跨支了）。

反比例函数教会您：任何「单调」的断言，都要先问一句「在哪段上说」。

例1 判断与画图

解：① ✓（k＝3）；② ✓（xy＝−5，k＝−5）；③ ✓（y＝1/2x，k＝12）；④ ✗（分母 x+1 不是 x——系数变成平移，不是反比例）。

画图示范 ③：先变形成标准形再描点，别硬除。

例2 k 的几何意义应用

解：|k|＝8；P 在第一象限 ⟹ k＝8。x＝4 ⟹ y＝2。

变式：若改在第三象限找到同曲线上的点，k 仍为 8（k 是曲线的固有属性，与点无关）。

例3 两函数交点问题

解：2x＝x−1 ⟹ x²−x−2＝0 ⟹ (x−2)(x+1)＝0 ⟹ x＝2 或 −1。交点 (2,1) 与 (−1,−2)——两支各接一位客人。

判别式意识：x²−x−2＝0 有两个不等实根 ⟹ 两个交点；若判别式＝0，直线与双曲线相切（切于一支）；＜0 则错过。

例4 物理背景题：杠杆与压强

解：F·l＝200×0.5＝100 ⟹ F＝100l（k＝100 的反比例）。F≤50 ⟹ l≥2 m。

「给我一个支点，我能撬动地球」——阿基米德的豪言，数学上是：臂长足够，F 要多小有多小（但永不等于零！双曲线不碰横轴）。

物理公式常是反比例函数的仓库：压强、杠杆、欧姆定律（I＝U/R）——函数眼光一照，公式全部解码。

此消彼长：反比关系的普遍

扫码开玩 ·「双曲线馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=5

札记① 反比在《九章》：衰分与返衰

「衰分」是按等级比例递减分配（如按爵位分鹿），「返衰」则按反比分配：地位越高的分得越少、出得越多——两千年前的「负权重」思想。返衰术把各等级的「衰」取倒数再按比例分，本质是先做一次 y＝kx 的换算。

反比关系在《九章》均输章还有工程版：按路程远近摊派劳役，路远的少出、路近的多出——「返衰」的治理学。

札记② 双曲线的两千年

双曲线的名字来自阿波罗尼奥斯《圆锥曲线论》（约前 200 年）：平面斜切圆锥可得椭圆、抛物线与双曲线——反比例函数的图像，原来是圆锥的切面！开普勒发现彗星轨道是双曲线（或椭圆），引力反比于距离平方（F∝1r²）——自然界最著名的反比关系。

20 世纪，双曲线又出现在相对论中：能量与动量满足 E²−p²c²＝m²c⁴——在时空图上正是双曲线。「反比」与「双曲」，从分配问题一路写到宇宙深处。

一个初中函数，牵着一串伟大名字：阿波罗尼奥斯、开普勒、牛顿、爱因斯坦——双曲线是它们共同的签名。

导入：风车的旋转

风车转动，四片叶子的位置不断变化，但形状与大小纹丝不动——「绕一个定点转一个角度」的变换叫旋转。它是最自然的运动之一：钟表指针、摩天轮、拧瓶盖、钥匙开锁。

数学关心的是：旋转前后什么变了、什么没变？没变的那些，就是解题的支点。本章还引出旋转的特例——中心对称（转 180°）。

M2-1 学了翻折（轴对称），本章补齐旋转——等距变换家族的最后一位常驻成员到齐。

旋转三要素

旋转性质：①对应点到旋转中心的距离相等；②对应点与旋转中心连线的夹角＝旋转角；③旋转是等距变换——对应线段相等、对应角相等。

三要素缺一不可：只说「转 90°」不说绕谁、往哪转，结果有 4 种。这是「变换要完整指定」的第一课。

平移只要方向与距离，翻折只要对称轴，旋转要三样——要素越多的变换，描述越要精确。

中心对称与中心对称图形

中心对称 = 旋转 180° 的特例，坐标系里就是 (x,y)→(−x,−y)——「关于原点对称」。平行四边形是中心对称图形（对角线交点是对称中心），矩形、菱形、正方形继承此性质；等腰三角形与筝形则不是（它们只有轴对称）。

对称性格速查：轴对称 ⟺ 翻折重合；中心对称 ⟺ 倒转重合。扑克牌 A 设计成中心对称——倒着拿也一样。

「转半圈自己与自己重合」——中心对称是关于一个点的默契，轴对称是关于一条线的默契。

旋转作图

旋转一个点 P：连 OP，以 O 为圆心、OP 为半径作弧，按指定方向转 α 角——弧与角的交点即 P′。整图形旋转＝每个顶点逐一旋转，再顺次连接。

尺规要点：旋转角可用「圆弧 + 等角复制」作出；网格纸上直接数格 + 直角三角板量角更快。

常见考法：三角形绕某顶点转 90°——旋转后「新旧对应边互相垂直且相等」：OA⊥OA′、OA＝OA′，这条性质本身就是辅助线的来源（下一页）。

旋转作图的三句口诀：定中心、定方向、转角度——每个顶点都要走完三步。

旋转性质应用

旋转后的「等腰直角 triangle 彩蛋」：把线段 OA 绕 O 转 90° 得 OA′——△OAA′ 是等腰直角三角形（OA＝OA′、∠AOA′＝90°）。这一「旋转必造全等或特殊三角形」的性质，是几何作辅助线的金矿。

应用模板：题目出现「共端点的等线段」（正方形的两邻边、等腰三角形的两腰），就往「把一条绕公共端点旋转」的方向想——旋转自动搬运条件。

上一章「翻折制造等量」，本章「旋转搬运条件」——变换是几何的起重机。

旋转变换证题：手拉手模型

经典证例：等边 △ABD 与等边 △ACB 共底 AB——连 DC、分别连 AD 与 BC 的延长……更标准的版本：共顶点 O 的两个等腰三角形 OAB 与 OCD（OA＝OB、OC＝OD、顶角相同），则 △OAC≌△OBD（SAS：OA＝OB、OC＝OD、∠AOC＝∠BOD——各加同一个顶角）⟹ AC＝BD 且夹角恒等于顶角。

「手拉手」的证明只有一句：两边成比例……不，两边相等、夹角同加——旋转视角让「同加一个角」变得显而易见。

旋转与最值：费马点初步

名题：△ABC 内一点 P 到三顶点距离之和 PA+PB+PC 最小——这个点叫费马点。初等解法正是旋转：把 △APB 绕 B 旋转 60° 到 △A′P′B——PA+PB+PC＝A′P′+P′P+PC（P′P＝PB，因等边），三段折线化「A′P′P＋PC」，最短时四点共线！

结论：费马点对每边的张角都是 120°（当三角形各角都小于 120° 时）。「折线最短 + 旋转拼角」是这类最值题的双引擎。

将军饮马用翻折化折为直，费马点用旋转——「最短路径」问题的两大变换武器就此集齐。

图案设计

用「基本图形 + 旋转」可以生成无数图案：把一个花瓣绕中心转 60° 五次得六瓣花；把一个小正方形绕顶点连转 90° 得风车；剪纸的团花 = 折叠剪样 + 展开成旋转对称图案。

设计流程：①选基本件 → ②定旋转角（360°÷份数）→ ③叠加对称（轴对称可再加倍丰富）→ ④检验（旋转多少度与自身重合？对称轴几条？）。

图案 = 图形 × 变换。初中几何的三大变换（平移、翻折、旋转）学完，您已经拥有了完整的「图案语法」。

例1 旋转计算

解：旋转把线段 AE 搬到 AF：AE＝AF（旋转保长），旋转角 ∠EAF＝90° ⟹ △AEF 是等腰直角三角形 ⟹ EF＝√2·AE。

设 AB＝4：AE＝√(AB²＋BE²)＝√(16＋9)＝5，故 EF＝5√2。同时旋转给出 DF＝BE＝3、∠ADF＝90°——等长与直角两份赠品一起到手。

旋转 90° ⟹ 等腰直角三角形 ⟹ 新线段 = √2 倍——这一条「旋转三件套」请整套带走。

例2 手拉手全等

证明：共顶点手拉手：AB＝AC、AD＝AE；∠BAD＝∠BAC−∠DAC，∠CAE＝∠DAE−∠DAC，而 ∠BAC＝∠DAE＝60° ⟹ ∠BAD＝∠CAE ⟹ △ABD≌△ACE（SAS）⟹ BD＝CE。夹角：整个图形可由绕 A 旋转 60° 把 △ABD 转到 △ACE，对应线段 BD 与 CE 的夹角＝旋转角＝60°。

手拉手模型的「夹角=顶角」结论，用旋转一眼看穿——比角度追认快十倍。

例3 旋转最值

解：由第 7 页，费马点处三个张角都是 120°。方法预演：把 △APB 绕 B 旋转 60°，PB 变成等边三角形的一边，PA+PB+PC 化为一条折线；折线最短时四点共线（化折为直）。对等边三角形（各角均 60°＜120°），费马点恰为中心，到各顶点距离为 2√3。最小值＝3×2√3＝2√3。

本题完整推导将进阶版展示；今日只需带走方法：旋转 60° → 折线化直线 → 四点共线。

例4 图案设计创作

参考：单个 L 不对称；两个 L 关中心对称拼成「S 形」只中心对称；四个 L 绕正方形的中心按旋转 90° 摆放——得到既有 4 条对称轴（若 L 形适当放置成「回」字风车……风车形只有旋转对称）。可行方案：将 L 形改为「等腰直角三件套」摆成八角星：轴对称 8 条 + 中心对称 ✓。

创作本无标准答案，但「先定对称群，再选基本件」是专业路线——先想好要几条对称轴，再设计零件。

例 4 的折腾过程本身就是教学：对称要求之间会「打架」，设计是给约束找平衡。

旋转是圆上的平移

扫码开玩 ·「旋转图案馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=6

札记① 旋转群一瞥

把「绕一点旋转所有角度」的全体收集起来，构成一个群：任意两个旋转连做仍是旋转（角度相加）、有不动成员（转 0°）、每个旋转有逆（反向转回）。正 n 边形的旋转对称构成更小的有限群（n 个元素）——雪花（6 阶）、正方形（4 阶）、五角星（5 阶）。

「群」是 19 世纪伽罗瓦与阿贝尔开创的概念，今天被视为「对称的数学定义」。您在一个学期里接触的三大变换，各自的全体恰好构成三个群——抽象代数的大门已经开了一条缝，大学里这门课叫「抽象代数」。

札记② 剪纸与藻井：中国的旋转对称

中国剪纸的「团花」是旋转对称的民间巅峰：一张红纸对折数次，剪几刀，展开即成 n 阶旋转对称图案——敦煌藻井、藻井中心的「三兔共耳」（三只兔子共三只耳朵，旋转 120° 首尾相追）是隋唐的绝妙样本。

「三兔共耳」的构图巧思：每只兔子只有一只耳朵，三耳共用却人人有耳——旋转对称 + 共用资源的极致设计。山西应县木塔的斗拱层叠，也以旋转对称传递荷载。

民间艺人不懂「群论」，却把旋转对称玩到了极致——数学在指尖，也在剪刀上。

导入：建模回炉：从数据到函数

本学期您已经写过多类函数：一次（计价、方案）、反比例（压强、杠杆）。这一章做一次「回炉」：拿到一桌真实数据，该配哪种函数模型？配错了怎么办？配完又如何检验？

建模是函数的「实战化」：现实不给解析式，只给一堆数字、一张表、一段描述——模型是您从数据里「读」出来的假设。

本章关键词：选择、拟合、检验。模型不是算出来的，是选出来的、验出来的。

三类函数模型对比

性格速写：一次函数图像是直线（匀变）；反比例是双曲线（此消彼长、永不触轴）；二次是抛物线（先增后减或有最小值）。增长速度的「体检」：一次恒定增速；反比例增速放缓；二次先缓后急。

记模型先记「性格」再记公式：匀变找直线，守恒找双曲，有峰有谷找抛物线。

模型选择依据

选择模型的四个判据：①机理——背后的现实规律是什么？（守恒 → 反比例）②图像形状——描点散图长什么样？③增速——变化率恒定还是衰减？④边界行为——x→∞ 时函数怎样？（一次直冲无穷，反比例趋于 0）。

反面教材：「数据点差不多在一条直线上」就选一次？——先问机理：若现实是「总量守恒」，直线模型必在后段崩坏。机理优先于形似。

模型选择的智慧 = 物理直觉 + 图像直觉 + 边界意识，三者互相制衡。

数据拟合初探：描点判断

拿到数据表，第一动作是描点（散点图）。判断流程：点排成直线 → 一次；先陡后缓趋于水平 → 反比例或指数饱和；先降后升（或反之）有谷 → 二次。

半定量检验：差分法——等间隔数据的相邻差恒定 ⟹ 一次；相邻「商×自变量」恒定（即 xy 恒定）⟹ 反比例。差分是「给数据做心电图」。

描点 + 差分，是手工作坊时代的「回归分析」——高级统计的童年照。

一次模型案例

案例：某出租车计费数据——2 km:11 元，4 km:15 元，6 km:19 元，8 km:23 元。差分恒为 2 元/km ⟹ 一次模型 y＝2x+7。解读：起步价 7 元 + 每公里 2 元；模型预测 10 km:27 元（实测 27 ✓）。

边界意识：模型仅对 x≥2 成立（起步价内不适用）；x＝0 处 y＝7 是「外推」，要声明范围。任何模型都有有效期。

差分恒定 ⟹ 线性确认 ⟹ 两点定线即可用——一次模型的流水线三步。

反比例模型案例

案例：完成 600 件零件，人数 x 与天数 y——(10,60)、(15,40)、(20,30)、(30,20)。检验 xy：600 恒定 ⟹ y＝600x。解读：总工作量 600 是「守恒量」，人越多天越少。

注意离散化：x 必须取 600 的因数才现实（人数与天数都是整数）——连续曲线在应用里「显影」为离散点集（第 5 章的老提醒）。

「总量守恒 → 反比例」的机理判断，比描点更快——机理是模型的第一身份证。

分段模型案例

案例：快递费数据——1 kg:8 元，2 kg:11 元，3 kg:14 元，5 kg:20 元。差分：3,3,3？1→2→3 差 3，但 3→5（跨 2 kg）差 6 ⟹ 每公斤恒 3 元 ⟹ y＝3x+5（x≥1）。看似一次模型；但若数据为 1:8、2:11、3:15——差分 3,4 ⟹ 斜率在变，需要分段：首重 8 + 续重递增（或第二段斜率不同）。

分段的判据就是「差分变号/变值」——心电图一变，模型就分节。

真实世界的「规则切换」在数据里的指纹，就是差分突变——找到突变点，就找到了分段线。

检验与修正

建模最后一环：检验。三问：①拟合度——各点的预测误差多大？（绝对误差、相对误差）②外推合理吗——用模型预测范围外的点，结果荒谬吗？③机理回顾——模型的假设在现实中成立吗？

修正策略：误差系统性偏大 → 换模型或加段；个别点离群 → 复查数据（异常值可能抄错，也可能真有故事）；外推失控 → 明确适用范围。

「建模—预测—检验—修正」是一个循环，不是直线——科学方法的微缩版。

例1 选择模型

解：①差分恒 2 ⟹ y＝2x+1；②xy＝12,12,12,12 ⟹ y＝12x；③差分 2,4,8 翻倍 ⟹ 指数型 y＝2^x+1（超出初中清单——说明「模型库」需要扩容，二次、指数在后面等您）。

第三组数据的答案最重要：识别「模型库不够用」，与选对模型同样有价值。

例2 拟合与预测

解：差分 1 cm/N 恒定 ⟹ y＝x+10（y 为厘米数，x 为牛数）。挂 5 N 预测 15 cm。

失效预警：弹簧超过「弹性限度」后不再 obey 胡克定律——模型有物理边界，外推要小心（这正是检验环节第②问的答案）。

胡克定律 F＝kx 是物理课本里的线性模型——它的「失效点」写在弹簧的疲劳里，不在公式里。

例3 综合建模题

解：V＝100t（0≤t≤20）。10 分钟时 V＝1000。之后净速 60 L/min：V＝1000+60(t−10)。注满：t＝10+100060≈26.7 分钟。

「中途改变规则」= 分段建模——现实就是爱在 t＝10 的地方改剧本。

例4 小组建模答辩

示范选题：奶茶店排队——顾客到达率与等待人数的近似关系；模型：等待时间 ≈ 队长×单杯制作时间（线性）；检验：午高峰队长翻倍，等待时间是否翻倍？

答辩制把建模从「解题」变成「研究」：选题、论证、接受质询——全流程都在学科学。

模型是函数的现实化身

扫码开玩 ·「建模实验馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=7

札记① 从《九章》到现代建模

《九章》的每一章都是一部建模手册：方田（面积模型）、粟米（比例模型）、衰分（配分模型）、少广（开方模型）、商功（体积模型）、均输（摊派模型）、盈不足（试值模型）、方程（消元模型）、勾股（测量模型）。术曰 = 算法，题 = 数据集，答 = 输出——一整套「问题—算法—答案」的工程化写作。

现代数据科学的工作流（数据 → 模型 → 检验 → 部署）与《九章》的「问—术—答」惊人同构——两千年前的算学家，早已写下了建模的标准作业程序。

札记② 数学与人工智能一瞥

AI 的核心也是建模：图像识别是「像素 → 类别」的函数（超大规模、参数上亿）；ChatGPT 是「上文 → 下一个词」的概率函数。训练 = 调参数使预测误差最小——本质是本章「拟合」的超大规模版。

但 AI 也会犯本章讨论过的所有错误：外推失控（胡说八道）、过拟合（死记训练数据）、机理缺失（不知为何对）。人类的数学素养——模型意识、边界意识、检验意识——正是使用与监督 AI 的核心素养。

会建模的人用 AI 如虎添翼，不会建模的人被 AI 牵着走——本章的每一页都是「与 AI 共处」的预习。

证明剧场开幕

春季学段的最后一章不开新课，开剧场：每个证明是一个剧目，定理是剧本，推导是台词，板书是舞台。五个挑战剧目、一轮展演、两幕工作坊、一场对抗赛——把一学期学过的四边形、函数、统计、旋转全部搬上台。

剧场规矩：每个证明都要「演得下去」——依据充分、顺序合理、书写规范；观众的掌声给最优雅的推导，嘘声给「显然」二字。

几何证明剧场是本册《对称与变化》的毕业典礼：对称是布景，变化是剧情，证明是台词。

判定抢答

热身抢答：主持人口述条件，抢答「什么图形+依据」。题组：①对角线互相平分？（▱，法⑤）②对角线相等且互相平分？（矩形）③对角线垂直且互相平分？（菱形）④既等且垂且平分？（正方形）⑤对角线相等但只互相平分一半？（无此判定——陷阱题，答「信息不足」才得分）。

热身的最高境界是「敢说信息不足」：判定需要恰好足够的条件，多一分少一分都要指出来。

①平行四边形判定证明

证：DE 与 BF 交于 O？——更直接的路径：DE∥BF（AB∥CD）且 DE＝BF？——由 ▱ 性质与中点，△ADE≌△CBF（SAS：AD＝CB、∠A＝∠C、AE＝CF）⟹ DE＝BF 且 DE∥BF ⟹ 四边形 DEBF 是 ▱ ⟹ 对角线 DF 与 EB 互相平分 ✓。

本剧的台词艺术：先全等搬等量，再判定法③收官——两条依据各就各位。

②矩形菱形综合

解：∠BAC＝30° ⟹ ∠ACB＝60°、∠OAB＝∠OBA＝30°（等腰 △OAB）⟹ △OBC 中 ∠OBC＝30°、∠OCB＝60° ⟹ ∠BOC＝90°。AP＝AB＝2OA ⟹ P 在 OA 延长线且 OP＝OA ⟹ P 与 O 关于……直接算：∠DPC＝∠DPA？由 DP＝DC（P 是 AC 上使 AP＝AB＝DC 的点，∠DCA＝60° ⟹ △DPC 等腰）——完整推导进阶课完成，剧场版先演「∠DPC＝30°」的验证。

矩形对角线的 30°-60°-90° 藏在等腰三角形里——画准图，角自己排队。

③旋转构造

构造：把 △APB 绕 B 旋转 90° 至 △CQB——BQ＝BP＝2，∠PBQ＝90° ⟹ PQ＝2√2；∠BQP＝45° ⟹ ∠CQP＝∠BQP−∠BQC？——∠CQB＝∠APB＝135° ⟹ ∠CQP＝135°−45°＝90° ⟹ CP＝√(CQ²+PQ²)＝√(1+8)＝3。

旋转搬运 + 等腰直角 + 勾股三连——「构造式证明」的教科书演出。

④函数与几何综合

解：C＝B+D−A＝(5,3)（平移向量法：BC 平行且等于 AD）。对角线交点＝中点＝(52,32)。面积＝底 AB×高＝4×3＝12。

坐标法速胜：平行 ⟺ 向量相等——「变换视角 + 坐标工具」的现代解法初试锋芒。

坐标一上，证明常变计算——解析几何的甜头，先尝一小口。

⑤开放性证明创作

参考创作：原四边形对角线 AC＝BD 且 AC⊥BD（如正方形、筝形加条件）⟹ 中点四边形四边＝12对角线且相邻边垂直 ⟹ 正方形。证明 = 中位线定理两条 + 判定连锁。

开放创作题的评分点：条件「恰好充分」——太弱证不出、太强浪费，是命题的修养。

优秀证明展演

五剧目讲评关键词：剧目一——「先全等后判定」的两段式；剧目二——特殊三角形（30°-60°-90°）的识别；剧目三——构造即证明（旋转是手段也是理由）；剧目四——坐标法把几何翻译成代数；剧目五——命题创作的「恰好处方」。

观众投票「最佳剧目」标准：最短的证明、最清晰的图、最有启发的中间步骤。

好证明如好戏：多一分钟都嫌长——简洁是证明的第一美德。

一题多证工作坊（上）

议题：证明「矩形对角线相等」的三种方法。法一（全等）：▱ABCD 中 ∠BAD＝∠ABC＝90°，AB 公共，AD＝BC ⟹ △BAD≌△ABC（SAS）⟹ BD＝AC。法二（坐标）：设 A(0,0)、B(b,0)、D(0,d) ⟹ C(b,d) ⟹ AC²＝b²+d²＝BD²。法三（旋转）：▱ 绕中心旋转 180° 与自身重合，对角线互换 ⟹ 相等（需先证中心对称，留给下幕）。

三种证法三套语言：全等、坐标、变换——一题多证是「多语法写作」的几何练习。

一题多证工作坊（下）

议题：证明「菱形对角线互相垂直」。法一：菱形对角线互分 + 等腰（AB＝AD，O 为 BD 中点）⟹ AO⊥BD（三线合一）。法二：勾股四连——四个直角三角形（设半对角线 a、b，边 c＝√(a²+b²)），由面积 12d₁d₂ 与 4×12ab 相等反推垂直？——正路：由余弦……初中版用法一即可，法三「面积法」：12·AC·BD·sinθ＝2ab·？——留作课后挑战：哪条路最短？

工作坊的产出不是答案，是「路线图」：把每条证法的步骤画成流程条，挂在墙上。

自编证明题并互评

任务：每人编一道「判定类证明题」（给条件、求证某特殊四边形），附标准证明；小组交换互评，评分三栏——条件恰好（不多不少）、证明严谨（无跳步）、图形准确（图与条件一致）。

优秀作品收入班级《证明剧场剧目册》；编题漏洞（条件矛盾、结论平凡）当场修改——「被指出漏洞」是本工坊最宝贵的产出。

出题是「站在数学的另一边」：从解题者变成立法者，视角完全不同。

证明方法库整理

本学期证明方法库清点：工具层——全等五判、勾股、中位线、三角函数预备；变换层——翻折（等量搬运）、平移（等积变换）、旋转（构造特殊三角形、手拉手）；组织层——判定连锁（▱→矩形→菱形→正方形）、坐标法、面积法。

自检三问：每个工具能举一题吗？每种变换能画一图吗？「构造辅助线」的思路能说一句「为什么想到」吗？

方法库的价值不在收藏，在检索：拿到新题时，您的大脑要能「按条件查库」。

证明是数学的法庭

扫码开玩 ·「证明剧场馆」

本单元配套游戏站（M2-3《对称与变化》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。

games/m2-3.html?u=8

证明对抗赛

赛制：两队各出一方「辩题」（一道待证命题），交换证明；对方队扮演「反方」——专挑依据缺失、跳步、图形不符。裁判（老师）按「证据链完整度」计分：进攻方证明成立 3 分，反方挑出实质漏洞 1 分/处（已修正的漏洞不计）。

辩题示例：「对角线相等的四边形是矩形」（伪命题！等腰梯形反例——识破伪命题直接得 3 分）。

对抗赛的深层训练：对「命题」保持审查姿态——先问真假，再谈证明。

给家人讲一道证明题

任务卡：选一道本学期最有成就感的证明题，用 5 分钟讲给家人听：先讲「题目要证什么」，再讲「思路是怎么找到的」，最后完整写一遍证明。请家人挑一个「没听懂的地方」，您回去改进后补讲一次。

反思题：讲解时您用了图吗？辅助线是「怎么想到」讲清楚了吗？——「怎么想到」比「怎么做」更难讲，也更值得练。

能把证明讲给外行听懂的人，才真正在数学的法庭上出过庭。夏季段《策略与建模》见！