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

「这堆苹果」「我们班的同学」「所有的素数」——日常语言里,我们每天都在跟「一堆东西」打交道。可是「一堆」经不起追问:多少个才算一堆?「高个子」算谁?不到一米八的高个子吗?日常语言模糊,数学需要精确。
十九世纪末,康托尔(Georg Cantor)把「一堆东西」这件事说清楚:只要能明确判定「给定任何一个对象,它在不在里面」,这一堆东西就配得上一个新名字——集合。模糊的「一堆」从此升格为精确的数学对象。
这件看似不起眼的小事,后来撑起了整座现代数学大厦:数、函数、图形、概率,全都用同一种语言重新写过。这一章,我们就学会这套语言。
《九章算术》「方田」章把田地按形状分类计算——先分类,再研究,正是集合思想最古老的实践。
一个群体配不配叫集合,看三条纪律:
元素可以是数、点、人、甚至集合本身:{1, 2} 与 {{1, 2}, 3} 是不同的两个集——前者有两个数,后者有两个元素,其中一个自己是个集合。
∈ 这个符号来自「属于」(希腊语 ἐστί,意为「是」),皮亚诺 1889 年引入。
同一个集合,三种写法随场景切换:列举法适合元素少或规律明显;描述法适合元素多或无穷;Venn 图适合研究关系。会翻译,就等于掌握了集合的「双语词典」。
它们之间是一条套一套的链:ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ——每个自然数都是整数,每个整数都是有理数,每个有理数都是实数。
两个易错点:① 0 ∈ ℕ 但 0 ∉ ℕ*;② ∈ 与 ⊂ 别混:2 ∈ ℝ 说「2 是 ℝ 的元素」,ℚ ⊂ ℝ 说「ℚ 整个是 ℝ 的一部分」。元素与集合的关系用 ∈,集合与集合的关系用 ⊂。
实数集 ℝ 还可以与数轴上的全部点一一对应——直线就是实数集的画像。√2、π 这些无理数就住在有理数留下的空隙里。
两条约定值得专门记住:① 空集 ∅ 是任何集合的子集,也是任何非空集合的真子集;② 任何集合是它自身的子集(⊆ 允许相等,像 ≤ 允许等号)。
判定的硬办法是「验证任取」:要证 A ⊆ B,就任取 x ∈ A,一步步推出 x ∈ B;要否定,只须找到一个「溜出去」的元素——一个反例就够了。
含 n 个元素的集合有几个子集?研讨②里您会亲手数出 2n 这个漂亮的答案。
补集思想是一种「正难则反」的策略:直接数「合格的」麻烦,就数「不合格的」,再从总数里减掉。例如 100 件产品中抽 1 件,「不是次品」的概率,先算「是次品」往往更快。
两条立等可用的性质:A ∪ ∁UA = U;A ∩ ∁UA = ∅。一个集合与它的补集,合起来恰好铺满整个全集,且互不重叠。
用不等式练一次手感:A = {x ∣ 1 < x < 4},B = {x ∣ 2 < x < 6},则 A ∩ B = {x ∣ 2 < x < 4}(公共段),A ∪ B = {x ∣ 1 < x < 6}(覆盖段)。画在数轴上,「且」取重叠、「或」取合并。
特殊情形要敏感:若 A ∩ B = ∅,两集合「无公共成员」;若 A ∪ B = A,则说明 B ⊆ A——运算结果反过来透露包含关系,这是解题常用的暗线。
把两个圆画在一个方框里,四种基本关系全在图上:相交、包含、相离、相等。交与并是重叠与合并,补是圆外的部分。
每一条都可用 Venn 图当场验证:涂两遍颜色,看图案是否重合。德摩根律的日常翻译:「不上数学也不上体育」的反面是「至少上一门」——否定把「且」变「或」。
这些运算律在布尔代数里升级为逻辑电路的设计规则——您手机里的每一块芯片都在做集合运算。
把「若 p 则 q」(p ⇒ q)当作一个可判定真假的命题,就得到高中逻辑的第一组关键词。
例:「x > 2 ⇒ x > 1」:x > 2 是 x > 1 的充分条件;x > 1 是 x > 2 的必要条件。注意小范围推出大范围:「小」充分,「大」必要。
原命题与逆否命题同真同假:「若 p 则 q」等价于「若非 q 则非 p」——反证法与「正难则反」的逻辑根子就在这里。
对比三组说法:「接近 1 的数」vs {x ∣ |x − 1| < 0.1};「班上的高个子」vs {x ∣ x 身高 ≥ 175 cm};「成绩好的同学」vs 「平均分前 10 名」。前者是人话,后者是集合语言。
研讨问题一:精确是要付出代价的——「接近 1」的暧昧被 0.1 这个硬数字替代后,我们失去了什么?(提示:宽松、语境、人情味。)换来什么?(提示:可判定、可计算、可检验。)
研讨问题二:法律条文「机动车不得进入」为什么必须配定义条款(什么算机动车)?试把一条校规改写成集合语言,看歧义是否被消除。
康托尔的伟大不在于发明了「一堆」,而在于给出判定标准:确定性。数学的可积累性,正建立在这种语言的精确之上。
动手数:{1} 的子集:∅、{1},共 2 个;{1, 2} 的子集:∅、{1}、{2}、{1, 2},共 4 个;{1, 2, 3} 的子集:8 个。规律浮出水面:n 个元素的集合有 2n 个子集。
为什么会是 2 的幂?对每个元素问一个问题:「您进不进?」——每个元素有进、不进两种选择,各元素独立作答,共 2 × 2 × … × 2 = 2n 种答案,每一种恰好对应一个子集。这叫乘法原理的「表决模型」。
再追问一层:真子集 2n − 1 个(去掉自身);非空子集 2n − 1 个(去掉 ∅);非空真子集 2n − 2 个。子集总数含 ∅ 与自身这两个「极端子集」——它们常在分类讨论时被漏数。
研讨任务:用「表决模型」解释 {a, b, c} 的子集与三位二进制数 000~111 的一一对应。这个对应是计算机里「位掩码」的祖先。
不急着背德摩根律,先当一次发现者。设 U = {1, 2, 3, 4, 5, 6},A = {1, 2, 3},B = {2, 3, 4}。算:A ∪ B = {1, 2, 3, 4},于是 ∁U(A ∪ B) = {5, 6};另一边 ∁UA = {4, 5, 6},∁UB = {1, 5, 6},交起来 = {5, 6}。两边相等!
换 ∩ 再试:A ∩ B = {2, 3},补集 = {1, 4, 5, 6};∁UA ∪ ∁UB = {1, 4, 5, 6}。又相等。规律不是背出来的,是算出来的。
为什么会这样?语言翻译:「不在 A 或 B 的并里」=「既不在 A,也不在 B」——「或」被否定变「且」;「不在 A 且 B 的交里」=「不同时在 A 和 B」=「至少缺一个」——「且」被否定变「或」。德摩根律就是「或」「且」互换的语法书。
自己换一组 A、B 再验一次。数学里「我验过了」与「老师说过」的分量完全不同。
否定命题的核心规则恰是德摩根律的连续剧:∀ 的否定是 ∃,∃ 的否定是 ∀。例:「所有素数都是奇数」的否定不是「所有素数都是偶数」,而是「存在一个偶素数」——2 立刻作证。
含逻辑联结词的否定:¬(p 且 q) = ¬p 或 ¬q;¬(p 或 q) = ¬p 且 ¬q。与集合的德摩根律逐字对应:「且/或」↔「∩/∪」,「否定」↔「补集」。
研讨:判断「方程 x2 − 2x + 2 = 0 有实数解」的真假,并写出它的否定。「有解」是 ∃ 命题,验证它为假,等价于验证 ∀ 命题「∀ 实数 x,判别式<0」为真——一张判别式卡,两种量词走法。
解:数轴上标出两段 [1, 5) 与 (3, 7]。交:重叠部分为 (3, 5),即 A ∩ B = {x ∣ 3 < x < 5}。注意端点:5 属于 A 不属于 B,3 属于 B 不属于 A,都进不了交集。
并:合并两段,1 与 7 都入伙:A ∪ B = {x ∣ 1 ≤ x ≤ 7}。
补再交:∁UA = {x ∣ x < 1 或 x ≥ 5},与 B = (3, 7] 取交得 {x ∣ 5 ≤ x ≤ 7}。
区间问题三件套:画数轴、盯端点、写区间。端点是集合题的第一嫌疑人。
解:B 是二次方程的实根集,先想 B 可能是什么:判别式 Δ = a2 − 8。
情形一:Δ < 0(即 −2√2 < a < 2√2)时,B = ∅,而 ∅ ⊆ A 恒成立,此段 a 全要。
情形二:Δ = 0(a = ±2√2)时,根为 ±√2 ∉ {1, 2},舍去。
情形三:Δ > 0 时两根之积为 2,若两根都在 {1, 2} 中,只能是 {1, 2}:和为 3,故 a = 3(此时方程 x2 − 3x + 2 = 0 的根恰为 1、2)。
答:−2√2 < a < 2√2 或 a = 3。提醒:B = ∅ 这一情形最容易漏——含参集合题,先问「会不会是空集」。
第一问:a > b ⇏ a2 > b2——反例 a = 1, b = −2:1 > −2 但 1 < 4。反向也不行:a = −2, b = 1 时 a2 > b2 但 a < b。所以是既不充分也不必要。用集合看更透:a2 > b2 ⇔ |a| > |b|,与 a > b 谁也不含谁。
第二问:x > 1 ⇒ 0 < 1x < 1,充分性成立;反过来 1x < 1 时 x 可为负数(x = −1),推不出 x > 1。所以 x > 1 是 1x < 1 的充分不必要条件。
判定三板斧:找推正例、找反例、集合包含画出来。一个反例顶一页论证。
解:把 {1, 2, 3, 4} 排成一行,任取两个数,距离 ≥ 2 意味着不能取相邻的数。全部对子:{1,3}, {1,4}, {2,4}({1,2},{2,3},{3,4} 相邻排除)。共 3 个。
最大疏朗集:{1, 3} 还能塞谁?2 与 1 相邻、4 与 3 相邻,都不行;{1, 4} 呢?2 与 1 距离 1、3 与 4 距离 1,也不行。故最大疏朗集为 2 元:{1, 3}、{1, 4}、{2, 4}。
延伸:若推广到 {1, 2, …, n},含元素最多的疏朗集是取所有奇数——「隔一个取一个」。这正是组合数学「独立集」问题的婴儿版。
新定义题的诀窍:把定义翻译成最朴素的大白话(「不相邻」),再用最笨的办法穷举——笨办法往往是唯一正确的办法。
十九世纪以前,代数研究数,几何研究形,概率研究运气——各说各话。康托尔的集合论出现后,一切数学对象都有了共同的身份证:集合+关系。函数是两个数集之间的对应,几何是点集,概率是事件(样本空间的子集)的度量,连逻辑本身也被翻译成集合运算。
语言统一带来力量的爆炸:一个定理若在集合层面成立,就同时为数、形、概率三者所有。您这一章学的 ∈、⊆、∩、∪,将在后续每一章反复出现——它们是数学的「普通话」。
更深的回响:正是对集合的追问(「无穷有大小吗?」)引出了二十世纪数学最深刻的基础危机与公理化运动。一座大厦的语言,从花括号开始。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=1
任务背景:集合不是黑板上的游戏,它是分类管理的工具。图书馆分类号、电商标签体系、医保目录,本质都是集合与运算。
任务一:观察您家小区的垃圾分类:四类桶各自接收的对象全集 U 是什么?「可回收物」∩「厨余垃圾」=?有没有定义不清导致投放犹豫的物品(大棒骨属于哪类)?写一份 200 字的「分类边界报告」。
任务二:打开一个购物 App,搜索一件商品,观察筛选器:品牌、价格区间、评分——每个筛选项是一个集合,您每次勾选都在做 ∩ 运算。记录一次「三重筛选」并写出最终的交集表达式。
交付:任务单一份(可手写拍照),下次研讨课带作品来。
情境:无穷多个抽屉,每个抽屉里都有一只袜子。能「同时」从每个抽屉里各抽出一只袜子吗?直觉说能——但这直觉背后站着二十世纪数学最有争议的公理:选择公理。
小组任务:分头查证以下三个词,各写 3 句话汇报——① 「选择公理(AC)」说什么;② 「巴拿赫–塔斯基分球悖论」为何骇人听闻;③ 为什么多数数学家最终选择接受 AC。
讨论题:「能选」与「能写出选取规则」一样吗?对有限个抽屉毫无疑问;无穷个抽屉时,「挑」这个动作需要合法依据——这就是公理。数学允许我们「宣布」某些直觉成立,只要不惹出矛盾。
本次探究不求懂透,只求体验:数学基础的地基下,还有更深的地质层。
写作任务:假设您向一个完全没学过集合的初中生介绍「集合」,写一篇 500–800 字的短文。要求:
① 用您自己的例子(不许抄课本的苹果与素数)引出「确定性」的必要性;② 给出定义并配一个「反例」(什么东西不是集合);③ 用一个生活场景演示 ∩ 或 ∪;④ 结尾回答「为什么数学家要发明这么啰嗦的语言」。
写作支架:好定义 = 判定标准 + 边界反例。写作时自问:读者能不能用我的定义去判定一个具体对象?「高个子」为什么不合格而「身高 ≥ 175 cm」合格?
评价量规:例子原创(30%)、定义准确(30%)、场景演示清楚(20%)、反思有见地(20%)。
答辩流程:每人 3 分钟陈述 + 2 分钟答问。陈述讲三件事:我的例子、我的定义、我发现的最难的判定边界。
答辩自检单:① 我的例子能否被听众一句话复述?② 我的「反例」真的不满足定义吗(自证一遍)?③ 预想两个提问:「如果……呢?」——提前想好回答。
互评规则:每位听众对两名陈述者打分(1–5 星,各维度),并强制写一条「我学到了什么」。提问不许问「什么是集合」这种书上抄得到的题,要问边界题(「两个 1 放进去算违规吗?」)。
答辩不是考试,是让您的定义接受打击测试。被问倒的地方,就是您定义的边界。
挑战的意义在「定义—翻译—穷举」这条链:新定义不可怕,翻译成大白话后,都是老朋友。
知识清单自评(能给别人讲明白才算会):① 集合三要素与判定;② 三种表示法的切换;③ ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ;④ 子集/真子集/空集约定;⑤ 补集与全集;⑥ 交并运算与 Venn 图;⑦ 运算律(尤其德摩根);⑧ 充要条件的集合解读;⑨ 量词否定。
高频错点归档:漏 ∅ 与本身(子集计数);∈ 与 ⊂ 混用;端点归属(取等号情况);含参题漏空集情形;「或」的数学含义(可兼或)。
错题三问(写进错题本):错在哪一步?知识缺口还是习惯缺口?同类题的自创例句是什么?
自评标准:能教会别人才算掌握。试着把「德摩根律」讲给家人听,讲不下去的地方就是要重读的地方。
这一章最后埋一颗种子。集合论最漂亮的成果,是给老朋友「函数」一个全新的出身:函数是两个数集之间的一种特殊对应——定义域 A、值域 B,每个 x ∈ A 都有唯一的 y ∈ B 与之对应。「唯一」二字是函数尊严所在。
用集合语言重看旧知识:一次函数 y = 2x − 1 是对应 x ↦ 2x − 1;方程的解集是使等号成立的 x 的集合;不等式的解集同理。函数、方程、不等式,原来是同一个集合故事的三种讲法。
下一章的主角是函数:单调性、奇偶性、指数与对数。带着集合的「普通话」,走进函数的「方言区」,您会发现一切都有似曾相识的语法。
预习任务:用 {x ∣ …} 写出「不等式 x2 < 4 的解集」,并猜一猜它与函数 y = x2 − 4 的图象有什么关系。
p.26–50 · 理论章 · 溯源 1 · 讲义 8 · 研讨 4 · 例题 4 · 思想卡 1 · 研究 4 · 挑战 1 · 复盘 1 · 迁移 1

