0 目录

这是一个需要完整覆盖课程大纲的规划任务，我先确认 15-151 当前的官方内容和《Infinite Descent》的章节结构，确保不遗漏任何主题。我已确认 15-151 的官方内容范围。现在获取《Infinite Descent》的完整章节结构，确保规划严格对应教材。我已完整核对了 15-151 的官方内容范围与 Newstead《Infinite Descent》的结构。下面先给你我的设计判断，再给五阶段规划。

先说结论性的判断（你需要我的观点，我直接给）：

以你的背景（USAMO / USACO Platinum），15-151 的知识内容对你几乎没有难度——这门课臭名昭著地难，恰恰是难在”会做题 ≠ 拿满分”。这是 CMU 里第一门让你意识到”答对了不代表得 100 分”的课，证明即便你觉得”我懂了”，把这个理解严谨地传达出来要难得多。官方评价里也直说了：参加过 AMC/AIME/USAMO 竞赛数学的学生会觉得这门课比没接触过证明的人轻松得多。换句话说，你的对手不是内容，是证明纪律（proof discipline）——这恰好也是你在数论、线代、组合各科自测里反复暴露的同一个瓶颈：直觉对、答案对，但书面证明缺步骤。

所以我这份规划的设计哲学不是”按教材章节走一遍”，而是：用五个阶段把证明技能按难度梯度压上去，内容只是载体。真正贯穿始终的是一条”证明纪律主线”，我放在最前面。

---

〇、全局说明

教材版本：Newstead《Infinite Descent into Pure Mathematics》。全书分两部分：Part I 覆盖纯数核心概念——逻辑、集合、函数、归纳、关系、无穷——并建立一套写证明的策略体系；Part II 引入若干具体领域，包括数论、组合、实分析、无穷基数、概率论。注意此书版本迭代频繁、章节编号在不同版本会变，所以我下面按”主题”对应而不死扣章节号。

“秒杀 15-151”的操作性定义（我给它拆成三条可验收标准）：

1. 任何一道课程范围内的证明题，你能在 8 分钟内给出采分点无遗漏的完整证明——这是关键，因为考试的难度来自要在短时间内完成，通常就是 50 分钟的课堂时段，大约每题 10 分钟。
2. 遇到没见过的变体题（考试会考 HW 的”陌生化”版本）能快速识别 attack plan，卡住时也有拿部分分的 backup。
3. 你的证明书写严谨到改卷 TA 找不到扣分点。

覆盖策略：官方 15-151 的完整主题清单我已锁定——真值/连接词/真值表/逆否命题、量词、反证法、集合与交并差空集、整数与整除、数学归纳法、素数/埃氏筛/素因子分解、gcd 与 lcm/欧几里得算法/解 ax+by=c、同余与模运算、递归、线性递推、函数与逆、排列、二项式系数/卡特兰数、容斥、无穷基数、二元运算、群、二元关系/等价关系、图、欧拉示性数/平面图/五色定理、有理数/实数/多项式/复数。下面五个阶段逐条全覆盖，且每一块都往上加了竞赛级拓展。文末给你一张”考纲覆盖对照表”逐项核验。

---

★ 贯穿五阶段的主线：证明纪律 Checklist（这是你真正要练的东西）

这条主线不是某个 stage，而是你每写一个证明都要过一遍的自检清单。它直接针对你已知的五个复发性漏洞设计：

你的复发漏洞	对应自检项	每次证明必问
跳过第一步演绎 / 构造无理由	入口合法性	”我的第一句话，读者凭已知能推出来吗？构造从哪来的？“
把 ”≤ 上界” 当 ”= 值”	上界 ≠ 取值	”我证的是不等式还是等式？取等条件验证了吗？“
开方不说单调/符号	符号与分支	”取根/开方/去绝对值时，正负分支我讨论了吗？“
系统性漏掉 “explain/verify” 子问	子问点名	”题目有几问？每一个 sub-part 我都单独回应了吗？“
时间压力下符号/算术错	末步复核	”最后的数值/符号，我回代验证过吗？”

再叠加两条 Newstead 这门课特有的、CMU 改卷极其看重的：

