#020. 概率七:条件概率与对称性

对称性与几何概率的核心思路导图

#学习目标:把「算」换成「看」

前几章的工具都是「构造方程然后解」:期望递推、贝叶斯更新、检验统计量。本章走另一条路:先观察样本空间的对称性,很多概率根本不需要计算——两个同分布变量比大小,各占一半;二维标准正态在平面上各向同性,问题就变成量角度;立方体涂色问题里,证据的似然比恰好抵消先验比。面试官出这类题,考的正是你能否在动笔前先看穿结构。

对称性不是万灵药,它有明确的适用边界:一旦「条件」破坏了对称性——例如已知 \(X\gt 0\) 再问 \(X+Y\) 的符号——就必须老老实实做条件概率或几何测度。本章的例题会反复演示这个节奏:先找对称,找不到或被条件破坏时,退回几何与条件计算

分布对称

若 \(X\) 与 \(-X\) 同分布,则 \(P(X\gt 0)=P(X\lt 0)=\tfrac12\)(连续情形)。正态、对称随机游马的位置都属于此类。

交换对称

若联合分布在变量互换下不变,则 \(P(X\gt Y)=P(Y\gt X)\),平局概率单独扣除。抽牌比大小、无偏竞赛全是这个套路。

几何对称

各向同性分布(如 iid 正态对)的极角在 \([0,2\pi)\) 上均匀,线性不等式事件变成「弧长占比」,概率用量角器读出来。

  • 我能在动笔前先问:这道题的样本空间有什么对称?条件是否破坏了它?

#知识点一:三种对称性

分布对称(关于零点)。设连续随机变量 \(X\) 的密度满足 \(f(x)=f(-x)\),则正负半轴概率相等且和为一,直接得 \(P(X\gt 0)=\tfrac12\)。注意它对独立性没有任何要求——一个变量自身的对称就够了。反过来,独立性也救不了不对称:\(X\sim U(0,1)\) 与谁独立都改变不了 \(P(X\gt 0)=1\)。「独立」与「对称」是两个正交的属性,这是源题 P4 的考点。

交换对称(可交换性)。若 \((X,Y)\) 与 \((Y,X)\) 同分布(iid 是特例),则事件 \(\{X\gt Y\}\) 与 \(\{Y\gt X\}\) 互为镜像,概率相等。于是

\[P(X\gt Y)=P(Y\gt X)=\frac{1-P(X=Y)}{2},\]

怎么读:对称两边平分「非平局」的概率,平局概率由具体分布决定。抽两张牌比点数、两个同分布策略比收益,都是先写这一行再算平局。

几何对称(旋转/反射不变)。若 \((X,Y)\) 是 iid 标准正态,联合密度 \(\frac{1}{2\pi}e^{-(x^2+y^2)/2}\) 只依赖到原点的距离,与方向无关——样本点在平面上各向同性。写成极坐标 \((R,\theta)\):\(R\) 与 \(\theta\) 独立且 \(\theta\sim U[0,2\pi)\)。任何「过原点的直线分平面」型事件,其概率就是有利弧长除以总弧长。这把一族代数不等式变成了量角问题。

对称性何时失效

三个字:被条件破坏。已知 \(X\gt 0\) 后,\((X,Y)\) 不再各向同性(只剩右半平面),\(X+Y\) 的符号概率不再是对称的 \(\tfrac12\);已知「看到的 5 个面都是蓝色」后,27 个小块不再等可能——先验对称被证据重新加权。此时正确做法是把对称性用在「未被条件约束」的部分,被约束的部分老老实实用条件概率。

#知识点二:几何概率与极角法

几何概率的核心操作:把样本空间映射成一个有均匀测度的几何对象(线段、圆周、平面区域、球面),所求概率 = 有利区域的测度占比。两件常用装备:

极角法:各向同性平面分布的极角 \(\theta\sim U[0,2\pi)\);过原点直线 \(ax+by=0\) 定义半平面事件,概率 = 对应半圆弧占比 \(\tfrac12\);两个半平面的交 = 两段半圆弧的交,概率 = 交弧长度除以 \(2\pi\)。