古印度传说:国际象棋的发明人向国王讨赏——棋盘第一格放 1 粒麦子,第二格 2 粒,第三格 4 粒……每格翻倍,放满 64 格。国王大笑:就这点麦子?算完他笑不出来了:总数 264 − 1 ≈ 1.8 × 1019 粒,全世界几百年的产量也不够。
这就是指数的力量:底数大于 1 的幂,增长快得反直觉。今天银行复利、病毒传播、芯片摩尔定律,全是同一粒麦子的后代。
而函数,就是描述这种「一个量随另一个量变化」的数学机器。这一章把初中的一次、二次函数升级:先立性质(单调、奇偶),再认识三位新朋友——幂函数、指数函数、对数函数。
《九章算术》「衰分」章按比例递减分物——衰减与增长一体两面,指数思想古已有之。
三要素:定义域、对应法则、值域——其中值域由前两者决定,故两函数相同 ⇔ 定义域与对应法则都相同。y = x 与 y = (√x)2 不是同一函数(定义域不同:ℝ 对比 [0, +∞))。
定义域的常见限制:分母 ≠ 0;偶次根下 ≥ 0;对数真数 > 0 且底 > 0 且 ≠ 1;实际问题的物理限制。
三种表示法:解析法(公式,精确)、列表法(离散,直观)、图象法(全局,一眼看趋势)。图象是函数的「照片」,下一页起我们将反复借助它。
注意「任取」二字:单调是整体性质,比较两个点不行、一千个点也不行,必须对区间内任意两点成立。图象语言:增区间上,曲线从左到右爬坡;减区间上,下坡。
单调性是「局部」概念:同一个函数可以这里增、那里减,单调区间之间用逗号隔开,不能用 ∪ 连接(f 在 (−∞, 0) 与 (0, +∞) 各自递减,不代表在并集上递减——想想 1/x)。
前提别忘了:定义域必须关于原点对称——f(x) = x2, x ∈ [−1, 2] 根本没资格谈奇偶。
判断流程:先查定义域对称,再算 f(−x),化简到与 f(x) 或 −f(x) 相等(或都不等——那叫非奇非偶)。
奇偶性是「对称」的代数化:对称这一几何直觉,从此可以被代数验算。
认识五个经典成员(α = 1, 2, 3, ½, −1)的图象与性格:
公共特征:图象都过 (1, 1)——因为 1 的任何次幂都是 1。第一象限内,α 越大曲线越「陡」;α > 0 增长型,α < 0 衰减型。
幂函数家族的「性格」由指数 α 一手安排:奇偶看 α 的分子分母,单调看 α 的正负。
两位主角的性格截然相反:a > 1 时增函数(x 轴负半轴贴地爬行,过 (0,1) 后一飞冲天——麦粒的故事);0 < a < 1 时减函数(放射性衰变、药物代谢)。底数互为倒数时(如 2x 与 (½)x),两图象关于 y 轴对称。
比较 ax1 与 ax2 大小:看底数——a > 1 底大值大,0 < a < 1 底大值小。底数不同时借助中间量 1 或化同指。
为什么规定 a ≠ 1?因为 1x 恒等于 1,图象是水平线,退化成常函数,不配拥有新名字。
两条常用特例:loga1 = 0,logaa = 1。常用对数 lg = log10,自然对数 ln = loge(e ≈ 2.718,您会在增长模型里遇见它)。
对数的发明(纳皮尔,1614)让天文学家的计算寿命延长了一倍——拉普拉斯如是说。它把乘法降级为加法,把乘方降级为乘法。
三套运算规则常常混用,本页做一个统一操练场。核心心法:化同底、化同指、取对数。
易错警示:loga(M + N) ≠ logaM + logaN——加法没有对数分解!(logaM)2 也不是 logaM2,前者是「对数的平方」,后者是「平方的对数」。
规则记牢,还要会「反向用」:看到 a + log3x,能否想到 log3(3a 的真数)?反向阅读是运算高手的标志。
函数是现实变化的「翻译官」。四类常用模型各有辖区:
选模型的口诀:看变化率。变化率不变选一次;变化率本身在变且越来越快,选指数;越来越慢,选对数或幂(α > 1 的幂函数介于两者之间)。
建模三步:① 读数据列表格;② 猜模型并求参数;③ 检验——代回几个点看误差,必要时换模型。模型不是真理,是「目前为止最合身的衣服」。
第 19 页研究任务将用真实人口与复利数据走一遍全流程。
把两种「证明」摆在一起看。甲:「y = x2 在 ℝ 上先减后增,所以它不单调。」乙:「任取 x1 < x2,当 x1, x2 ∈ (−∞, 0] 时,f(x1) − f(x2) = (x1 + x2)(x1 − x2),x1 + x2 < 0 且 x1 − x2 < 0,积 > 0,故 f(x1) > f(x2),在 (−∞, 0] 上递减。」
研讨:甲的话算证明吗?他画的图象能当证据吗?(图象是直观依据,不是证明;证明必须走定义四步。)乙的证明里哪一步最关键?(变形到「能判号的因式」——第三步是灵魂。)
再辨一处细节:为什么「任取 x1 < x2」不能用「取 x1 = 1, x2 = 2 验证」代替?——因为单调性是全称命题(∀),一个例子只提供证据,不提供证明;但一个反例足以否定。全称与特称的不对称,是数学证明观的核心。
规范不是繁文缛节,是让结论「对所有人无死角成立」的承诺书。
计算 456 × 789,手算要一列竖式;查对数表:lg 456 ≈ 2.6590,lg 789 ≈ 2.8971,相加得 5.5561,反查表得 ≈ 359,784。乘法降维成加法——四百年前这是改变世界的算法。
为什么能降?因为 log 把「乘一层」翻译成「加一层」:log(MN) = log M + log N。化学的 pH(−lg 氢离子浓度)、声音的分贝、地震的里氏震级,全是这条翻译规则的应用——数量级相差万亿的量,被压进同一条数轴。
研讨一:pH = 5 的雨水,氢离子浓度是中性(pH = 7)的多少倍?(102 倍——对数坐标上差 2 格,线性坐标上差 100 倍。)
研讨二:为什么人耳要「内置对数」?从耳蜗能感知的声强范围(相差约 1012 倍)讨论:线性感知在生理上为什么不可行。
折纸问题:一张纸对折多少次,厚度可达月球(约 384,000 km)?纸厚 0.1 mm。对折 n 次厚度为 0.1 mm × 2n。令 2n > 3.84 × 109,解得 n > log2(3.84 × 109) ≈ 31.8。答案:32 次。多数人第一次猜「几百次」。
直觉为何失灵?人脑对线性增长敏感、对指数钝化。264 麦粒、32 次折纸、72 法则(利率 r% 翻倍年数 ≈ 72/r)都在提醒:指数尺度下,感觉必须让位给对数计算。
反向思考同样重要:½n 衰减到「永远到不了零」——药效残留、核废料半衰期。指数衰减的「无限接近」引出一个哲学味道的问题:过程会结束吗?数学的答覆是:极限为零,但任何有限时刻都大于零。
研讨任务:用 72 法则估算 4% 年利率下存款翻倍需要的年数,并解释为什么这个法则灵(提示:ln2 ≈ 0.693 ≈ 72 ÷ 100 与 ln1.04 的比)。
图象变换是函数世界的「变装术」。三条主规则(f 是任意函数):
组合拳示例:y = 2x 如何变到 y = 2x−1 + 3?先右移 1,再上移 3。验证锚点:原 (0,1) → 右移后 (1,1) → 上移后 (1,4),代入解析式 x = 1 时 y = 20 + 3 = 4 ✓。
研讨:为什么 f(x + h) 是「左移」而不是「右移」?——要达到同样的输出,输入必须提前 h。变换次序为什么不可交换?拿平移与伸缩组合举例说明。
证:任取 0 < x1 < x2 ≤ 2。f(x1) − f(x2) = (x1 − x2) + 4(1x1 − 1x2) = (x1 − x2)·x1x2 − 4x1x2。
判号:x1 − x2 < 0;x1x2 < 2 × 2 = 4,故 x1x2 − 4 < 0,分式 < 0;两负相乘得正,f(x1) − f(x2) > 0,即 f(x1) > f(x2)。得证在 (0, 2] 上递减。
最小值:递减区间上 x 越大 f 越小,故 x = 2 时取最小值 f(2) = 2 + 2 = 4。
「对勾函数」y = x + a/x:乘积的临界值 a 的平方根是单调性的分水岭。分母乘积的「临界值」藏在第三步变形里。
解:设 x < 0,则 −x > 0,可套已知段:f(−x) = (−x)2 + 2(−x) = x2 − 2x。
奇函数给桥:f(x) = −f(−x) = −(x2 − 2x) = −x2 + 2x。故 x < 0 时 f(x) = −x2 + 2x。
验算(奇函数的习惯动作):f(−1) = −1 − 2 = −3;按解析式 −(−1)2 + 2(−1) = −3 ✓。另外补上 f(0) = 0(奇函数过原点,若 0 在定义域内)。
「设负求正再翻符号」是此类题的标准舞步:先借已知区间,再用奇偶性回签。
①:同底 1.7 > 1,指数函数递增,2.5 < 3,故 1.72.5 < 1.73。
②:底不同,找中转站:0.8−0.1 = (5/4)0.1(负指数即倒数),1.25 = 5/4。同底 (5/4) > 1 递增且 0.1 < 0.2,故 0.8−0.1 < 1.250.2。
③:log23 > log22 = 1;log32 < log33 = 1。一个比 1 大一个比 1 小,故 log23 > log32。「与 1 比」是对数比较大小的万能中转。
比大小三招:同底比指数、同指比底数、找中间量(1、0 或共同的第三者)。
分析变化率:逐时增量 11、22、44——增量在翻倍,这不是一次模型(一次模型增量恒定),倒像「每小时约翻一倍」的指数增长。
指数拟合:设 N = N0·2t。t = 1 给 12 ⇒ N0 ≈ 6,即 N ≈ 6 × 2t。验证:t = 2 给 24(实测 23),t = 3 给 48(实测 45),t = 4 给 96(实测 89)——趋势吻合,略有高估。
预测:t = 6 时 N ≈ 6 × 26 = 384。(指数模型略偏高:培养液有限,真实增长终将放缓——那是「Logistic 模型」的故事。)
模型选择的证据是「增量模式」:增量恒定一次、倍增恒定指数。数据会说话,只看您会不会问。
初等数学世界的中心是「数」;函数出现后,中心变成了「关系」。我们不再问「x 是多少」,而问「y 如何随 x 而变」——这是一次世界观的迁移:从静态到动态,从实体到规律。
单调性研究「往哪走」,奇偶性研究「对不对称」,指数对数研究「快到什么程度」。性质思维的本质:不逐点计算,而掌握全局性格。这种「抓大放小」的智慧,超出数学之外。
笛卡尔与费马把函数画成曲线那一刻,代数与几何正式合流。您桌面上的每一张图表、手机里的每一条曲线,都是这场合流的后裔。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=2
任务一:查中国历次人口普查数据(1953、1964、1982、1990、2000、2010、2020)。判断 1953–1982 段更接近线性还是指数增长,给出拟合函数,并解释 1982 年后为何指数模型失效(政策与城市化的变量)。
任务二:若 2000 年存入 10,000 元年利率 3% 的复利产品,用 y = 10000 × 1.03n 计算 2026 年本息,并与「单利 3%」对比,算出复利红利。用 72 法则估算翻倍年数并验证。
交付:一页研究单:数据表、模型式、预测值 vs 实际值、一段「模型何时失效」的反思。
探究背景:人类的听觉、视觉对强度的响应都是对数式的——「感知差一格,物理差十倍」。这就是韦伯–费希纳定律。
小组任务一:用手机音量实测:把音量从「10%」调到「20%」再调到「40%」,请组员盲听判断「翻倍了吗」——记录主观判断与物理声强的错位。
小组任务二:查里氏震级定义,计算:7.0 级地震能量是 5.0 级的多少倍?(提示:能量比 = 101.5ΔM = 103 = 1000 倍。)讨论:新闻里「增加一级」为什么是可怕的表述。
收尾研讨:如果人类感官是线性的,我们的祖先在野外还能活下来吗?(提示:对数感知让生物对「数量级变化」最敏感——猛兽靠近了,不管离您 10 米还是 20 米,都得跑。)
写作任务:找一组您关心的真实数据(游戏同时在线、奶茶店月销量、自己的跳绳成绩),写 600 字数据分析短文。要求:
① 画图或列表呈现;② 用变化率判断该用哪种模型(一次/二次/指数/对数);③ 写出拟合函数并解释参数的现实含义(「斜率 3 意味着每周多 3 个」);④ 预测一个未来值并给出误差预期;⑤ 指出模型的一个失效风险。
评价量规:数据真实(20%)、模型论证(30%)、参数解释(20%)、预测与反思(30%)。禁止抄现成结论——原始数据必须自己整理。
答辩流程:小组 5 分钟 + 问答 3 分钟。必答三问:① 各位读者的数据增量模式是什么?为什么选这个模型?② 模型的参数在现实里对应什么?③ 什么时候这个模型会失效?
答辩自检:预测值是否给出「合理误差带」而不是拍死一个数?反方提问预案是否准备(「如果数据再往后走一年呢?」)?
互评规则:评三个维度——证据链(数据 → 模型 → 结论是否闭合)、诚实度(有没有回避不利数据)、表达(外行能听懂吗)。每份答辩至少收两条改进建议。
建模答辩的铁律:可以被证伪的模型才是科学模型。「我的模型永远对」是最大的扣分项。
抽象函数是「只给性质不见其人」的函数——从性质推行为,正是数学中「公理化」的第一次预演,H1-4 夏季册《抽象之门》将正式开门。
知识清单自评:① 函数三要素与相同函数判定;② 定义域求法四限制;③ 单调性定义与四步证明;④ 奇偶性判定与前提;⑤ 五个幂函数性格;⑥ 指数函数图象与规则;⑦ 对数函数与运算规则;⑧ 换底公式;⑨ 图象变换三条;⑩ 模型选择看变化率。
高频错点:f(x + h) 平移方向;单调区间用 ∪ 连接;对数真数范围;(log x)2 与 log x2 混写;奇偶判定漏「定义域对称」前提;含参单调漏讨论。
错题三问:错在知识还是习惯?该题的「题眼」是什么(如「增量的模式」)?出同类题考自己一道。
本章能力台阶:会算 → 会画 → 会证 → 会选模型。自评自己站在第几级。
本章的函数都有「整体性格」:单调、对称、周期。但很多现实问题问的是「此刻有多快」:车速表的读数、股价的瞬时斜率。这需要一个新概念——导数(高二的主角),而它的地基是「平均变化率」。
先玩一玩:y = x2 上,从 (1, 1)到 (1.1, 1.21) 的平均变化率是 2.1;到 (1.01, 1.0201) 是 2.01;不断缩短,数值逼近 2。这个「逼近」就是切线斜率,就是瞬时变化率。
预习任务:对 y = x2,从 x = 2 出发作同样的缩短实验,猜瞬时变化率是多少?它与 2 × 2 的关系?——如果您猜「2x」,恭喜您提前摸到了导数公式。
下一章:三角函数——一个起源于弦表、成长于测量的函数家族,也是「周期」概念的殿堂。
p.51–75 · 理论章 · 溯源 1 · 讲义 8 · 研讨 4 · 例题 4 · 思想卡 1 · 研究 4 · 挑战 1 · 复盘 1 · 迁移 1