• 变量量化（quantification）显式化：这门课的项目评分里，“数学书写的准确性”专门查你的记号和术语是否准确、变量是否被正确量化。每引入一个变量必写 “let $n\in \mathbb{N}$” / “for all” / “there exists”，绝不让变量”裸奔”。
• 双向命题分两半：证 iff 就是证两个方向，每个方向独立开头、独立收尾。Newstead 反复强调的经典陷阱是解方程——你以为证完了，其实只证了”若 x 是解则 x = 12”，这只把候选缩到一个，你还得反过来验证它真的是解。

我的强烈建议 把上面这张表打印出来贴在桌上。你现在的问题 100% 是习惯问题不是知识问题，唯一的修复机制就是"刻意地、每次都写出被你默认省略的那一步"，直到它变成肌肉记忆。这比你多做 50 道题管用得多。

---

Stage 1 — 逻辑、集合与证明的骨架（Logic, Sets & the Architecture of Proof）

定位：这是最该慢下来的阶段。对你，内容是白给的；但这门课全部证明的”语法”在这里定型。你在这一阶段养成的书写习惯，决定后面四个 stage 的采分率。

核心主题（全覆盖）

• 命题逻辑（propositional logic）：真值、连接词 $\wedge \vee \neg \Rightarrow \iff$、真值表、重言式（tautology）、矛盾式、逻辑等价（logical equivalence）、逆命题（converse）、逆否命题（contrapositive）、逆反关系
• 谓词逻辑（predicate logic）：全称/存在量词 $\forall \exists$、量词嵌套、量词否定（$\neg \forall =\exists \neg$）、约束/自由变量
• 证明方法全家桶：直接证明、逆否证明、反证法（proof by contradiction）、分类讨论（proof by cases）、双向证明、平凡/空洞证明（vacuous/trivial proof）
• 集合（sets）：集合构造记号、子集、真子集、幂集（power set）、并/交/差/补/对称差、空集、指标族与任意并交 ${\bigcup }_{i\in I}{A}_i$、笛卡尔积（Cartesian product）
• 复数与多项式作为”练手对象”：复数的构造式定义（Newstead 把复数定义成实数轴的旋转）、多项式的根、闭包性质（closure properties）、Simon’s Favorite Factoring Trick（SFFT）——这门课里你可以直接引用一串闭包性质而不证明，但最佳实践是注明你用的是哪条闭包性质。

教材对应：Ch 0（Getting started：数系、进制、除法定理引入）、Ch 1（Logical structure / Mathematical reasoning）、Ch 2（Sets）。

超纲 / 竞赛拓展

• 用逻辑语言重写不变量（invariant）论证：把”某个量在操作下不变”翻译成一个 $\forall$ 命题，为 Stage 2 的不变量法铺路。
• 极端原理（extremal principle）的逻辑形式：为什么”取最小反例”是合法的——它其实依赖良序，Stage 2 会证。
• 严谨的”解方程 = 证 iff”训练：用 Newstead 那个 $\sqrt{x-3}+\sqrt{x+4}=7$ 的例子，专门练候选解 vs 验证这一步（这正好打你的”≤ 当 = “漏洞）。
• DNF/CNF 与命题逻辑的可满足性（satisfiability）——衔接你 CS 方向（SAT solver）。

证明纪律专项：这一阶段死磕 入口合法性 和 量化显式化。每道题第一句话都要经得起”凭已知能推出来吗”的拷问。

验收标准：给你一个逻辑等价式或集合恒等式（如 $A\setminus (B\cap C)=(A\setminus B)\cup (A\setminus C)$），你能**双包含（double inclusion）**严格证明，且每一步注明用的是哪条逻辑规则/集合定义，TA 挑不出毛病。

---

Stage 2 — 归纳、递归与良序（Induction, Recursion & Well-Ordering）

定位：这是全书的灵魂阶段——书名 Infinite Descent（无穷递降）就是一种归纳。对竞赛选手这里最容易”轻敌”，但 CMU 会在归纳的书写规范上狠扣分。

核心主题（全覆盖）