二元正态正象限公式:若 \((U,V)\) 零均值二元正态、相关系数 \(\rho\),则 \(P(U\gt 0,\,V\gt 0)=\tfrac14+\tfrac{1}{2\pi}\arcsin\rho\)。怎么读:独立(\(\rho=0\))时两事件独立各 \(\tfrac12\),乘积 \(\tfrac14\);正相关把概率从 \(\tfrac14\) 往上抬,抬的幅度是 \(\arcsin\rho\) 占整圆的比例。证明正是极角法,详见 029 章

区域面积法:断棍、会面等「两个均匀随机数」问题的样本空间是单位正方形,事件由线性不等式围出,概率 = 围出区域面积。

用一道 30 秒小题演练极角法:\(X,Y\) iid \(N(0,1)\),求 \(P(X+Y\gt 0)\)。直线 \(x+y=0\) 过原点,把平面切成两个半平面,各向同性下各占一半,答案 \(\tfrac12\)——不需要知道 \(X+Y\sim N(0,2)\)。但如果加了条件 \(X\gt 0\),半平面被切成两半,只剩一段 \(\tfrac34\pi\) 的弧,这就是例题 3 的 3/4。先看对称、再量角度,两步完成。

#例题详解 I:对称与正态三连

例题 1(源题 P4):两个相互独立的随机变量,其中一个大于零的概率是多少?

建模。先把题面读清楚:问的是 \(P(X\gt 0)\)——指定其中之一(或任取其一)为正的概率。面试第一步应当澄清隐含假设:题目只说「独立」,但独立性决定的是联合结构,不是边际分布的位置。若 \(X\sim U(0,1)\),它整个躺在正半轴上,\(P(X\gt 0)=1\)。标准语境(也是出题人的本意)是「关于零点对称的连续分布」,如正态。

推导。设 \(X\) 的密度满足 \(f(x)=f(-x)\)(关于 0 对称)。则

\[P(X\gt 0)=\int_0^{+\infty}f(x)\,dx=\int_{-\infty}^{0}f(-x)\,dx=P(X\lt 0),\]

又 \(P(X\gt 0)+P(X\lt 0)=1-P(X=0)=1\)(连续分布 \(P(X=0)=0\)),故 \(P(X\gt 0)=\tfrac12\)。整个论证只用了对称,独立与否无关紧要。

检验。标准正态 \(P(X\gt 0)=1-\Phi(0)=\tfrac12\) ✓。反例自查成立:\(U(0,1)\) 独立于任何东西,答案却是 1——说明「独立」不是关键、「对称」才是。追问变式:\(P(X\gt 0\text{ 或 }Y\gt 0)=1-\tfrac12\cdot\tfrac12=\tfrac34\);\(P(XY\gt 0)=P(\text{同号})=\tfrac12\)。

面试怎么讲。「答案 1/2,但前提是分布关于零对称——独立不提供这一点。我会先声明假设,再给对称论证,最后主动给 U(0,1) 反例。这道题名义上考概率,实际考的是你分得清『独立』与『对称』这两个不同的属性。」

例题 2(源题 P30):\(X,Y\) 独立同分布标准正态。求 \(P(X+3Y\gt 0)\);再求联合概率 \(P(X\gt 0 \text{ 且 } X+3Y\gt 0)\)。

建模。第一问是一条线性组合的符号;第二问是两条过原点直线的半平面之交。前者用「正态线性组合仍正态且对称」或直接用几何对称;后者条件破坏了对称,必须量角度。

推导(第一问)。独立正态的线性组合 \(X+3Y\sim N(0,\,1+9)=N(0,10)\),零均值正态关于 0 对称,故 \(P(X+3Y\gt 0)=\tfrac12\)。几何口径同样成立:直线 \(x+3y=0\) 过原点切出两个半平面,各向同性下各占 \(\tfrac12\)。

推导(第二问)。把两事件写成极角条件。\((X,Y)\) 的极角 \(\theta\sim U[0,2\pi)\)。事件 \(A=\{X\gt 0\}\) 即 \(\cos\theta\gt 0\),对应弧 \((-90^{\circ},\,90^{\circ})\)。事件 \(B=\{X+3Y\gt 0\}\):改写 \(\cos\theta+3\sin\theta=\sqrt{10}\cos(\theta-\delta)\),其中 \(\delta=\arctan 3\approx 71.565^{\circ}\),故 \(B\) 对应弧 \((\delta-90^{\circ},\,\delta+90^{\circ})=(-18.435^{\circ},\,161.565^{\circ})\)。两弧之交为 \((-18.435^{\circ},\,90^{\circ})\),弧长 \(108.435^{\circ}\)。因此

