定理已证明
通过中心极限定理构造均值的置信区间
命题陈述
若 X1,…,Xn 独立同分布,均值为 μ,方差有限为 σ2,则当 n 较大时,置信区间 Xˉ−zα/2nσ≤μ≤Xˉ+zα/2nσ 以约 1−α 的概率包含 μ。
为什么成立?
中心极限定理表明,当 n 较大时,标准化后的样本均值表现得像标准正态变量,因此我们可以用正态分位数 zα/2 来夹住 μ,无论原始总体的形状如何,都能获得已知的长期成功率。
证明思路
由中心极限定理,σ/nXˉ−μ 在 n→∞ 时依分布收敛于 N(0,1)。所以当 n 较大时,−zα/2≤σ/nXˉ−μ≤zα/2 以约 1−α 的概率成立,其中 zα/2 是使 N(0,1) 每个尾部留下概率 α/2 的值。
将不等式三边都乘以 nσ>0(不改变不等号方向):−zα/2nσ≤Xˉ−μ≤zα/2nσ。
所有边都减去 Xˉ,再乘以 −1(不等号方向翻转):Xˉ−zα/2nσ≤μ≤Xˉ+zα/2nσ。这正是置信区间公式:由于原来的概率命题以约 1−α 的概率成立,重新整理后的这个区间也以同样的概率包含 μ。