MathLabs
Định lýĐã chứng minh

Khoảng tin cậy cho trung bình, qua định lý giới hạn trung tâm

Phát biểu

Nếu X1,…,XnX_1,\dots,X_n độc lập, cùng phân phối với trung bình μ\mu và phương sai hữu hạn σ2\sigma^2, thì với nn lớn, khoảng tin cậy Xˉ−zα/2σn≤μ≤Xˉ+zα/2σn\bar X - z_{\alpha/2}\frac{\sigma}{\sqrt n} \le \mu \le \bar X + z_{\alpha/2}\frac{\sigma}{\sqrt n} chứa μ\mu với xác suất xấp xỉ 1−α1-\alpha.

Vì sao đúng?

Định lý giới hạn trung tâm nói rằng trung bình mẫu đã chuẩn hóa xử sự như một biến chuẩn tắc khi nn lớn, nên ta có thể dùng các phân vị chuẩn zα/2z_{\alpha/2} để kẹp μ\mu với một tỉ lệ thành công đã biết về lâu dài, bất kể hình dạng của tổng thể gốc.

Phác thảo chứng minh

Theo định lý giới hạn trung tâm, Xˉ−μσ/n\frac{\bar X - \mu}{\sigma/\sqrt n} hội tụ theo phân phối về N(0,1)N(0,1) khi nn→∞\to\infty. Vậy với nn lớn, −zα/2≤Xˉ−μσ/n≤zα/2-z_{\alpha/2} \le \frac{\bar X - \mu}{\sigma/\sqrt n} \le z_{\alpha/2} đúng với xác suất xấp xỉ 1−α1-\alpha, trong đó zα/2z_{\alpha/2} là giá trị để lại xác suất α/2\alpha/2 ở mỗi đuôi của N(0,1)N(0,1).

Nhân cả ba vế của bất đẳng thức với σn\frac{\sigma}{\sqrt n}>0>0 (giữ nguyên chiều bất đẳng thức): −zα/2σn≤Xˉ−μ≤zα/2σn-z_{\alpha/2}\frac{\sigma}{\sqrt n} \le \bar X - \mu \le z_{\alpha/2}\frac{\sigma}{\sqrt n}.

Trừ Xˉ\bar X ở mọi vế, rồi nhân với −1-1 (đảo chiều bất đẳng thức): Xˉ−zα/2σn≤μ≤Xˉ+zα/2σn\bar X - z_{\alpha/2}\frac{\sigma}{\sqrt n} \le \mu \le \bar X + z_{\alpha/2}\frac{\sigma}{\sqrt n}. Đây chính xác là công thức khoảng tin cậy: vì phát biểu xác suất ban đầu đúng với xác suất xấp xỉ 1−α1-\alpha, nên khoảng đã sắp xếp lại này cũng chứa μ\mu với xác suất đó.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. NIST/SEMATECH (2013). Confidence Limits for the Mean
  2. Diez, D.; Cetinkaya-Rundel, M.; Barr, C. (2019). OpenIntro Statistics