\[P(A\cap B)=\frac{108.435^{\circ}}{360^{\circ}}\approx 0.3012=\frac14+\frac{1}{2\pi}\arcsin\frac{1}{\sqrt{10}}.\]

用正象限公式复核:取 \(U=X\)、\(V=X+3Y\),则 \((U,V)\) 零均值二元正态,\(\mathrm{Cov}(U,V)=\mathrm{Cov}(X,X+3Y)=1\),\(\mathrm{Var}(V)=10\),相关系数 \(\rho=1/\sqrt{10}\),代入公式得 \(\tfrac14+\arcsin(1/\sqrt{10})/(2\pi)\approx 0.3012\),两条路完全一致。

检验。量级与方向:\(A\) 与 \(B\) 正相关(\(\rho\gt 0\)),交概率应严格大于独立的 \(\tfrac14\)、小于 \(\tfrac12\),0.3012 落在区间内 ✓。条件读法:\(P(B\mid A)=0.3012/0.5\approx 0.602\gt \tfrac12\),合理——已知 \(X\gt 0\) 会把 \(X+3Y\) 往上拉。常见错误答案 \(\tfrac14\)(误当独立)与 \(\tfrac12\)(误当 \(B\subset A\))都排除了。

面试怎么讲。「第一问:线性组合零均值正态,对称,1/2。第二问不能答 1/4——两条直线夹角不是 90 度,事件正相关。我把平面上量角度的过程讲出来,落点是 \(1/4+\arcsin(1/\sqrt{10})/(2\pi)\approx 0.30\)。如果面试官要闭式,正象限公式一行就能写。」

例题 3(源题 P68):\(X,Y\) iid 标准正态,求 \(P(X+Y\gt 0\mid X\gt 0)\)。

建模。条件 \(X\gt 0\) 破坏了各向同性(只剩右半平面),但它本身是一条半平面弧,可与 \(X+Y\gt 0\) 的半平面弧求交。

推导。\(A=\{X\gt 0\}\) 对应弧 \((-90^{\circ},90^{\circ})\),长 \(180^{\circ}\);\(B=\{X+Y\gt 0\}\) 对应弧 \((-45^{\circ},135^{\circ})\)(直线 \(y=-x\) 与 x 轴夹 \(45^{\circ}\))。交弧 \((-45^{\circ},90^{\circ})\),长 \(135^{\circ}\)。故

\[P(B\mid A)=\frac{135^{\circ}}{180^{\circ}}=\frac34.\]

检验。解析复核:给定 \(X=x\gt 0\),\(P(X+Y\gt 0)=P(Y\gt -x)=\Phi(x)\),对 \(X\) 的半正态分布取平均:\(P(A\cap B)=\int_0^{\infty}\Phi(x)\varphi(x)\,dx=\left[\tfrac{\Phi(x)^2}{2}\right]_0^{\infty}=\tfrac38\),除以 \(P(A)=\tfrac12\) 得 \(\tfrac34\) ✓。正象限公式复核:\(\mathrm{Cov}(X,X+Y)=1\)、\(\mathrm{Var}(X+Y)=2\)、\(\rho=1/\sqrt2\),\(P(A\cap B)=\tfrac14+\arcsin(1/\sqrt2)/(2\pi)=\tfrac14+\tfrac18=\tfrac38\),再除 \(\tfrac12\) 同样得 \(\tfrac34\) ✓。

面试怎么讲。「3/4。直觉版本:已知 X 为正,相当于 X+Y 的『底仓』已经垫了一半,Y 对称地再掷一次硬币,只有 Y 拖累得足够狠才会翻负——所以大于 1/2、小于 1。然后给极角或积分任一严谨版本。」

#例题详解 II:圆上与球上的几何

例题 4(源题 P44/P79):在圆周上独立均匀地取 \(N\) 个点,它们全部落在同一个半圆内的概率是多少?\(N=8\) 时是多少?