• Peano 公理（Peano’s axioms）：自然数的公理化基础，理解归纳法”为什么合法”
• 弱归纳（weak induction）：base case → inductive hypothesis → inductive step 的标准书写模板
• 强归纳（strong induction）：何时必须用强归纳、假设的正确写法
• 良序原理（well-ordering principle, WOP）及其与归纳法的等价性证明
• 结构归纳（structural induction）：对递归定义的对象归纳
• 递归（recursion）与递归定义、良定义性（well-definedness）
• 线性递推（linear recurrences）：特征方程法求通项

教材对应：Ch（Peano’s axioms / Weak induction / Strong induction），结构归纳在 Part II 相关章节。

超纲 / 竞赛拓展

• 无穷递降法（infinite descent）：Fermat 的招牌武器，证 $\sqrt{2}$ 无理、$x^4+y^4=z^2$ 无解。这是书名，必须吃透，且它和 WOP 是一枚硬币两面。
• 不变量（invariant）与单变量（monovariant）：把归纳思想用在过程/博弈问题上，证明终止性与不可达性。
• 归纳构造（inductive construction）：不是证”性质成立”，而是”构造出满足条件的对象”——这类题最考你的构造无理由漏洞。
• Fibonacci / Lucas 恒等式的归纳证明、卡西尼恒等式；强归纳在 olympiad 组合题上的应用。

证明纪律专项：死磕 入口合法性（构造从哪来）+ 子问点名。归纳题必写全 base case、显式写出 inductive hypothesis、inductive step 里明确”在哪一步用了假设”。官方直说：在归纳证明里给出 base case 一定能拿到部分分，即使整题没做完。——反过来说，漏 base case 是白送分。

验收标准：给一个非平凡强归纳题（如”每个 $n\ge 2$ 可写成素数之积”或某个递推不等式），你能写出模板完整、假设精确、步骤显式的证明；并能证明 WOP ⟺ 归纳法。

---

Stage 3 — 数论（Number Theory）

定位：你的主场，但 15-151 要的是证明版数论而非计算版。你数论自测已达 ~92% 广度，这一阶段主要是把”会算”翻译成”会严谨证”，并补齐书面完整度。

核心主题（全覆盖）

• 整除（divisibility）、除法定理（division theorem）
• 素数、埃氏筛（sieve of Eratosthenes）、算术基本定理（FTA，含唯一性证明）
• gcd / lcm、欧几里得算法、扩展欧几里得、Bézout 引理、解 $ax+by=c$ ——这门课证过 $ax+by=c$ 有解当且仅当 $\gcd (a,b)\mid c$，即 Bézout 引理，但没给求解方法；一个求解法是逆着跑欧几里得算法。
• 同余（congruences）、模运算、模逆元、线性同余方程
• Fermat 小定理（FLT）、Euler 定理、Euler 函数 $\phi (n)$
• 中国剩余定理（CRT）——Newstead 讲 CRT 时还给了个秘密共享的应用：把 PIN 拆成两个模数下的信息分给 Alice 和 Bob，单独谁都推不出，合起来靠 CRT 就能恢复。
• $\left(\genfrac{}{}{0ex}{}{p}{k}\right)\equiv 0(\mathrm{mod}p)$（$0<k<p$）——这一条明确在 15-151 范围内，你要会证。

教材对应：Ch 4（Number theory：4.1 除法/4.2 素数/4.3 模运算，依赖关系严格）。

超纲 / 竞赛拓展

• Wilson 定理、元素的阶（order）与原根（primitive root）（轻量）
• 积性函数（multiplicative functions）、$\sigma (n)$、$\tau (n)$
• LTE（Lifting the Exponent）轻量引入
• 经典 olympiad 数论：模运算构造、$p$-adic 赋值、经典 IMO 数论题
• 注意边界：Vieta / Newton 恒等式、Perrin 数列、五技巧叠加题不在 15-151 范围——这些你已经单独练过，别在这门课上浪费时间过度外扩，收益低。

证明纪律专项：上界 ≠ 取值 + 末步复核。数论证明里最容易”算对但没说清逻辑跳跃”，比如用 FTA 时唯一性那半段经常被默认掉。

验收标准：能独立证 FTA 的存在性与唯一性两半、能证 FLT（两种路径：归纳 / 群论）、能证 $\left(\genfrac{}{}{0ex}{}{p}{k}\right)\equiv 0(\mathrm{mod}p)$，且 CRT 会写构造性证明。