公元 150 年前后,亚历山大城的天文学家托勒密编制了人类第一张「弦表」:给出圆心角对应的弦长。天文学家用它计算行星位置、日食时刻。更早的喜帕恰斯、印度历算家、中国《大衍历》都在做同一件事:把角变成数。
今天您计算器里的 sin 键,就是那张弦表的两千年后裔。航海定位、卫星导航、声学降噪、桥梁抗震——凡是「周期」与「角」出现的地方,三角函数就在场。
本章路线:先把角从 0°–360° 的牢笼里放出来(任意角),换一把更自然的尺子(弧度制),在单位圆上重新定义 sin、cos,然后研究它们的图象、性质,最后带上正弦定理、余弦定理去解三角形的真实世界。
《周髀算经》陈子测日:「偃矩以望高,覆矩以测深」——三角测量在中国的两千年雏形。
常用特殊角对译:30° = π6,45° = π4,60° = π3,90° = π2。
弧长与扇形面积(弧度制下才有简洁式):l = αr;S = 12αr2 = 12lr。α 必须用弧度——这就是弧度制「更自然」的第一个证据,第 10 页研讨展开。
这一定义宣告「三角函数从此与三角形脱钩」:角可以是任意大小,函数值随终边位置而定,周期性自动浮现——终边转一圈回到原地,函数值重演一遍。定义域:sin、cos 是全体实数,tan 要去掉 x = 0 的位置(α ≠ π2 + kπ)。
特殊值表(必须刻进记忆):sin 与 cos 在 0、π6、π4、π3、π2 处的值对译自 30°–45°–60° 直角三角形;tan 45° = 1、tan 60° = √3、tan 90° 不存在。
同角关系是「知一求二」的钥匙:知道 sin α(连同象限),cos α 便差一个符号——平方关系定值,象限定号。
诱导公式的几何本质:终边的各种对称(关于 y 轴、原点、x 轴、直线 y = x),对称点的坐标关系翻译成代数,就是这些公式。理解一个、推及一片,不必死背十条。
化任意角的三角函数到锐角三角函数——「化归」思想的经典演出。
正弦曲线 y = sin x 的五点作图法:一个周期 [0, 2π] 内取五个关键点 (0, 0)、(π2, 1)、(π, 0)、(3π2, −1)、(2π, 0),平滑连出「波浪」。
解读周期性:sin(x + 2π) = sin x 对一切 x 成立——「每转一圈,重演一次」。周期函数是描述节律的天然语言:昼夜、潮汐、心跳、交流电。
对称性再添一笔:sin x 的图象关于直线 x = π2 + kπ(波峰波谷线)轴对称,也关于点 (kπ, 0) 中心对称。
余弦曲线 y = cos x:把正弦曲线左移 π2 个单位即得(cos x = sin(x + π2))。性质对照:值域 [−1, 1];周期 2π;偶函数(图象关于 y 轴对称——这是它与正弦最醒目的差别);增区间 [π + 2kπ, 2π + 2kπ],减区间 [2kπ, π + 2kπ]。
正切曲线 y = tan x:周期 π(比正余弦快一倍);定义域 x ≠ π2 + kπ;值域 ℝ——图象是无数支「竖直的波浪」,每支在渐近线两侧冲向无穷。奇函数;在每个开区间 (−π2 + kπ, π2 + kπ) 内单调递增,但整体不单调(周期性打断)。
三兄弟合影一句话:sin 如波浪、cos 是移了位的同款波、tan 是跳跃的爬坡者。三者共享单位圆,性格却由定义分工。
图象三步曲(从 y = sin x 出发):① φ:左移 φ(φ > 0);② ω:横坐标压缩为原来的 1ω;③ A:纵坐标拉伸 A 倍。五点法的升级版:令 ωx + φ 依次取 0、π2、π、3π2、2π,反解出五个 x。
声学里 A 是音量、ω 是音高、φ 是相位——一段和弦就是几条 sin 曲线的叠加。傅里叶将来告诉您:任何周期信号都是这些波浪的调鸡尾酒。
适用场景:① 知两角一边:第三角由内角和补齐,正弦定理连解两边;② 知两边一对角(SSA):小心「多解」——sin B = b sin Aa 算出的 B 可能锐可能钝,必须用「大边对大角」检验。
定理的另一面同样漂亮:比值 2R 说明每个三角形都内接于一个确定的圆,边与角的正弦携手度量同一个圆。
证明的钥匙:等面积法(用两条边乘夹角算两次面积)或外接圆直径 2R = asin A 的直角三角形构造。研究课上您将亲手走一遍。
适用场景:① 知三边(SSS)求角;② 知两边夹角(SAS)求第三边——这两个情形正弦定理够不着,余弦定理登场。
由 cos C 的符号读三角形的「胖瘦」:a2 + b2 > c2 ⇔ C 锐角;a2 + b2 = c2 ⇔ 直角;a2 + b2 < c2 ⇔ 钝角。一条判别式,三种身形。
解三角形总攻略:先数已知元素(三边?两角一边?两边夹角?),再选定理;两边一对角(SSA)是唯一的「多解雷区」,务必检验。
测量、导航、GPS 三边定位——「知道三条边定一个点」,余弦定理在卫星时代依然站岗。
角度制把圆周 360 等分——为什么是 360?巴比伦人的天文历法遗产(一年 ≈ 360 天、六十进制)。它好用吗?看三个证据:
证据一:弧长公式。弧度制下 l = αr,干净利落;角度制下 l = nπr180,背着换算系数。证据二:扇形面积 S = ½αr2,形如三角形面积公式(把弧看作底、半径看作高)。证据三(预告):微积分里 (sin x)′ = cos x 只在弧度制下成立——角度制下会多出一个 π/180 尾巴,处处碍事。
研讨:弧度制的本质是什么?(用「半径」作单位量角——角与长度用同一把尺,圆的几何与直线的代数无缝焊接。1 rad ≈ 57.3° 这个「别扭」的数,正是「自然」的代价与勋章。)
单位的选择没有对错,只有「让谁变得简单」。数学家选弧度,因为数学最终服务于变化率。
环顾世界:昼夜 24 h、潮汐约 12 h 25 min、心跳 0.8 s、交流电 0.02 s、四季 365 天——周期是宇宙的基本节律,而 sin、cos 是节律的书写者。
研讨一:为什么这么多现象「选」了正弦形状?从简谐运动说起:物体在「恢复力与位移成正比」时(弹簧、单摆小幅摆动、琴弦微振),运动方程的解恰是 A sin(ωt + φ)。大自然偏爱简单的方程。
研讨二:两个不同周期的叠加——sin t + sin(1.01t) 会出现「拍」(忽强忽弱),这解释了调音师听到的「拍频」:两根琴弦接近但不等长时,声音嗡嗡起伏。请算:两波叠加,拍的周期约是多少?(2π/0.01 = 628,远长于单波周期——「缓慢的起伏」来自「微小的频率差」。)
周期函数的语言不只描述世界,还干预世界:降噪耳机每秒制造两万次「反相波」,用 cos(x + π) = −cos x 消灭噪音。
不能到河对岸,怎么量河宽?不能爬塔,怎么知道塔高?——「不可达测量」是人类发展三角学的原始动力,也是本章例题与研究的母题。
方案一(塔高):在地面两点 A、B(相距 d)测塔顶仰角 α、β,塔底 C 在 AB 延长线上。tan α = h/AC,tan β = h/BC,AC − BC = d,解得 h = dcot α − cot β。
方案二(河宽):河岸两点 C、D,对岸目标 P。测得 ∠PCD = α、∠PDC = β、CD = d,正弦定理一步到位:PC = d sin βsin(α + β),再投影分解。
研讨:两方案的共同结构是什么?(构造一条可及的基线,测不可及点的张角。)误差敏感度讨论:基线太短会怎样?(角的小误差被放大——基线越长越稳,这就是 GPS 基线动辄千里的原因。)
两个公式开启新大陆:两角和公式 sin(α + β) = sin α cos β + cos α sin β,cos(α + β) = cos α cos β − sin α sin β。
推导一瞥(单位圆距离法):单位圆上两点 (cos α, sin α) 与 (cos β, sin β),它们的距离平方既可用「差角余弦」表达,也可用两点距离公式展开,两边相等即得 cos(α − β) 公式,其余由诱导公式接力。
立刻的收获:sin 75° = sin(45° + 30°) = √6 + √24——不用计算器,15° 的倍数全部收入囊中。辅助角公式 sin α + cos α = √2 sin(α + π4) 把「和」变回「单一正弦」,最值问题瞬间可解。
恒等变换的态度:不是背公式,而是「化归」——任何角的问题,最终都化为特殊角或一个角的问题。第 23 页挑战将检验您的化归功力。
解:平方关系定值:cos2α = 1 − 925 = 1625,cos α = ±45。象限定号:α 在第二象限,cos α < 0,故 cos α = −45。
tan α = sin αcos α = 3/5−4/5 = −34。
变式:若去掉象限条件,答案要分类:cos α = ±45 各自成立——「平方关系定值,象限定号」,缺了象限就得分类讨论。
知一求二三步曲:平方开方、象限定号、商式收尾。
解:右移 π6:sin(x − π6)。横坐标缩短一半(x 换 2x):sin(2x − π6)。振幅 ×3:y = 3sin(2x − π6)。
周期 T = 2π2 = π。对称轴:峰值处 2x − π6 = π2 + kπ,解得 x = π3 + kπ2(k ∈ ℤ)。
易错:先平移后伸缩与先伸缩后平移,平移量不同(后者移 π12)——次序要写明,x 的系数变化影响平移尺度。
解:两边夹角,余弦定理:c2 = a2 + b2 − 2ab cos C = 9 + 25 − 2 × 3 × 5 × (−12) = 49,c = 7。
正弦定理求角:sin A = a sin Cc = 3 × √327 = 3√314。
检验:c = 7 是最大边,C = 120° 是最大角,A 必为锐角,sin A 算出的 A 直接取锐角,无多解隐患。
「两边夹角用余弦、三边求角用余弦、两角一边用正弦」——口诀之外,永远画草图定位已知元素。
解:设塔高 h,塔底为 P。A 处:AP = h / tan45° = h。B 处:BP = h / tan60° = h√3。AB = AP − BP = 100:
h − h√3 = 100 ⇒ h(√3 − 1√3) = 100 ⇒ h = 100√3√3 − 1 = 50(3 + √3) ≈ 237 m。
模型反思:坡度不计是简化;真实山路须把坡角纳入,AB 换成沿线距离的投影——建模时「忽略什么」要写明,这是科学诚实。
不可达测量的通用骨架:两个观测点、两个角、一条基线,三角函数负责其余。
三角函数完成了一件伟大的翻译:把「角」这种几何直观,翻译成可以代数运算的数。角不再需要圆规,它是 cos 与 sin 的一对坐标;三角形的边角关系,从此是一组代数方程(正弦、余弦定理)。
这是「形数合一」的又一座桥:勾股定理用代数计算图形,三角函数用代数计算方向与周期。单位圆上的 P(cos α, sin α) 永远满足 sin2α + cos2α = 1——勾股定理以恒等式的形态永生。
再往深处走:波动、旋转、振动本是同一件事的三个马甲,都被这对函数一肩挑起。学会三角函数,您获得的是「用代数之眼看见旋转」的能力。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=3
任务:小组合作,不登高、不涉水,测出校园内一个不可达目标的高度或距离(旗杆顶、教学楼顶、对面楼距离)。要求:
① 设计方案:画出几何草图,标明基线与观测角,说明用什么工具测角(自制测角器、手机水平仪 App);② 实测并记录至少 3 组数据;③ 三角计算求解,写出完整过程;④ 误差分析:换一条基线重测一次,比较两次结果,讨论误差来源(测角误差、基线误差、非理想共线)。
安全与诚信:不攀爬、不进入禁区;数据如实记录,不许「倒推凑数」。
交付:方案书 + 数据表 + 计算过程 + 误差讨论,各一页。
情境:某港口周日潮位(米):0 时 3.2,3 时 5.0,6 时 3.2,9 时 1.4,12 时 3.2,15 时 5.0,18 时 3.2,21 时 1.4,24 时 3.2——标准半日潮。
任务一:用 y = A sin(ωt + φ) + B 拟合。定参数:B = (5.0 + 1.4)/2 = 3.2(基准潮位),A = 1.8,周期 12 h ⇒ ω = 2π12 = π6。由 t = 3 时取最大值定 φ。写出完整模型并验证两个数据点。
任务二:大船吃水需潮位 ≥ 4.1 m,求周日可进港的时间窗口。任务三:查资料,为什么相邻两高潮间隔约 12 h 25 min?(月球每天晚约 50 分钟过中天。)
这个模型正是港务调度每天在用的原型——三角函数在服务真实码头。
写作任务:把第 19 页的校园测量写成 800 字规范报告,结构五段:
① 问题:测什么、为什么不可达;② 方案:几何原理图 + 公式推导(变量全部定义);③ 数据:表格呈现,注明仪器与精度;④ 结果:计算过程 + 最终值(合理有效数字);⑤ 误差与改进:三大误差源各定量估计一次,提出一条改进措施。
写作规范:图表编号;公式独立成行;不确定结果用「约」「±」表述。报告的评价重点不是结果多准,而是推理链与诚实度。
这份报告就是您第一份「工程师体」文档——简洁、可复核、不含糊。
答辩三问预设:① 「如果测角误差 ±1°,结果差多少?」——做一次灵敏度计算;② 「为什么不直接用影子测高?」——说明方案的适用边界;③ 「您的模型假设哪条最可疑?」——诚实指出并评估影响。
互评量表:方案合理性(25)、计算正确(25)、误差意识(25)、表达清晰(25)。答辩者须用一分钟讲清「为什么选这个方案而不是别的」——方案比较意识是加分核心。
答辩彩蛋:每组现场领一个变式题(把基线加长一倍/把仰角改为俯角),口头给出解法骨架——真懂的表现是「换个数字也会」。
挑战核心:把「陌生形状」恒等变换成「标准形状」。变形是手段,看到结构是目的。
知识清单自评:① 角度↔弧度换算与弧长扇形公式;② 单位圆定义与符号规律;③ 特殊值表默写;④ 同角关系「知一求二」;⑤ 诱导公式的对称本质;⑥ sin/cos/tan 性质清单;⑦ A·ω·φ 三参数与周期;⑧ 正弦/余弦定理的适用情形;⑨ SSA 多解检验;⑩ 和角公式的化归用法。
高频错点:弧度当角度代入公式;tan 整体单调的错误认知;诱导公式符号错;先伸缩后平移的平移量算错;SSA 忘检验;周期公式记错。
错题三问:题眼是「定象限」还是「选定理」?哪个公式的推导我还没亲手走过?出变式题一道。
这一章的角与形都是「标量世界」的居民——只有大小。但物理学天天催促我们:力有方向,速度有方向。既有大小又有方向的量,标量的语言不够用了。
下一章主角向量登场:它会带着三角函数一起上路——数量积的定义 a·b = |a||b|cos θ,正是本章的 cos θ 领的新差事。解三角形的功力也将在向量运算中反复兑现。
预习任务:两人各拉一根弹簧测力计成 60° 角共拉一个物体,合力比单人大还是小?用「方向」一词写下您的直觉——下一章我们用向量把它算清楚。
带着角、带着周期、带着解三角形的兵器,向量的世界见。
p.76–100 · 理论章 · 溯源 1 · 讲义 8 · 研讨 4 · 例题 4 · 思想卡 1 · 研究 4 · 挑战 1 · 复盘 1 · 迁移 1