建模。「存在某个半圆(无论朝向)同时盖住全部 \(N\) 点」。正面硬算要对半圆的位置积分;定点法(fix a point)把它拆成 \(N\) 个互斥的简单事件。

推导。对每个点 \(i\),定义事件 \(E_i\)=「以 \(i\) 为逆时针起点的半圆(从 \(i\) 出发逆时针扫 \(180^{\circ}\))盖住其余 \(N-1\) 个点」。其余每个点独立均匀落在这个半圆内的概率是 \(\tfrac12\),故

\[P(E_i)=\Big(\frac12\Big)^{N-1}.\]

两两不相交:若 \(E_i\) 与 \(E_j\) 同时发生,则 \(j\) 在 \(i\) 的逆时针半圆内、\(i\) 又在 \(j\) 的逆时针半圆内,两点沿两个方向的弧距都小于半圆——加起来超过一整圈,矛盾(恰好对径的概率为 0)。而「所有点同在一个半圆」发生时,取该半圆的逆时针起点,它必是某个样本点,故该事件恰为 \(\bigcup_i E_i\)。于是

\[P=\sum_{i=1}^{N}P(E_i)=\frac{N}{2^{N-1}},\qquad N=8:\ \frac{8}{2^{7}}=\frac{1}{16}=6.25\%.\]

检验。小情形:\(N=1\) 得 1(一个点总在某个半圆)✓;\(N=2\) 得 1(两点总可被某半圆盖住,除非恰好对径,概率 0)✓;\(N=3\) 得 \(3/4\),与经典的三点同半圆结论一致 ✓。概率随 \(N\) 指数衰减,\(N=8\) 只剩 6.25%,符合「点多了很难挤在同一侧」的直觉。

面试怎么讲。「用定点法:指定每个点做半圆的『最左端』,剩下 \(N-1\) 个点各有 1/2 的机会落进来,\(N\) 个互斥事件相加得 \(N/2^{N-1}\),8 个点是 1/16。关键一步是论证互斥——两个点不能互为对方的逆时针起点。」

例题 5(源题 P63):在单位球面上均匀取一点,求其 \(x\) 坐标的期望与方差。

建模。「球面上均匀」指概率按面积测度分配。对称性分两层:镜像对称(\(x\mapsto -x\))给出期望;三个坐标之间的对称给出二阶矩的分配。

推导。期望:球面在 \(x\mapsto -x\) 下不变,故 \(x\) 与 \(-x\) 同分布,\(E[x]=-E[x]\),得 \(E[x]=0\)。方差:球面上恒有 \(x^2+y^2+z^2=1\),取期望 \(E[x^2]+E[y^2]+E[z^2]=1\);又由三坐标在球面旋转下的可交换性,\(E[x^2]=E[y^2]=E[z^2]\),故

\[3E[x^2]=1\ \Longrightarrow\ \mathrm{Var}(x)=E[x^2]-0=\frac13.\]

检验。交叉验证(阿基米德的球带定理):均匀球面点的 \(x\) 坐标实际上服从 \(U(-1,1)\)——等高球带面积与 \(x\) 无关。而 \(U(-1,1)\) 的均值为 0、方差为 \((1-(-1))^2/12=4/12=1/3\),两个口径完全吻合 ✓。若球半径为 \(r\),答案按 \(r^2\) 缩放为 \(r^2/3\)。

面试怎么讲。「期望 0、方差 1/3。期望用镜像对称一句话;方差用『三坐标平分单位长度的平方和』。加分项:报出 \(x\sim U(-1,1)\) 这个等价刻画并说明它是球带面积恒定的直接推论。」

#例题详解 III:条件概率三题

例题 6(源题 P45 与 P46 合讲):三枚骰子,点数严格递增的概率是多少?把一根单位长棍随机折成三段,能拼成三角形的概率是多少?

建模(骰子)。三枚独立骰子是 \(\{1,\dots,6\}^3\) 上的均匀分布,共 216 个等可能结果。「严格递增」要求三个值互不相同且顺序唯一确定。

推导(骰子)。分两步:值互异的概率 \(=\frac{6\cdot5\cdot4}{216}=\frac{120}{216}=\frac59\);给定一组互异值,\(3!=6\) 种排列中恰 1 种严格递增。故

