概念地图
两种数法
同一个集合用两种方式数，得到一个恒等式。
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
帕斯卡 · 十七世纪 · 算术三角的递推
写下 \(\binom{n}{r} = \binom{n-1}{r-1} + \binom{n-1}{r}\) 并用它逐行构造三角。他反对的是逐个计算每个组合数；代价是这条递推当时只是一个观察到的规律，没有解释。
奠基
牛顿与二项式定理的推广 · 十七世纪末
把 \((x+y)^n\) 的展开推广到非整数指数，使组合数进入分析。这一步让代数方法成为主流；代价是组合数的组合意义在很长一段时间里被算法掩盖。
转向
组合证明的传统 · 二十世纪的教材与专著
主张一个恒等式的最好证明是给出两边所数的是同一个集合，而不是把两边化简成相同的表达式。这是对纯代数处理的正面反驳，也是本章要交付的动作。
修正
布鲁迪 · 关于二项式系数与帕斯卡三角的章节
本课对象。教材同时给出代数证明与组合证明，本章要说清这两种证明在「你带走了什么」上的差别。
本课对象
机制02
同一个集合数两遍
要证明两个表达式相等，最省力的办法往往不是化简，而是找一个集合，说明左边数的是它、右边数的也是它。这种做法叫组合证明。它的额外收益在于：代数证明只告诉你等号成立，组合证明还告诉你等号为什么成立，因而在遇到相邻问题时能直接改造。
机制一个恒等式通过让两边数同一个集合被证明并同时被解释。
可迁移性测试
换到财务核对：总账与明细账对上，可以靠两边各自算一遍求和相等，也可以逐笔说明每一条明细恰好进了总账的哪一行。后者不仅证明相等，还告诉你差错会出在哪。不同构的地方在于账目可能真的对不上，而恒等式两边必然相等，组合证明找的是那个对应本身。
机制03
按一个特定元素分类
造这种对应最常用的手法只有一个：盯住某一个特定元素，问它在不在。选中的对象要么含这个元素、要么不含，两类不交且合起来是全部，于是加法原理直接给出一条递推。帕斯卡恒等式就是这个手法的第一例，第 5 章的递推关系整章都是它的推广。
机制一个计数集合通过按某个特定元素在不在被切成两个不交的部分从而给出递推。
可迁移性测试
换到分组抽样：要数所有可能的评审小组，先问「组长是不是张三」，答案把全部方案切成不重叠的两堆，各自数完相加。不同构的地方在于现实分类可能有边界模糊的情形，而这里的「含不含」是完全确定的。
推导04
两条恒等式：一条用分类，一条用两种数法
这一段要证的是帕斯卡恒等式与范德蒙德卷积，并显示两者出自同一个动作的两个方向。
个对象互不相同，
定理前提。边界情形要单独约定 （当 或 ），否则递推在边上不成立。
选定某个特定元素
定理前提，也是这个手法的全部内容：一个特定元素把集合切成两类。
把 个对象分成两组，大小分别为 与
定理前提，用于第二条恒等式；分组方式任选一个并固定。
推导 · 0 / 4
推导实例05
同一条恒等式，两种证明带走的东西不同
。用代数与用组合各证一遍，比较你带走了什么。
代数用二项式定理代入；组合数一个集合的子集总数。
裂缝06
本章命题的边界
争议地形07
本书主张
组合恒等式既可以用代数化简证明，也可以用组合论证证明；两者都是正当的证明，选哪种看方便。
另一种看法
组合证明一线主张：两者在证明强度上等价，在教学与研究价值上不等价——只有组合证明留下可迁移的对应，代数证明留下的是一次性的化简。因此在能给出组合证明时不应满足于代数证明。
分歧扎在
分歧扎在「证明的用途是什么」这一条上。若只为确立结论，两者等价；若为在相邻问题上复用，组合证明多留下一个可改造的对象。两边对数学正确性没有异议。
什么证据能裁决
能裁决它的是相邻问题上的迁移：给两组学习者分别用代数与组合方式证明同一条恒等式，然后给一道变体题（如加一个约束），比较解出率。若组合组明显更高，价值不等价的主张成立。
目前的证据把天平压向组合一侧，但同样很弱：现有比较多是教学经验而非对照实验。还差的是把「变体题的难度」与「证明方式」分开的设计。
边界与反例08
把「按特定元素分类」的建模承诺写成可检验的规格
要检验的建模承诺是：现实中的分类统计确实把总体切成不交且穷尽的部分，因而各类之和等于总数。
去掉哪条假设：分类不交且穷尽
加法原理与整条递推的前提；有重叠或有遗漏时各类之和不等于总数。
该情形下的具体反例：用户按「新用户 / 老用户」分类，而当月注册后再次访问的人被两边各记一次，各类之和大于总数
重叠的那部分被数了两次。
这条承诺对应的可观测量：各类计数之和与独立得到的总数之差
总数必须由独立口径给出，不能由各类相加得到。
什么观测算它不成立：差值的绝对值超过事前登记的阈值
阈值按数据本身的记录误差事前定死。
事前登记的失败条件：差值超阈值，或存在无法归入任何一类的记录
第二种指向不穷尽，第一种通常指向重叠。
推导 · 0 / 3
接口09
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「证明就是把结论确立下来」——一条关于证明用途的判断。本章要动的是它漏掉的那一半。
本章对你已有的结构做的是 (a) 替换「证明只为确立结论」这条结论，还是 (b) 新开一个关于证明可迁移性的槽位？
慢变量登记两个慢变量：你手上有几条结论能说出它的组合意义，以及有几条只记得公式。三天后先看第二个。
小结10
本章小结
01组合证明是「两边数同一个集合」，它同时给出等号与理由。
02「按某个特定元素在不在分类」是造对应最常用的手法，帕斯卡恒等式是它的第一例。
03范德蒙德卷积是同一个动作的另一个方向：换一个角度数同一个集合。
04代数证明与组合证明在正确性上等价，在留下的可复用动作上不等价。
05唯一承担观测风险的是「现实分类不交且穷尽」这条建模承诺。
提取练习 · 合上书，先自己答一遍。
?「帕斯卡恒等式」是 (a) 由分类与双射展开得到的 还是 (b) 关于现实的建模承诺？
?各类计数之和大于独立总数，说明分类 (a) 有重叠 还是 (b) 有遗漏？
受迫二选一11
A 机制辨识
下面哪一条是机制？
二选一
受迫二选一12
C 裂缝定位
哪个情境下本章框架会给出自信而错误的答案？
二选一
读到这里，把它记为已读。