定理証明済み
中心極限定理による平均の信頼区間
内容
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−α で成り立っていたので、並べ替えたこの区間も同じ確率で μ を含む。
ステップごとの証明
この定理のステップごとの証明はまだありません。