两个人提水桶,各用 30 N 的力,方向成 90°——桶感受到的力多大?不是 60 N,也不是 30 N,而约是 42.4 N。因为力不是普通的数,它带方向:两个 30 N 未必是 60 N,方向决定一切。
位移也一样:先向东 3 km 再向北 4 km,总共走了 7 km,但「离出发点的距离」是 5 km。大小与方向的二元性,标量语言表达不了。
向量(vector,拉丁语「搬运者」)就是为这类量而生的新数。它将统一本章的所有主角:加减有几何画法,运算有坐标公式,几何性质有代数证法——向量是数与形的第三次握手(第一次数轴,第二次直角坐标)。
力的平行四边形法则,两千年前阿基米德已在使用;《墨经》「力,形之所以奋也」亦暗含方向。
相等向量:长度相等且方向相同的向量,无论起点在哪,都是同一个向量——向量只由「大小+方向」定义,与「位置」无关。这叫自由向量观:向量可以在平面上平移而不改变身份。数学因此获得巨大自由:把力「搬到」同一起点比较,把位移「接到」一起相加。
有向线段是向量的「画像」,不是它本身;同一向量可以画在任意位置——这份自由是向量法的核心武器。
运算律照单全收:交换律 a + b = b + a,结合律 (a + b) + c = a + (b + c)。首尾相接的折线 ABCDE,合向量是 AE——「多段位移一步算」。
|a + b| ≤ |a| + |b|:三角不等式,三角形两边之和大于第三边的向量版。等号当且仅当同向。
几何直观:λ = 2 是「放大两倍」,λ = −12 是「反向缩半」。所有与 a 平行的向量恰是 {λa ∣ λ ∈ ℝ}——一个向量带着它的全部数乘倍数,就是一条「向量直线」。
线性运算的价值:几何问题可化为「解向量方程」。中点 M:OM = ½(OA + OB);线段定比分点全部可由线性运算导出。
「线性」二字将伴随您整个数学旅程:线性方程、线性代数、线性空间——它们都从这两个运算起步。
这是「方向唯一性」的代数宣言:一条直线上所有向量共享一个「方向基因」a,任何成员都是 a 的倍数。λ 的唯一性保证解读不歧义。
应用速览:证三条中线共点(重心):设 OA = a、OB = b、OC = c,则重心 G 满足 OG = 13(a + b + c)——一个公式收编三条中线,几何证法的繁难在向量语言下土崩瓦解。
系数和为 1 是「共线」的代数指纹;系数各为 ⅓ 是「重心」的代数指纹——几何性质被翻译成了系数条件。
这是平面的「户口制度」:两个不共线的方向撑起整个平面,每个向量都有唯一的地址 (x, y)。唯一性来自「平行四边形定位」:过 a 的终点作两基底的平行线,交点唯一。
基底的选取是自由的:任取两个不共线向量都行。这带来策略空间——好基底让分解系数整整齐齐,坏基底让计算一团乱麻。选基底即选坐标系,是解题的第一决策。
定理的反面同样深刻:三个不共线向量「过剩」,两个共线向量「不够」——基底,就是恰好撑起空间的最小组。
基底不必随意——取最顺手的两个:x 轴、y 轴方向的单位向量 i、j。任何向量 a = xi + yj,简记 a = (x, y)。x 叫横坐标,y 叫纵坐标。
坐标化让向量运算变成「有理数运算」:加法对位相加,平行看交叉相乘是否相等。两点间距离公式是模公式的化身:|AB| = √((x2 − x1)2 + (y2 − y1)2)。
三件套连用:几何条件 → 向量等式 → 坐标方程。例如「点 P 满足 PA + PB = 0」翻译成坐标即 P 是 AB 中点。
向量坐标化 = 给几何问题发了一张代数「直达车票」:画图可以省,算术不能省。
物理出身:功 W = F·s cos θ——力做功只算「顺着力方向的分量」。cos θ 是方向匹配度:同向 1、垂直 0、反向 −1。
数量积的两大看家本领——算角与算长,让几何「测量题」全部代数化:
示范一例:正方形 ABCD 边长 1,求 AB·AC。坐标化:A(0,0), B(1,0), C(1,1),AB = (1,0),AC = (1,1),点积 = 1 × 1 + 0 × 1 = 1。几何解读:AB 在 AC 方向上的投影长 √22,乘 |AC| = √2,得 1 ✓。
「设坐标、算点积、读答案」——几何题的工业化流水线,就此开张。
数学史上三次「数形联姻」:① 数轴——数住上直线;② 直角坐标系——曲线配上方程;③ 向量——运算可以带方向了。前两次让形「有坐标」,这一次让形「有代数」。
研讨一:前两次握手后,几何定理仍靠「证」;向量之后,几何可以被「算」出来。这中间发生了什么质变?(答:方向进入了运算系统——线性运算与点积,使「平行、垂直、夹角、长度」全部有了代数判据。几何从「推理学科」部分变成了「计算学科」。)
研讨二:代价是什么?(坐标化前的「选择」负担:选基底、设坐标的巧拙决定计算量;且纯几何的「优美直觉」可能被计算淹没。高明的做法是几何直觉定向、代数计算执行。)
笛卡尔说「算术与几何应携手」;向量回应:不但携手,还共建了一个新数系。
同一个向量 a = (3, 1),用基底 {(1,0), (0,1)} 分解是 3i + j;用基底 {(1,1), (1,−1)} 分解是 2·(1,1) + 1·(1,−1);用 {(2,0), (0,1)} 是 32·(2,0) + j。同一个 a,三种地址。
研讨一:分解唯一性与基底自由矛盾吗?(不矛盾——「给定基底后分解唯一」,「基底本身可任选」;就像身份证号唯一,但可以办好几个不同系统的档案。)
研讨二:实战中怎么选基底?例:△ABC 中 D 是 BC 中点,表示中线 AD——取 {AB, AC} 为基底,中线自动是 ½(AB + AC),系数齐整。原则:让目标向量落在基底的「栅格」上。
坐标法是基底法的特例(固定用正交单位基底);基底法是坐标法的自由升级——高手在「设计坐标系」,而不只是「使用坐标系」。
物理是向量法的原生地。三个典型舞台:
① 力的合成:两人成 60° 角各拉 100 N,合力 |F| = √(1002 + 1002 + 2×100×100×cos60°) = 100√3 ≈ 173 N——平行四边形法则的余弦定理算法。什么时候合力最大/最小?(同向 200 N,反向 0。)
② 速度分解:船头垂直河岸、水流向东,合速度是两速度向量和——「垂直横渡」的船实际走斜线,渡河时间只由船速垂直分量决定(t = d/v船,与水速无关——向量分解的直觉结论)。
③ 功与功率:W = F·s 点积原型;力与位移垂直时做功为零——提着水桶水平走路,您对桶做功为零。
研讨:找一个「物理老师用向量、数学老师也用向量」的共同例题,比较两边讲法——您会看到同一数学结构的两种口音。
拿一道经典题对照两种证法:对角线互相平分的四边形是平行四边形。
几何证法:全等三角形、内错角、平行判定……至少 6 步。向量证法:设对角线交点 O,OA = −OC,OB = −OD。则 AB = OB − OA = −OD + OC = OC − OD = DC。一组对边平行且相等,得证——三行。
研讨一:向量证法省掉的是什么?(辅助线与「看图说话」的机巧——结构信息已编码在向量等式里。)何时传统几何更优?(强调直观、轴对称、旋转的问题;以及需要「为什么」的课堂讲解。)
研讨二:把向量法想象成「把几何题变成解方程」。哪些几何概念可以无障碍翻译?(平行→共线定理,垂直→点积为零,中点→系数 ½)哪些难翻?(圆的切线性质、角度的直观感受——那要等解析几何。)
解:AD = AB + BD,而 BD = ½BC = ½(AC − AB) = ½(b − a)。
故 AD = a + ½(b − a) = ½(a + b)——中线公式再现。
BC = AC − AB = b − a(减法口诀:指向被减者)。
目标向量走「折线路径」:从起点沿已知向量搭桥,中途必经中点、分点——「接路」是向量表示的基本功。
①:AB = (3−(−1), −1−2) = (4, −3);BC = (1−3, 4−(−1)) = (−2, 5)。
②:点积 4×(−2) + (−3)×5 = −8 − 15 = −23 ≠ 0,不垂直。(顺带算夹角:cos θ = −235√29,钝角。)
③:平行四边形 ABCD 中 AD = BC = (−2, 5),D = A + (−2, 5) = (−3, 7)。验算:CD = D − C = (−4, 3) = −AB ✓(平行且反向,符合 CD 边方向)。
坐标法三连:写坐标、做点积、解向量方程。平行四边形的本质是「对边向量相等」。
①:cos θ = −36 = −½ ⇒ θ = 120°。
②:|a + b|2 = a2 + 2a·b + b2 = 4 − 6 + 9 = 7,故 |a + b| = √7。
③:|a − b|2 = 4 + 6 + 9 = 19,|a − b| = √19。
「先平方再开方」是求模的标准舞步:模的平方 = 点积自己。几何对照:以 a、b 为邻边的平行四边形,两条对角线长恰是 √7 与 √19。
解:建系:A(0,0), B(2,0), C(2,2), D(0,2)。P 在 AC 上:P(t, t),t ∈ [0, 2]。
PB = (2 − t, −t),PD = (−t, 2 − t)。点积 = (2 − t)(−t) + (−t)(2 − t) = −2t(2 − t) = 2t2 − 4t = 2(t − 1)2 − 2。
t ∈ [0, 2] 上,二次函数最小值 −2(t = 1,即 P 在中心),最大值 0(t = 0 或 2,P 在 A 或 C)。取值范围 [−2, 0]。
几何解读:P 在中心时 BP 与 DP 反向(点积最负);P 在顶点时 PB·PD = 0(BA ⊥ DA)——代数结果与几何直觉严丝合缝。
动点问题三板斧:建系、设参数、出二次函数。向量的点积负责把几何约束压成代数式。
人类花了三千年才把「方向」收编进数系。分数解决「分不完」,负数解决「欠与亏」,无理数解决「量不尽」,而向量解决「方向」——每一步扩张,都是现实需求倒逼语言升级。
向量最深的教益:结构的扩张不抛弃旧结构。向量保留加法交换律、分配律,只在「数乘」处立新规、在「点积」处立新义——旧代数的直觉大部分继续有效。这是数学扩张的礼仪:承认新事物,同时守护旧秩序。
再往前一步,方向将多于两个(空间向量、复数……),「乘法」也将分化出多种形态。您在 H1-4 夏季册将遇见的第一种抽象结构——群——正是从「哪些运算律值得保留」这个问题出发的。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=4
任务一(物理实验):硬纸板剪一个任意三角形,三边中点标出。用大头针把纸板挂在不同边缘点上,每次沿悬线画铅垂线——三条铅垂线交于一点:重心。用手指托住该点,纸板水平平衡。拍摄/描图记录。
任务二(向量验证):设三角形顶点位矢 a、b、c,证明重心 OG = ⅓(a + b + c) 落在每条中线的 2∶1 分点上(向量法三行内完成)。
任务三(延伸追问):把顶点换成均匀分布的四个质点,质心公式是什么?猜一猜任意多边形的「形心」与顶点平均的关系何时成立、何时不成立。
交付:实验照片 + 向量证明 + 延伸猜想各一段。
小组分工,各领一题,用向量法证明后互教:
① 三角形三中线共点,且交点分每条中线为 2∶1;② 直径所对的圆周角是直角(用点积:设圆心 O 为原点,A、B 是直径端点,P 在圆上,则 PA·PB = (−a − p)·(a − p) = |p|2 − |a|2 = 0);③ 平行四边形对角线平方和等于四边平方和(|a + b|2 + |a − b|2 = 2|a|2 + 2|b|2——平行四边形恒等式);④ 等腰三角形底边上的中线垂直于底边。
研讨:四道题的传统证法各需要什么辅助线?向量法的统一套路是什么?(设好基底 → 表达目标向量 → 用共线/点积翻译结论。)
选一道题向全班讲「传统法 vs 向量法」双打对比——讲得清比较的人,才真正拥有两种方法。
写作任务:以「向量如何改变了几何证明」为题,写 800 字小论文。结构建议:
① 开头:一个只用传统几何很繁、用向量很省的例子(可取自第 20 页题集);② 主体:向量法的「翻译词典」(平行、垂直、中点、夹角 → 向量语言),配您自己的一道完整证明;③ 反思:向量法的边界——什么问题它不擅长?为什么?④ 结尾:您对「数形结合」的新理解。
硬性要求:至少一处使用点积证垂直、一处使用共线定理;所有向量式编号或独立成行。
评价量规:例子典型(25%)、证明严谨(30%)、词典清晰(25%)、反思深度(20%)。
答辩流程:每人 4 分钟论文陈述 + 3 分钟质询。质询题库(提前公开):① 「您的例子里如果不用坐标、只用基底,行不行?」② 「点积为零为什么等价于垂直?请现场证明。」③ 「向量法会算错吗?它的『对』由什么保证?」
自检:论文里的每一步变形是否都能回答「为什么可以这样做」?基底/坐标系的选择是否说清了理由?
互评:打分之外,每人对至少一份论文写出「我借走的一个技巧」——把答辩变成技巧集市。
答辩的赢家不是没被问倒的人,而是把「被问倒」变成改进清单的人。
向量挑战题的通用钥匙:把几何关系「平方化」(用 |x|2 = x·x),约束就现出代数原形。
知识清单自评:① 向量与自由向量观;② 三角形/平行四边形法则;③ 减法方向口诀;④ 数乘与线性运算律;⑤ 共线定理与三点共线系数条件;⑥ 平面向量基本定理与基底;⑦ 坐标运算与平行判据;⑧ 点积定义、坐标式、垂直判据;⑨ 模的平方技巧;⑩ 投影与功。
高频错点:点积结合律的幻觉;|a + b| = |a| + |b| 的错误想当然;平行判据写错交叉项;基底忘了「不共线」前提;投影与投影向量混淆。
错题三问:这题翻译成向量语言的「关键一步」是什么?我是设坐标还是选基底?哪种更省?出自己的「翻译练习」一道。
平面上的向量只有两个自由度,但世界是立体的:飞机的姿态、分子的键角、建筑的受力。下一章「立体几何初步」将带我们升空,而向量将在高二(空间向量)成为立体几何的主力军。
现在能做的预习:把平面里的结论列成「待升级清单」——共线定理、基底定理、点积垂直判据,哪些到三维原样成立?(几乎全部!)哪些要换名字?(平面 → 空间,两基底 → 三基底。)
动手预热:用吸管与橡皮泥搭一个正四面体,目测它有几个直角?(没有一个!)想一想:为什么「看起来很正」的图形里一个直角都没有。
下一章:立体几何初步——「商功」章的现代续篇,也是您的空间想象力正式服役的第一章。
p.101–125 · 理论章 · 溯源 1 · 讲义 8 · 研讨 4 · 例题 4 · 思想卡 1 · 研究 4 · 挑战 1 · 复盘 1 · 迁移 1

