REVIEW.137945.XYZ · INTERACTIVE COURSE REVIEW OBSERVATORY
◈ review.137945.xyz 三院课程总馆MIT 18.065 矩阵方法清华 · 张颢《概率论》复旦 · 叶凡《数字集成电路》
Ω公理与机遇ZHANG HAO / PROBABILITY
清华大学《概率论》/第 1 讲 · P05–P09
返回 16 讲全景图
LECTURE 01 · P05–P09 原课总长 1:37:48 · B 站 BV1KuJt6zE2t

第 1 讲 · 不确定性的根源、样本空间至高地位与古典概型三大名题

Lecture 1 · Origins of Uncertainty, Supremacy of Sample Space Ω & Classical Probability

从斯坦福真空抛硬币机、Cardano 古典概型三步法,到生日问题的对数泰勒解析近似、帕斯卡–费马分赌本通信(7:1)与贝特朗弦长悖论(1/3, 1/4, 1/2)的完整黑板推导。

原课分片 (点击跳转 B 站对应分P播放):

本讲主线与问题意识 · LECTURE NARRATIVE ARC

本讲是张颢老师《概率论》正式展开数学推演的第一课(对应原课视频 P05–P09,总长约 97 分钟)。全讲围绕一条极其清晰的灵魂主线层层推进:为什么样本空间 Ω\Omega 在概率论中拥有至高无上的地位? 从剖析不确定性的三重物理与认知来源出发,张颢老师建立了“统计实验 →\to 样本空间 Ω\Omega →\to 等可能性与古典概型 P(A)=#A/#Ω\mathbb{P}(A)=\#A/\#\Omega”的严格三步规范,并先后用生日问题(展示补集迂回与微积分指对数泰勒近似的威力)、帕斯卡–费马分赌本问题(展示如何用虚拟顺延局构造等概样本空间 {0,1}3\{0,1\}^3)以及贝特朗弦长悖论(展示同一问题在不同样本空间下导出 1/3,1/4,1/21/3, 1/4, 1/2 三个正确解),让你彻底领悟“样本空间牵一发而动全身”的概率思维。

