#028. 统计三：MLE 与贝叶斯估计
先用一个小例走通
观测三次抛币H、H、T，假设正面率p，则这段具体序列的似然\(p^{2}(1-p)\)。取\(p=1/2\)得\(1/8\)，取\(p=2/3\)得\(4/27\)更大；最大似然估计就是在合法p里找让已见数据最可能的值，本例\(2/3\)。它不自动使用先验；贝叶斯估计还要把p的先验分布乘进来并归一。
慢读约定：每题先看“慢读”的具体计算，再读后面的通用推导。第一轮优先算懂正态均值、概率筛选、两秤融合和均匀撒点；柯西的渐近方差、Fisher信息与CRB留到第二轮。\(N(m,v)\)的第二项表示方差，标准差另写 \(\sqrt v\)。先说清已知条件、单位和随机对象，不把估计值当成真值。
#学习目标：换一套语言谈「估得准」
「估计一个参数」人人会说，但量化面试考的是三段完整的推理：怎么估（给一个原则，而不是拍脑袋给公式）、估得多好（有没有理论下界、我的估计量离下界多远）、怎么验证（样本外怎么检验、数值上怎么仿真）。本章把这三段配齐：极大似然给出「怎么估」的原则——选让观测数据出现概率最大的参数；Fisher 信息与 Cramér–Rao 下界给出「多好」的标尺；仿真与样本外检验给出「验证」的动作。这是源题 S2 的完整答案骨架。
另一条主线是贝叶斯估计：参数不再是未知常数，而是带着先验分布的随机变量，数据到来后更新为后验。它解释本章两类基础问题：一是基率谬误（检测准确率 99% 不等于阳性即患病，源题 S15）；二是信息融合（两把精度不同的秤怎么读数，源题 S34——答案恰好是逆方差加权，与高斯先验的后验公式同构）。两章之前 018 章已用贝叶斯判别过偏币，这里把机制补成通用理论。
本章还收编了三个「采样与快速概率」的实用题：单位圆盘均匀采样（拒绝采样与极坐标陷阱，源题 S16）、iid 正态的正负号概率（源题 S12）。它们共同的教训是：采样分布的雅可比量（面积元、密度变换）决定「均匀」的含义，凭直觉均匀地撒参数往往撒错。
\(\hat\theta_{\text{MLE}}=\arg\max_\theta\prod_i f(x_i;\theta)\)；一致、渐近有效，渐近方差 \(1/(nI(\theta))\)。
任何无偏估计 \(\mathrm{Var}(\hat\theta)\ge 1/I_n(\theta)\)，\(I_n=nI_1\)；MLE 渐近达到下界。
高斯先验乘高斯似然给高斯后验：后验均值是逆方差加权平均，后验方差小于任何单源。
#知识点一：似然、Fisher 信息与 CRB 下界
给定 iid 样本 \(x_1,\dots,x_n\) 与参数化密度族 \(f(x;\theta)\)，似然函数（likelihood）把「数据的概率」看作 \(\theta\) 的函数：
极大似然估计（Maximum Likelihood Estimator, MLE）取 \(\hat\theta=\arg\max_\theta \ell(\theta)\)。直觉读法：在所有候选 \(\theta\) 里，挑一个让你「已经看到的样本」出现概率最大的——不是最可能的 \(\theta\)（那需要先验，是贝叶斯的语言），而是让数据最不惊讶的 \(\theta\)。
衡量「数据里有多少关于 \(\theta\) 的信息」
得分函数 \(S(\theta)=\ell'(\theta)\) 满足 \(\mathbb{E}[S(\theta)]=0\)，其方差定义为 Fisher 信息：
读法：对数似然曲面的曲率越大（弯得越急），峰值定位越准，数据携带的信息越多。Cramér–Rao 下界（CRB）把这句话变成硬约束——任何无偏估计满足：
经典例：\(N(\mu,\sigma^2)\)（\(\sigma^2\) 已知）中 \(I(\mu)=1/\sigma^2\)，样本均值 \(\bar x\) 的方差恰为 \(\sigma^2/n\)——达到下界，没有更好的无偏估计。MLE 的三条大样本性质也顺手记下：一致性（\(\hat\theta\to\theta\)）、渐近正态（\(\sqrt{nI(\theta)}(\hat\theta-\theta)\Rightarrow N(0,1)\)）、渐近有效（渐近方差达到 CRB）。
一个必须知道的瑕疵
MLE 不保证无偏。最著名的例子：\(N(\mu,\sigma^2)\) 的方差 MLE \(\hat\sigma^2_{\text{MLE}}=\frac1n\sum(x_i-\bar x)^2\) 期望是 \(\frac{n-1}{n}\sigma^2\)，偏小；除以自由度修正成 \(\frac{1}{n-1}\sum(x_i-\bar x)^2\) 才无偏。026 章例题 5 也见过同一件事：高斯噪声下 \((a,b)\) 的 MLE 与 OLS 相同，但 \(\sigma^2\) 的 MLE 用 \(n\) 做分母。面试里主动指出这一条，是「懂理论」与「背公式」的分水岭。
四把尺子按序使用：无偏（期望等于真值）、一致（样本够多就收敛）、有效（方差贴近 CRB）、稳健（离群点不翻车）。再加两步实证：仿真（已知真值造数据，看估计分布）与样本外检验（留出数据看对数似然、覆盖率或预测误差是否兑现）。
#知识点二：贝叶斯更新与先验后验
贝叶斯观点把未知参数 \(\theta\) 视为随机变量：先验 \(\pi(\theta)\) 编码数据到来前的信念，观测 \(x\) 之后用贝叶斯定理更新：
读法：后验正比于似然乘先验——数据负责「乘法修正」，先验负责「锚定」。上一章例题 7 的「平滑先验」、018 章的偏币后验，用的都是这一个公式。
高斯 × 高斯 = 逆方差加权
最有用的特例：先验 \(\theta\sim N(\mu_0,\tau^2)\)，观测 \(x\mid\theta\sim N(\theta,\sigma^2)\)。完成平方（配方法）后，后验仍是高斯：
三条读法值得逐条念出：(1) 后验均值是先验均值与观测的逆方差加权平均——谁精度高（\(1/\)方差）谁话语权大；(2) 后验方差小于两个源各自的方差——信息只会越合越多；(3) 令 \(\tau\to\infty\)（扁平先验），后验均值退化为 \(x\)，贝叶斯估计退化为 MLE。这个公式就是源题 S34「两把秤」的全部答案，也是卡尔曼滤波每次量测更新时走的那一步。
看到「检测准确率 99%」就断定阳性即患病，错在把 \(P(\text{阳性}\mid\text{患病})\) 与 \(P(\text{患病}\mid\text{阳性})\) 混为一谈——两者由贝叶斯定理连接，中间隔着先验（患病率）。患病率越低，阳性里「假阳性」占比越高：例题 3 会算出患病率 25% 时阳性后验约 97%，而患病率 1% 时只有 50%。同一台检测器，换个城市结论天差地别。
#例题详解 I：MLE 框架与柯西位置估计
例题 1（源题 S2）：什么是极大似然估计？给出一个例子，并说明如何评估一个估计方法的有效性。
慢读：先把中间一步算清楚
先比较两个候选，再求最好的一点。观测固定为(2,4,6)，独立正态误差的标准差已知为1，只有均值 \(\mu\) 未知。记共同密度常数 \(C=(2\pi)^{-1/2}\)。取 \(\mu=4\)，误差为(−2,0,2)，三项密度相乘是 \(C^3e^{-(4+0+4)/2}=C^3e^{-4}\)；取 \(\mu=3\)，误差为(−1,1,3)，乘积 \(C^3e^{-11/2}\)。前者较大。这里是固定数据、比较参数，不是在说参数自己随机。
对数把乘积变成加法；忽略相同常数，要最大化 \(\ell(\mu)=-[(2-\mu)^2+(4-\mu)^2+(6-\mu)^2]/2\)。第一项导数是 \(-\tfrac12\times2(2-\mu)\times(-1)=2-\mu\)，三项相加为 \(12-3\mu\)。设零得 \(\mu=4\)，二阶导−3保证峰顶。把三个数换成一般样本，才得到 \(\sum x_i-n\mu=0\) 和样本平均。自测：所有观测加10，估计怎样变？加10，而最优残差不变。
建模。分两半作答：前半给定义与一个完整算例，后半给评估框架。算例选均值为 \(\mu\)、方差已知的正态：\(x_i\mid\mu \overset{\text{iid}}{\sim} N(\mu,\sigma^2)\)。
推导。对数似然 \(\ell(\mu)=-\frac{n}{2}\log(2\pi\sigma^2)-\frac{1}{2\sigma^2}\sum(x_i-\mu)^2\)，求导令零：\(\ell'(\mu)=\frac{1}{\sigma^2}\sum(x_i-\mu)=0\)，得
样本均值无偏、一致、方差恰好达到 CRB——在所有无偏估计里已是最优。评估有效性按四把尺子加两步实证：无偏/一致/有效（对照 CRB）/稳健；仿真（真值已知时重复采样看估计量的分布与均方误差）；样本外检验（留出集对数似然、置信区间的实际覆盖率、或预测误差对比基准估计量）。
检验。反例自检：换成 \(N(\mu,\sigma^2)\) 的双参数 MLE，\(\hat\sigma^2_{\text{MLE}}\) 有偏（偏因子 \((n-1)/n\)）——说明「MLE 达 CRB」是渐近性质，有限样本不保证无偏，答完主动声明这一边界。
面试怎么讲。用一句话定义（让已见数据概率最大的参数），一个算例走完「似然—求导—方差—对照 CRB」闭环，再背出评估的「四尺两步」。这题考框架完整度，不考算力。
推导补全与自检。已知\(\sigma ^{2}\)的正态样本，ℓ\((\mu )=\)常数\(-\sum (x_{i}-\mu )^{2}/(2\sigma ^{2})\)，求导得\(\widehat\mu=\overline x\)，二阶导\(-n/\sigma ^{2}<0\)保证极大。无偏、方差\(\sigma ^{2}/n\)、一致性与渐近正态是不同性质，需分别说明。对一般MLE，参数边界、不可辨识和样本相关都会破坏常规渐近结论；不能只背“MLE最有效”。
例题 2（源题 GT10，出自博弈分册的统计题）：为柯西分布的平移参数（位置参数）设计一个估计量。它以多快的速度收敛？
慢读：先把中间一步算清楚
先用一个极端值看为什么不盲用平均。样本(−2,0,1,2,1000)平均200.2，中位数1；把1000换成1000000，平均200000.2，中位数仍为1。这是稳健性的例子，不是收敛证明。
中位数附近，分布函数局部可写 \(F(\theta+u)\approx1/2+f(\theta)u\)。n次观测中，“是否在真中位数左边”的比例标准差为 \(1/(2\sqrt n)\)。把概率方向的波动换成位置方向的波动，除以斜率 \(f(\theta)\)，得标准误约 \(1/[2f(\theta)\sqrt n]\)。标准柯西中心密度 \(f(\theta)=1/\pi\)，故标准误 \(\pi/(2\sqrt n)\)，n=100约0.1571。边界：这是中心密度正且平滑时的大样本近似，不是五样本精确区间；后面的Fisher信息比较可第二轮再读。
建模。密度 \(f(x;\theta)=\dfrac{1}{\pi\gamma\bigl(1+((x-\theta)/\gamma)^2\bigr)}\)，取尺度 \(\gamma=1\)。柯西尾部是 \(1/x^2\) 量级，期望不存在——这是一道「均值族工具全部失效」的题。
推导。先排除均值：柯西是稳定指数 \(\alpha=1\) 的稳定分布，\(n\) 个 iid 柯西的平均仍服从同参数的柯西分布——分布形状与 \(n\) 无关，样本均值不会依概率收敛到位置参数θ（通常大数定律所需的有限一阶绝对矩条件不满足）。改用样本中位数 \(\hat\theta=\mathrm{median}(x_1,\dots,x_n)\)：中位数存在且唯一（分布函数严格单调），由次序统计量理论，\(\hat\theta\) 渐近正态：
收敛速度的说法要精确：方差以 \(O(1/n)\) 收缩、标准误以 \(O(1/\sqrt n)\) 收缩——与「均值型」估计量（如正态样本均值的 \(\sigma^2/n\)）速率同阶、常数吃亏（\(2.47\) 对 \(1\)，以尺度参数为单位）。对照理论极限：柯西位置的 Fisher 信息 \(I(\theta)=1/2\)，MLE 渐近方差 \(2/n\)，优于中位数的 \(2.47/n\)，但 MLE 无闭式需数值求解。稳健折中：固定比例的对称截尾均值（方差常数取决于截尾比例，不能一律称介于中位数与MLE之间）。
检验。量级核对：\(n=100\) 时中位数标准误约 \(\sqrt{2.47/100}\approx0.157\) 个尺度单位，仿真一百万次柯西样本会看到均值估计的散布不随 \(n\) 收窄而中位数稳定收窄——排除法与收敛性都得到验证。
面试怎么讲。三段式：(1) 柯西无均值，样本均值是稳定律、不收敛——一句话排除；(2) 中位数渐近正态、方差 \(\pi^2/(4n)\)，速率 \(1/\sqrt n\)、常数 2.47 劣于 MLE 的 2；(3) 收尾提截尾均值与「重尾分布请先问矩是否存在」的一般教训。
推导补全与自检。柯西位置样本均值仍服从同尺度柯西，不因样本量增加而集中，因此不能套通常有限方差CLT。样本中位数一致，渐近方差为\(1/[4nf(\theta )^{2}]=\pi ^{2}\gamma ^{2}/(4n)\)，标准误\(\pi \gamma /(2\sqrt{n})\)。这里速率仍为\(n^{-1/2}\)，但来自分位数理论；“分布重尾”不表示所有估计量都无法快速收敛。
#例题详解 II：贝叶斯与信息融合
例题 3（源题 S15）：COVID 检测：患病者 99% 检出阳性，健康者 99% 检出阴性。(a) 人群患病率 25%，随机检测一人，阳性概率是多少？(b) 该人阳性时，真患病的概率是多少？
慢读：先把中间一步算清楚
把条件概率先变成人数筛选。想象10000人的教学总体：患病2500、健康7500。患病组中阳性 \(2500\times0.99=2475\)，健康组误报 \(7500\times0.01=75\)。阳性总人数2550，阳性总概率 \(2550/10000=0.255\)。只在阳性组中再挑人，分母改为2550，真患病比例 \(2475/2550=33/34\approx0.97059\)。
基率若是1%，同样10000人中患病100、健康9900；真阳99、误报99，后验 \(99/(99+99)=1/2\)。自测：99%为何不能直接作答案？它从患病组看阳性，本题从阳性组看患病，筛选方向与分母不同。
建模。记 \(D\) 为患病（先验 \(P(D)=0.25\)），灵敏度 \(P(+\mid D)=0.99\)，特异度 \(P(-\mid\lnot D)=0.99\) 即 \(P(+\mid\lnot D)=0.01\)。全概率公式加贝叶斯定理。
推导。(a) 全概率：
(b) 后验：
检验。交叉核对「阴性后验」：\(P(-)=0.01\times0.25+0.99\times0.75=0.745\)，\(P(\lnot D\mid-)=0.7425/0.745\approx0.997\)，与直觉相符。再对照患病率 1% 的世界：\(P(D\mid+)=0.0099/(0.0099+0.0099)=50\%\)——同样 99% 的检测器，阳性只值一枚硬币。这就是基率谬误：似然比固定，后验 odds = 先验 odds × 似然比。
面试怎么讲。先列三件套（灵敏度、特异度、患病率），再两步算出 0.255 与 97%；主动给出 1% 患病率时跌到 50% 的对照，把「检测质量」与「人群基率」解耦讲清——这是这道题的真正考点。延伸一句「两次独立检测都阳性后验会跳到 98% 以上」更显完整。
推导补全与自检。阳性概率\(=0.25\times 0.99+0.75\times 0.01=0.255\)；真阳且阳性联合概率0.2475，后验\(=0.2475/0.255=33/34\approx 0.97059\)。若患病率改为1%，同样99%灵敏度与特异度，阳性后患病概率只有\(1/2\)。该题是概率模型计算，基础患病率不能忽略。
例题 4（源题 S34）：用两把秤称同一件物品，读数 \(w_1\)、\(w_2\)。两把秤的误差分别是零均值、标准差 \(\sigma_1\)、\(\sigma_2\) 的正态。真实重量怎么估计？
慢读：先把中间一步算清楚
把权重完整算一遍。两秤读10与12，标准差1与2，所以方差1与4，精度是倒数1与1/4。总精度5/4，归一化权重 \(1/(5/4)=4/5\)、\((1/4)/(5/4)=1/5\)，合并读数 \((4/5)10+(1/5)12=10.4\)，靠近较准的第一秤。
不背公式也能求：令答案 \(aw_1+(1-a)w_2\)，权重和1保证无偏。独立时方差 \(a^2+4(1-a)^2=5a^2-8a+4\)，导数 \(10a-8=0\)，得a=4/5。代回方差 \(16/25+4/25=4/5\)，标准差约0.8944。自测：若两秤都固定偏高1，能融合消掉吗？不能，共同偏差仍为1；零均值与独立都是有内容的假设。
建模。观测模型 \(w_i = w + e_i\)，\(e_i\sim N(0,\sigma_i^2)\) 相互独立。对 \(w\) 做极大似然（等价于对 \(w\) 取扁平先验的贝叶斯后验众数）。
推导。对数似然 \(\ell(w) = -\frac{(w_1-w)^2}{2\sigma_1^2} - \frac{(w_2-w)^2}{2\sigma_2^2} + C\)，求导令零：
这就是逆方差加权（inverse-variance weighting）：精度（\(1/\sigma^2\)）当权重。方差不等式说明融合严格不吃亏——加入独立无偏观测并采用最优权重后，方差不大于单用最好的一条观测。特例核对：\(\sigma_1=\sigma_2\) 时 \(\hat w=(w_1+w_2)/2\)；\(\sigma_2\to\infty\)（秤 2 完全没谱）时 \(\hat w\to w_1\)。它与知识点二的高斯后验公式完全同构：把「秤 1」当先验、「秤 2」当数据，或视两把秤为两个独立证据源，公式不变；推广到 \(k\) 把秤即权重 \(1/\sigma_i^2\) 归一化。若两秤误差相关（共同的环境干扰），要用广义最小二乘带上协方差项，权重改为精度矩阵的分量——主动提这一句是加分项。
检验。量纲核对：权重无量纲、分子分母同为重量的量纲；仿真核对：取 \(w=10\)、\(\sigma_1=1\)、\(\sigma_2=2\)，权重为 \(0.8/0.2\)，\(\mathrm{Var}(\hat w)=1/(1+0.25)=0.8\lt1\)，好于任何单秤。
面试怎么讲。报出逆方差加权公式并强调「精度当权重、融合后方差小于最小单源」；再点一句它就是高斯贝叶斯更新与卡尔曼滤波量测步的骨架，展示你看穿题目的层级。
没有精度信息的第一问。PDF先问仅给两次读数、没有额外信息如何估计。此时无法唯一确定最优权重，也不能从这两个数字推断哪把秤更准。若另加“同精度、无偏且独立”假设，取平均\((w_1+w_2)/2\)；若已知标准差再用上面的逆方差权重。存在未知系统偏差时，即使两次读数接近也不保证接近真值。
推导补全与自检。令\(\widehat w=aw_1+(1-a)w_2\)，无偏自动满足，独立时方差\(a^{2}\sigma _{1}^{2}+(1-a)^{2}\sigma _{2}^{2}\)；导数置零得\(a=\sigma _{2}^{2}/(\sigma _{1}^{2}+\sigma _{2}^{2})\)，也就是精度\(1/\sigma ^{2}\)归一化。若两秤误差相关c，最优\(a=(\sigma _{2}^{2}-c)/(\sigma _{1}^{2}+\sigma _{2}^{2}-2c)\)，权重甚至可为负；因此独立是原简单公式的必要假设之一。
#例题详解 III：采样与快速概率
例题 5（源题 S16）：如何在单位圆盘上模拟均匀分布的点？
慢读：先把中间一步算清楚
先看面积比例。半径不超过1/2的内圆面积是 \(\pi(1/2)^2=\pi/4\)，因此均匀撒点应有1/4落在其中。若直接令半径R在0到1均匀，就会有1/2点挤在内圆，已经不对。
目标应为 \(P(R\le r)=r^2\)。取 \(R=\sqrt U\)，便有 \(P(\sqrt U\le r)=P(U\le r^2)=r^2\)。再独立取角度 \(\Theta=2\pi V\)，坐标 \((R\cos\Theta,R\sin\Theta)\)。U=1/4、V=0给(1/2,0)；U=1/4、V=1/4给(0,1/2)。均匀指等面积概率相同，不是等宽半径区间概率相同；先理解这一步，再看雅可比公式。
建模。目标是圆盘 \(\{(x,y): x^2+y^2\le1\}\) 上的均匀分布：任意等面积区域落点概率相等。候选方案有两个——直角坐标拒绝采样、极坐标变换采样。
推导。方案一（拒绝采样）：在 \([-1,1]^2\) 撒均匀点，落在圆内接受、圆外重撒。接受率是面积比 \(\pi/4\approx78.5\%\)，平均每点需要 \(4/\pi\approx1.27\) 次采样；无偏、简单，代价是循环次数随机。方案二（极坐标）：取 \(\theta=2\pi U_1\)（\(U_1\) 均匀），半径必须取 \(r=\sqrt{U_2}\)。原因：面积元是 \(r\,\mathrm{d}r\,\mathrm{d}\theta\)，圆盘内均匀意味着 \(P(R\le r)=\dfrac{\pi r^2}{\pi}=r^2\)，即 \(R\) 的分布函数是 \(r^2\)，反变换得 \(r=\sqrt{U_2}\)。若错取 \(r\sim U[0,1]\)，单位半径上的密度正比于 \(1/r\) 的倒数关系被破坏——点向圆心拥挤（半径 0.5 处单位面积的落点密度是半径 1 处的两倍），这是极坐标采样的经典陷阱。
检验。密度核对：代入雅可比 \(\mathrm{d}x\,\mathrm{d}y = r\,\mathrm{d}r\,\mathrm{d}\theta\)，联合密度 \(f(r,\theta)=f_r(r)f_\theta(\theta)=2r\cdot\frac{1}{2\pi}=\frac{r}{\pi}\)，恰是圆盘均匀密度在极坐标下的表达；四象限落点数仿真各占 25% 亦可数值验证。
面试怎么讲。两个方案都讲，重点展示「为什么 \(r\) 要开根号」：面积元带因子 \(r\)，累计面积是 \(r^2\)，反变换开根。蒙特卡洛方法的更多案例（用采样算 \(\pi\)、标准误控制）在 035 章展开。
推导补全与自检。极坐标面积元\(r dr d\theta \)，均匀面积分布要求半径CDF为\(P(R\le r)=r^{2}\)。取U,V独立U[0,1]，\(R=\sqrt{U},\theta =2\pi V\)，坐标\((Rcos\theta ,Rsin\theta )\)。若误用\(R=U\)，半径\(\le 1/2\)概率变\(1/2\)而非正确\(1/4\)，点会过密聚在圆心。拒绝采样从\([-1,1]^{2}\)接受圆内点，接受率\(\pi /4\)。
例题 6（源题 S12）：\(X\)、\(Y\) 独立同服从标准正态。求 \(P(X\gt0,\ Y\lt0)\)。若 \(X\)、\(Y\) 相关系数为 \(\rho\)，答案变成什么？
慢读：先把中间一步算清楚
独立时先枚举符号。每个零均值正态正负各半，两者独立，使(+,+)、(+,−)、(−,+)、(−,−)各占 \(1/2\times1/2=1/4\)。取零概率为0，没有额外一类。
相关情形可构造 \(X=U,\ Y=\rho U+\sqrt{1-\rho^2}V\)，U、V独立标准正态；Y方差 \(\rho^2+1-\rho^2=1\)，与X协方差ρ。ρ=0应回1/4；ρ=1时Y=X，异号不可能；ρ=−1时Y=−X，X正即可，概率1/2。公式应过三个端点。ρ=1/2时 \(\arcsin(1/2)=\pi/6\)，异号概率 \(1/4-(\pi/6)/(2\pi)=1/6\)。这不是一般相关变量都能套的象限公式，仍需联合高斯条件。
建模。iid 情形：正态关于零对称，每个符号独立等概率，相当于掷两枚公平硬币。
推导。独立情形：\(P(X\gt0)=P(Y\lt0)=\tfrac12\)，相乘得 \(P(X\gt0,Y\lt0)=\tfrac14\)。相关情形：先用独立标准正态U、V表示相关X、Y（见本题慢读构造）；在(U,V)平面内，等密度线是同心圆，联合分布在旋转下不变，任意过原点的半圆概率 \(\tfrac12\)，两半圆交集的楔形概率 \(=\dfrac{\text{圆心角}}{2\pi}\)。由 \(\mathrm{Cov}(X,Y)=\rho\) 与旋转对称可推出通式（029 章例题 3 系统推「楔形角」技巧）：
检验。端点核对：\(\rho=0\) 回到 \(\tfrac14\)；\(\rho=1\)（\(Y=X\)）给 \(0\)——完全同向时「一正一负」不可能；\(\rho=-1\)（\(Y=-X\)）给 \(\tfrac12=P(X\gt0)\)——\(X\) 为正则 \(Y\) 必为负。三点全对。
面试怎么讲。先秒答独立情形的 \(\tfrac14\)（并说明只需对称性与独立性，不必是正态）；再主动升级到相关情形给 \(\arcsin\) 公式并做三个端点核对。能把「对称性够不够」这个层次讲清，这题就是送分变加分。
S12的原题边界。该条只说给定X、Y求一正一负概率，未指定分布。一般答案是联合分布在对应象限上的质量；独立时才可写\(P(X\gt0)P(Y\lt0)\)。上面的1/4另需两变量各自零对称且无零点原子；arcsin公式还需联合高斯，而不只是各自边际正态。
推导补全与自检。独立时\(P(X>0,Y<0)=1/4\)。联合高斯、相关\(\rho \)时，异号象限概率为\(1/4-\arcsin \rho /(2\pi )\)：\(\rho \to 1\)时趋0，\(\rho \to -1\)时趋\(1/2\)。仅给边际正态与相关系数并不保证联合高斯，非高斯copula可有不同象限概率；必须保留“联合高斯”假设，不能从两边各正态直接推出此式。
#误区与边界
MLE 的一致与有效都是渐近承诺；有限样本可以有偏（正态方差 MLE 偏小 \(1/n\)），甚至不存在显式解（柯西位置）。报出「MLE 无偏」这种话，面试官会立刻追问 \(1/n\) 修正。
\(P(+\mid D)\) 与 \(P(D\mid+)\) 差一个贝叶斯定理与一个先验。基率谬误的工程版本同样致命：回测里「信号后上涨概率 70%」若来自 20% 的先验基础上涨率与噪声筛选，实盘会现形。养成习惯：听到任何条件概率，先问「条件的是哪一边、先验是什么」。
柯西期望不存在，「方差大」的表述本身不成立；样本均值不收敛（稳定律）。正确的语言是矩是否存在、估计量依何种速率收敛。重尾场景（金融收益率）下先查尾部指数，再选统计工具。
公式假设误差独立、零均值、方差已知。误差相关时要换广义最小二乘（权重来自精度矩阵）；方差未知时要先估方差（\(t\) 化处理、收缩估计）。盲目加权两把「看起来独立」的秤，可能被共同偏差一起带偏。
S16 的教训一般化：在几何对象上均匀分布，变换到新参数（极径、角度、球面纬度）后密度会带雅可比因子。开根号、\(\sin\) 权重这类修正，是所有「在流形上均匀采样」题的固定考点。
#检查清单
- 我能写出似然与对数似然，用「求导令零」完成一个完整的 MLE 算例，并说出 MLE 的三条渐近性质。
- 我能定义 Fisher 信息（曲率读法）并写出 CRB；知道样本均值在正态族中恰好达到下界。
- 我能举出 MLE 有偏的具体例子（正态方差）并给出自由度修正。
- 我能按「四把尺子（无偏、一致、有效、稳健）加两步实证（仿真、样本外）」评估任意估计量。
- 我能解释柯西位置估计：均值不收敛（稳定律），中位数渐近方差 \(\pi^2/(4n)\)，MLE 达 \(2/n\)。
- 我能完整计算检测问题：全概率给 \(P(+)\approx0.26\)（精确 0.255），贝叶斯给 97% 的阳性后验，并说明基率谬误。
- 我能推导两把秤的逆方差加权融合 \(\hat w\) 与其方差，说明它与高斯后验、卡尔曼滤波的同构关系。
- 我知道单位圆盘采样要 \(r=\sqrt U\)（面积元因子），以及 \(P(X\gt0,Y\lt0)\) 从 \(1/4\) 到 \(\tfrac14-\tfrac1{2\pi}\arcsin\rho\) 的升级路径。