《九章算术》第五章「商功」——「商」是商量、计算,「功」是工程量。筑城墙、挖壕沟、修堤坝,官府要预先算出土方:城垣、堤、沟、堑、渠,全是棱柱形的土方工程。商功章给出各种立体的体积算法,还附有穿渠「负土」的劳动量折算——两千年前的《土方工程定额手册》。
祖暅(南朝)更进一步:「幂势既同,则积不容异」——等高处的截面积相等,则体积相等。这条原理领先西方一千多年(卡瓦列里 17 世纪才重新发现)。
本章是「商功」的现代续篇:先认立体(结构、表面积、体积),再学位置的规矩(点线面),最后练出空间想象力的看家本领——平行与垂直的判定。
把「商功」的工程问题当作今天每道体积题的祖先:算体积,从来不是为了考试,是为了把堤修对。
结构与「母体」对应:棱柱的「直」与圆柱的「轴垂直于底」是同一件事;正棱锥与圆锥都有「顶点投影到中心」的对称魂魄。
组合体是常态:帐篷 = 三棱柱 + 三棱柱;蒙古包 = 圆柱 + 圆锥。识图第一步是拆解——把复杂几何体看作基本体的拼装。
斜二测画法(直观图):横不变、纵减半、45° 取向——平面上画出「立体感」的规范约定。
锥体系数 ⅓ 的实验直观:一个圆锥装满水,倒三次恰好装满同底等高的圆柱。祖暅原理可以严格化它(第 11 页研讨)。
表面积全靠「展开图」:棱柱展开是「矩形 + 两底」;圆锥展开是「扇形 + 圆」,扇形半径即母线 l,弧长即底面周长 2πr,故侧面积 S = πrl。正棱锥侧面是等腰三角形,S = ½ × 底周长 × 斜高。
「平面」像一条无限延伸的直线升到三维:无厚度、无限延展。它有几条不容商量的基本事实(公理):
推论四条同样好用:直线与线外一点、两条相交直线、两条平行直线,各自确定一个平面。
证明「共面」题的标准动作:先由两个元素定面,再证其余元素落进去。生活中到处是公理的影子:三脚架为什么稳(三点定面)而两脚架翻倒?门轴为什么用两个合页加插销(三点定面)?
画空间图形的行规:实线可见、虚线被挡;平行线画平行、相交线别画成「差点相交」——图准,则推理省一半。
异面直线是三维的「新人」:它们不平行也不相交,比如教室里「前墙与地面的交线」和「侧墙顶线」。判定异面的经典方法:过其中一条与线外一点作平面,另一条与此平面相交但不过交点。
三个「异面直觉杀手」:① 异面直线没有公共点 ≠ 平行(平行还有「共面」要求);② 分别在两个平面内的直线不一定异面(可能共面相交);③ 「不同在任何一个平面」是对全部平面的否定,不止画出的那几个。
位置关系是立体几何的「语法」:接下来的平行与垂直,就是这套语法的两大句型。
注意两个前提:直线在平面外、面内直线存在。证明的模板:设 a ⊄ α,b ⊂ α,a ∥ b ⇒ a ∥ α。
判定与性质是一对「上下行电梯」:判定从线线升到线面,性质从线面降到线线。证明线面平行通常走「找面内线」;用线面平行解题通常「作交线」。升降之间,立体问题在平面上落地。
常见载体:正方体中棱与不含它的面的平行关系——把正方体的 12 条棱、6 个面练熟,判定性质就长在肌肉里。
传递性:α ∥ β,β ∥ γ ⇒ α ∥ γ。平行平面的「夹层」图景:夹在 α、β 之间的任何平面,两条交线永远平行——像轨道夹着枕木。
判定链的完整梯队:线线平行 → 线面平行 → 面面平行;倒过来逐级性质返回。证明题一半的工作量在「搭梯子」:想上先备料,想下先作面。
教室示范:天花板与地面平行——天花板内两条相交直线(前墙缝、侧墙缝)都平行于地面。您的教室就是判定定理的实体教材。
点面距离 = 垂线段长度——「点到平面的最短距离」,它把立体距离问题化归为垂线段的计算。过一点作 α 的垂线,垂足叫该点在 α 上的射影;斜线段的「射影长 × 斜线长」关系(cos θ = 射影/斜线)是计算角与距离的桥梁。
三垂线定理的直觉版:斜线上垂直于「射影」的直线,也垂直于斜线本身——把平面内的垂直,沿垂线方向「抬起」到斜线上。
方法核心:「平移到一起」。在正方体里练:求棱 AB 与面对角线 A′C′… 选一条可平移的线,把它搬到与另一条相交的位置。常用平移通道:平行四边形对边、中位线、正方体棱。
「异面直线所成角为 90°」正是「异面垂直」——它不要求相交。垂直大家庭:相交垂直、异面垂直,线面垂直则是「与面内一切直线垂直」的全家桶。
所成角的哲学:把「不相见」的直线请到同一处见面——几何里的「翻译」。高二的空间向量将让这道题彻底计算化。
平面几何的直觉到了三维会「失灵」,是本章最大的认知陷阱。三个著名的失灵现场:
① 平面里「垂直于同一直线的两直线平行」;空间里呢?地面上垂直于旗杆的两条线可以垂直——失灵。② 平面里「对边相等的四边形是平行四边形」;空间里的空间四边形对边相等,却可以四处翘起——失灵。③ 平面里两条不相交直线必平行;空间里多出「异面」——失灵。
研讨一:为什么会失灵?(平面几何的隐含前提「一切共面」在三维不再自动成立;每条定理都要问一句:它依赖共面吗?)
研讨二:怎么重建直觉?(实物:铅笔、橡皮、纸盒;画图:虚实线行规;严格化:公理与判定定理。直觉负责提出猜想,定理负责放行。)
空间想象力不是「天生三视图」,而是「自觉用公理校准直觉」的习惯。想象负责快,定理负责对。
祖暅原理:「幂势既同,则积不容异」——夹在两平行平面间的几何体,被任一平行于这两面的平面所截,若两截面积总相等,则两体积相等。
用它重算球的体积(祖暅的原文思路):取半径 R 的半球,与一个「圆柱挖去圆锥」(圆柱底半径 R 高 R,倒扣一个顶点朝下的同高圆锥)夹在同一对平行面之间。逐层验证:高 h 处,半球的截面半径 √(R2 − h2),面积 π(R2 − h2);另一侧截面 = 大圆 πR2 减去圆锥截面 πh2,恰也是 π(R2 − h2)。处处相等!故半球体积 = πR3 − 13πR3 = 23πR3,全球 V = 43πR3。
研讨:祖暅原理「不算极限」却到达了积分才能到达的地方——它靠的是什么?(构造「逐层等面积」的对应体:把一个难算的体积,换成一个好算的。)这与「曹冲称象」是同一种智慧吗?
锥体 ⅓ 系数也能由祖暅原理推出:把三棱锥「切三刀重拼」成同底等高的三棱柱。课后试拼。
经典问题:长方体长宽高为 4, 3, 12,一只蚂蚁从一顶点沿表面爬到对角顶点,最短路程?
解法核心:把立体「摊平」。三种展开方式逐一计算:① 长与宽同侧展开:√((4+3)2 + 122) = √193;② 长与高同侧:√((4+12)2 + 32) = √265;③ 宽与高同侧:√((3+12)2 + 42) = √241。最小者 √193。
研讨一:为什么展开后直线最短在原立体上依然对?(展开是等距变换:沿棱翻折不改变面上的距离结构;面上的最短线翻回立体仍是最短线——这条线叫「测地线」,H1-2 冬季册非欧几何章会再见它。)
研讨二:圆柱面上两点(不在同一母线)的最短线是什么形状?(展开后是直线,卷回去是螺旋线。)为什么不能像长方体那样「比较三种展开」?(圆柱只有一种合理展开——沿母线剪开。)
「降维」是处理曲面的通用心法:凡是能摊平的,先摊平;摊不平的(球面),才动用球面几何。
把三维画到二维,两大门派:
直观图(斜二测):一个图看立体全貌。规则:x 轴水平不变,y 轴 45° 且长度减半,z 轴竖直不变。代价:变形——圆变椭圆、正方形变平行四边形。它是「示意」,不是「测量」。
三视图:正视图(从前往后)、侧视图(从左往右)、俯视图(从上往下)。规则:长对正、高平齐、宽相等。它是「测量」,工程制造的标准语言。
双向训练:由几何体画三视图(注意虚线是被挡的棱);由三视图还原几何体(先按「长对正」拼轮廓,再判断基本体)。经典陷阱:圆柱的正视图与侧视图都是矩形——别把「同一个体」当成「两个体」。
研讨:三视图是「投影」思想的产物——与「光线从无穷远平射」的影子一致。卫星测图、机械制图、医学 CT,全在这条投影链上。
证:须证 BD1 与平面 AB1C 内两条相交直线(AB1 与 AC)都垂直。
第一步:BD1 ⊥ AC。底面正方形中 AC ⊥ BD;又 DD1 ⊥ 底面 ABCD ⇒ DD1 ⊥ AC。AC 与面内两条相交直线 BD、DD1 都垂直 ⇒ AC ⊥ 平面 BB1D1D ⇒ AC ⊥ 平面内的 BD1(线面垂直的性质)。
第二步:BD1 ⊥ AB1(三垂线定理)。侧面 ABB1A1 是正方形,其对角线 A1B ⊥ AB1。D1 在侧面 ABB1A1 上的射影是 A1,B 的射影是 B 本身,故 BD1 在该面上的射影是 A1B。斜线 BD1 垂直于射影 A1B,而 AB1 在该面内且垂直于射影 ⇒ BD1 ⊥ AB1(三垂线定理)。
收束:BD1 ⊥ AB1,BD1 ⊥ AC,且 AB1 ∩ AC = A ⇒ BD1 ⊥ 平面 AB1C。证毕。
回望:三垂线定理在本例出现两次功能——证垂直于斜线、锁定「射影平面」的选择。立体几何证明的每一步都要回答:依据是哪条判定或性质?
证:连 AC,交 BD 于 O(平行四边形对角线互相平分,O 为 AC 中点)。连 OE。
△PAC 中,E、O 分别是 PA、CA 的中点 ⇒ OE ∥ PC(中位线)。
又 PC ⊄ 平面 BDE,OE ⊂ 平面 BDE ⇒ PC ∥ 平面 BDE(线面平行判定)。
复盘:本题路径:目标「线面平行」→ 找「面内线与目标线平行」→ 面内线从哪来?对角线交点送来一条中位线。「中点」是平行问题的万能钥匙:见中点,连中位线或对角线。
判定定理的实战心法:不要对着平面发呆,去平面内「物色」一条能证明平行的线。
①证:SA ⊥ 平面 ABC,而 BC ⊂ 平面 ABC ⇒ SA ⊥ BC(线面垂直的性质)。又 BC ⊥ AB(已知 ∠ABC = 90°)。SA 与 AB 是平面 SAB 内两条相交直线(交于 A)⇒ BC ⊥ 平面 SAB(线面垂直判定)。
②:逐边清点,共得五对——
延伸一问:BC 与平面 SAC 的位置关系?(相交不垂直、不平行——它只与 SA 垂直,不足以线面垂直,两条相交直线的门槛未凑齐。)
垂直关系是一张「网」:判定与性质来回穿梭时,每一步写清「谁 ⊥ 谁、依据什么」。写清对象,网就自己收拢。
体积:底面 △ABC 面积 = ½ × AB × BC = 3(直角三角形)。V = ⅓ × S × h = ⅓ × 3 × 4 = 4。
距离:求 P 到直线 BC 的距离,先证垂线:BC ⊥ AB(已知),BC ⊥ PA(由 PA ⊥ 底面),AB ∩ PA = A ⇒ BC ⊥ 平面 PAB(判定)。连 PB,则 PB ⊂ 平面 PAB ⇒ BC ⊥ PB(性质)。PB 过点 P 且垂直于 BC,故 P 到直线 BC 的距离 = |PB|。
计算:Rt△PAB 中 PA = 4, AB = 2 ⇒ PB = √(16 + 4) = 2√5。即所求距离为 2√5。
距离问题的通用次序:先证垂线,再算长度。垂线的存在由公理保证,位置由判定定理锁定。
商功章的智慧浓缩成一句话:同底等高,则柱同积。棱柱、圆柱、任意「由截面平行堆叠」的柱体,体积统一为 V = Sh——「层数 × 每层厚度」的极限雏形。
锥体的 ⅓、球的 4π3R3,都靠祖暅原理「换体计算」:不直接数我的层数,找一个每层等面积的替身来数。这与等量代换、与「化归为已知」一脉相承——测不出象,就测石头。
更高处看:体积是「面积 × 高」的累加,面积是「线段 × 宽」的累加——「切片求和」正是十七世纪积分学的先声。您在立体几何里摸到的每一刀截面,都是微积分的伏笔。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=5
任务一:测量并建模您身边的一个建筑构件(楼梯台阶=棱柱、屋顶=三棱柱/四棱锥、水塔=圆柱组合)。画出三视图与直观图,估算其体积与表面积,标注全部测量误差来源。
任务二:查「赵州桥」或「鸟巢」的结构图,找出图中至少三种基本几何体,写一段「为什么这样设计」的结构分析(受力方向?材料节省?)。
任务三(动手):用 A4 纸卷一个圆柱、折一个三棱柱(同底面周长、同高),装绿豆比容量——验证「周长相同时圆柱容量更大」。
交付:图纸 + 计算 + 实验数据,装订成一册。
情境:柏拉图立体的传说——正四、六、八、十二、二十面体,恰好五种,再无第六种。这是巧合还是铁律?
探究一(数数):每种正多面体顶点数 V、面数 F、棱数 E,验证欧拉公式 V − E + F = 2 全部成立。
探究二(穷举论证的骨架):正多面体每个顶点处至少 3 个面相会,每面至少 3 条边;内角和条件(共顶点的面角之和 < 360°)逐一把关:正三角形(60°)容许 3、4、5 个面相会 → 三种;正方形(90°)、正五边形(108°)各只容 3 个 → 两种;正六边形 120° × 3 = 360° 出局,往后全军覆没。合计 3 + 2 = 5,铁证。
探究三(动手与延伸):剪纸折出一种柏拉图体;查「阿基米德体」(半正多面体)有多少种,比较「严格全同」与「局部对称」的差别。
「穷举 + 不变式(内角和条件)」是完备性证明的经典配方——欧拉公式在这里是检验清单,不是证明本身。
写作任务:把小组制作的立体模型(纸质或吸管结构)写成 700 字制作报告:
① 设计目标(还原什么建筑/结构?为什么选它?);② 几何拆解(基本体清单、尺寸比例、图纸);③ 制作过程记录(材料、工序、翻车与返工);④ 数学核对(体积/表面积/角度的实测 vs 理论);⑤ 反思(空间想象力哪里帮了忙、哪里骗了您)。
加分项:模型中主动使用一条「判定定理」来保证结构成立(例如用三根吸管互垂搭出墙角,保证「两两相交直线定面」)。
评价量规:几何准确(30%)、过程真实(25%)、核对严格(25%)、反思有料(20%)。
答辩必答:① 您的模型里哪一条公理/判定定理被「实际使用」了?② 如果尺寸放大 10 倍,体积与表面积各变为多少倍?(1000 倍 vs 100 倍——标度律!)这个差异对真实建筑意味着什么?
互评规则:每人质询一份报告,必须含一问「如果……会怎样」(假设变更题);报告人 30 秒内给出方向性答案即可,允许承认「需要算」。
答辩彩蛋:现场三视图挑战——答委用积木摆一个组合体,报告人限时画三视图,答委打分。
「如果放大 10 倍」这一问,背后是伽利略《两门新科学》的著名论断:几何相似的建筑不能无限放大——大教堂需要新的支撑几何。
折叠问题的命门:「折前折后,面内不变,跨面重算」——抓住折痕处的公共结构。
知识清单自评:① 基本体结构辨识;② 全套体积/面积公式(含圆锥侧面积展开);③ 三条基本事实与四条推论;④ 异面直线判定;⑤ 线面平行判定/性质;⑥ 面面平行判定/性质;⑦ 线面垂直判定/性质;⑧ 射影与三垂线直觉;⑨ 异面直线所成角(平移法);⑩ 祖暅原理。
高频错点:判定定理漏「相交」条件;把「性质」当「判定」逆用;异面所成角忘取锐/直角范围;展开图选错拼接棱;三视图虚线遗漏。
错题三问:垂直链条从哪条已知出发?我画的图虚实线规范吗?这题「建系算」和「纯几何证」哪条路省?
本章用「判定 + 性质」的传统武器走完了立体几何的第一程,您也尝到了辅助线的甜与苦。下一学年,《空间向量与立体几何》将带来降维打击:把本章所有「找线」「作面」的机巧,替换成「设坐标、算法向量」的流水线。
先备一手:本章您若试着给正方体问题建坐标系(第 14 页已偷偷用过法向量),就已完成预习的一半。另一半:复习平面向量基本定理——三维版即将登场,基底从 2 个变 3 个,其余原样。
预习任务:正方体棱长 2,用坐标重算第 23 页挑战 1 的 BD(折叠后 B(2√2/2…) ——不剧透,自己建系试试)。
综合站「建模周」就在下一章:把集合、函数、三角、向量、立体全部押上真实问题——大考前的演兵场。
p.126–150 · 综合站 · 开幕 1 · 热身 1 · 挑战 5 · 讲评 2 · 项目 5 · 进阶 2 · 成果 3 · 答辩 2 · 复盘 1 · 思想卡 1 · 对弈赛 1 · 任务 1