本讲核心攻克目标:
  • 区分不确定性的三重来源(算力受限的确定性力学、多因素耦合的规则模糊、微观量子内禀随机),理解概率论“不作哲学争吵、专注数学建模”的立场。

  • 熟练执行张颢老师的古典概型三步规范(① 明确样本空间 Ω\Omega 并求 #Ω\#\Omega →\to ② 明确事件集 A⊂ΩA\subset\Omega 并求 #A\#A →\to ③ 作比 #A/#Ω\#A/\#\Omega),掌握双骰子对角对称计数与桥牌组合计数。

  • 完整复现生日问题的黑板推导:用补集 AcA^c 避开正面分类爆炸,并用 exp⁡(ln⁡∏)\exp(\ln\prod) 化连乘为连加及一阶泰勒展开 ln⁡(1−x)≈−x\ln(1-x)\approx -x 导出 1−e−N(N−1)/2C1-e^{-N(N-1)/2C},反解 50%50\% 阈值 N≈23N\approx 23。

  • 透彻理解 Pascal–Fermat 分赌本问题(5:35:3 抢 66) 为什么不是 5:35:3 或 Tartaglia 的 3:13:1,而是 7:17:1——特别是为什么必须把“现实中无需再打的虚拟顺延局”保留在样本空间 Ω={0,1}3\Omega=\{0,1\}^3 中。

  • 掌握 Bertrand 弦长悖论 的三种样本空间建模(圆周端点 Ω1→1/3\Omega_1\to 1/3、圆盘中点 Ω2→1/4\Omega_2\to 1/4、半径弦心距 Ω3→1/2\Omega_3\to 1/2),看清日常概率争论中“随机选取语焉不详”的本质病灶。

CORE FORMULAS & BOARD NOTATION · 本讲黑板核心公式与记号速查

古典概型三步法核心公式

P(A)=#A#Ω(前提:Ω 有限且各样本点严格等可能)\mathbb{P}(A) = \frac{\#A}{\#\Omega} \quad (\text{前提:}\Omega\text{ 有限且各样本点严格等可能})

张颢黑板记号:#Ω 为样本空间元素总个数,#A 为目标事件子集 A⊂ΩA\subset\Omega 的元素个数。第一步永远是明确 Ω\Omega!

生日问题:补集精确解与对数泰勒近似

P(A)=1−(CN)N!CN=1−∏k=1N−1(1−kC)≈1−exp⁡(−N(N−1)2C)\mathbb{P}(A) = 1 - \frac{\binom{C}{N}N!}{C^N} = 1 - \prod_{k=1}^{N-1}\left(1 - \frac{k}{C}\right) \approx 1 - \exp\left(-\frac{N(N-1)}{2C}\right)

利用 ln⁡(1−k/C)≈−k/C\ln(1-k/C)\approx -k/C 将连乘化为等差求和,反解 N(N−1)≈2Cln⁡11−p0N(N-1)\approx 2C\ln\frac{1}{1-p_0}。当 C=365,p0=1/2C=365, p_0=1/2 时 N≈23N\approx 23。

帕斯卡–费马分赌本问题(5:3 抢 6)

Ω={0,1}3  (#Ω=8),Ac={(0,0,0)}  (#Ac=1)  ⟹  P(A):P(Ac)=7:1\Omega = \{0,1\}^3\;(\#\Omega=8),\quad A^c = \{(0,0,0)\}\;(\#A^c=1) \implies \mathbb{P}(A):\mathbb{P}(A^c) = 7:1

最多还需打 r+s−1=3r+s-1=3 局;乙翻盘只有“华山一条路 (0,0,0)(0,0,0)”,保留虚拟顺延局才能维持 88 个样本点等可能。

贝特朗弦长悖论(L > √3 R)三种样本空间

P1(Ω圆周)=13,P2(Ω圆盘)=14,P3(Ω半径)=12\mathbb{P}_1(\Omega_{\text{圆周}}) = \frac{1}{3}, \qquad \mathbb{P}_2(\Omega_{\text{圆盘}}) = \frac{1}{4}, \qquad \mathbb{P}_3(\Omega_{\text{半径}}) = \frac{1}{2}

三个答案全部正确!因为三种“随机选弦”方式分别对应不同的样本空间 Ωi\Omega_i 与不同的均匀等概测度。

1. 不确定性的三重根源:从拉普拉斯决定论、复杂系统到量子内禀随机性

概率论研究具有“不确定性(Uncertainty)”的现象——即在实验完成前无法唯一预知结果的事件。张颢老师通过抛硬币、摸球/大选预测与微观粒子运动三个递进层次,剖析了科学史上不确定性的三种不同来源,并划定了概率论“不作哲学争吵、专注数学建模”的学科边界。

1.1 什么是“不确定性”?

在课程开篇(),张颢老师提出了一个看似朴素却直击本质的问题:概率论究竟研究什么? 日常经验告诉我们,任何一件事情在真正发生之前,其结果往往无法事先确知,只有做了之后才能揭晓。严格来说,现实世界中的一切现象都带有不确定性,区别仅在于某个结果出现的可能性是大是小(接近必然还是接近不可能)。

在科学史上,学者们围绕“世界究竟是决定的还是随机的”争论了数百年。张颢老师没有停留在抽象的哲学概念上,而是用三个极具代表性的物理与现实模型,将不确定性的来源拆解为三个截然不同的层次:

不确定性层次 课堂核心案例 底层规则状态 不确定性的真正根源 理想极限下的表现
第一类:算力与控制受限 手抛硬币()、斯坦福真空抛币机() 规则完全清晰(生物力学 + 刚体转动 + 空气流体力学 + 地面弹性碰撞) 人类缺乏精准测量初态与实时求解偏微分方程的计算与控制力量 若在真空容器中用精密机械抛币机抛掷,正反面几乎成为 100% 必然事件
第二类:耦合因素过多 未知黑白球罐摸球()、总统连任/世界杯夺冠() 规则自身模糊(影响因素浩如烟海,主次权重与耦合机制未知) 系统自由度极高,事先无法界定哪些变量起主导作用,无法建立确定性推演规则 即便拥有超强算力,因输入规则与隐变量缺失,依然无法作确定性预测
第三类:微观内禀随机 微观量子粒子运动() 演化方程清晰,但本质非决定论(波函数与测不准原理) 内禀(Intrinsic)不确定性——微观粒子的位置与速度天生不可能同时精确确定 即使实验条件绝对理想,也只能给出粒子落在某区域内的可能性大小(概率幅)

1.2 斯坦福真空抛硬币机实验的启示

在剖析第一类不确定性时,张颢老师特别引述了斯坦福大学统计学家 Persi Diaconis 团队著名的真空机械抛硬币实验():

  • 当人手抛硬币时,拇指施力的生物力学冲量、硬币在空气中翻转的刚体角动量、空气阻力的流体力学扰动以及落地瞬间的弹性碰撞恢复系数交织在一起;
  • 但如果把硬币放进抽成真空的容器(彻底消除空气流体力学扰动),并用精密校准的机械装置以恒定初速度与角速度弹出硬币,实验发现:硬币落地哪一面朝上几乎变成了一个百分之百确定的必然事件!
  • 这证明:以抛硬币、掷骰子为代表的古典模型,其物理规则本身是完全确定且清晰的;我们之所以将其视为随机现象,是因为在日常条件下我们缺乏(或无需付出)把全部力学过程算清楚的计算力量。

1.3 概率论的学科立场:拒绝哲学争吵,锻造数学工具

科学史上曾有不少学者对“承认不确定性”持负面态度(例如爱因斯坦著名的“上帝不掷骰子”),认为引入概率只是人类对自身算力与认知不足的妥协()。对此,张颢老师明确给出了本课程的方法论准则():

“不确定性本身是一个哲学范畴的问题,但我们这门课不谈哲学,我们谈科学。概率论是用严格的数学工具去描绘、分析并解决带有不确定性的问题——我们要学会的是如何锻造并使用这套数学工具。”

BLACKBOARD DERIVATION RECONSTRUCTION · 张颢老师黑板推导完整复原
层次 ①规则清晰但算力不足(Classical Mechanics Limit)
生物力学(初冲量)+刚体力学(翻转)+流体力学(空气阻力)+弹性力学(碰撞)→真空机械抛币机必然结果\text{生物力学(初冲量)} + \text{刚体力学(翻转)} + \text{流体力学(空气阻力)} + \text{弹性力学(碰撞)} \xrightarrow{\text{真空机械抛币机}} \text{必然结果}

对应 :规则完全已知,不确定性仅源于初始条件敏感性与计算复杂度。

层次 ② & ③规则自身不明(Complex Systems) vs 内禀不确定性(Quantum Intrinsic)
宏观复杂系统(多因素耦合、规则模糊)≠微观量子世界  (Δx⋅Δp≥ℏ2,  Intrinsic Uncertainty)\text{宏观复杂系统(多因素耦合、规则模糊)} \quad \neq \quad \text{微观量子世界}\;\bigl(\Delta x \cdot \Delta p \ge \tfrac{\hbar}{2},\;\text{Intrinsic Uncertainty}\bigr)

对应 :无论源于算力受限、规则模糊还是量子内禀属性,在数学建模层面均统一抽象为“统计实验”。

深度思辨与反例剖析 (CRITICAL INSIGHT & PITFALL)

为什么确定性的力学系统(如抛硬币、伪随机数发生器)可以用概率论完美刻画? 很多初学者会困惑:“既然真空抛硬币机证明了抛硬币本质上是牛顿力学决定的,那给它赋概率 1/21/2 岂不是自欺欺人?” 事实上,概率论并不关心不确定性在本体论上究竟是“真随机(量子内禀)”还是“伪随机(初值敏感的混沌力学)”。只要初态微小的不可控波动(如手指施力毫秒级的抖动)经过多次翻转放大后,使得正反面落点在宏观统计上呈现出稳定的对称性,概率测度就是刻画该系统最有效、最经济的数学模型。

本节方法论沉淀 · KEY TAKEAWAYS
  • 不确定性的三大来源:① 规则清晰但缺乏计算/控制力量(手抛硬币);② 影响因素过多导致规则自身不明(大选、球赛);③ 微观量子世界的内禀(Intrinsic)不确定性。

  • 概率论的工程与数学定位:搁置本体论的哲学争论,将一切事先无法唯一预知结果的过程统一抽象为统计实验(Statistical Experiment)。

2. 统计实验、样本空间 Ω 的至高地位与古典概型三步法

从集合论语言出发建立概率论的第一块基石——样本空间 Ω,引入理想物理对称下的等可能性假设与 Cardano 古典概型公式 P(A) = #A / #Ω,并通过“双骰子比大小”与“桥牌拿齐 4 张 A”两道黑板例题训练严格的“三步解题规范”。

2.1 统计实验与样本空间 Ω\Omega:引入数学的第一步

在 ,张颢老师指出概率论思考不确定性有一套极其成熟的套路:

  1. 统计实验(Statistical Experiment):任何在实验完成前无法准确预知唯一结果的试验或观测过程。
  2. 样本空间(Sample Space,记作 Ω\Omega,):把统计实验所有可能出现的结果“有一个算一个”全部装进一个集合,这个集合就称为样本空间 Ω\Omega。
    • 关键提醒():样本空间 Ω\Omega 中的元素(样本点 ω\omega)未必是数!它可以直接是物理对象或状态标签,例如:
      • 抛一枚硬币:Ω={正面,反面}\Omega = \{\text{正面}, \text{反面}\};
      • 掷一颗骰子:Ω={1点,2点,…,6点}\Omega = \{\text{1点}, \text{2点}, \dots, \text{6点}\};
      • 明天的天气:Ω={晴,阴,多云,雨}\Omega = \{\text{晴}, \text{阴}, \text{多云}, \text{雨}\};
      • 世界杯冠军归属:Ω={巴西,法国,意大利,英格兰,… }\Omega = \{\text{巴西}, \text{法国}, \text{意大利}, \text{英格兰}, \dots\}。
  3. 概率赋值 P\mathbb{P}():为了刻画每个结果或事件子集 A⊂ΩA \subset \Omega 在实验中出现的可能性大小(Possibility),我们为其赋予一个非负实数 P(A)\mathbb{P}(A)(Probability)。

2.2 等可能性假设与古典概型(Classical Probability)

对于抛硬币、掷骰子、发扑克牌等模型,其最显著的特征是各个基本结果出现的可能性完全相同,即等可能性(Equally Likely,)。

  • 物理前提:等可能性绝非凭空成立,它需要物理现实的对称性予以支撑(硬币必须质地均匀、骰子重心不能偏置、扑克牌必须充分洗匀)。
  • 历史渊源( & ):16 世纪意大利学者 Cardano(卡丹诺,1501–1576) 是公认最早用科学计数方法系统研究古典概率的先驱(他在赌场博弈研究中写下了《论赌博游戏》,尽管他在代数学史上因窃取发表三次方程求根公式而饱受争议)。
  • 古典概型核心公式():当样本空间 Ω\Omega 有限且所有样本点等可能出现时,任意事件集合 A⊂ΩA \subset \Omega 的概率仅需做两次计数与一次除法(张颢老师黑板用 #A\#A 与 #Ω\#\Omega 表示集合的元素个数): P(A)=#A#Ω\mathbb{P}(A) = \frac{\#A}{\#\Omega} 因此在概率论发展初期,古典概率计算几乎与排列组合计数(Combinatorics)画等号。

2.3 张颢黑板规范训练:古典概型“三步法”

在 ,张颢老师强调:哪怕面对再简单的题目,也必须严格遵循三步规范来训练概率思维:

  • 第一步(最重要,没有之一):明确统计实验,完整写出样本空间 Ω\Omega 的元素表达形式,并算出总元素个数 #Ω\#\Omega;
  • 第二步:在同一个样本空间 Ω\Omega 的元素格式下,写出目标事件集合 AA 的限定条件,并算出 #A\#A;
  • 第三步:代入古典概型公式 P(A)=#A/#Ω\mathbb{P}(A) = \#A / \#\Omega 化简。

黑板例题 2.1:掷两颗骰子比大小()

问题:同时掷两颗均匀骰子,点数分别记为 a1,a2a_1, a_2,求第一颗骰子点数严格大于第二颗骰子点数(a1>a2a_1 > a_2)的概率。

  • Step ① 明确样本空间 Ω\Omega:每次实验结果由一个二维有序数组 (a1,a2)(a_1, a_2) 唯一刻画: Ω={(a1,a2)  ∣  a1,a2∈{1,2,3,4,5,6}},#Ω=6×6=36\Omega = \bigl\{(a_1, a_2) \;\big|\; a_1, a_2 \in \{1, 2, 3, 4, 5, 6\}\bigr\}, \qquad \#\Omega = 6 \times 6 = 36
  • Step ② 明确事件集合 AA 并利用对称性计数: A={(a1,a2)∈Ω  ∣  a1>a2}A = \bigl\{(a_1, a_2) \in \Omega \;\big|\; a_1 > a_2\bigr\} 如何最快算出 #A\#A?不必逐一枚举!在 6×66 \times 6 网格中,主对角线 a1=a2a_1 = a_2 上共有 66 个点 {(1,1),(2,2),…,(6,6)}\{(1,1),(2,2),\dots,(6,6)\};去掉主对角线后剩下的 36−6=3036 - 6 = 30 个点被对角线严格对称地平分为“下半三角 (a1>a2)(a_1 > a_2)”与“上半三角 (a1<a2)(a_1 < a_2)”两半,故: #A=36−62=15\#A = \frac{36 - 6}{2} = 15
  • Step ③ 计算古典概率: P(A)=#A#Ω=1536=512≈41.67%\mathbb{P}(A) = \frac{\#A}{\#\Omega} = \frac{15}{36} = \frac{5}{12} \approx 41.67\%

黑板例题 2.2:桥牌发牌单家拿齐 4 张 A()

问题:去掉大小王的 52 张扑克牌均匀发给 4 位桥牌玩家(每人 13 张)。求某一位指定玩家手牌中把 4 张 A(Ace)全部拿齐的概率。

  • Step ① 明确样本空间 Ω\Omega:考察该指定玩家拿到的 13 张牌构成的牌型集合(不计发牌先后次序)。从 52 张牌中任取 13 张,共有: #Ω=(5213)\#\Omega = \binom{52}{13}
  • Step ② 明确事件集合 A(4)A^{(4)}:记 A(4)A^{(4)} 为该玩家手牌中含有全部 4 张 A 的牌型集合。既然 4 张 A 已经确定发到了他手中,牌堆还剩 52−4=4852 - 4 = 48 张非 A 牌,他手中的 13 张牌还差 13−4=913 - 4 = 9 张空位需要从这 48 张牌中任意补齐,因此: #A(4)=(44)(489)=(489)\#A^{(4)} = \binom{4}{4}\binom{48}{9} = \binom{48}{9}
  • Step ③ 计算古典概率: P(A(4))=#A(4)#Ω=(489)(5213)=13×12×11×1052×51×50×49=114165≈0.2641%\mathbb{P}\bigl(A^{(4)}\bigr) = \frac{\#A^{(4)}}{\#\Omega} = \frac{\binom{48}{9}}{\binom{52}{13}} = \frac{13 \times 12 \times 11 \times 10}{52 \times 51 \times 50 \times 49} = \frac{11}{4165} \approx 0.2641\%
CLASSROOM BOARD DIAGRAM · 张颢老师课堂黑板原图矢量化复原

黑板原图复原 1:双骰子样本空间 Ω={1,…,6}2\Omega = \{1,\dots,6\}^2 的对角线对称分割()

张颢老师在黑板上将 6×6=366\times 6=36 个有序对按主对角线 D={a1=a2}D=\{a_1=a_2\} 对称切分为左下 A={a1>a2}A=\{a_1>a_2\} 与右上 B={a1<a2}B=\{a_1<a_2\}。
A: a₁ > a₂ (15) B: a₁ < a₂ (15) D: a₁=a₂ (6) a₁ a₂ ∈ 1..6

Step 1(完备互斥拆分):样本空间 Ω={(a1,a2):1≤a1,a2≤6}\Omega = \{(a_1,a_2): 1\le a_1,a_2\le 6\} 共 #Ω=36\#\Omega = 36 个等可能点,拆分为 Ω=A⊔B⊔D\Omega = A \sqcup B \sqcup D。

Step 2(指标交换对称性):对调两颗骰子编号 (a1,a2)↔(a2,a1)(a_1,a_2)\leftrightarrow(a_2,a_1) 建立双射,故 P(A)=P(B)\mathbb{P}(A) = \mathbb{P}(B)。

Step 3(免枚举秒算):对角线 P(D)=636=16\mathbb{P}(D) = \frac{6}{36} = \frac{1}{6},故 P(A)=1−P(D)2=1−1/62=512\mathbb{P}(A) = \frac{1 - \mathbb{P}(D)}{2} = \frac{1 - 1/6}{2} = \frac{5}{12}。

BLACKBOARD DERIVATION RECONSTRUCTION · 张颢老师黑板推导完整复原
Step ①界定样本空间 Ω 与基数 #Ω(双骰子 vs 桥牌手牌)
Ωdice={(a1,a2)∣a1,a2=1,…,6},    #Ωdice=36∣#Ωbridge=(5213)\Omega_{\text{dice}} = \{(a_1, a_2) \mid a_1,a_2 = 1,\dots,6\},\;\; \#\Omega_{\text{dice}} = 36 \qquad\Big|\qquad \#\Omega_{\text{bridge}} = \binom{52}{13}

黑板铁律():第一步永远是写清 Ω\Omega 的元素结构,绝不能跳过 Ω\Omega 直接凑分子分母。

Step ② & ③写出子集 A 的约束条件并作计数比 P(A) = #A / #Ω
Adice={(a1,a2)∈Ω∣a1>a2},    P(Adice)=(36−6)/236=512∣P(A(4))=(489)(5213)A_{\text{dice}} = \{(a_1,a_2)\in\Omega \mid a_1 > a_2\},\;\; \mathbb{P}(A_{\text{dice}}) = \frac{(36-6)/2}{36} = \frac{5}{12} \qquad\Big|\qquad \mathbb{P}\bigl(A^{(4)}\bigr) = \frac{\binom{48}{9}}{\binom{52}{13}}

对应 :双骰子利用主对角线对称性消去相等情形,桥牌利用固定 4 张 A 后的剩余组合计数。

直观交互 · 01A

古典概型三步法:双骰子样本空间 Ω = {1..6}² 的对角对称计数

交互提示:切换事件定义,观察 6×6 样本空间 Ω 中对角线 a₁=a₂(6 个点)如何将剩余 30 个样本点严格对称平分为 a₁>a₂(15 个)与 a₁<a₂(15 个)。

张颢三步法:① 明确样本空间 Ω={(a1,a2)}\Omega=\{(a_1,a_2)\},#Ω=36\#\Omega=36;② 对角线共 6 点,上下三角对称得 #A=(36−6)/2=15\#A=(36-6)/2=15;③ 作比 P(A)=15/36=5/12P(A)=15/36=5/12。

样本空间基数 #Ω366 × 6 二维有序数组
有利样本点 #A15(36 − 6) / 2 = 15
古典概率 P(A) = #A / #Ω15/36 ≈ 41.7%约分后为 5/12
对角线对称检验36 = 15 + 6 + 15#{a₁>a₂} + #{a₁=a₂} + #{a₁<a₂}
二维样本空间 Ω = {(a₁, a₂) | 1 ≤ a₁, a₂ ≤ 6}橙色:事件 A 样本点 · 虚线框:主对角线 a₁ = a₂
(1,1)(1,2)(1,3)(1,4)(1,5)(1,6)(2,1)(2,2)(2,3)(2,4)(2,5)(2,6)(3,1)(3,2)(3,3)(3,4)(3,5)(3,6)(4,1)(4,2)(4,3)(4,4)(4,5)(4,6)(5,1)(5,2)(5,3)(5,4)(5,5)(5,6)(6,1)(6,2)(6,3)(6,4)(6,5)(6,6)a₁↓a₂→
深度思辨与反例剖析 (CRITICAL INSIGHT & PITFALL)

为什么双骰子问题不能把样本空间取成“无序点对 {a1,a2}\{a_1, a_2\}(共 21 种组合)”? 如果有人把 (1,2)(1,2) 和 (2,1)(2,1) 合并成同一个无序集合 {1,2}\{1,2\},认为样本空间只有 (62)+6=21\binom{6}{2} + 6 = 21 个元素,就会破坏等可能性假设!因为无序对 {1,2}\{1,2\} 可以通过 (1,2)(1,2) 或 (2,1)(2,1) 两种物理结果实现(概率为 2/362/36),而对角线上的 {1,1}\{1,1\} 只有 (1,1)(1,1) 一种实现方式(概率为 1/361/36)。只有保留有序数组 (a1,a2)(a_1, a_2),全部 36 个样本点才严格等可能!

本节方法论沉淀 · KEY TAKEAWAYS
  • 样本空间 Ω\Omega 的元素未必是数:它可以是任何物理状态、符号标签或高维数组。

  • 古典概型三步曲:① 明确 Ω\Omega 并算 #Ω\#\Omega(必须保证各样本点严格等可能);② 明确子集 A⊂ΩA \subset \Omega 并算 #A\#A;③ 求比值 P(A)=#A/#Ω\mathbb{P}(A) = \#A / \#\Omega。

3. 生日问题(Birthday Problem):补集迂回思想与对数泰勒解析近似

深入剖析概率论中最负盛名的直觉反差问题:为什么 23 人的球队就有超过 50% 的概率撞生日,55 人的中学班级撞生日概率高达 98.6%?张颢老师在黑板上完整演示了“正面受阻取补集 Aᶜ”与“取对数化连乘为连加 + 一阶泰勒展开 ln(1−x) ≈ −x”的全套解析近似推导。

3.1 问题建模与样本空间 Ω\Omega()

问题:一个班级有 NN 个人(不考虑闰年,假定一年有 C=365C = 365 天,且每个人的生日等可能地分布在 365 天中的任意一天,彼此独立)。求班里至少有两个人生日相同(记为事件 AA)的概率 P(A)\mathbb{P}(A)。

严格按照古典概型三步法:

  • Step ① 明确样本空间 Ω\Omega:将班里 NN 个人的生日依次记录为一个 NN 维有序数组: Ω={(a1,a2,…,aN)  ∣  ai∈{1,2,…,365},  i=1,…,N}\Omega = \bigl\{(a_1, a_2, \dots, a_N) \;\big|\; a_i \in \{1, 2, \dots, 365\},\; i=1,\dots,N\bigr\} 由于每个分量都有 365365 种等可能选择,样本空间的总元素个数为: #Ω=365N\#\Omega = 365^N

3.2 正面突击的困境与“补集(Complement AcA^c)”迂回策略()

  • 为什么不能正面硬算 #A\#A? 事件 A={数组 (a1,…,aN) 中至少有两个元素相同}A = \{\text{数组 }(a_1,\dots,a_N)\text{ 中至少有两个元素相同}\}。如果从正面分类计数,不仅要算“恰好 2 人生日相同”,还要算“3 人生日相同”、“两对 2 人相同”、“4 人相同”……随着 NN 增大,分拆组合会陷入指数级爆炸!
  • 反面迂回——考察补集 AcA^c(): 正面突击困难时,立即转向补集 Ac=Ω∖AA^c = \Omega \setminus A。AA 代表“至少有两个元素相同”,则其对立面 AcA^c 的含义极其纯粹: Ac={(a1,a2,…,aN)∈Ω  ∣  a1,a2,…,aN 两两互异}A^c = \bigl\{(a_1, a_2, \dots, a_N) \in \Omega \;\big|\; a_1, a_2, \dots, a_N \text{ 两两互异}\bigr\} 要在 365365 天中选出 NN 个互不相同的日期组成有序数组:先从 365365 天中无序选出 NN 个不同日子,有 (365N)\binom{365}{N} 种选法;再将这 NN 个日子分配给 NN 个有序位置(全排列),有 N!N! 种排法。因此: #Ac=(365N)N!=365!(365−N)!\#A^c = \binom{365}{N} N! = \frac{365!}{(365-N)!} 利用补集概率关系 P(A)=1−P(Ac)\mathbb{P}(A) = 1 - \mathbb{P}(A^c),立即得到精确公式: P(A)=1−#Ac#Ω=1−(365N)N!365N\mathbb{P}(A) = 1 - \frac{\#A^c}{\#\Omega} = 1 - \frac{\binom{365}{N} N!}{365^N}

3.3 惊人的数值反差与世界杯 23 人大名单实证()

公式本身看似平淡无奇,但代入具体数值后却令所有人直觉大跌眼镜:

  • 常人直觉认为:一年有 365365 天,要想让撞生日的概率达到 50%50\%,怎么也得有一两百人吧?
  • 真实计算结果:
    • 当 N=23N = 23 时,P(A)≈50.73%>12\mathbb{P}(A) \approx 50.73\% > \frac{1}{2}!
    • 当 N=30N = 30(清华大学一个行政班的人数)时,P(A)≈70.63%\mathbb{P}(A) \approx 70.63\%!
    • 当 N=50N = 50 时,P(A)≈97.04%\mathbb{P}(A) \approx 97.04\%;当 N=55N = 55(典型中国中学班级人数)时,P(A)≈98.62%\mathbb{P}(A) \approx 98.62\%(超过九成八的把握班里有同生日同学)!
  • 张颢老师课堂实证案例():足球世界杯共有 3232 支参赛国家队,国际足联规定每支球队的正式报名大名单恰好是 N=23N = 23 人。有人专门统计过某届世界杯全部 32 支球队的球员生日,发现确实有超过一半(16 支以上)的球队队内存在同生日球员!

3.4 黑板重头戏:用微积分工具将连乘化为高斯型指数近似并反解 NN()

在没有计算机的年代,面對 36523365^{23} 这种天文数字,数学家是如何一眼看出“N≈23N \approx 23 时概率过半”的?更进一步,如果反过来给定目标概率 p0=1/2p_0 = 1/2,如何解方程求出未知人数 NN? 张颢老师在黑板上将 365365 一般化为容量 CC(将 CC 种等可能标签分给 NN 个人),完整推演了微积分工具如何攻克这一组合连乘:

  1. 展开阶乘并配凑连乘因子(): P(Ac)=(CN)N!CN=C!N!(C−N)!⋅N!CN=C(C−1)(C−2)⋯(C−(N−1))CN=1⋅(1−1C)(1−2C)⋯(1−N−1C)\mathbb{P}(A^c) = \frac{\binom{C}{N} N!}{C^N} = \frac{\frac{C!}{N!(C-N)!}\cdot N!}{C^N} = \frac{C(C-1)(C-2)\cdots(C-(N-1))}{C^N} = 1 \cdot \left(1 - \frac{1}{C}\right)\left(1 - \frac{2}{C}\right)\cdots\left(1 - \frac{N-1}{C}\right)
  2. 数学黄金套路:取指数与对数,化连乘为连加(): 在数学分析中,处理加法远比处理乘法容易。利用恒等式 u=exp⁡(ln⁡u)u = \exp(\ln u),将连乘搬到指数上方变为对数求和: ∏k=1N−1(1−kC)=exp⁡(ln⁡∏k=1N−1(1−kC))=exp⁡(∑k=1N−1ln⁡(1−kC))\prod_{k=1}^{N-1}\left(1 - \frac{k}{C}\right) = \exp\left(\ln \prod_{k=1}^{N-1}\left(1 - \frac{k}{C}\right)\right) = \exp\left(\sum_{k=1}^{N-1} \ln\left(1 - \frac{k}{C}\right)\right)
  3. 利用微积分一阶泰勒近似 ln⁡(1−x)≈−x\ln(1-x) \approx -x(): 当 N≪CN \ll C 时,x=k/Cx = k/C 是一个小量。由微积分熟知的泰勒展开 ln⁡(1−x)=−x−x22−⋯≈−x\ln(1-x) = -x - \frac{x^2}{2} - \cdots \approx -x,求和号内部瞬间化简为等差数列求和: ∑k=1N−1ln⁡(1−kC)≈∑k=1N−1(−kC)=−1C∑k=1N−1k=−N(N−1)2C\sum_{k=1}^{N-1} \ln\left(1 - \frac{k}{C}\right) \approx \sum_{k=1}^{N-1} \left(-\frac{k}{C}\right) = -\frac{1}{C}\sum_{k=1}^{N-1} k = -\frac{N(N-1)}{2C}
  4. 获得解析近似公式并一行反解阈值 NN(): 代回原式,立即得到生日碰撞概率的高斯型指数近似公式: P(A)=1−P(Ac)≈1−exp⁡(−N(N−1)2C)\mathbb{P}(A) = 1 - \mathbb{P}(A^c) \approx 1 - \exp\left(-\frac{N(N-1)}{2C}\right) 现在若要求 P(A)≈12\mathbb{P}(A) \approx \frac{1}{2},即 exp⁡(−N(N−1)2C)≈12\exp\bigl(-\frac{N(N-1)}{2C}\bigr) \approx \frac{1}{2},两边取自然对数立得关于 NN 的一元二次方程: −N(N−1)2C=ln⁡12=−ln⁡2  ⟹  N(N−1)=2Cln⁡2-\frac{N(N-1)}{2C} = \ln\frac{1}{2} = -\ln 2 \implies N(N-1) = 2C \ln 2 代入 C=365C = 365,2×365×0.69315≈5062 \times 365 \times 0.69315 \approx 506,而 23×22=50623 \times 22 = 506,一步解出 N=23N = 23!
BLACKBOARD DERIVATION RECONSTRUCTION · 张颢老师黑板推导完整复原
Step ①补集连乘展开(将 C = 365 一般化)
P(Ac)=(CN)N!CN=C!(C−N)! CN=∏k=1N−1(1−kC)\mathbb{P}(A^c) = \frac{\binom{C}{N}N!}{C^N} = \frac{C!}{(C-N)!\,C^N} = \prod_{k=1}^{N-1}\left(1 - \frac{k}{C}\right)

对应黑板右侧推演():约去 N!N! 后将分子 NN 个因子与分母 CNC^N 逐项配对。

Step ②指对数变换(化连乘为连加)+ 一阶泰勒近似 ln(1 − x) ≈ −x
∏k=1N−1(1−kC)=exp⁡(∑k=1N−1ln⁡(1−kC))≈exp⁡(∑k=1N−1(−kC))=exp⁡(−N(N−1)2C)\prod_{k=1}^{N-1}\left(1 - \frac{k}{C}\right) = \exp\left(\sum_{k=1}^{N-1}\ln\left(1 - \frac{k}{C}\right)\right) \approx \exp\left(\sum_{k=1}^{N-1}\left(-\frac{k}{C}\right)\right) = \exp\left(-\frac{N(N-1)}{2C}\right)

对应黑板左侧推演():把棘手的组合连乘转化为简单的等差级数求和。

Step ③反解任意目标概率 p₀ 所需的样本人数 N
P(A)≈1−exp⁡(−N(N−1)2C)=p0  ⟹  N(N−1)≈2Cln⁡11−p0→p0=1/2,  C=365N≈23\mathbb{P}(A) \approx 1 - \exp\left(-\frac{N(N-1)}{2C}\right) = p_0 \implies N(N-1) \approx 2C\ln\frac{1}{1-p_0} \xrightarrow{p_0=1/2,\;C=365} N \approx 23

深刻揭示了碰撞阈值按 O(C)\mathcal{O}(\sqrt{C}) 而非 O(C)\mathcal{O}(C) 增长的本质:决定碰撞快慢的是两两配对数 (N2)=N(N−1)2\binom{N}{2} = \frac{N(N-1)}{2}!

直观交互 · 01B

生日问题:精确连乘 1 − ∏(1 − k/C) vs 黑板对数泰勒近似 1 − exp(−N(N−1)/2C)

交互提示:拖动人数 N,对比实线(精确连乘)与虚线(黑板 log(1−k/C) ≈ −k/C 导出的指数近似 1 − e−N(N−1)/2C),观察为何 N=23 即突破 50%。

精确概率 1 − #Aᶜ / Cᴺ50.73%配对数 N(N−1)/2 = 253 对
黑板泰勒近似 1 − e^(−N(N−1)/2C)50.00%绝对误差 Δ = 0.73%
50% 碰撞阈值反解 N₀.₅N ≈ 23 人由 N(N−1) ≈ 2C ln 2 解出
补集无碰撞概率 P(Aᶜ)49.27%∏k=1N−1 (1 − k/C)
碰撞概率曲线 P(A) 随人数 N 的演化 (2 ≤ N ≤ 80)深蓝实线:精确连乘 · 橙色虚线:对数泰勒指数近似
P = 50% (阈值 N≈23)N=23: 50.7%
深度思辨与反例剖析 (CRITICAL INSIGHT & PITFALL)

为什么 365 天只需要 23 人就能过半?——“跟我同生日” vs “任意两人同生日”的维度错觉 常人之所以猜 N≈180N \approx 180,是因为在潜意识里把问题偷换成了“班里有人跟【我】同一天生日”!

  • 如果是“有人跟特定某个人(比如你)同生日”,有效配对只有 (N−1)(N-1) 对,无碰撞概率是 (1−1/365)N−1≈e−(N−1)/365(1 - 1/365)^{N-1} \approx e^{-(N-1)/365},确实需要 N≈365ln⁡2+1≈254N \approx 365 \ln 2 + 1 \approx 254 人才能达到 50%50\%!
  • 但生日问题问的是“任意两个人之间撞生日”——NN 个人之间可以组成 (N2)=N(N−1)2\binom{N}{2} = \frac{N(N-1)}{2} 个独立配对!当 N=23N=23 时,虽然人数只有 23,但两两比对的次数已经高达 23×222=253\frac{23 \times 22}{2} = 253 对,所以碰撞概率瞬间突破 50%50\%(这正是密码学中生日攻击 Birthday Attack 将哈希碰撞复杂度从 2b2^b 降为 2b/22^{b/2} 的数学根源)。
本节方法论沉淀 · KEY TAKEAWAYS
  • 正难则反(补集思想):面对“至少有一个/至少有两个相同”的复合事件,优先考察其补集 AcA^c(“全部互异”或“一个都没有”)。

  • 连乘转连加的分析技巧:∏(1−ak)=exp⁡(∑ln⁡(1−ak))≈exp⁡(−∑ak)\prod (1 - a_k) = \exp\bigl(\sum \ln(1 - a_k)\bigr) \approx \exp\bigl(-\sum a_k\bigr) 是概率论处理渐近极限与大数近似的核心武器。

4. 帕斯卡–费马分赌本问题(Problem of Points):为什么必须将虚拟顺延局纳入样本空间?

复盘 1654 年直接催生现代概率论的“帕斯卡–费马通信(Pascal–Fermat Correspondence)”:网球赛先赢 6 局者独得 10,000 美元,比分 5:3 时因暴雨永久中止,奖金该如何分?通过对比 5:3、Tartaglia 的 3:1 与 Fermat 的 7:1,揭示“构造等可能样本空间 Ω = {0,1}³”与“华山一条路补集计数”的深刻威力。

4.1 1654 年的赌金分配难题()

在概率论发展史上,法国数学家 Pascal(帕斯卡) 与 Fermat(费马,费马大定理提出者) 在 1654 年的信件往来占据着里程碑式的地位。他们重点讨论了如下经典问题:

分赌本问题(Problem of Points):甲、乙两位实力相当的选手(每局获胜可能性均为 1/21/2)进行网球比赛,约定先赢满 6 局者独得全部奖金 10,000 美元,败者分文不得。当比赛打到 甲 5:35 : 3 乙 时,突降暴雨,比赛永久终止,无法继续。请问此时应当如何公平地就地瓜分这 10,000 美元?

4.2 三种历史分配方案的激烈交锋()

围绕“5:35 : 3 时怎么分钱才合理”,历史上先后出现了三种代表性方案:

分配方案 提出者与历史背景 分配比例(甲 : 乙) 核心逻辑 致命缺陷或数学合理性
方案一:按已得比分 早期直觉派() 5:35 : 3 既然当前比分是 5:35:3,直接按已经拿到的局数比例分钱 错把“历史沉没得分”当成“未来获胜可能”:若赛制是先赢 100 局获胜,打到 99:9799:97 与打到 5:35:3 同样是差两局,按 5:35:3 与 99:9799:97 分显然自相矛盾。公平原则必须按双方“若继续比赛各自最终获胜的概率之比”来分!
方案二:按距赢差局比 Tartaglia(塔塔利亚)() 3:13 : 1 甲离赢满 6 局还差 r=1r=1 局,乙还差 s=3s=3 局(共差 4 局),甲获胜容易程度是乙的 3 倍 看到了未来差距,但缺乏等概样本空间概念:只差 1 局的甲距离胜利的真实概率优势远不止 3 倍!(注:张颢老师在 顺带澄清了数学史公案——前文 Cardano 发表的三次方程求根公式,正是从这位 Tartaglia 处窃取的!)
方案三:等概样本空间法 Fermat(费马)() 7:17 : 1(正确解) 假想再打满最多所需的 3 局球,构造含 23=82^3=8 个等可能三元组的样本空间 Ω={0,1}3\Omega = \{0,1\}^3 严格满足古典概型等可能性:乙要想翻盘只有“连赢三局 (0,0,0)(0,0,0)”华山一条路(占 1/81/8),甲获胜占其余 7/87/8!

4.3 费马的洞察:三元组样本空间 Ω={0,1}3\Omega = \{0,1\}^3 与“华山一条路”()

费马敏锐地指出:解决分赌本问题的唯一正途,是先把样本空间 Ω\Omega 搞清楚!

  • Step ① 最多还要打几局才能决出胜负?() 当前甲 5 分(差 1 局)、乙 3 分(差 3 局)。注意:最多只需要再打 3 局球(而非 4 局!因为打满 3 局时,要么甲至少赢了 1 局从而达到 6 分,要么甲 1 局没赢即乙连赢 3 局达到 6 分,必然已经分出胜负)。 将接下来假想打满的 3 局球结果记为一个二进制三元组 (a1,a2,a3)(a_1, a_2, a_3),其中 ai=1a_i = 1 表示第 ii 局甲赢,ai=0a_i = 0 表示第 ii 局乙赢: Ω={(a1,a2,a3)  ∣  ai∈{0,1},  i=1,2,3},#Ω=23=8\Omega = \bigl\{(a_1, a_2, a_3) \;\big|\; a_i \in \{0, 1\},\; i=1,2,3\bigr\}, \qquad \#\Omega = 2^3 = 8
  • Step ② 补集思想:“自古华山一条路”() 记事件 AA 为“甲最终获胜”,其补集 AcA^c 为“乙最终翻盘获胜”。
    • 甲获胜的方式有很多种:可以第 1 局直接赢下,也可以先输 1 局再赢第 2 局,或者先输 2 局再赢第 3 局;
    • 反观乙要想从 33 分追到 66 分且不让甲拿到第 66 分,自古华山一条路——他必须在接下来的 3 局中连赢 3 局,一场都不能输! 因此在整个样本空间 Ω\Omega 的 8 个三元组中,对应乙获胜的子集 AcA^c 只有唯一一个元素: Ac={(0,0,0)},#Ac=1A^c = \bigl\{(0, 0, 0)\bigr\}, \qquad \#A^c = 1 与之相对,对应甲获胜的子集 A=Ω∖AcA = \Omega \setminus A^c 包含其余全部 7 个元素: #A=8−1=7\#A = 8 - 1 = 7
  • Step ③ 确定奖金分配比例(): P(A)=#A#Ω=78,P(Ac)=#Ac#Ω=18⟹奖金应按 7:1 分配!\mathbb{P}(A) = \frac{\#A}{\#\Omega} = \frac{7}{8}, \qquad \mathbb{P}(A^c) = \frac{\#A^c}{\#\Omega} = \frac{1}{8} \quad\Longrightarrow\quad \text{奖金应按 } \mathbf{7 : 1} \text{ 分配!}

4.4 课堂最核心的哲学解惑:为什么现实中打不出来的局,在样本空间里绝不能省?()

许多同学(乃至当年与费马讨论的学者)都会提出一个尖锐的质疑:

“如果第 1 局甲就已经赢了(a1=1a_1 = 1),比分变成 6:36:3,比赛当场就结束了,第 2 局和第 3 局在现实中根本不会打!那凭什么把 (1,0,0),(1,0,1),(1,1,0),(1,1,1)(1,0,0), (1,0,1), (1,1,0), (1,1,1) 当成 4 个不同的样本点算进 Ω\Omega 里?”

张颢老师在 给出了极其透彻的剖析:

  • 如果你只按“实际比赛停下时的路径”来列样本空间,就会写出 4 条路径:{甲第1局胜(1),  甲第2局胜(0,1),  甲第3局胜(0,0,1),  乙连胜3局(0,0,0)}\{\text{甲第1局胜}(1),\; \text{甲第2局胜}(0,1),\; \text{甲第3局胜}(0,0,1),\; \text{乙连胜3局}(0,0,0)\};
  • 但请注意:这 4 条长短不一的路径根本不是等可能的!
    • “第 1 局甲胜 (1)(1)”发生的概率是 12=48\frac{1}{2} = \frac{4}{8};
    • “第 2 局甲胜 (0,1)(0,1)”发生的概率是 14=28\frac{1}{4} = \frac{2}{8};
    • “第 3 局甲胜 (0,0,1)(0,0,1)”与“乙连胜 3 局 (0,0,0)(0,0,0)”发生的概率各是 18\frac{1}{8}!
  • 费马的伟大之处恰恰在于:通过假想“哪怕第 1 局已经分出胜负,也继续把后面两局硬币抛完”,将一条权重为 1/21/2 的短路径 (1, ∗ , ∗)(1,\,*\,,\,*) 等权重地拆解成了 4 条概率同为 1/81/8 的三元组 {(1,0,0),(1,0,1),(1,1,0),(1,1,1)}\{(1,0,0),(1,0,1),(1,1,0),(1,1,1)\}!现实中“后面两局不用看”,绝不等于它们在古典等概计数中没有地位——恰恰是因为保留了这 4 个虚拟顺延分支,才保证了样本空间 Ω\Omega 中全部 8 个元素严格等可能,从而能直接套用 #A/#Ω\#A / \#\Omega!
BLACKBOARD DERIVATION RECONSTRUCTION · 张颢老师黑板推导完整复原
Step ①构造虚拟打满 3 局的等可能三元组样本空间 Ω
Ω={(a1,a2,a3)  ∣  ai∈{0,1}},#Ω=23=8\Omega = \bigl\{(a_1, a_2, a_3) \;\big|\; a_i \in \{0, 1\}\bigr\}, \qquad \#\Omega = 2^3 = 8

对应黑板左侧():甲差 11 局、乙差 33 局,最多打 1+3−1=31+3-1=3 局必分胜负。

Step ② & ③利用补集 Aᶜ(乙翻盘“华山一条路”)完成计数与分钱比例
Ac={(0,0,0)},    #Ac=1⟹#A=8−1=7⟹P(A):P(Ac)=7:1A^c = \{(0, 0, 0)\},\;\; \#A^c = 1 \quad\Longrightarrow\quad \#A = 8 - 1 = 7 \quad\Longrightarrow\quad \mathbb{P}(A) : \mathbb{P}(A^c) = 7 : 1

对应黑板右侧():直接证伪了按当前比分 5:35:3 与 Tartaglia 差局比 3:13:1 的直觉方案。

直观交互 · 01C

帕斯卡–费马分赌本问题:为什么必须用虚拟延拓的均匀样本空间 {0,1}³?

交互提示:观察右侧等可能样本空间 Ω = {0,1}ᴺ:虽然括号内虚线局在现实中无需再打,但保留它们才能让全部 2ᴺ 个样本点严格等可能!

Fermat 等概样本空间 #Ω23 = 8最多还需打 r+s−1 = 3 局
Fermat 正确分配比 (#A : #Aᶜ)7 : 1甲胜概率 7/8 (87.5%)
Tartaglia 差局比 (s : r)3 : 1未构造等概样本空间的错误直觉
乙翻盘路径 #Aᶜ1 条华山一条路 (0,0,…,0)
费马虚拟延拓样本空间 Ω = {0, 1}3 的全部 8 个等概样本点实体数字为实际决出胜负局 · 括号内为虚拟顺延局
(1, [1,1])甲胜 (第1局止)(1, [1,0])甲胜 (第1局止)(1, [0,1])甲胜 (第1局止)(1, [0,0])甲胜 (第1局止)(0,1, [1])甲胜 (第2局止)(0,1, [0])甲胜 (第2局止)(0,0,1)甲胜 (第3局止)(0,0,0)乙胜 (第3局止)
深度思辨与反例剖析 (CRITICAL INSIGHT & PITFALL)

如果按“实际提前结束的比赛路径”计数会发生什么错误?(达朗贝尔 D'Alembert 式的经典谬误) 如果不作虚拟延拓,只列出实际可能出现的 4 种比赛过程:(1)(1)、(0,1)(0,1)、(0,0,1)(0,0,1)、(0,0,0)(0,0,0),并误以为这 4 种过程“等可能”,就会得出甲胜概率为 3/43/4(即 3:13:1,恰恰退化回了 Tartaglia 的错误答案 3:13:1)!这再次印证了张颢老师的警告:古典概型 #A/#Ω\#A / \#\Omega 成立的命门在于 Ω\Omega 中每个样本点必须具有完全相同的概率权重;为了维持等可能性,对提前终止的分支做“虚拟顺延补齐”是极其重要的数学技巧。

本节方法论沉淀 · KEY TAKEAWAYS
  • Fermat 虚拟延拓技巧:当不同实验分支结束步数不同时,通过假想将所有分支统一延拓到最大步数 N=r+s−1N = r + s - 1,即可恢复样本空间 {0,1}N\{0,1\}^N 的均匀等概性。

  • 历史启示:Tartaglia 的 3:13:1 之所以错,根本原因在于缺乏“等可能样本空间 Ω\Omega”的自觉意识。

5. 贝特朗悖论(Bertrand's Paradox):脱离样本空间谈“随机选取”为何毫无意义?

压轴剖析 1889 年 Joseph Bertrand 提出的经典几何概率悖论:在圆内“随机选一条弦”,其长度超过内接正三角形边长的概率究竟是 1/3、1/4 还是 1/2?张颢老师在黑板上逐一推导了三种样本空间(圆周、圆盘、半径线段),并以此升华出全课的核心纲领——“样本空间的地位至高无上,牵一发而动全身”。

5.1 问题的提出:一条“随机弦”引发的百年争论()

在课程最后一部分(),张颢老师请出了概率论历史上最著名的悖论之一——贝特朗悖论(Bertrand's Paradox):

问题:给定一个半径为 RR 的圆,作其内接正三角形(边长为 3R\sqrt{3}R)。现在在圆上“随机地选取一条弦”,求这条弦的长度严格大于内接正三角形边长(记为事件 AA)的概率 P(A)\mathbb{P}(A)。

正如张颢老师所指出的(),这道题的命门完全浓缩在四个字上:“随机”(如何等概?) 与 “选取”(样本空间 Ω\Omega 是什么?)。下面按照课堂板书顺序,完整复原三种天经地义却导出不同数值的解法:


5.2 黑板三种随机选弦机制与三种样本空间推导()

解法 ①:固定一个端点,在圆周上等概选取另一个端点()

  • 选取方式与样本空间 Ω1\Omega_1: 既然弦由圆周上的两个端点决定,不妨先固定住其中一个端点 P0P_0,由于旋转对称性,将内接正三角形的一个顶点旋转放置在固定端点 P0P_0 处。此时“选一条弦”完全等价于在圆周上选取另一个端点 P1P_1: Ω1=整个圆周,测度(周长)  L(Ω1)=2πR\Omega_1 = \text{整个圆周}, \qquad \text{测度(周长)}\; L(\Omega_1) = 2\pi R 这里的“随机”定义为:另一端点 P1P_1 落在圆周上任意位置是均匀等可能的。
  • 有利事件集 A1A_1 与概率计算: 画图立见,只有当另一端点 P1P_1 落在正三角形底边所张的那一段圆弧(即正对 P0P_0 的下方 13\frac{1}{3} 圆弧)上时,弦长才会超过内接正三角形边长 3R\sqrt{3}R: A1=正三角形底边所截圆弧,L(A1)=13×2πRA_1 = \text{正三角形底边所截圆弧}, \qquad L(A_1) = \frac{1}{3} \times 2\pi R ⟹P1(A)=L(A1)L(Ω1)=13\Longrightarrow \quad \mathbb{P}_1(A) = \frac{L(A_1)}{L(\Omega_1)} = \mathbf{\frac{1}{3}}

解法 ②:利用“弦   ⟺  \iff 弦中点”一一对应,在圆盘内等概选取中点()

  • 选取方式与样本空间 Ω2\Omega_2: 在几何上(除直径退化情形外),圆内的任意一条弦都被它的中点 MM 唯一确定,反之亦然(连接圆心 OO 与中点 MM,过 MM 作 OMOM 的垂线,所得弦唯一)。因此“随机选一条弦”等价于在整个圆盘内部随机选一个点作为弦的中点 MM: Ω2=整个大圆盘 DR,测度(面积)  S(Ω2)=πR2\Omega_2 = \text{整个大圆盘 } D_R, \qquad \text{测度(面积)}\; S(\Omega_2) = \pi R^2 这里的“随机”定义为:中点 MM 在整个大圆盘面积内均匀等可能分布。
  • 有利事件集 A2A_2 与概率计算: 弦长大于内接正三角形边长 3R\sqrt{3}R,当且仅当弦中点 MM 到圆心 OO 的距离 r<R2r < \frac{R}{2}——也就是说,中点 MM 必须落在内接正三角形的内切圆圆盘 DR/2D_{R/2}(半径为大圆半径的一半 R/2R/2)内部! A2=正三角形内切圆盘 DR/2,S(A2)=π(R2)2=14πR2A_2 = \text{正三角形内切圆盘 } D_{R/2}, \qquad S(A_2) = \pi \left(\frac{R}{2}\right)^2 = \frac{1}{4}\pi R^2 ⟹P2(A)=S(A2)S(Ω2)=(1/21)2=14\Longrightarrow \quad \mathbb{P}_2(A) = \frac{S(A_2)}{S(\Omega_2)} = \left(\frac{1/2}{1}\right)^2 = \mathbf{\frac{1}{4}}

解法 ③:固定半径方向,在半径线段上等概选取中点到圆心的距离()

  • 选取方式与样本空间 Ω3\Omega_3: 同样考察弦的中点 MM。由于圆具有完美的旋转对称性,任何中点 MM 与圆心 OO 的连线都落在某条半径上。如果我们先固定这条半径的方向,只考察弦中点 MM 落在该条半径线段上的位置: Ω3=整条半径线段 [0,R],测度(长度)  ∣Ω3∣=R\Omega_3 = \text{整条半径线段 } [0, R], \qquad \text{测度(长度)}\; |\Omega_3| = R 这里的“随机”定义为:中点 MM 在整条半径线段 [0,R][0, R] 上均匀等可能选取。
  • 有利事件集 A3A_3 与概率计算: 要使弦长超过正三角形边长,中点 MM 必须落在半径靠近圆心的前半段 [0,R/2][0, R/2](恰好位于内接正三角形边以内)上: A3=半径前半段 [0,R/2],∣A3∣=R2A_3 = \text{半径前半段 } [0, R/2], \qquad |A_3| = \frac{R}{2} ⟹P3(A)=∣A3∣∣Ω3∣=R/2R=12\Longrightarrow \quad \mathbb{P}_3(A) = \frac{|A_3|}{|\Omega_3|} = \frac{R/2}{R} = \mathbf{\frac{1}{2}}

5.3 悖论的终极解答:为什么三个不同的答案全部正确?()

同一个题目、同样严密的逻辑,竟然算出了 13\frac{1}{3}、14\frac{1}{4}、12\frac{1}{2} 三个截然不同的数值!究竟哪一个是对的? 张颢老师在 一锤定音:

“它之所以成为悖论,恰恰在于这里给出的三个答案全是对的!不仅这三个答案对,我们还可以构造出无穷多种其他答案,它们也全是对的!凭什么全对?原因非常简单——因为每一个答案背后的【样本空间 Ω\Omega】都发生了变化!”

解法对比 等价几何对象 样本空间 Ωi\Omega_i “等概(随机)”的物理含义 有利子集 AiA_i 最终概率 Pi(A)\mathbb{P}_i(A)
解法 ① 固定端点后的另一端点 整个圆周(一维曲线) 另一端点在圆周弧长上均匀分布 下方 1/31/3 圆弧 1/3≈33.3%\mathbf{1/3 \approx 33.3\%}
解法 ② 弦的平面中点 (x,y)(x,y) 整个大圆盘(二维区域) 中点在圆盘面积上均匀分布 半径 R/2R/2 的内切圆盘 1/4=25.0%\mathbf{1/4 = 25.0\%}
解法 ③ 弦心距 r∈[0,R]r \in [0, R] 整条半径线段(一维区间) 弦心距 rr 在 [0,R][0, R] 长度上均匀分布 半径前半段 [0,R/2][0, R/2] 1/2=50.0%\mathbf{1/2 = 50.0\%}

5.4 全课总结:为什么网络上关于概率问题的争吵大多毫无意义?()

在第一讲的尾声,张颢老师从 Bertrand 悖论提炼出了贯穿整门《概率论》的最高方法论准则:

  1. 样本空间的地位至高无上,牵一发而动全身():只要样本空间 Ω\Omega 变了,后面所有的事件集合与概率值必然随之改变,算出不同结果毫不奇怪。
  2. 剖析生活中的“伪概率争论”():我们在网络或日常讨论中经常看到人们对某个概率问题争得面红耳赤(“公说公有理,婆说婆有理”,如三门问题变体、生男生女悖论等)。仔细审视就会发现,这些引发争吵的题目几乎都有一个共同病灶——题干里虽然写了“随机”和“选取”四个字,但对“怎么选取(样本空间 Ω\Omega 是什么)”与“怎么随机(在哪个空间上赋等概测度)”语焉不详!
  3. 结论():当争论双方各自在脑海里默认了不同的样本空间时,他们得出的解决方案和概率数值不同实在是太正常了;在不统一样本空间的前提下争论谁对谁错,在数学上完全是 Nonsense(毫无意义)。任何概率研究,只有在明确界定样本空间 Ω\Omega 之后,才真正开始!
CLASSROOM BOARD DIAGRAM · 张颢老师课堂黑板原图矢量化复原

黑板原图复原 2:贝特朗弦长悖论的三种几何样本空间构造()

张颢老师在黑板上并排画出三个单位圆与内接正三角形(边长 L0=3RL_0=\sqrt{3}R),展示三种“随机画弦”对应的不同好弦区域。
① 圆周端点 Ω₁ 1/3 圆弧 ② 弦中点 Ω₂ 1/4 圆面积 ③ 弦心距 Ω₃ 1/2 半径

解法一(圆周均匀选端点,Ω1=[0,2π)\Omega_1=[0,2\pi)):好弦终点必须落在正三角形底边对应的 1/31/3 圆弧上,故 P1(H)=2π/32π=13\mathbb{P}_1(H) = \frac{2\pi/3}{2\pi} = \frac{1}{3}。

解法二(圆盘均匀选弦中点,Ω2=DR\Omega_2=D_R):弦长 >3R>\sqrt{3}R 当且仅当中点落在半径 R/2R/2 的同心内切圆内,面积比 P2(H)=π(R/2)2πR2=14\mathbb{P}_2(H) = \frac{\pi(R/2)^2}{\pi R^2} = \frac{1}{4}。

解法三(半径均匀选弦心距,Ω3=[0,R]\Omega_3=[0,R]):弦心距 d<R/2d < R/2 时弦长 >3R>\sqrt{3}R,长度比 P3(H)=R/2R=12\mathbb{P}_3(H) = \frac{R/2}{R} = \frac{1}{2}。

BLACKBOARD DERIVATION RECONSTRUCTION · 张颢老师黑板推导完整复原
解法 ①圆周端点采样(Endpoint on Circumference)
Ω1=圆周 (2πR),A1=正三角形对边所截圆弧 (2πR3)⟹P1(A)=13\Omega_1 = \text{圆周 } (2\pi R), \qquad A_1 = \text{正三角形对边所截圆弧 } \Bigl(\frac{2\pi R}{3}\Bigr) \quad\Longrightarrow\quad \mathbb{P}_1(A) = \frac{1}{3}

对应黑板左下角():固定正三角形一顶点,另一端点在圆周上均匀分布。

解法 ②圆盘中点采样(Middle Point ⇔ Chord in Disk)
Ω2=大圆盘 DR  (πR2),A2=内切圆盘 DR/2  (π(R2)2)⟹P2(A)=14\Omega_2 = \text{大圆盘 } D_R\; (\pi R^2), \qquad A_2 = \text{内切圆盘 } D_{R/2}\; \Bigl(\pi\Bigl(\frac{R}{2}\Bigr)^2\Bigr) \quad\Longrightarrow\quad \mathbb{P}_2(A) = \frac{1}{4}

对应黑板右上角():利用弦与其中点的一一对应关系,在二维圆盘面积上均匀采样。

解法 ③半径弦心距采样(Midpoint on Radius Segment)
Ω3=半径线段 [0,R],A3=前半段半径 [0,R/2]⟹P3(A)=12\Omega_3 = \text{半径线段 } [0, R], \qquad A_3 = \text{前半段半径 } [0, R/2] \quad\Longrightarrow\quad \mathbb{P}_3(A) = \frac{1}{2}

对应黑板右下角():利用旋转对称性,在半径长度方向上均匀选取中点距离。

直观交互 · 01

Bertrand 弦长悖论:同一几何命题在三种样本空间 (Ω₁, Ω₂, Ω₃) 下的测度分歧

交互提示:依次切换三种“均匀随机弦”方案,观察右侧弦中点(圆点)在 r=1/2 内接圆(虚线)内外的分布密度,解释为什么没有固定概率测度 P 时“随机取一条弦”是没有数学意义的。

理论概率 P(L > √3)0.3333 (1/3)由所选参数空间的均匀测度严格唯一决定
当前样本频率38 / 120 (31.7%)Halton 低差异序列确定性采样
对应的参数空间 Ωθ ∈ [0, 2π)这就是 Kolmogorov 要求先固定 (Ω, ℱ, P) 的原因
随机弦几何分布橙色弦满足 L > √3(穿过 r < 1/2 内圆)
弦中点 (mₓ, mᵧ) 的空间密度弦长 L > √3 ⇔ 中点距圆心 r < 1/2
深度思辨与反例剖析 (CRITICAL INSIGHT & PITFALL)

为什么解法 ②(圆盘面积均匀,P=1/4P=1/4)与解法 ③(半径长度均匀,P=1/2P=1/2)看似都在选中点,结果却相差一倍? 在极坐标 (r,θ)(r, \theta) 下,圆盘面积微元是 dS=r dr dθ\mathrm{d}S = r\,\mathrm{d}r\,\mathrm{d}\theta!

  • 在解法 ② 中,中点按面积均匀分布,因此半径距离 rr 处的圆环周长 2πr2\pi r 越靠近外缘越大,中点落在外圈 [R/2,R][R/2, R] 的面积占了 34\frac{3}{4},落在内圈 [0,R/2][0, R/2] 的面积只占 14\frac{1}{4};
  • 而在解法 ③ 中,人为强行令 rr 在 [0,R][0, R] 上一维均匀分布(忽略了外圈圆环周长比内圈更长的几何权重 rr),相当于把大量概率质量往圆心挤压,导致内圈概率从 1/41/4 翻倍到了 1/21/2!这也为第 2 讲正式引入几何概型与 Kolmogorov 概率空间三元组 (Ω,F,P)(\Omega, \mathcal{F}, \mathbb{P}) 埋下了最关键的伏笔。
本节方法论沉淀 · KEY TAKEAWAYS
  • Bertrand 悖论的本质:“随机选取”四个字本身没有唯一数学定义——不指明样本空间 Ω\Omega(选什么参数)与等概分布方式(在哪个几何测度上均匀),概率问题就是欠定的。

  • 第一讲终极纲领:拿到任何概率问题,第一步永远是明确界定样本空间 Ω\Omega。样本空间变了,一切随之改变。

CONCEPTUAL & COUNTEREXAMPLE CHECKS · 第 1 讲随堂思辨与易错反例自测

检验你是否真正掌握了“样本空间至高无上”与古典概型计数边界

先独立判断,再展开详细数学解析。每道题均紧扣张颢老师在本讲(P05–P09)课堂上的追问与经典反例。

CHECK 01

在掷两颗均匀骰子的问题中,如果某同学将样本空间定义为“两颗骰子出现的无序点对集合” Ω′={{a1,a2}:1≤a1≤a2≤6}\Omega' = \{\{a_1, a_2\} : 1\le a_1 \le a_2 \le 6\}(共 (62)+6=21\binom{6}{2}+6 = 21 个元素),并据此计算“两颗点数相同”的概率为 6/21=2/76/21 = 2/7。张颢老师会指出他违反了哪条核心原则?

选择答案

CHECK 02

根据张颢老师在黑板上推导的生日问题解析近似公式 P(A)≈1−exp⁡(−N(N−1)2C)\mathbb{P}(A) \approx 1 - \exp\bigl(-\frac{N(N-1)}{2C}\bigr),如果外星某行星的一年有 C=36500C = 36500 天(是地球的 100100 倍),要想让班里“至少两人生日相同”的概率达到 50%50\%,所需的人数 NN 大约是地球(2323 人)的多少倍?

选择答案

CHECK 03

在帕斯卡–费马分赌本问题中,假定甲还差 r=1r=1 局获胜,乙还差 s=2s=2 局获胜(例如 5:4 抢 6),比赛因雨中止。按照费马构造等概样本空间的方法,最多还需打几局?奖金应当按什么比例分配?

选择答案

CHECK 04

关于贝特朗弦长悖论(Bertrand's Paradox)得出的三个概率值 1/3,1/4,1/21/3, 1/4, 1/2,张颢老师在课堂总结中给出的核心定性结论是什么?

选择答案
本讲核心概念、黑板记号与中英术语对照 (6 项)
统计实验 Statistical Experiment

在实验完成前无法唯一、准确预知结果的试验或观测过程。

样本空间 Sample Space (Ω)

统计实验所有可能出现的基本结果(有一个算一个)构成的集合,记为 Ω\Omega。其元素未必是数,在概率论中地位至高无上。

古典概型 Classical Probability Model

样本空间 Ω\Omega 有限(#Ω<∞\#\Omega < \infty)且所有样本点出现可能性完全相等(等概)的概率模型,事件概率为 P(A)=#A/#Ω\mathbb{P}(A) = \#A / \#\Omega。

补集迂回法 Complement Method (Aᶜ)

当正面计数事件 AA(如“至少有两人同生日”)包含过多复杂分类时,转为计算其对立事件 Ac=Ω∖AA^c = \Omega \setminus A(“所有人互异”),再用 P(A)=1−P(Ac)\mathbb{P}(A) = 1 - \mathbb{P}(A^c)。

分赌本问题 Problem of Points (Pascal–Fermat, 1654)

比赛未打完即中止时如何按各自最终获胜概率公平分配奖金的问题。费马通过将提前结束的分支虚拟延拓至最大局数 r+s−1r+s-1,构造出均匀样本空间 {0,1}r+s−1\{0,1\}^{r+s-1}。

贝特朗悖论 Bertrand's Paradox (1889)

在圆内“随机取一条弦”,因对“随机选取”采用不同的样本空间(圆周端点、圆盘中点、半径弦心距)而分别导出 1/3,1/4,1/21/3, 1/4, 1/2 的经典悖论,证明脱离样本空间谈概率毫无意义。

公理与机遇 · 清华大学自动化系张颢《概率论》深度精读讲义 · 原课无遮挡 1.5× 对位回看与穿插式直观可视化