\[P(\text{严格递增})=\frac59\cdot\frac16=\frac{5}{54}\approx 9.26\%,\qquad\text{等价计数 } \binom{6}{3}\Big/216=\frac{20}{216}.\]

检验(骰子)。严格递减同为 5/54,非严格递增(允许相等)用隔板法计数 \(\binom{6+3-1}{3}=\binom83=56\),得 56/216 = 7/27 ≈ 25.9%,三个数自洽(相等放松后概率应显著上升)✓。

建模(断棍)。「随机折成三段」的标准解释:两个断点 \(U,V\) iid \(U(0,1)\),三段长为 \(\min(U,V)\)、\(|U-V|\)、\(1-\max(U,V)\)。拼成三角形的充要条件是每段小于 \(\tfrac12\)(任何一段 \(\ge\tfrac12\) 时另外两段之和不足它)。

推导(断棍,方法一:面积法)。不妨把样本空间看成 \((U,V)\) 的单位正方形,由对称只看有利区域面积。条件「三段都 \(\lt\tfrac12\)」逐条写开并求交集,围出的区域是正方形中央的六边形区域,面积恰为 \(\tfrac14\)。(分段写出:\(\min\gt 0\) 恒真,\(\min\lt\tfrac12\)、\(|U-V|\lt\tfrac12\)、\(\max\gt\tfrac12\) 三条带状约束的交。)

推导(断棍,方法二:两端点积分法)。固定第一断点位置 \(x\),对第二断点 \(y\) 积分:当 \(x\lt\tfrac12\) 时 \(y\) 必须落在 \((\tfrac12,\,x+\tfrac12)\),长度 \(x\);当 \(x\gt\tfrac12\) 时 \(y\) 必须落在 \((x-\tfrac12,\,\tfrac12)\),长度 \(1-x\)。于是

\[P=\int_0^{1/2}x\,dx+\int_{1/2}^{1}(1-x)\,dx=\frac18+\frac18=\frac14.\]

检验(断棍)。断棍问题三段最大值的期望是 11/18,比 1/2 大,「最大段超过一半」是常态,三角形概率小于一半才合理,1/4 恰好。注意若「随机折三段」改成「先折一半再折其一侧」(序贯折法),答案会变成 \(\ln 2\approx 0.693\) 对应的反例结构——面试务必先澄清折法口径。

面试怎么讲。「骰子题一句话:互异 5/9 乘唯一序 1/6 等于 5/54。断棍题先声明『两个独立均匀断点』的口径,再用面积或积分给 1/4,最后主动提序贯折法答案不同——这一句澄清通常就是面试官想听的。」

例题 7(源题 P67):一个 3×3×3 的立方体由 27 个小方块组成,外表面涂红。随机取一个小方块随机抛掷,看到 5 个蓝色面。此时底面也是蓝色的概率是多少?

建模。27 个小方块按接触外表面数分类:8 个角块(3 红 3 蓝)、12 个棱块(2 红 4 蓝)、6 个面心块(1 红 5 蓝)、1 个中心块(0 红 6 蓝)。「随机抛掷」= 六个面等可能朝下。要看到 5 个蓝面,方块至少得有 5 个蓝面,候选只有中心块与面心块——这是一场先验比 1:6 的对决。

推导。令 \(E\) =「五个可见面全蓝」。中心块任何朝向下都满足:\(P(E\mid\text{中心})=1\)。面心块仅当唯一的红面朝下时五个可见面全蓝:\(P(E\mid\text{面心})=\tfrac16\)。其余块 \(P(E\mid\cdot)=0\)。全概率与贝叶斯:

\[P(\text{底蓝}\mid E)=\frac{\tfrac{1}{27}\cdot 1}{\tfrac{1}{27}\cdot 1+\tfrac{6}{27}\cdot\tfrac16}=\frac{1/27}{2/27}=\frac12.\]

检验。似然比口径:中心块对块面上出现 \(E\) 的「证据强度」是面心块的 6 倍,先验恰是 1:6,两者抵消,后验 1:1,答案 \(\tfrac12\) ✓。注意「底面蓝」与「\(E\)」在面心块上互斥(红面朝下才见 5 蓝,底面必红),所以唯一的正向贡献来自中心块,分母则由两类共同撑起——分子分母各 1/27 的对称并非巧合。