前五章的兵器全部入库:集合与逻辑(分类与推理)、函数(变化)、三角(角与周期)、向量(方向)、立体几何(空间)。建模周把它们请出兵器库,对准真实问题。
本周问题清单(五个挑战 + 一个自由项目):① 人口增长该用什么模型?② 校园快递站设在哪儿,全校总路程最短?③ 不爬楼测出教学楼高度;④ 食堂窗口怎么排队最合理;⑤ 潮汐什么时候可进港;⑥ 自选:任何您能采集到数据的问题。
建模周公约:允许任何合理假设,但必须写明;允许模型失败,但必须报告失败方式;数据必须真实,禁止编造;结论必须可被他人复算。
数学建模的定义(本周唯一必背):现实问题 → 数学结构 → 求解 → 回到现实检验。四个箭头,一步不能少。
拿到数据先做三件事,再谈模型:
假设是建模的「宪法」:每一条假设都是一次「简化决定」。示范:建模校园快递问题,假设① 各宿舍楼需求均匀;假设② 路程按直线距离或曼哈顿距离计;假设③ 忽略道路禁行。每条假设都要能回答「为什么可以」与「错了会怎样」。
热身练习:给「食堂排队」问题提三条假设并互相攻击一轮——假设的质量,决定模型的天花板。
任务:用第五次人口普查(2000 年 12.66 亿)与第七次(2020 年 14.12 亿)估计年均增长率,预测 2030 年人口。
指数模型:P(t) = P0(1 + r)t。由 14.12 = 12.66(1 + r)20 ⇒ (1 + r)20 = 1.115 ⇒ 1 + r = 1.1151/20 ⇒ r ≈ 0.55%。预测 2030:12.66 × 1.005530 ≈ 14.9 亿。
立刻反思:近年出生率下降,指数外推大概率偏高——这正是「模型失效」的活教材。改进方向:改用分段模型或引入减速率(Logistic 曲线的入口)。
建模要点:预测必须附带「边界声明」——本预测仅在增长率持续的前提下有效。敢给假设、敢说失效,是建模者的诚实。
第二章的复利公式在 14 亿人身上重演:指数从来不在乎数字有多大。
任务:教学楼、宿舍、食堂、操场位于矩形四角(东 400 m × 南 300 m),快递站在矩形内一点 P,要求 P 到四角的距离之和最小。站设在哪?
尝试一(中心点):P = 矩形中心,四距离之和 = 2 × 500 = 1000 m。
向量法的惊喜:对 P 与四角 A、B、C、D,|PA| + |PC| ≥ |AC| = 500(三角不等式),等号当 P 在对角线 AC 上;同理 |PB| + |PD| ≥ 500。两式相加:总和 ≥ 1000,等号 ⇔ P 同时在对角线 AC 与 BD 上 ⇔ P = 矩形中心。最小值恰 1000 m,中心点已经最优!
升级讨论:若四个需求点不等权(宿舍流量最大),加权和怎么优化?——加权费马点问题,留给项目组挑战。
「猜答案 → 证最优」两步走:先猜中心,再用三角不等式一锤定音。向量的第 3 页知识在此兑现。
任务:不进入教学楼,测出其楼顶高度。工具:皮尺、自制测角器(量角器 + 吸管 + 铅锤)。
方案 A(两次仰角):第三章例 4 的原型——基线 d = 20 m,两次仰角 α、β,h = dcot α − cot β。误差体检:α、β 相差太小则分母趋零,结果剧烈摆动——基线要够长。
方案 B(镜面反射):平面镜放平于地面,人退行至恰见楼顶在镜中。入射角 = 反射角 ⇒ 楼高人高 = 镜到楼镜到人,一次比例搞定。优点:不测角,只量距——误差更可控。
比武:两方案各测 3 次算标准差,用数据决定谁上。测量的学问一半在「选方案」。
问题一(抽签公平性):5 张签 1 张中奖,先抽后抽谁划算?——经典结论:抽签与顺序无关。验证:第 k 个人中奖概率 = 15(先抽者作贡献后,剩余签的中奖条件概率逐层相乘恰补偿)。概率视角:公平性与顺序无关,前提是「不看签面」。
问题二(排队时长):窗口平均每 2 分钟服务 1 人(指数型服务时间),顾客平均每 3 分钟来 1 人。粗模型:利用率 ρ = 2/3,平均在队人数 ρ/(1 − ρ) = 2 人,平均等待 = 4 分钟。
建模要点:排队模型是「随机过程」的婴儿版——本章只需会用结论与直觉,公式推导是高年级的事;重点体验「利用率逼近 1 时,等待爆炸」这一非线性灾难(ρ = 0.9 时平均在队 9 人!开第二个窗口不是「多一倍快」,是「解体性缓解」)。
集合与概率的关系预告:事件就是样本空间的子集——第一章的语言在这里再次上岗。
任务:接手第三章第 20 页的潮汐模型,本周升级三件事:
① 参数再标定:加入「大潮小潮」修正——朔望(日月同线)潮差大、上下弦潮差小,振幅 A 不是常数而随农历日缓慢变化:A(t) = A0 + A1 cos(2πt/29.5)。
② 双港对比:找一个全日潮港口(一天一次高潮,如北部湾部分岸段),比较两种潮型的函数差异——ω 减半,T 翻倍。
③ 决策输出:给出下周的进港时间窗建议表,标注每格的置信度。
要点:真实周期现象常是「多周期嵌套」——潮汐 = 半日周期 × 半月周期 × 半年周期。三角函数的叠加就是这架多层时钟。
五个挑战组的初稿逐一过堂,讲评只抓三件事:
一抓假设:有没有「偷偷用」的假设?(用了两点距离却没声明度量方式;预测人口却没声明增长率不变。)抓到就补写——假设写全,模型才有边界。
二抓量纲:等式两边单位是否一致?(「每天增长 0.55」是 0.55 人还是 0.55%?一字之差,天壤之别。)
三抓检验:有没有拿「没参与建模的数据」回测?(用 1990 年数据建模却拿 2000 年检验,才算闭环。)
讲评金句:模型初稿不是作品,是草稿——草稿的任务是暴露问题,不是维持体面。
第二遍过堂,聚焦「变量表」:每个模型都须交一张变量清单——名称、单位、类型(决策变量/参数/数据)、来源。
审查案例:快递站模型变量表——P(x, y) 决策变量(米);四角坐标参数(米);「流量权重」参数(人次/日)——初稿漏了它,导致「等权」假设被悄悄塞进模型。补上后模型升级为 min w1d1 + w2d2 + w3d3 + w4d4。
审查清单四问:① 每个变量都出现在模型里吗?(幽灵变量)② 模型里的每个符号都在清单上吗?(黑户符号)③ 单位一致吗?④ 数据来源可追溯吗?
变量表是模型的「户口本」——户口不全的模型,答辩时会被一问击穿。
选题标准三则:① 数据可得(一周内能采到 ≥ 20 个数据点);② 变量 ≤ 4(高中兵器够得着);③ 有人在乎(对校园/家庭/社区有真实用途)。
候选题库(可直接选,也可自报):教学楼哪层卫生间排队最短;奶茶店第二家该开在哪;跳绳成绩与练习时长的函数关系;教室采光随座位变化;家庭用电的周周期分析;快递柜格口的最优配比。
分工四岗:数据官(采集与清洗)、建模官(假设与公式)、计算官(求解与画图)、报告官(写作与答辩)——每人一份主责 + 全员联署。岗是轮换的,下周换位。
今日产出:选题卡一张(问题一句话 + 数据来源 + 分工名单)。
采集规范:① 记录「测量环境」(时间、地点、工具、操作者);② 原始数据一字不改地留存(清洗在副本上进行);③ 单位全程统一并写明;④ 抽样要「定规则再抽」(每天同一时段测 5 天,不许「今天人多就多测」)。
常见事故与对策:漏记单位(当场补测或弃用);手工誊抄错位(双人核对);样本期太短看不出周期(至少覆盖两个完整周期——第二章周期的教训)。
数据速检三图:趋势图(看走向)、直方图(看分布)、散点图(看相关)。三图贴墙,全组会诊。
数据是建模者的口粮,也是模型的软肋。答辩第一问永远是:「您这数据怎么来的?」
求解工具箱(按难度递进):① 待定系数法(设模型、代数据、解方程组——第二章例 4 的功夫);② 作图交点法(两函数图象相交即解,精确到格);③ 试错迭代(参数上下调,看误差表,适合三人以上分工);④ 向量/几何法(路径与选址问题的解析解——挑战②的功夫)。
求解记录规范:每一步「做了什么、为什么、得到什么」三栏记录。算错不丢人,丢的是过程——只有过程在,才能定位错在哪。
今日检查点:模型有解吗?解符合常识吗?(「最优快递站设在楼顶」= 必有假设错了。)
常识是免费的检验器:模型结论违背常识时,先怀疑模型,再怀疑常识。
三层检验:① 回代检验:把模型算出的值与建模样本比误差(平均绝对误差、最大误差);② 留出检验:留 20% 数据不参与建模,专用于考试——考不过就回炉;③ 压力检验:把一个假设推到极端(流量翻倍、时间减半),看模型是否输出荒谬结论。
修正决策树:误差大且形状不对 → 换模型族(线性换指数);误差大但形状对 → 调参数;个别点狂野 → 查数据(离群点三问:抄错了吗?环境突变吗?有第三变量吗?)。
修正日志:每次修正记一行——日期、改动、理由、效果。日志是答辩时「我们如何进步」的直接证据。
模型的成长史 = 修正日志的长度。一稿就「完美」的模型,多半没做过压力检验。
报告五段式(总长 ≤ 1500 字 + 图表):
① 摘要(100 字):问题、方法、结论、置信度;② 问题与假设:逐条编号;③ 模型与求解:公式、参数表、关键计算;④ 检验:回代误差 + 留出成绩 + 压力测试各一段;⑤ 结论与局限:能说什么、不能说什么、下一步。
写作纪律:每个结论必须有前文依据(可反查编号);图表自明(有标题、有单位、有图例);诚实条款强制——「本模型未考虑……」至少写一条。
今日产出:完整初稿,交报告官统稿。
报告是模型的「最终形态」:模型活在您手里,报告活在别人眼里。
问题:模型的结论对参数有多敏感?快递站问题里,若宿舍流量权重 w2 从 1.0 提到 1.5,最优位置移动多少?
操作:让参数沿一个方向扫一遍(0.8, 0.9, 1.0, 1.1, 1.2),画出「最优解 vs 参数」的曲线。曲线平缓 ⇒ 结论稳健(参数不必太准);曲线陡峭 ⇒ 结论脆弱(必须精测该参数)。
建模洞察:灵敏度分析告诉您「力气该花在哪」——对敏感参数精测,对迟钝参数粗估。这是真实工程与科研的日常取舍。
小练:对各位读者组的模型选一个参数做灵敏度扫描,一句话报告「结论稳不稳」。
「稳健」是一种可以被测量的品质——扫一遍参数,它就现形。
情境:人口问题,线性、指数、Logistic 三模型并列,选谁?
比较框架:① 拟合优度(历史段误差):三模型都能拟合过去;② 机制合理性:谁的故事对?(资源有限 ⇒ 无限指数不可信;Logistic 的「增长率先升后降」符合减速现实);③ 外推风险:谁的远期预测离谱?(指数模型 2100 年会给出荒谬数字。)
选优原则:拟合好 ≠ 模型好;机制 > 拟合 > 简便,除非数据量太小——小数据时代,简便与机制并重。
课堂辩题:「简单模型好还是复杂模型好?」正反方各 3 分钟,裁判按「奥卡姆剃刀」裁决:同等解释力下,取简单。
海报三区制(一张 A1 或四张 A4 拼版):
左区「问题与假设」:一句话问题 + 假设清单 + 一张实景/示意照片。中区「模型与结论」:核心公式(大字号)+ 关键图表(不超过两张,每张一个观点)+ 结论大字报。右区「检验与局限」:误差数字 + 灵敏度一句话 + 诚实条款。
视觉纪律:远看 5 秒能懂结论;公式最多 3 个上墙;字号从走廊 3 米可读起步。反对「论文搬家」——海报是模型的「电影海报」,不是「电影」。
今日产出:海报定稿(打印或手绘),预留明早张贴位。
摘要打磨四问:① 第一句是否点明问题与数据?② 是否出现「什么模型 + 什么结论 + 多大误差」三要素?③ 有没有一句局限声明?④ 总长是否 ≤ 120 字?——逐组现场改写一轮,互相朗读:读不顺的句子,就是没想清的句子。
图表体检表:标题说清「什么 vs 什么」;坐标轴有单位;刻度均匀;图例不遮数据;关键点有标注(如最优解位置)。每次只修一张图,修完全组再过目。
数字的礼貌:有效数字与测量精度匹配——皮尺量出 20 m,结论别写「14.2378 m」。精度诚实,是报告的门面。
排练流程:每组 6 分钟正式版 + 互评 4 分钟。规定动作:数据官讲数据(2 分钟内)、建模官讲模型(2 分钟)、报告官讲结论与局限(2 分钟)——三棒接力,不许一人全包。
质询预案:每组自列「最怕被问的三问」并准备 30 秒答案。历史高频三问:数据怎么来的?假设错了会怎样?结论适用范围?
互评量规:证据链完整(30)、回答诚实(30)、表达清楚(25)、海报可读(15)。每条评价必须配一句具体证据(「他们在第 3 页承认了 X」),空评无效。
排练的目的不是背稿,是把「怕被问」变成「等着被问」。
流程:前半班级三组依次登台:陈述 6 分钟 → 答辩委员(其余组轮值)提问 5 分钟 → 一句话改进承诺。计时严格,超时切麦。
答辩委员守则:问题须指向模型本身(假设、数据、检验、结论),禁止问「您为什么用蓝色海报」;每组至少一问「假设变更」型问题;允许追问一次,允许答方说「我需要算,会后补」。
记录员:答辩员一名,实时记录每问每答——这些记录明天讲评的原材料,也是各组改进清单的来源。
答辩会的真相:质询不是攻击,是免费的压力测试——对手越认真,您的模型越结实。
流程:后半班级三组登台,规则同上。增设「最快进步奖」候补:凡答辩中当场承认错误并给出修正方案的组,记录员记「诚信加分」一票。
全场复盘两问(答辩全部结束后 10 分钟):① 五组模型里,哪条假设最脆弱?(投票)② 如果只许全班改进一件事,改什么?(讨论)
积分榜:互评分 + 诚信分 + 进步分(明早颁布)。积分与名次无关,与「模型的成长斜率」有关。
答辩的终点不是胜负,是每人带走一张写满的改进清单。
把整周经验压缩成随身「方法册」,六页结构:
方法册期末装订进个人档案,冬季建模直接续写。
方法论的价值在复用:下次遇到新问题,方法册替您完成「从哪开始」的前三步。
数学从世界里来:土地丈量生了几何,账目生了算术,天文生了三角。但它一路抽象,越走越高——集合、函数、向量,离土地越来越远。建模周做的事,是沿着来路走回去:用抽象的兵器回答具体的问题。
这一来一回,数学才完整。只去不回,是空中楼阁;只回不去,是经验堆栈。抽象与现实之间的往返通道,就是假设、求解、检验、修正这条流水线——它不在任何一章的知识清单里,却是所有章节的总装车间。
《九章算术》的章名——方田、粟米、商功、均输——无一不是建模目录:每个「术」都是一条建模流程。两千年后您重走此路,走的是同一条回家的路。
本单元配套游戏站(H1-1《集合·函数·向量》):入门 / 进阶 / 挑战三级难度,扫一扫或输入网址即玩,无需登录。
games/h1-1.html?u=6
积分构成:互评均分(50%)+ 诚信与进步分(30%)+ 全场复盘贡献(20%)。颁奖三席:
最佳模型奖:证据链最完整的一组。最快进步奖:修正日志最厚、终稿与初稿差异最大的一组。最佳答辩奖:把「怕被问」变成「等着被问」的一组。
颁奖演讲:每组一句话——「本周我最难忘的一个错误」。全员把这句话写进各自方法册第⑥页。
颁奖奖励的不是聪明,是诚实、修正与协作——建模周真正训练的三样东西。
冬季任务预告:H1-2《游戏与结构》即将开张——非欧几何故事、斐波那契与矩阵、博弈必胜策略、统计实验与向量力学、黄金连分数与密码学,六座新营房已备好。
自主建模预约单(本周交付):① 我想在冬季深入的问题(或从五座营房选一座);② 我准备的数据/材料清单;③ 我想尝试的模型类型;④ 我想邀请的队友。
寒假阅读推荐:《几何学的故事》《数学建模初步》任意章节、九章格 32 座游戏工坊(扫码即玩,向量为武器者可挑战全部图形馆)。
秋季册到此收官。集合、函数、三角、向量、立体、建模——六件兵器已经开刃,冬季见。