形数之桥
形 数 之 桥〇体例说明（写给读者和家长）
本书怎么读：一章十五页
全书按「章」前进，每章恰好十五页。理论章的节奏是：第 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，平方与立方用小肩数字 x2、a3；点坐标写作 (2, −1)；函数写作 y ＝ 2x − 1；圆周率 π ≈ 3.14。中括号写成 ［ ］，比例号 ∶。
一全册目录（八章 · 每章 15 页）
- p.1–15第 1 章 勾股定理理论章
- p.16–30第 2 章 实数与二次根式理论章
- p.31–45第 3 章 整式乘法与因式分解理论章
- p.46–60第 4 章 分式理论章
- p.61–75第 5 章 三角形全等理论章
- p.76–90第 6 章 轴对称理论章
- p.91–105第 7 章 一次函数理论章
- p.106–120第 8 章 综合站：勾股拼图验证综合站
勾股定理
p.1–15 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：商高：勾三股四弦五
三千年前，周公问大夫商高：「天不可阶而升，地不可得而寸而度，请问数从哪里来？」商高答：「故折矩，以为句广三，股修四，径隅五。」——取一把直角曲尺（矩），两直角边长三与四，斜边必是五。
这就是「勾三股四弦五」：直角三角形中，短的直角边叫勾，长的直角边叫股，斜边叫弦。32＋42＝9＋16＝25＝52——两条直角边的平方和，恰好等于斜边的平方。
一个直角，竟把三条边的长度锁进同一道等式。本章我们不仅要用它，还要亲手证明它。
勾股定理的内容
它的用处立竿见影：知道直角三角形的任意两边，第三边便唾手可得。c＝√(a2＋b2)，a＝√(c2−b2)——开方运算由此登堂入室，第二章的 √2 正是从这里走来。
注意角色分工：斜边是「直角所对」的那条，最长。等式里斜边独占一方，两条直角边合伙——身份不能互换。
a2＋b2＝c2 是几何事实，也是代数等式——一座把「形」翻译成「数」的桥，本册书名《形数之桥》即由此而来。
勾股定理的历史文本
《周髀算经》记载了商高的对话，又在陈子一章给出一般陈述：「若求邪至日者，以日下为句，日高为股，句股各自乘，并而开方除之，得邪至日。」——「并而开方除之」五个字，就是 c＝√(a2＋b2) 的古文写法，一般形式与具体数字并陈。
在西方，毕达哥拉斯学派（公元前 6 世纪）发现了同一定理并给出证明，后世称 Pythagorean theorem。巴比伦泥板 Plimpton 322（约前 1800 年）上已列有大量勾股数表，比商高更早。
三大文明各自摸到了同一块石头：直角是自然界最稳定的约定，而勾股是直角写给人类的信。
面积法证明：赵爽弦图
三国时代吴国人赵爽为《周髀算经》作注，画出一幅千古名图——弦图：四个全等的直角三角形（勾 a、股 b、弦 c）围成一个大正方形，中间留出一个小正方形，边长恰为 b−a。
数大正方形：边长 c，面积 c2。换个数法：四个直角三角形加中间小方：4×12ab＋(b−a)2＝2ab＋b2−2ab＋a2＝a2＋b2。
两种数法数的是同一块面积，于是 c2＝a2＋b2。证明完毕——没有一个多余的字。
面积法是「形的等式」：把同一块地数两遍，逼出数的关系。2002 年北京国际数学家大会的会徽，正是一幅弦图。
从《周髀算经》商高「既方其外，半之一矩，环而共盘」出发——顺时针、逆时针两种拼法各自环而共盘，得到赵爽弦图；再联合 (b−a)2 与 (a＋b)2 两个完全平方公式，双路推出 a2＋b2＝c2。片长 3 分 01 秒。
videos/huan-gong-pan.mp4
证明二：毕达哥拉斯拼图
第二证用「重新拼装」：边长 a＋b 的正方形，甲种拼法——沿两条直角三角形斜边摆放，切成四个直角三角形加两个正方形 a2、b2；乙种拼法——同样的四个直角三角形换一种摆法，中间空出一个边长 c 的斜置正方形。
两个大正方形边长都是 a＋b，面积相同；拿走相同的四个直角三角形，剩下的必然相等：a2＋b2＝c2。
美国第 20 任总统加菲尔德还发明过梯形版：直角梯形用两种方式算面积——12(a＋b)(a＋b) 与 2×12ab＋12c2，展开同样得到 a2＋b2＝c2。
勾股定理有四百多种证法，是数学史上「证法最多」的定理——综合站里您会亲手拼一种。
以两条直角边为边长分别作正方形（朱方、青方），再作弦方；大正方形外的部分称朱出、青出，内部空出的部分称朱入、青入，形状两两相同。平移割补，朱方＋青方恰好拼满弦方——刘徽《九章算术注》勾股章的「出入相补」原理。片长 1 分 27 秒。
videos/qingzhu-churu.mp4
常见勾股数
勾股数可以整批生产：把一组全乘以同一个数，仍是勾股数——(3,4,5) 翻倍得 (6,8,10)，乘 10 得 (30,40,50)。判别时先约去公因数，再对照基本组。
《九章算术》勾股章的题目里藏着 (3,4,5) 的各种变装；古巴比伦人甚至掌握了参数公式：取任意两个互质的数 m＞n，则 (m2−n2, 2mn, m2＋n2) 必为勾股数——试 m＝2，n＝1 得 (3,4,5)；m＝3，n＝2 得 (5,12,13)。
熟记五组基本勾股数，考试时能省下一次开方；更重要的是，它们是「整数点上的直角」——数与形握手的最小样本。
直角三角形的判别（逆定理）
用法分两步：①找出最大边，把它放在等式一侧；②验证两条较短边的平方和是否等于最大边的平方。
例：三边 9、40、41——最大边 41，92＋402＝81＋1600＝1681＝412，是直角三角形。而 6、7、8：36＋49＝85≠64，不是直角三角形（也不必再猜是什么角）。
原定理说「直角 ⟹ 等式」，逆定理说「等式 ⟹ 直角」——一来一往，勾股成了木匠的角尺：古埃及拉绳人用 12 段绳围成 3-4-5 三角形，在尼罗河畔量出笔直的田界。
勾股定理的实际应用
应用题的通用套路：找直角 → 定斜边 → 列方程。三类经典场景：
①梯子问题：梯长 25 分米靠墙，底端距墙 7 分米，顶端高 √(252−72)＝24 分米；②航行问题：船向东 16 海里再向北 12 海里，离出发点 √(162＋122)＝20 海里；③圆柱侧面上的最短路线（例 4 详述）。
易错提醒：斜边是「直角对的边」，不是「最长的那条任意边」；画图时先标直角符号，等式就不会排错位置。
勾股是「不可达距离」的尺子——够不着的长度，用两条够得着的边算出来。
例1 求边长
解：① c2＝a2＋b2＝36＋64＝100，c＝10（勾股数 3,4,5 的两倍）。
② a2＝c2−b2＝169−25＝144，a＝12（5,12,13）。
检查习惯：先看是否落在熟识的勾股数组上，省去开方；再确认斜边身份——②中 c＝13 是斜边，所以做减法而不是加法。
例2 判定直角
证明：连 AC。△ABC 中 ∠B＝90°，由勾股定理 AC2＝32＋42＝25，AC＝5。
△ACD 中，AC2＋CD2＝25＋144＝169＝132＝DA2，由逆定理，∠ACD＝90°，即 ∠D＝90°。证毕。
一次「正向」配一次「逆向」，勾股定理在四边形里搭了一座桥——先算对角线，再验直角。
例3 折叠问题
解：翻折即轴对称，AD＝AF＝10。Rt△ABF 中，BF＝√(AF2−AB2)＝√(100−36)＝8。
设 CE＝x，则 BE＝10−x。Rt△EFC 中，EF＝DE＝10−x，FC＝BC−BF＝2，列方程 (10−x)2＝x2＋22，展开 100−20x＋x2＝x2＋4，x＝4.8。
折叠题三件套：对称取等长、勾股列方程、设短边为未知数——CE 是直角边，设它最省力。
例4 最短路径（侧面展开）
解：把圆柱侧面沿糖粒所在母线剪开摊平，得宽 12、高 5 的矩形。蚂蚁的起点与终点是矩形一条宽的两端，最短路线是对角线：√(122＋52)＝13。
关键一步是展开：曲面上的「绕行」在平面上变成直线——「化曲为直」以后还会反复用到（正方体、圆锥同法）。
立体问题平面化，平面问题勾股化——两层翻译，蚂蚁的近路就出来了。
〔勾股〕数与形的第一次伟大握手
〔勾股〕数与形的第一次伟大握手
在勾股之前，「数」归算术、「形」归几何，两条路各自走。勾股定理 a2＋b2＝c2 第一次把形的性质写成数的等式：一个角是不是直角，居然由三条边长决定。
这座桥通向何方？用数研究形，有了坐标与解析几何；用形理解数，有了 √2 与无理数。两千年后笛卡尔说「一切数学问题都可以化归为计算」——他脚下踩着的，正是勾股铺的第一块砖。
本章主轴「勾股」二字的分量：它不是一条定理，而是一种眼光——凡几何，皆可算。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=1
札记① 《周髀算经》与陈子测日
陈子的测量方案：在地表立 8 尺高的表（标杆），夏至正午量影长 6 尺；再向北每千里影长增一寸。用这两组数据与勾股定理，他算出「日下」到观测点的距离与太阳高度——尽管「天圆地方」的宇宙模型使数值失真，方法本身却是一次完整的间接测量设计。
商高答周公的「折矩」一段，比毕达哥拉斯早约五个世纪。定理属于全人类，而「谁先说出一般形式」的记录，目前握在中国先民手中。
札记② 弦图进入世界数学地图
赵爽弦图沉寂千年后，在世界的另一端出现了几乎同构的图形：印度婆什迦罗（12 世纪）的证明画法「瞧！」（Behold!）——四个直角三角形拼成大正方形，一字不写；阿拉伯数学家塔比·伊本·库拉也独立给出面积证法。
17 世纪后，欧拉、达朗贝尔等人给出更一般的证明；1882 年美国国会甚至通过法案认可加菲尔德的证法。2002 年国际数学家大会（北京）把弦图定为会徽，让这幅三世纪的图形成了世界数学的通用符号。
一条定理，多个文明，同一种直觉——数学是人类的公共语言，弦图是它最美的印章之一。
实数与二次根式
p.16–30 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：边长 1 的正方形对角线多长
画一个边长为 1 的正方形，连对角线。上章刚学过勾股定理：对角线长 √(12＋12)＝√2。
√2 等于多少？1.4？1.41？1.414？您可以一直算下去，但会发现一个小数永远写不完、也永远不循环。用分数试试？14141000＝1.414——只近似，不相等。这条线段的长度，拒绝被任何分数收编。
第二章的主轴是「少广」：《九章》专管「已知面积求边长」的章。求着求着，数学撞见了一类全新的数。
√2 的诞生：第一次数学危机
毕达哥拉斯学派信奉「万物皆数」——一切量都能用整数之比（分数）表示。可是 √2 恰是那个反例。学派成员希帕索斯发现了这一点，据传因此被抛入大海，史称第一次数学危机。
危机的证明出奇地短，值得背下来：设 √2＝pq（p、q 互质）。两边平方得 p2＝2q2，故 p 是偶数，设 p＝2m；代入得 4m2＝2q2，即 q2＝2m2，q 也是偶数——p、q 有公因数 2，与互质矛盾。所以 √2 不是任何整数之比。
一次「反证法＋奇偶分析」的漂亮联手。危机没有毁掉数学，反而逼出了无理数——数学在自我否定中长大。
无理数与实数系
无理数两大来源：①开方开不尽，如 √2、√3、∛5；②构造出来的常数，如圆周率 π。注意：带根号未必无理（√4＝2、√916＝34 都是有理数），判据是「开得尽与否」。
实数与数轴从此一一对应：第一章留下的悬念「每个点都有数住吗」现在有了答案——住满了，√2、π 都有自己的房子。实数系家谱：实数 ⋯ 有理数（整数、分数）＋无理数。
数轴上密不透风：有理数看似稠密，仍留有无穷多「针眼」，无理数把它们补齐。
平方根与立方根
平方根成对（±3 的平方都是 9），算术平方根唯一（√9＝3）；0 的平方根只有一个。立方根不成对：正数立方根为正，负数的立方根存在且为负——∛(−8)＝−2，因为开方次数是奇数。
被开方数的「性格」由根指数决定：偶次根号下不能是负数，奇次根号下正负皆可。这是后面根式运算的总开关。
「开方」是乘方的逆运算——幂是「乘出面积体积」，开方是「由面积体积反求边长」：《九章》叫它「知积求边」。
二次根式化简
化简的目标：根号里不留平方因数。例：√12＝√(4×3)＝2√3；√50＝5√2；√23＝√63（分母有理化）。
反方向也要熟：2√3＝√12——把系数「请进」根号。最简二次根式两条标准：被开方数不含能开尽的因数、不含分母。
化简的本质是给无理数「上户口」：√12 与 √32 们看似无关，落籍为 2√3 与 √32 后，亲缘一目了然。
二次根式运算
加减：先化简，再合并同类根式（根号里相同的算「同类项」）。√8＋√18−√2＝2√2＋3√2−√2＝4√2。
乘法用分配律：(√5＋√2)(√5−√2)＝5−2＝3——这正是平方差公式！(√3＋1)2＝3＋2√3＋1＝4＋2√3——完全平方公式照常营业。
除法与有理化：分母带根号时，上下同乘共轭因式。3√5＝3√55；1√7−√5＝√7＋√52。
根式世界没有新运算律——整式的老法则原样搬来。学新数，验旧律，这将是第三章的主旋律。
实数比较与估算
估算三招：①夹逼——比较 √10 与 3.2：3.22＝10.24＞10，故 √10＜3.2；又 3.12＝9.61＜10，得 3.1＜√10＜3.2；②平移到数轴——√3 在 1 与 2 之间；③借助特殊点——π≈3.14，比较 π 与 227（后者略大，约 3.1429）。
带根号的式子比较：同号两数平方后比较；异号直接正＞负。实数大小与数轴左右严格对应——右边的总比左边的大。
「估」不是瞎猜：夹逼给出的区间，误差可以被随时压小——这正是无理数小数展开的理论根基。
实数运算综合
实数运算保留有理数的全部旧律：交换律、结合律、分配律、去括号法则。新增两条性格：①绝对值照常：|√5−2|＝√5−2（√5≈2.236＞2），|2−√5|＝√5−2；②偶次方与绝对值都「非负」：若 |a|＋√(b−1)＝0，则 a＝0 且 b＝1。
运算顺序口诀不变：先乘方开方，再乘除，后加减，括号最优先。
数系每扩张一次，考卷上就多一类题，但「规则不丢」永远是底线——这是第一次数学危机留给后人的和平协议。
例1 求平方根与立方根
解：81 的平方根是 ±9（注意题目问「平方根」要成对）；√16＝4，4 的算术平方根是 2（先算根号内！）；∛(−27)＝−3；√0.36＝0.6。
第二问是经典陷阱：√16 本身已是 4，「根号套根号」要先内后外。
例2 根式化简
解：√72＝√(36×2)＝6√2；√38＝√616＝√64；√a2b＝√a2·√b＝a√b（a≥0 保证直接脱根号）。
第三个式子提醒我们：字母进根号，先问符号——若 a 是负数，答案就得写成 |a|√b。根式化简处处与「非负」挂钩。
例3 根式混合运算
原式 ＝ (4√3 − √3) × √6 − 3√2 ＝ 3√3 × √6 − 3√2 ＝ 3√18 − 3√2 ＝ 9√2 − 3√2 ＝ 6√2
路线复盘：先化简各根式 → 括号内合并同类 → 乘法并根 → 再化简 → 再合并。一步一化简，不留「半成品」。
例4 实数与数轴综合
解：AB＝√5−1（右减左）。中点表示两数的平均数：1＋√52。
再进一步：以原点为圆心、AB 为半径画弧，弧与正半轴交点表示 √5−1——数轴上的无理数可以用「圆规＋直尺」实打实地画出来，√2、√3、√5 全部如此。
无理数不再抽象：它就住在数轴上，位置精确，且可以尺规作图——希帕索斯若见到这一页，当可瞑目。
〔少广〕开方：少广章的「知积求边」
〔少广〕开方：少广章的「知积求边」
《九章》少广章开篇问：「今有田广一步……」从已知面积反求边长，中国算学家为此发明了开方术——一种逐位逼近的算法：先估最高位，再扣掉已定部分的面积，继续估下一位。它与现代竖式开平方的原理相同，比欧洲同类算法早了一千多年。
开方术在算法上「平方了」就收工，从不追问 √2「究竟是什么数」。但正是「知积求边」的持续追问，让刘徽在注里写下「不以面命之」，承认有些边长无法用分数命名——中国人也独立触摸到了无理数的门槛。
主轴「少广」的启示：一类新数，往往诞生于一道老问题的逼问。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=2
札记① 《九章》少广·开方术
「实」是被开方数，「法」是试除数，「议所得」是逐位估计的商——这套术语活像一份算法伪代码：初始化、估计、修正、迭代。刘徽注更提出「退位开之」的定位法与几何解释（分割正方形求残边）。
少广章还给出开立方术，与今日教科书的分组开立方（三位一组）如出一辙。算法史家吴文俊评价：中国传统数学以「术」为纲，是机械化算法体系的古代范本。
札记② 希帕索斯的悲剧与数学的宽容
传说希帕索斯因泄露 √2 的秘密被同门沉海；另一说是学派把他「驱逐出会，为之立墓」——当作死人对待。无论细节真假，「万物皆数」的信条从此崩塌，数学被迫承认：比与比之间还有空隙。
两千年后回头看，这场「危机」其实是 adulthood 仪式：数学学会了两件大事——用反证法证明存在性，以及扩充概念而不是否认事实。20 世纪，集合论与实数理论（戴德金分割）彻底说清了实数连续统，第一次数学危机正式结案。
面对「不合规矩的事实」，悲剧行不通，宽容才有出路——这一课远不止属于数学。
整式乘法与因式分解
p.31–45 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：从面积看乘法公式
边长 a＋b 的正方形，用两种方式算面积：整体看是 (a＋b)2；切四块看是 a2＋ab＋ab＋b2。于是 (a＋b)2＝a2＋2ab＋b2——乘法公式不是「背出来的口诀」，而是面积的账。
同样，(a＋b)(a−b) 就是「大正方形剪掉小正方形」后重新拼成长方形：面积 a2−b2。每个公式背后都有一幅图。
本章主轴是「方程」：整式是方程的原材料。原材料加工得好，后面解方程、因式分解才能得心应手。
幂的运算四法则
口诀：乘法指数相加，乘方指数相乘，除法指数相减。易错点：a3·a2＝a5（不是 a6）；(a3)2＝a6（不是 a5）；(−2a)3＝−8a3（符号与系数都要乘方）。
四条法则全是「指数的算术」：底数不变，指数在算另一套加乘——幂的世界里，指数才是主角。
整式乘法
单项式×单项式：系数相乘，同底数幂相乘。3a2b·2ab3＝6a3b4。
单项式×多项式：分配律。2x(3x−1)＝6x2−2x。
多项式×多项式：每一项都要握手一遍。(2x＋1)(x−3)＝2x2−6x＋x−3＝2x2−5x−3。项数检查：m 项×n 项展开前有 m×n 项，合并后再数。
「握手要全」是多项式乘法的唯一纪律——漏一次握手，就错一项。
平方差公式
识别训练：括号里「一项完全相同，一项互为相反数」才可用。102×98＝(100＋2)(100−2)＝10000−4＝9996——计算题的速通口。
变装识别：(3x＋2y)(2y−3x)＝(2y)2−(3x)2＝4y2−9x2——相同项是 2y，相反项是 3x 与 −3x。位置无所谓，身份要认清。
平方差是「对称的捷径」：凡有一对相反数，中间项必然两两抵消。
完全平方公式
经典错例：(a＋b)2＝a2＋b2？——用面积图一验即知漏了 2ab。口诀「首平方，尾平方，首尾两倍中间放」。
应用三则：①速算 1032＝(100＋3)2＝10000＋600＋9＝10609；②配方法雏形：x2＋6x＋□ 要成完全平方式，□＝9；③比较与变形：a2＋b2＝(a＋b)2−2ab。
常用变式：(a−b)2＝(a＋b)2−4ab——同一对数，两种姿势差在 4ab。
完全平方公式是配方、求最值、判别式的共同祖先——第三章之后处处是它。
因式分解：提公因式
第一招提公因式：系数取最大公因数，字母取公共的最低次幂。6a3b−9a2b2＝3a2b(2a−3b)。检验法：乘回去，必须还原。
公因式也可以是多项式：2a(x−y)−3b(x−y)＝(x−y)(2a−3b)。
分解口诀第一步永远是「一看公因式」——不提净公因式就套公式，是初学最常见的事故。
公式法分解
第二招公式法，正着背反着用：①平方差 a2−b2＝(a＋b)(a−b)——识别「平方差」结构；②完全平方 a2±2ab＋b2＝(a±b)2——识别「三项、两平方、中间项是两倍乘积」。
例：x2−9＝(x＋3)(x−3)；4x2−12xy＋9y2＝(2x−3y)2。
综合顺序：一提（公因式）、二套（公式）、三彻底（每个因式不能再分）。x4−16＝(x2＋4)(x2−4)＝(x2＋4)(x＋2)(x−2)——分解要分到底。
公式法的关键不是记公式，而是练「结构眼」：看见 x2±kx 就想平方差，看见三项两平方就想完全平方。
十字相乘初步
第三招对付 x2＋px＋q 型：找两数 m、n 使 m＋n＝p，mn＝q，则 x2＋px＋q＝(x＋m)(x＋n)。
「十字」图示：左列拆二次项系数，右列拆常数项，交叉相乘再相加凑一次项系数。x2＋7x＋12：拆 1×1 与 3×4，交叉 1×4＋1×3＝7 ✓，得 (x＋3)(x＋4)。
负数情形：x2−x−12：3 与 −4（3×(−4)＝−12，3＋(−4)＝−1），得 (x＋3)(x−4)。常数项为负，两数异号；为正，两数同号（符号跟一次项）。
十字相乘是「猜」的艺术，但猜有章法：先列常数项的全部因数对，再用和去筛。
例1 幂运算综合
解：先各自乘方：(−2a2b)3＝−8a6b3；(−12ab2)2＝14a2b4。
再相乘：(−8)×14＝−2；a6·a2＝a8；b3·b4＝b7。结果 −2a8b7。
规范：乘方在前（含符号），乘法在后，指数逐项清点。
例2 乘法公式运用
解：第一式＝(4x2−9)−(x2−2x＋1)＝3x2＋2x−10。
第二式：a2＋b2＝(a＋b)2−2ab＝25−6＝19。不需求出 a、b 各是多少——整体代换是对称式的钥匙。
乘法公式的最高用法是「反着看」：见到 a2＋b2，立即想到它的两种改写——这是恒等变形的思维起点。
例3 因式分解全类型
解：① 3x(x2−4)＝3x(x＋2)(x−2)——先提再套；② (x−2)2；③ (x＋5)(x−3)——十字相乘；④ 平方差（把括号看作整体）：[(x＋2)＋(x−1)][(x＋2)−(x−1)]＝(2x＋1)·3。
四道题正好覆盖：一提、二套（平方差/完全平方）、三十字、整体思想。
例4 分解在求值中的应用
解：配方！x2−4x＋4＋y2＋6y＋9＝0，即 (x−2)2＋(y＋3)2＝0。
两个非负数之和为 0，只能都为 0：x＝2，y＝−3，x＋y＝−1。
「非负零和」是配方思想的经典落点：完全平方式把一个方程拆成若干个「必须为零」的条件。
〔方程〕分解与展开：互逆的两种眼光
〔方程〕分解与展开：互逆的两种眼光
展开是「把结构化开」，分解是「把结构收拢」——同一批恒等式，两个方向。会展开的人算得对，会分解的人看得穿：x2−9 在展开眼里是「两项」，在分解眼里是「两个因数的乘积」，而「乘积为零 ⟹ 某因数为零」正是下一章解方程的命脉。
《九章》「方程」章用算筹布列系数阵消元，不谈因式；但今天回头看，消元的每一步都在利用「整体结构」——结构先于计算，是代数学的第一信条。
拿到式子先问三句：结构是什么？能变成积吗？变成积有什么好处？——这三问会陪您到高中。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=3
札记① 杨辉三角与公式背后
第 n 行：1, n, ……, n, 1——第三、四行正是 (a＋b)2 与 (a＋b)3 的系数。每一个数等于肩上两数之和（贾宪约 1050 年已用，故亦称「贾宪三角」），这恰好是 (a＋b)n＝(a＋b)·(a＋b)n−1 递推乘法的形象化。
帕斯卡 1654 年才系统研究同一数表，晚了近六百年。杨辉三角还是组合数 C(n,k) 的表格、斐波那契数列的斜线来源——一张图，多条数学血管。
札记② 从因式分解到多项式理论一瞥
本章的十字相乘，到了高中会升级为「求根法」：若 x1、x2 是 ax2＋bx＋c＝0 的两根，则 ax2＋bx＋c＝a(x−x1)(x−x2)。因式分解与方程的根，从此合二为一——这是 1799 年高斯证明「代数基本定理」的起点之一：每个复系数多项式都能完全分解成一次因式之积。
整数也有平行故事：分解质因数 ⟷ 因式分解，质数 ⟷ 不可再分因式，算术基本定理 ⟷ 代数基本定理。数学喜欢这种「同构」：换一身衣服，老思想在新大陆重新开业。
「分解」不是消遣技巧，而是代数学的地基——您正在亲手打桩。
分式
p.46–60 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：按比例分粮：分式的现实
《九章》粟米章开篇：「粟率五十，粝米三十。」50 斗粟换 30 斗米，换算比是 3050。若不知道粟有多少斗，只能记作「米＝3050x」——除数或被除数里住进了字母。
行程问题更直接：速度 v、路程 s，时间 t＝sv；工程问题：甲独做 a 天完成，一天完成 1a。字母跑进分母，一类新式子诞生了。
分数的「字母版」就是分式——小学的分数运算功，本章全部要兑现。
分式概念与意义
两条基本判读：①AB 有意义的条件是 B≠0；②分式值为 0 的条件是 A＝0 且 B≠0——两条同时满足，缺一不可。
例：1x−2 在 x≠2 时有意义；x2−4x−2 值为 0 需 x2−4＝0 且 x≠2，故 x＝−2（x＝2 要舍去）。
「分母不得为零」是分式的宪法第一条——后面「增根」的伏笔就埋在这里。
分式的基本性质
它是分数基本性质的推广，派生两件武器：符号法则——分子、分母、分式本身三者中，同时改变两个符号，值不变：−ab＝a−b＝−ab；变号预备——b−a＝−(a−b)，通分约分时常用「提取 −1」调整顺序。
性质里那个「不为 0」是全部尊严所在：同乘 0 会把任何分式变成 00——无意义的深渊。
约分与通分
约分：分子分母同除以公因式，化成最简分式。6a2b9ab2＝2a3b；x2−9x2＋6x＋9＝(x＋3)(x−3)(x＋3)2＝x−3x＋3——先分解、再约分。
通分：取各分母的最简公分母（系数取最小公倍数，字母取最高次幂）。12a 与 13b 的公分母是 6ab。
约分向「简」走，通分向「合」走；方向相反，依据同一条基本性质。分解因式是两件事共同的开胃菜。
分式乘除
a2b×b2a＝ab1＝ab。x2−1x÷x＋1x＝(x＋1)(x−1)x×xx＋1＝x−1。
规范三步：除变乘 → 分解因式 → 约分到底。先分解后约分能把运算量砍掉一大半。
分式乘除就是「分数乘除＋因式分解」的合体技能——分解功力越深，运算越轻松。
分式加减
同分母：分母不变，分子相加减。异分母：先通分，再加减。1x−1＋2x＋1＝(x＋1)＋2(x−1)(x−1)(x＋1)＝3x−1x2−1。
易错两处：①减号要分配到分子每一项：−x−1x 的分子是 −(x−1)＝−x＋1；②结果必须化成最简分式。
技巧：互为相反的分母先统一（1a−b−1b−a＝1a−b＋1a−b）；分母是乘积结构时，可试「拆分」：1n(n＋1)＝1n−1n＋1，裂项相消。
异分母加减的唯一难关是通分——把「不同」化成「相同」，再把相同的事情做一遍。
分式方程解法
例：解 2x−3＝3x。乘 x(x−3)：2x＝3(x−3)，2x＝3x−9，x＝9。检验：x＝9 使公分母 9×6≠0 ✓，是解。
步骤口诀：一化（去分母）、二解（整式方程）、三验（代回公分母）。验根是分式方程的法定步骤，不是可选动作。
去分母像「渡河」：渡过去了，别忘了回头查桥——公分母不为零就是那座桥。
增根与验根
再看一例：1x−2＋2＝x−1x−2。乘 (x−2)：1＋2(x−2)＝x−1，解得 x＝2。检验：x＝2 使公分母为零——原方程无解。x＝2 叫增根。
增根从哪里来？「两边乘公分母」在 x 使分母为零时相当于乘了 0：0＝0 恒成立，方程被「伪造」出一个解。原方程的定义域把 x＝2 开除在外，整式方程却不知道。
验根两条路：①代回最简公分母看是否为零；②对照「无意义条件」清单。
增根不是敌人，是定义域的哨兵：它提醒您——变形可以扩张解集，验根负责把边界守回来。
例1 化简
原式 ＝ xx＋1 × (x＋1)(x−1)x ＝ x−1
路线：括号内先通分相减 → 除法变乘 → 因式分解 → 约分。x、(x＋1) 双双消去，只剩干净的 x−1。
例2 分式运算综合
原式 ＝ (a＋1)(a−1)(a−1)2 − a(a−1)(a−1)2 ＝ (a＋1)−a(a−1)(a−1)2 ＝ −a2＋2a＋1(a−1)2
分子已不能再分，收工。易错：通分后第二项分子是 a(a−1) 整体相减，减号罩住每一项。
例3 解分式方程
解：乘 (x−1)(x＋1)：x(x＋1)−2(x−1)＝4，展开 x2＋x−2x＋2＝4，x2−x−2＝0，(x−2)(x＋1)＝0，x＝2 或 x＝−1。
检验：x＝−1 使 x＋1＝0，舍去；x＝2 ✓。原方程解为 x＝2。
这道题把「增根」演给您看：整式方程有两个根，其中一个恰好踩中了定义域的地雷。
例4 分式应用：工程与浓度
解：每天进度合计 1x＋1x＋5，6 天完成全部：6x＋6x＋5＝1。
乘 x(x＋5)：6(x＋5)＋6x＝x2＋5x，x2−7x−30＝0，(x−10)(x＋3)＝0，x＝10（x＝−3 舍，天数须正）。检验 ✓。答：甲需 10 天，乙需 15 天。
工程问题的「单位 1」思想＋分式方程：设天数为元，把合作写成进度之和——分母里的字母从此有了现实身份。
〔粟米〕今有之术：比例是分式的祖先
〔粟米〕今有之术：比例是分式的祖先
《九章》粟米章的「今有术」：已知比率与所求数，按 所求数＝所有数×所求率÷所有率 换算——这就是比例运算的完整算法，两千年前已通用全国市场。分式的乘除、约分、通分，本质都是今有术的代数化。
主轴「粟米」提醒我们：分式不神秘，它是「按比率分配」的抽象。今天超市里的单价、汇率、密度、速度，全是「粟率五十，粝米三十」的现代化身。
比率意识是中国传统数学的第一支柱；分式则是它穿上字母外衣的样子。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=4
札记① 《九章》粟米章与比率算法
「三之，五而一」＝乘 3 除 5，正是 3050 约分后的换算率。全章 46 问全是「以 X 求 Y」的比率换算，覆盖粮米、布匹、金银、雇佣——一份汉代国家经济的换算手册。
刘徽注把今有术抬到「都术」的地位：凡九数篇目，多以比率通之。直到 19 世纪「比例」被欧洲教科书形式化，今有术的算法内核从未变过。
札记② 增根告诉我们什么：定义域意识
增根的故事有一个更深的版本：数学对象不只有「值」，还有「定义域」。一个式子的身份，由「表达式＋允许取值范围」共同决定。分式方程验根，函数求定义域，根式判非负——都是同一意识的三次露面。
19 世纪魏尔斯特拉斯建立严格的 ε−δ 分析时，第一件事就是给每个函数标注定义域；今天编程语言里的「类型检查」，本质也是定义域意识。历史上因忽视定义域闹出的笑话不少：柯西时代曾有「1＋2＋3＋⋯＝−112」的错误论证流行，症结正是随意交换了「不允许交换」的运算。
从今天起，解完题多问一句：自变量被允许到哪里？——这一问，价值一个世纪。
三角形全等
p.61–75 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：怎样说明两个三角形一模一样
两块三角板，「看起来完全一样」。但数学不说「看起来」——要说「一模一样」，必须给出可检验的标准：三条边对应相等？还是两角一边？几条够用，几条多余？
把一个三角形「复印」到另一处而不变形，需要的最小信息量是多少？这一章就回答这个问题。答案将变成几何证明的主力工具：全等三角形。
工坊预告：配套游戏馆里有「三角形拼装台」，三条信息给少了拼出两族、给对了恰拼一种——判定定理的直觉在游戏里先长出来。
全等的概念与性质
「重合」二字重千斤：既然能重合，那么对应边相等、对应角相等——这是全等的两条性质，也是一切后续推理的输出端。
性质是「双向闸门」：由 ≌ 推出边角相等（性质）；反过来要证 ≌，需要先凑齐判定条件（下一页起）。
全等符号 ≌ 由「相似 ∼」加「等号 ＝」合成——形状相同（相似）＋大小相等（等于）＝全等。
对应边与对应角
找「对应」有三条口诀：①最长对最长，最短对最短；②最大角对最大角（公共边、公共角、对顶角天然是对应元素）；③书写规范 △ABC≌△DEF 已经把对应关系编码在字母顺序里：A↔D、B↔E、C↔F。
常见「隐含条件」清单：公共边（图形里两条线段其实是同一条）、公共角、对顶角、等边加等边／等边减等边。
证明全等的一半功夫在「找条件」：把公共元素与已知等量配齐，判定定理自然浮出。
SSS 与 SAS
为什么 SSA（边边角）不行？——固定两边与其中一边的对角，第三顶点常有两个落点：能拼出两个形状不同的三角形。这也解释了「HL 之外」为何直角三角形要另立规矩。
SAS 的「夹角」二字是身份标识：角必须被两边夹住。换成一个对角，定理立刻失效。
判定定理是「最少信息原则」：一条不多、一条不少——少了拼不定，多了是浪费。
ASA 与 AAS
ASA 与 AAS 并非各自独立：由三角形内角和 180°，两角确定则第三角确定，AAS 可从 ASA 推出——所以有的教科书只列四条（SSS、SAS、ASA、HL），有的列五条。
选判定的实战口诀：已知两边找夹角（SAS）或第三边（SSS）；已知两角找夹边（ASA）或任一边（AAS）；已知一边一角再补一条边或一个角。
四条判定像四把不同齿距的钥匙——门锁（已知条件）什么形状，就配哪一把。
HL：直角三角形专用
直角三角形天生自带一个直角，SSA 的「危险组合」在这里安全：若两个直角三角形斜边、一条直角边对应相等，由勾股定理第三边也被锁定——HL 其实是 SSS 的直角特惠版。
书写提醒：使用 HL 时须先注明（或图中标出）两个三角形都是直角三角形，Rt△ 的记号不要省。
勾股定理（上一章）与 HL（本章）在直角三角形里会师：一条管「算」，一条管「证」。
全等证明书写规范
三段式骨架：①准备（在哪些三角形中，列出已知推出的等量）；②判定（在 △⋯ 与 △⋯ 中，用大括号列三条件）；③结论（∴△⋯≌△⋯（SSS/SAS/ASA/AAS/HL））。
书写三纪律：对应顶点按顺序写；判定依据括号注明；「∵」「∴」各司其职。隐含条件（公共边、对顶角）可以直接使用，但最好口头或脚注交代。
证明的目标常常不是全等本身，而是「借全等搬边搬角」：要证 a＝b，先证它们是两个全等三角形的对应边。
全等是几何证明的「搬运工」：相等关系不在一处时，它负责把相等从一处搬到另一处。
角平分线的性质与判定
证明思路是「一对全等」：点 P 在 ∠AOB 平分线上，PC⊥OA、PD⊥OB——OC＝OD（角平分定义）、∠OCP＝∠ODP＝90°、OP 公共，AAS 得 △OCP≌△ODP，故 PC＝PD。
逆向用于作图：到两边等距的点的轨迹恰是平分线——这就是「尺规作角平分线」的原理（半径相同构造等距点）。
性质与判定互为逆命题——几何里成对的「正逆定理」是常客，下一章轴对称还会成对出现。
例1 判定选择
解：①是 SSA，不能；②∠A 与 ∠B 的夹边是 AB 而给出的是 AC——两角一对边，是 AAS，能；③SSA，不能。
判断口诀：先找「角在不在两边中间」，夹角 SAS 成立，对角 SSA 失效。
例2 证明书写
证明：连 AC。在 △ABC 与 △ADC 中：AB＝AD，CB＝CD，AC＝AC（公共边），∴△ABC≌△ADC（SSS），∴∠B＝∠D。
公共边 AC 是「隐含条件」的教科书案例：图上未标注，证明里必须写出来。
例3 添加辅助线：倍长中线
解：倍长 AD 至 E，使 DE＝AD，连 CE。BD＝CD、∠BDE＝∠CDA（对顶角）、DE＝DA，SAS 得 △BDE≌△CDA，故 CE＝AB＝5。
△ACE 中，AC−CE＜AE＜AC＋CE，即 2＜2AD＜8，1＜AD＜4。
「倍长中线」把分散的 5 与 3 搬进同一个三角形——辅助线的使命就是制造全等。
例4 全等与实际测量
证明：CA＝CD，CB＝CE，∠ACB＝∠DCE（对顶角），SAS 得 △ACB≌△DCE，故 AB＝DE。
《九章》与古希腊都记载过这类「不可达测量」：全等是最古老的一次「把够不着的距离搬到手边」。
尺子够不着，全等够得着——几何是测量学的理论靠山。
全等：把一个图形「复印」到别处
全等：把一个图形「复印」到别处
古希腊人把全等建立在「运动不变性」上：图形搬到任何地方，长度与角度不变——这是《几何原本》里「叠合」的思想。今天我们知道，保持任意两点距离不变的变换叫等距变换（平移、旋转、翻折的组合），全等三角形就是被等距变换连接的两个三角形。
判定定理的深意在于：自由度。三角形 6 个元素（3 边 3 角）中，只需 3 个恰当元素就锁定全等——「恰当」二字由 SSA 的反例守卫。
「最少信息锁定全貌」的思想，会一路长成坐标定图形、参数定曲线——直到今天的 3D 扫描与建模。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=5
札记① 叠合公理与古希腊证明传统
《几何原本》公理体系中有两条「公共概念」：彼此重合的图形相等；整体大于部分。欧几里得证明 SAS（命题 I.4）用的正是「叠合」——把一个三角形「搬」到另一个上面对齐。但「搬」是否允许？图形是画在纸上的，真的能动吗？这个隐患纠结了两千年。
直到 19 世纪希尔伯特《几何基础》（1899）重建公理体系，用「合同公理」直接规定线段与角的相等关系，叠合才从「动作」升格为「公理」——证明传统对自身严密性的追求，永不封顶。
札记② 中国古代测量：重差术
「重差术」在两处立表，用两次目测的影差与表距，按比率算出不可到达的海岛高度与远近——与泰勒斯测金字塔影子的思路同源，但用双表把「倾斜观测」也纳入计算，更进一步。
全等处理「可复制」的测量，重差术处理「不可复制」的测量——中国算学家走出的是比率路线。两条路线在高中「相似三角形」会合。
测量是几何的出身：全等与相似这两大章，都是先民「量天测地」留下的算法遗产。
轴对称
p.76–90 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：镜子里的数学
照镜子时，您与镜像「一模一样又左右相反」：举右手，镜中人举「左手」。蝴蝶的双翅、汉字的对联门、天坛的布局——对称是自然与人文共用的构图法。
数学把「照镜子」抽象成一种变换：轴对称。它不只是审美词汇，更是解题工具——很多难题，折一下纸、翻一次对称，就找到了近路（本章的「将军饮马」就是名例）。
本章关键词：翻折。翻过去，是构造；翻回来，是答案。
轴对称与轴对称图形
辨析：轴对称说的是两个图形的关系，轴对称图形说的是一个图形自身的性质。线段、角、等腰三角形、圆都是轴对称图形。
轴对称三性质：①对称轴是任意一对对应点连线的垂直平分线；②对应线段（或延长后）相交时，交点在对称轴上；③轴对称不改变长度与角度——它是等距变换。
「距离不变」让轴对称与全等结盟：翻折前后的两个图形，天然全等。
垂直平分线性质
证明一瞥：设 l 垂直平分 AB，P 在 l 上——PA＝PB 由 △PMA≌△PMB（SAS：AM＝BM、∠PMA＝∠PMB、PM 公共）。
推论：三角形三边的垂直平分线交于一点（外心），该点到三顶点等距——三条「等距轨迹」必交于同一点，因为前两条的交点已被逆定理「判入」第三条。
「轨迹」眼光看垂直平分线：它不是一条普通的线，是「等距点」的集合——集合思想登场。
作对称图形
尺规作一点 P 关于直线 l 的对称点 P′：①过 P 作 l 的垂线，垂足 O；②在垂线上截取 OP′＝OP（P、P′ 分居两侧）。
作一个图形的对称图形＝把每个顶点逐一作对称点，再顺次连接。多边形翻折后与原图形全等——顺序、方向相反（顺时针变逆时针），这正是「镜像」的性格。
实战变通：网格纸上作对称点，数格子即可，不必真作垂线。
对称作图是最简单的「编程」：同一条规则（翻折）作用到每个顶点——规则的重复执行，就是算法。
等腰三角形性质
证明用的是全等：取顶角平分线 AD，AB＝AC、∠BAD＝∠CAD、AD 公共，SAS 得两三角形全等，于是 BD＝DC（中线）、∠ADB＝∠ADC＝90°（高）——一证三得。
逆定理：等角对等边——判定等腰三角形靠角度而非量长度，精度高得多。
等腰三角形是对称性最强的三角形：一条对称轴，三线合一——对称轴就是它的「身份证」。
等边三角形与三线合一
等边三角形三边相等、三角皆为 60°，有三条对称轴。两个常用结论：①等腰三角形顶角 60° ⟺ 等边；②一边等于另一边一半且垂直时，构造出 30° 角——直角三角形中 30° 角所对直角边等于斜边一半（本册后续章节使用）。
「三线合一」是计算利器：等腰三角形里只要出现「底边中线」，立即免费获得垂直与角平分两条信息。
等边三角形是「六重对称」的图形：旋转 60° 也与自身重合——对称不止「翻折」一种，M2-3 的旋转章会全面展开。
最短路径：将军饮马
解：作 B 关于 l 的对称点 B′。连 AB′ 交 l 于 P——取水点就是 P。理由：AP＋PB＝AP＋PB′≥AB′，等号当且仅当 P 在线段 AB′ 上；而对 l 上任何其他点 Q，AQ＋QB＝AQ＋QB′＞AB′（三角形两边之和大于第三边）。
「化折为直」三步曲：对称搬点、连线定向、三角形不等式收尾——轴对称第一次以「解题工具」身份出场。
轴对称与折叠问题
折叠的本质是轴对称：折痕是对称轴，折前折后的图形全等。解题三板斧：①标出所有相等的线段与角；②在「重叠处」的直角三角形里用勾股列方程；③设最短的边为未知数。
常见模型：矩形沿对角线折叠（出现等腰三角形）、沿折痕把角翻到边上（出现「翻折落点」，需勾股定落点位置）。
折叠题＝轴对称（找等量）＋勾股（列方程）的合体考卷——上册两章的功力在此合并验收。
例1 性质应用
解：AB＝AC ⟹ ∠C＝∠B＝40°，顶角 ∠A＝100°。D 为底边中点，等腰三角形三线合一，AD 既是中线也是顶角平分线，∠BAD＝50°。
一句话用足「三线合一」：中点、垂直、半角，一次全到手。
例2 将军饮马原型
解：作 B 关于 x 轴的对称点 B′(4,−3)。AP＋PB＝AP＋PB′≥AB′＝√((4−1)2＋(−3−1)2)＝√25＝5。
最小值 5，此时 P 是 AB′ 与 x 轴的交点。坐标系里的将军饮马：对称是「搬」，两点间线段最短是「收」。
例3 折叠计算
解：翻折保长：AB＝AF＝8，设 ∠BAE＝∠FAE。在 Rt△ADF 中 AD＝10、AF＝8，DF＝√(AD2−AF2)＝√36＝6。
对称轴 AE 是 BB′ 连线的垂直平分线——「翻折＋垂直平分线＋勾股」三工具连用。
例4 对称设计题
参考：拼成边长 5 的大正方形（外框）＋边长 1 的小方孔——赵爽弦图本身就有 4 条对称轴（两条对角线＋两条中线）。任取两条互相垂直者作答即可。
设计题评分点：全等关系明确（四个三角形旋转重合）＋对称轴可验证。
弦图是「对称设计」的千年范本：四个全等件，一个中心对称＋轴对称的图案。
对称让问题化归：翻过去再回来
对称让问题化归：翻过去再回来
将军饮马的套路可以一句话说尽：把不好走的那段「翻」到好走的地方去。轴对称本身不产生新信息——它搬动位置、重排结构，让隐藏的直线段现形。数学里这一招叫「化归」：把新问题变成熟悉问题。
化归是数学家的第一本能：曲面摊平（例 4·第一章）、分式化整式（第四章）、折纸找等量（本章）——手法各异，灵魂同一个。主轴「盈不足」章的「试值调整」也是一种化归：把难解的一次问题，化为容易的两次试算。
拿到难题先问：能不能「翻」一下，让它变成一道会做的题？
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=6
札记① 对称横跨文明：从青铜纹样到晶体
商周青铜器上的饕餮纹严格左右对称；伊斯兰建筑几何镶嵌以对称群铺满穹顶；中式窗棂用「万不断」纹样沿轴镜像复制。人类不约而同地用对称表达秩序与庄严。
自然科学里对称更是硬通货：雪花六重对称源于冰晶结构，19 世纪结晶学按对称把晶体分为 32 种晶类；20 世纪物理学发现「对称性决定相互作用」——诺特定理说：每一种对称性对应一条守恒律。能量守恒对应时间平移对称，动量守恒对应空间平移对称。
从窗花到宇宙，对称是同一个母题——数学是它的通用语法。
札记② 变换几何的开端
传统几何问「这个图形有什么性质」，变换几何问「哪些变换保持什么不变」——视角一换，天地一新。1872 年，23 岁的克莱因发表《爱尔兰根纲领》：每种几何就是研究某类变换群下的不变量。全等几何研究等距变换的不变量，相似几何研究缩放变换的不变量。
本章的轴对称是等距变换家族的第一位成员；M2-3 的旋转与中心对称是第二位。等到高中，您会见到它们在「变换群」名下重新集合——初中几何的两块砖，已经在为现代数学的大厦备料。
图形不变，变换常新——下一学段，几何将带着「运动」的眼光重新出发。
一次函数
p.91–105 · 理论章 · 概念 3 · 方法 5 · 例题 4 · 思想卡 1 · 格物札记 2
导入：出租车计价：变化的数
某市出租车起步价 10 元（3 公里内），超出部分每公里 2 元。车程 x 公里（x＞3），车费 y＝2x＋4。x 变，y 跟着变——但变化有规矩：给定任何一个 x，y 是唯一确定的。
「一个量随另一个量变化，且一一对应」——这种关系叫函数。它是数学从「研究静止的数」转向「研究变化的量」的分水岭。
主轴「盈不足」章靠「试值」逼近答案；函数则是把「试遍所有值」一次写成的总账本。
常量与变量
身份看语境：单价在一场交易里是常量，在不同城市比较里是变量。圆面积公式 S＝πr2：π 与「平方关系」是常量，r 与 S 是变量。
变量之间有「主动与从动」之分：出租车计价里里程是自变量（自己变），车费是因变量（跟着变）。函数研究的正是这种单值依赖：每个自变量值只配一个因变量值。
先分清「谁动谁跟」，函数关系才不会接反——这是读题的第一刀。
函数概念与表示法
函数三表示法：解析式（y＝2x＋4，精确但抽象）、列表（有限样本，直观）、图像（把每对 (x,y) 画成点，变化趋势一目了然）。三法互通，各有战场。
求函数值＝代入：x＝5 时 y＝2×5＋4＝14。「函数值」永远指向唯一的一个数——唯一性是函数的底线。
「每个 x 配一个 y」与第四章「分母不为零」合起来，就是函数定义域的雏形。
正比例函数图像
k 的符号决定走向：k＞0 直线经过一、三象限，y 随 x 增大而增大；k＜0 经过二、四象限，y 随 x 增大而减小。|k| 越大，直线越「陡」（越贴近 y 轴）。
画法：两点定线——(0,0) 与 (1,k)。
「正比例」是小学里「单价×数量＝总价」的代数化：比例系数 k，就是那个熟悉的「单价」。
一次函数图像与性质
平移眼光：y＝kx＋b 的图像是 y＝kx 向上（b＞0）或向下（b＜0）平移 |b| 个单位——形状不变，高度挪移。k 管方向（增减），b 管起点（截距）。
图像过象限速查：k＞0，b＞0 过一、二、三；k＞0，b＜0 过一、三、四；k＜0，b＞0 过一、二、四；k＜0，b＜0 过二、三、四。
一次函数图像是一条直线——「一次」与「直」的对应，是代数与几何又一个握手点（上一章是勾股，这一章是直线）。
待定系数法
已知图像过两点，求解析式——四步：设（y＝kx＋b）、代（两点坐标代入）、解（二元一次方程组）、回（写出解析式）。
例：过 (1,3) 与 (−1,−1)。3＝k＋b；−1＝−k＋b。两式相加 2＝2b，b＝1，k＝2。y＝2x＋1。
待定系数法的思想：先假定形式，再让数据说话。k、b 是「待定」的系数，两个未知数需要两个独立条件——今后推广到二次、反比例函数，步法不变。
「设—代—解—回」是函数章的万能起手式，请练到肌肉记忆。
一次函数与方程不等式
直线 y＝2x＋1 与 x 轴交点 (−12, 0)：令 y＝0 解方程 2x＋1＝0——方程的解就是直线与 x 轴交点的横坐标。
不等式同理：2x＋1＞0 的解集，就是图像在 x 轴上方的部分对应的 x 范围（x＞−12）。两个一次函数比大小（方案选择的核心）：看两直线的交点与上下位置。
代数问题图像化，答案「看得见」：方程是交点，不等式是上下一方——数形结合第二站。
一次函数应用建模
建模四步：设变量（谁随谁变）→ 找关系（题干里的等量与比例）→ 定范围（自变量实际取值范围：路程非负、件数取整……）→ 做决策（比较、最值、方案）。
范围意识是应用题与纯数学的分界：y＝5x＋100 在数学里 x 通行无阻，在应用题里 x≥0 且为整数——实际背景是函数的第四维。
本册主轴「均输」章的分配问题，正是用线性关系做「最省力调度」的古代范本——下一章综合应用见。
例1 画图与读图
解：取两点 (0,2)、(2,0)，画直线。与 y 轴交于 (0,2)，与 x 轴交于 (2,0)。
图像在 x 轴上方的部分对应 x＜2——不等式 −x＋2＞0 的解集，读图即得。
例2 求解析式
解：平行 ⟹ k 相同 ⟹ k＝1。设 y＝x＋b，代入 (2,1)：1＝2＋b，b＝−1。y＝x−1。
「平行则 k 相等」是待定系数法的黄金搭档条件——两条直线平行与相交（k 不同），由 k 一眼判明。
例3 方案选择问题
解：y甲＝0.1x＋20，y乙＝0.25x。令二者相等：0.1x＋20＝0.25x，x＝4003≈133.3 分钟。
x＜133.3 选乙（便宜）；x＞133.3 选甲。决策由交点一键完成——方案选择题的通用骨架。
例4 行程图像题
解：乙速＝20÷10＝2 米/秒。甲用 12 秒走 20 米，速度＝53 米/秒。
读图要点：横轴截距＝乙等待的 2 秒（甲先走）；交点＝追上时刻；交点纵坐标＝追上处离起点的距离。
行程图像三读：起点、交点、终点——图像题的一半答案都藏在这三点里。
〔盈不足〕从试值到函数：变化的刻画
〔盈不足〕从试值到函数：变化的刻画
《九章》盈不足术的绝招：对同一个问题试两个答案，一盈一亏，再按比例内插出真解——本质是把未知问题当成一次函数来「采样」：两点定线！古人没有函数名词，却处处用着函数思想。
函数概念反过来说，是把「试值法」升华成总账：不再试两点，而是让关系本身成为对象。从盈不足到 y＝kx＋b，人类走了两千年，本册只用一章——因为您已站在两千年积累的地基上。
主轴「盈不足」在此收官：试值是函数的童年，函数是试值的成年。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=7
札记① 函数概念三百年演变
1673 年莱布尼茨首创「function」一词，最初指「随曲线变化的量」；约翰·伯努利与欧拉把它写成解析式；狄利克雷（1837）给出近代定义——「对应规则」，并构造了臭名昭著的狄利克雷函数（有理数处取 1、无理数处取 0）：没有图像可画，却是不折不扣的函数。定义从此与「公式」脱钩。
20 世纪集合论普及后，函数被定义为「集合间的映射」；计算机时代，它又化身「输入—输出」的黑箱。三百年间定义四改其容，唯一不变的是「唯一对应」这条铁律。
札记② 李善兰译「函数」：一词之立
「函」取「包含」之意：一个变数中「函」着另一个变数。李善兰与伟烈亚力合译《代微积拾级》时创译 function、代数、微分、积分等词，其中「函数」一词音义兼顾，沿用至今——今天课本上的每一个「f(x)」，都带着这枚 19 世纪的中国印章。
同一时期日本取意「関数」（关联），汉字文化圈两条译名路线最终在「函数」处汇合。一个词的旅程，就是一部西学东渐史。
综合站：勾股拼图验证
p.106–120 · 综合站 · 导入 1 · 热身 1 · 挑战 5 · 讲评 1 · 进阶 2 · 创意工坊 1 · 复盘 1 · 思想卡 1 · 对弈赛 1 · 任务 1
用拼图重证勾股
一学期七座桥走完：勾股、实数、整式、分式、全等、对称、函数。最后一章不开新课，开工坊——用一学期学到的全部本领，把「勾股定理」这块石头重新打磨一遍：五个挑战、一轮讲评、两轮进阶、一场对弈。
本章主菜单：拼装弦图、加菲尔德证法、根式接力、全等限时、图像配对。每关 10 分钟，配分工坊游戏馆使用。
不求全对，只求把「形数之桥」走成自己的路。
勾股数竞速
两人一组轮流出题：一方报出两个数，另一方 10 秒内答出「能否组成直角三角形」并说理由。
题组参考：①9、12、15——81＋144＝225＝152 ✓；②7、9、12——49＋81＝130≠144 ✗；③5、12、13 ✓；④6、8、10（先约 3,4,5）✓。
竞速秘诀：先约公因数，再套五组基本勾股数；数字陌生时直接算平方和与最大边平方。
①弦图拼装挑战
参考：外大正方形边长 5，面积 25；四个三角形面积合计 4×6＝24；小正方形＝25−24＝1，边长恰为 4−3＝1 ✓。
升级问：换成勾 5 股 12 弦 13 的四块，小正方形边长与面积？（7 与 49）
「外减内」的面积账，正是弦图证明的全部秘密——拼图即证明。
②加菲尔德证法拼图
参考：梯形面积 12(a＋b)(a＋b)；拆三块算：两个三角形 12ab×2 加中间等腰直角三角形 12c2。
列式：12(a＋b)2＝ab＋12c2，展开化简得 a2＋b2＝c2。中间三角形为何等腰直角？——角度追认：三角和为 180°，两个锐角互余拼成 90°。
③根式计算接力
参考链：①4√3；②3√3−2√3＝√3；③√9＝3；④√2。
交接纪律：上一步结果必须化成最简根式才能传棒——最简化是根式接力的「普通话」。
④全等证明限时
参考：Rt△ADC 中 AC＝2AD ⟹ ∠C＝30°（30° 角对半斜边结构）；Rt△ABD 等腰直角 ⟹ ∠B＝45°。验证 2∠C＋∠B＝105°……——注意：此题应改为验证 ∠BAC：∠BAC＝180°−45°−30°＝105°，问 ∠BAC 与 ∠B、∠C 的关系。开放收尾：您的证法用了哪几章的知识？
限时证明考的是「条件的调度顺序」：先固定直角，再调动边长关系。
⑤函数图像配对
参考：y＝2x 与 y＝−2x 过原点（一、三 vs 二、四）；y＝3 是水平线（k＝0 的一次函数特例需 k≠0，严格说它是常函数，配「水平线」图）；y＝−x＋3 与 y＝12x−1 看截距与走向。
判图四看：过不过原点、升还是降、陡还是缓、截距正负。
证法之美讲评
五关背后的方法论盘点：面积法（挑战①②——同一块地数两遍）；最简化（挑战③——根式最简是通用语言）；调度（挑战④——先定直角再调边）；特征识别（挑战⑤——四看判图）。
特别致敬加菲尔德：一位总统用毕达哥拉斯的方式亲近毕达哥拉斯——证明不属于专家专属，属于所有愿意「数两遍」的人。
一题百证不是炫技：每种证法都是一次「形的语言」与「数的语言」的互译练习。
自寻一种勾股证法
任务：从四百余种勾股证法中自选一种（推荐：欧几里得《几何原本》命题 I.47 的面积版、印度「瞧！」版、或总统版变式），读懂它，并把证明改写成自己的话。
评价三条：①每一步的依据是否写清（全等？面积？比例？）；②能否配上示意图；③能否指出它与您已学哪一章的知识最近。
「读懂别人的证明」与「自己写出证明」是两种能力，本章各练一次。
拼图验证展示
小组把自选证法做成一页拼图展板：左边图形、右边推理，中间用箭头标出「哪块面积减哪块」。展板互评标准——图形能独立讲故事（不看文字也能跟上思路）。
展评后回收一份「证法地图」：把各组的证法按工具分类（面积类、全等类、相似类、代数类），贴在教室后墙——这是全班的「勾股证法收藏馆」。
同一座桥，多种造法；收藏证法的教室，就是最小的数学史博物馆。
制作勾股数学海报
为「勾股定理」设计一张 A3 海报：须包含定理陈述、一幅自绘证明图、一组勾股数、一个生活应用例。审美要求与本书一致：深色底、暖金色标注、克制留白。
工序建议：先定主视觉（弦图最上镜），再排文字层级（定理最大、推导最小），最后统一字体（不超过两种）。
海报是把「讲清楚」升级为「看得清」——排版能力也是数学表达能力。
章节知识图谱共建
全班共建本册知识图谱，推荐骨架：勾股为桥心，向数延伸出「平方根→实数系」，向式延伸出「整式→分式」，向形延伸出「全等→轴对称」，向变延伸出「函数」。每条边上写一个「连接词」：如勾股→实数写「开方」，分式→方程写「去分母」。
自检三问：①每个概念能说一句「它是用来干什么的」吗？②每条边能举一个例子吗？③哪条边最陌生？——最陌生的那条边，就是寒假复习的第一站。
〔勾股〕一题百证：证明的多样性
〔勾股〕一题百证：证明的多样性
勾股定理有四百余种证法——面积、全等、相似、向量、复数、微积分各显神通。为什么人类执着于重证同一个定理？因为每种证法都是一种世界观的切片：面积法信「数两遍」，全等法信「搬运」，相似法信「比例」，代数法信「结构」。
定理只有一个，而理解定理的方式无限多。这也是数学教育的深意：不止教您「真理是什么」，更训练您「从多少个方向抵达真理」。
会一百条路的人，才真正认识那座山。
本单元配套游戏站（M2-1《形数之桥》）：入门 / 进阶 / 挑战三级难度，扫一扫或输入网址即玩，无需登录。
games/m2-1.html?u=8
团队知识竞赛
赛制：四队循环，每轮三题——抢答题（勾股数与判定）、图像题（给图求解析式）、证明题（全等书写规范分计入得分）。计分：抢答 1 分、图像 2 分、证明 3 分（书写错误扣 1）。
赛题示例（证明轮）：△ABC 中 AB＝AC，D 为 BC 中点，DE⊥AB 于 E，DF⊥AC 于 F。求证 DE＝DF。（提示：角平分线性质或两次全等皆可。）
对弈赛的意义在赛后：错题当场讲给对手听——讲赢了的，才是真会了。
向家人讲解一种勾股证法
任务卡：本周内，用 5 分钟向家人（或朋友）讲解一种勾股证法。要求：①动手剪四个直角三角形演示；②全程不使用「显然」「很容易」两个词；③讲解后请对方复述一遍。
复盘三问：哪一步对方卡住了？您用了什么比喻？下次会改哪一句开场白？把答案写进数学日记。
能讲给外行听懂的证明，才算真正装进了自己的行囊。寒假再见——M2-2 将带您进入「结构与游戏」的世界。