面试怎么讲。「先分类:只有中心块和面心块能展示 5 个蓝面;再用似然比 6:1 对冲先验比 1:6,答案是 1/2。若追问 4 个蓝面的情形,同一套流程:候选变成棱块(4 蓝 2 红)等类,逐类算似然即可。」

例题 8(源题 P82):一副 52 张牌,我先抽一张,你再抽一张。你抽到的牌比我的大的概率是多少?

建模。无放回连抽两张,按点数比较大小,同点数算平局(花色不参与)。由于先抽后抽不改变联合分布的可交换性,这题的骨架是交换对称。

推导。\((X,Y)\)(我的牌、你的牌)在交换下不变,故 \(P(Y\gt X)=P(X\gt Y)\)。又 \(1=P(Y\gt X)+P(X\gt Y)+P(X=Y)\),只需求平局概率:给定我的牌,剩下 51 张中有 3 张同点数,故 \(P(X=Y)=\tfrac{3}{51}=\tfrac{1}{17}\)。于是

\[P(Y\gt X)=\frac{1-\tfrac{3}{51}}{2}=\frac{24}{51}=\frac{8}{17}\approx 47.06\%.\]

检验。组合口径复核:平局数 \(13\cdot\binom{4}{2}=78\),总对数 \(\binom{52}{2}=1326\),\(78/1326=1/17\) ✓。两边各得 \(8/17\lt\tfrac12\),差额恰是平局,合理。若规则改为「平局重抽至分出胜负」,答案回到 \(\tfrac12\)——先手没有任何概率劣势。

面试怎么讲。「8/17。核心一句:交换对称让两边等概率,扣掉平局 3/51 后对半分。再补一句『先抽只是少了信息,不构成概率劣势』,以及平局重抽即回到 1/2 的变式。」

#误区与边界

对称性滥用四例

一,「独立 ⇒ \(P(X\gt 0)=1/2\)」:错,对称才给一半,独立与对称无关(例题 1)。二,「两个半平面事件交概率 1/4」:只在其边界线垂直(相关为零)时成立;\(X\gt 0\) 与 \(X+3Y\gt 0\) 正相关,正确值约 0.301(例题 2)。三,条件后忘记重置测度:已知 \(X\gt 0\) 后样本空间只剩半平面,直接拿无条件结论套条件问题是高频错误(例题 3)。四,把「N 点同半圆」当成 \(N\) 个独立半圆概率相乘:定点法定义的 \(N\) 个事件互斥而非独立,是相加而非相乘(例题 4)。

边界与变式:断棍问题必须先澄清折法(两独立断点 1/4 对序贯折法不同),这是「随机」一词的歧义教科书;球面题从方差可延伸出「\(x\) 坐标均匀」的球带定理,反向可考 \(E[|x|]=1/2\);涂色方块改成 4×4×4 后类结构变为「面心块有 4×4 一面红」与「内层」,方法不变;比大小题改成「先抽者看牌后可换」,就从对称题变成信息与期望题,进入 024 章的博弈语境。几何测度还要求事件边界测度为零——「恰好对径」「恰好落在直线上」这类零测度情形不影响概率,但严谨陈述时应带一句「概率为零,忽略」。

#检查清单

  • 我能区分「独立」与「关于零点对称」,并说明 \(P(X\gt 0)=1/2\) 依赖的是后者。
  • 我会用交换对称写 \(P(X\gt Y)=\frac{1-P(X=Y)}{2}\),并独立算出平局概率(抽牌题的 3/51)。
  • 我能把 iid 正态对的问题转成极角,用量弧长解半平面交事件,并用正象限公式复核。
  • 我掌握 \(P(X+Y\gt 0\mid X\gt 0)=3/4\) 的几何与积分两种推导。
  • 我能在「N 点同半圆」里用定点法推导 \(N/2^{N-1}\),并说清事件互斥而非独立。
  • 我掌握断棍三角形概率 1/4 的两种推导,并知道先澄清折法口径再作答。
  • 我理解涂色方块题的「先验比被似然比抵消」结构,能迁移到任意维度的变式。
  • 我能用对称 + 条件概率在 30 秒内给出球面坐标期望 0、方差 1/3 并完成交叉检验。