---

Stage 4 — 函数、关系与基数（Functions, Relations & Cardinality）

定位：这是 15-151 的技术核心与最大区分度所在。Mackey 的大纲原话：学完归纳后，我们探索函数，并用它们来分类无穷集合的大小——是的，无穷有不同的大小。对角论证这类题，竞赛背景帮不上你，得靠真功夫。

核心主题（全覆盖）

• 函数（functions）：单射/满射/双射（injective / surjective / bijective）、复合、逆函数、集合的像（image）与原像（preimage）
• 关系（relations）：自反、对称、传递、反对称
• 等价关系（equivalence relations）、等价类、划分（partitions）、商集
• 序关系（order relations）：偏序、全序、Hasse 图、良序
• 基数（cardinality）：有限集、可数（countable）、不可数（uncountable）
• Cantor 对角论证（diagonalization）、Cantor 定理 $|A|<|\mathcal{P}(A)|$
• Schröder–Bernstein 定理

教材对应：Ch 3（Functions：Injections and surjections）、关系章、无穷/基数章。

超纲 / 竞赛拓展

• 双射证明（bijective proof）：作为 Stage 5 组合的桥梁，“数两次”的思想源头
• 函数方程（functional equations）轻量引入（作为证明练习，不做竞赛难度）
• 鸽笼原理（pigeonhole）的函数论表述：有限集间无单射 ⟹ 必有碰撞（此处引入定理，重应用留到 Stage 5）
• 序理论：Dilworth 定理 / 链与反链（轻量）、Zorn 引理与选择公理（AC）的认知性了解
• $\mathbb{Q}$ 可数、$\mathbb{R}$ 不可数、$|\mathbb{R}|=|\mathcal{P}(\mathbb{N})|$ 的完整证明

证明纪律专项：符号与分支 + 子问点名。证双射要分别证单射和满射两问（这是你最容易漏掉一半的地方）；证等价关系要逐条验三个性质，一条都不能省。

验收标准：能证 $\mathbb{R}$ 不可数（对角论证书写规范）、能证 Cantor 定理、能用 Schröder–Bernstein 证两个具体集合等势；给定关系能严格判定并证明它是否为等价关系/偏序。

---

Stage 5 — 组合、代数结构与离散结构（Combinatorics, Algebraic Structures & Discrete Structures）

定位：收尾阶段，把 15-151 剩余全部主题（组合、群、图论、实数）一网打尽，并冲竞赛级组合。这一阶段内容最杂，但对你组合是高优先级（记忆里你把鸽笼/不变量/构造存在性列为最高优先）。

核心主题（全覆盖）

• 组合计数：加法/乘法原理、排列（permutations）、组合、二项式系数、二项式定理、Pascal 三角、卡特兰数（Catalan numbers）、容斥原理（inclusion-exclusion）
• 鸽笼原理（重应用）：基础版 + 加强版（$\lceil n/k\rceil$）
• 二元运算（binary operations）、群（groups）入门：群公理、子群、同态初步
• 图论（graph theory）：图、路径/连通、欧拉示性数（Euler characteristic）$V-E+F=2$、平面图（planar graphs）、五色定理（five color theorem）、树（trees）基础
• 实数（real numbers）补完：有理数/无理数、上确界/下确界（supremum / infimum）——为完整覆盖广义 Concepts 内容而设

教材对应：组合章、二元运算/群章、图论内容、实分析入门章。

超纲 / 竞赛拓展

• 双重计数（double counting）、组合恒等式的组合证明
• 生成函数（generating functions）轻量引入
• Ramsey 理论入门（$R(3,3)=6$）
• 群论竞赛应用：Burnside 引理（轻量）、对称群
• 图论 olympiad：极值图论初步、五色定理的完整证明（比四色定理可手证，非常适合作为压轴证明训练）

证明纪律专项：入口合法性（组合双射的构造要说清）+ 末步复核（容斥的符号最容易错，正好打你的”符号/算术执行”漏洞）。

验收标准：能给二项式恒等式的组合证明、能证鸽笼的非平凡应用题、能证 $\sqrt{2}$ 类无理性（衔接 Stage 2 descent）、能证欧拉公式并推出五色定理；群论能验证给定结构是否构成群。

---

节奏与时间建议（暑期到开学）

考虑到你 8 月还有 MMS 考试和 orientation，我给一个现实的排法（可调）：

1. Stage 1–2 优先、投入最重：不是因为难，是因为它们定型书写习惯，且 MMS 的证明部分（你已知的完整度漏洞就在这暴露）主要靠这两阶段的纪律。建议各配 1 套你惯用的 staged exam。
2. Stage 3 快速通过：你数论已 92%，重点只在”计算→严谨证明”的翻译，1 套 exam 验收即可。
3. Stage 4 第二重投入：对角论证、基数、等价关系是 15-151 的真正区分度，也是你竞赛背景帮不上的地方，务必扎实。
4. Stage 5 分块：组合按你的高优先级（鸽笼/不变量/构造）先做，图论/群/实数可作为开学后与课程同步的补充。

每个 stage 都套用你既有的工作流：先出题（英文 PDF、竞赛风格、默认难度偏大）→ 你手写 → 我逐题批改、定位具体错误、统计复发模式。这套流程本身就是你修复证明纪律的最佳载体。

---

考纲覆盖对照表（逐项核验”全覆盖”）

15-151 官方主题	覆盖阶段
真值表/连接词/逆否/逻辑等价	Stage 1
量词与量词否定	Stage 1
反证/分类/双向等证明法	Stage 1（贯穿全程）
集合、交并差空集、幂集、笛卡尔积	Stage 1
复数、多项式、闭包、SFFT	Stage 1
数学归纳（弱/强）、Peano	Stage 2
良序原理	Stage 2
递归、线性递推	Stage 2
结构归纳	Stage 2
整除、除法定理	Stage 3
素数、埃氏筛、素因子分解、FTA	Stage 3
gcd/lcm、欧几里得、Bézout、解 ax+by=c	Stage 3
同余、模运算、模逆	Stage 3
FLT、Euler 定理、CRT、$\left(\genfrac{}{}{0ex}{}{p}{k}\right)\equiv 0$	Stage 3
函数、单/满/双射、逆、像/原像	Stage 4
二元关系、等价关系、划分、序关系	Stage 4
无穷基数、可数/不可数、Cantor、Schröder–Bernstein	Stage 4
排列、二项式系数、卡特兰数、容斥	Stage 5
鸽笼原理	Stage 4（定理）+ Stage 5（应用）
二元运算、群	Stage 5
图、欧拉示性数、平面图、五色定理、树	Stage 5
有理数/实数、上确界/下确界	Stage 5

每一条官方主题都有归属，且每块都附了超纲拓展。

---

Confidence level: 0.86

Key caveats（关键不确定项）：

1. 版本漂移：Newstead 明确警告此书持续更新、章节号会变；官方也说课程进度表随时可能调整。所以我按”主题”而非”章节号”对应——具体到你手上的 PDF/教授的 schedule，个别主题的深浅可能有出入，开学后以你实际教授（近年常见是 Mackey）的 syllabus 为准。
2. 深浅取舍：15-151 的 CS 版更偏 logic/sets/induction/functions/combinatorics；实数的 sup/inf 在 MCS 版（21-127）里更重。我为”完全覆盖 + 超纲”把它保留在 Stage 5，但如果你实际教授略讲，可下调其权重。
3. “秒杀”的真实含义：我要坦诚——即便这五阶段全部吃透，考场上仍有个速度维度是纯知识补不了的。这门课考试卡住基本就凉了，所以最好每道题都有 attack plan。所以我把”8 分钟内采分点无遗漏”写进了验收标准，建议你后期做限时模拟，而不只是无限时把题做对。
4. 上面标”轻量”的竞赛拓展（原根/LTE/Burnside/生成函数）是锦上添花，不是 15-151 必需；若时间紧，优先保证核心与证明纪律，这些可延后。

需要的话，我可以直接按 Stage 1 出第一套竞赛风格的证明考卷（英文 PDF，沿用你的考试格式），你说一声。

（本回答基于网络检索，无 Python 代码，故不附镜像安装命令。）