Lição 77 — Teorema Central do Limite
A média de n v.a. iid converge à normal independente da distribuição original — a lei mais importante da estatística. Demonstração via função característica, velocidade Berry-Esseen, aplicações de inferência.
Used in: 2.º ano do EM (16-17 anos) · Math B japonês §4.4 · Stochastik LK alemão · H2 Math singapurense cap. 21
O Teorema Central do Limite (TCL) afirma que a média de variáveis aleatórias iid com média e variância finita converge, em distribuição, para a normal de parâmetros e — independentemente da distribuição original. Isso explica por que a curva de sino aparece em dados naturais, erros de medida e médias amostrais.
Rigorous notation, full derivation, hypotheses
Enunciado formal e demonstração
Versão Lindeberg-Lévy
"The central limit theorem is the unofficial sovereign of probability theory." — Grinstead & Snell, Introduction to Probability, §9.1
Versão para somas
Se , então para grande.
Velocidade de convergência: desigualdade de Berry-Esseen
Esboço de demonstração via função característica
Seja (média zero, variância 1). Expansão de Taylor de :
Para :
Mas é a função característica de . O Teorema de Lévy (continuidade) conclui .
Quando o TCL não vale
Hipóteses essenciais
- Independência (mínimo suficiente; relaxável para -mixing).
- Variância finita .
- n suficientemente grande — regra prática: para distribuições não muito assimétricas; para alta assimetria.
Exemplos resolvidos
Exercise list
37 exercises · 9 with worked solution (25%)
- Ex. 77.1Application
exponencial com e . Escreva a distribuição aproximada de e calcule .
Show solution
Pela TCL, . Desvio padrão da média: . - Ex. 77.2Application
uniforme em . Determine e , e escreva a distribuição aproximada de pelo TCL.
Show solution
, . Pelo TCL: . Desvio padrão: .Show step-by-step (with the why)
- Identifique os parâmetros da uniforme em : ; .
- Aplique TCL: com : .
- Desvio padrão: .
- Ex. 77.3ApplicationAnswer key
Lance 100 dados não viesados. Determine a distribuição aproximada da soma , informando e .
Show solution
Dado: , . Soma de 100 dados: . - Ex. 77.4Application
. Escreva a distribuição aproximada de pelo TCL e calcule o desvio padrão da proporção amostral.
Show solution
: , . Pelo TCL: . Desvio padrão da proporção: . - Ex. 77.5Application
Uma população tem e . Para , calcule o desvio padrão de (em números inteiros).
- Ex. 77.6ApplicationAnswer key
Usando os dados de 77.5 (, , ), calcule .
Show solution
. . .Show step-by-step (with the why)
- Calcule .
- Padronize: .
- Tabela: , logo .
- Ex. 77.7Application
Com os mesmos parâmetros (, , ), calcule .
Show solution
. . Mesmo valor que 77.6 pela simetria da normal. - Ex. 77.8Application
com , , . Calcule .
Show solution
. , . . - Ex. 77.9Application
Soma de 50 v.a. iid com , . Calcule .
Show solution
; . . . - Ex. 77.10Application
com , . Quantas observações para um IC de 95% com margem de erro ?
Show solution
, arredondando para .Show step-by-step (with the why)
- IC 95% tem semi-largura . Iguale a 0,5.
- Isole .
- Eleve ao quadrado: ; arredonde para cima: .
- Ex. 77.11Understanding
Quando o tamanho de amostra é multiplicado por 4, o desvio padrão de ():
Show solution
. Se quadruplica, dobra, logo cai pela metade. Nunca cai a 1/4 (isso exigiria ). - Ex. 77.12Understanding
tem distribuição muito assimétrica (skewness = 3). Para que tamanho de o TCL é razoável?
Show solution
Berry-Esseen mostra que o erro é proporcional à assimetria dividida por . Para distribuições assimétricas, a convergência é mais lenta — a regra de bolso é para distribuições próximas de simétricas. Com assimetria alta, use . - Ex. 77.13Application
Notas com , . Amostra . Calcule .
Show solution
. . . - Ex. 77.14Application
Com os mesmos parâmetros de 77.13 (, , ), calcule .
Show solution
. . - Ex. 77.15Application
Com , , e , construa um IC de 95% para .
Show solution
IC 95% para : . Intervalo: . - Ex. 77.16ApplicationAnswer key
Peso de pacotes: g, g. Amostra . Calcule .
Show solution
. . . - Ex. 77.17ApplicationAnswer key
Com os parâmetros de 77.16 ( g, g, ), calcule .
Show solution
; . . - Ex. 77.18Application
Tempo de resposta: ms, ms. Média de 100 medições. Qual o limite de SLA de 95%?
Show solution
. SLA 95%: percentil 95 de . ms. - Ex. 77.19Application
Lance um dado 1.000 vezes. Calcule .
Show solution
Dado: , . . . . - Ex. 77.20Application
Usando a distribuição da soma de 1.000 lançamentos de dado, calcule .
Show solution
. . . . Mesmo resultado de 77.19 — faz sentido. - Ex. 77.21Application
(, ). Calcule .
Show solution
: , . . . . - Ex. 77.22ApplicationAnswer key
Pesquisa eleitoral: , . Calcule .
Show solution
. . . . - Ex. 77.23ModelingAnswer key
Você detém 50 ações independentes; retorno diário de cada uma: , . Qual a distribuição do retorno médio diário da carteira?
Show solution
Retorno médio de 50 ações: . (0,28% ao dia). Diversificação reduz risco pela metade em relação a 1 ação (). - Ex. 77.24ModelingAnswer key
Modelo de ML: erro individual . Calcule o desvio padrão do erro médio sobre 1.000 predições.
Show solution
. Para IC 95%: margem . - Ex. 77.25Modeling
Determine o tamanho de amostra para detectar diferença de proporções de 5% com e poder de 80%.
Show solution
Fórmula para diferença de proporções: . Com (), (), diferença 5% e assumindo : por grupo.Show step-by-step (with the why)
- Identifique: (bicaudal 5%), (poder 80%).
- Assuma (pior caso para variância): .
- Substitua: total, 1568 por grupo.
- Ex. 77.26Modeling
Estimativa de por Monte Carlo: pontos aleatórios no quadrado , conta-se os que caem no quarto de disco. Qual o desvio padrão da estimativa de como função de ?
Show solution
Cada ponto cai dentro do círculo com probabilidade . Estimativa Monte Carlo de : . Pelo TCL, ; . Desvio padrão: . - Ex. 77.27Modeling
Lote de 500 peças: g, g. Determine a distribuição da massa total .
Show solution
. g. O peso total esperado é 50 kg com desvio padrão de cerca de 112 g. - Ex. 77.28Modeling
Tempo de espera de ônibus: min. Calcule para a espera média de 50 passageiros.
Show solution
Uniforme em : min, . . . . - Ex. 77.29Modeling
Gráfico de controle X-bar com . Os limites de controle são . Calcule a largura do intervalo em termos de do processo.
Show solution
Gráfico X-bar com : . Limites de controle: . Substitua os valores específicos de e do processo. - Ex. 77.30Modeling
Pesquisa de satisfação: margem de erro a 95% de confiança, desconhecido. Qual o mínimo?
Show solution
Com desconhecido, use pior caso : . - Ex. 77.31ModelingAnswer key
Tempo de chamada: min, min. 100 chamadas por hora. Determine a distribuição do tempo total e calcule .
Show solution
100 chamadas por hora: . Desvio padrão do total: min. P(total maior que 330 min) . - Ex. 77.32ChallengeAnswer key
A/B test: 10.000 visitantes por variante; taxa de conversão A = 5%, B = 6%. O lift de 1 ponto percentual é estatisticamente significativo? Calcule o valor e o -valor.
Show solution
Variante A: , ; variante B: . . : diferença significativa ao nível de 5%. Poder: com esse , poder é maior que 99%. - Ex. 77.33Understanding
Qual das seguintes opções descreve corretamente o Teorema Central do Limite?
Show solution
O TCL fala da distribuição da média amostral (ou soma normalizada) — não da distribuição original. A distribuição original permanece a mesma; o que converge para a normal é a estatística . - Ex. 77.34Understanding
Por que o TCL clássico de Lindeberg-Lévy não se aplica à distribuição de Cauchy?
Show solution
A função característica de Cauchy é — não tem derivada de segunda ordem em (variância infinita). A expansão não converge para . A média de Cauchys ainda é Cauchy. - Ex. 77.35Challenge
Simule o TCL em Python para distribuição exponencial com . Gere histogramas de 10.000 médias amostrais para e compare visualmente com a curva normal teórica.
Show solution
Simule em Python comnumpy.random.exponentialenumpy.mean. Para : exponencial decrescente. Para : assimétrico mas com pico. Para : quase sino perfeito centrado em . A convergência é visível nos histogramas de 10.000 repetições. - Ex. 77.36Proof
Esboce a demonstração do TCL via função característica, indicando onde cada hipótese (variância finita, iid) é usada.
Show solution
Passo 1: defina (média 0, var 1). Passo 2: por Taylor (usa-se variância finita). Passo 3: . Passo 4: é a função característica de . Passo 5: Teorema de Lévy (continuidade) conclui convergência em distribuição. - Ex. 77.37Proof
Mostre que o TCL implica a Lei Fraca dos Grandes Números: se , então .
Show solution
Lei Fraca dos Grandes Números: . Derivação do TCL: . Por Chebyshev: . O TCL é mais forte — diz a que velocidade () e a forma da distribuição do desvio. LFGN segue diretamente.
Fontes
- OpenIntro Statistics (4.ª ed) — Diez, Çetinkaya-Rundel, Barr · 2019 · CC-BY-SA. Fonte primária dos exercícios 77.2, 77.4, 77.8, 77.11, 77.14–17, 77.22–23, 77.25–26, 77.28, 77.30, 77.33–34.
- OpenStax Statistics — Illowsky, Dean · 2022 · CC-BY. Fonte dos exercícios 77.1, 77.3, 77.5–7, 77.9–10, 77.12–13, 77.18–19, 77.21, 77.24, 77.27, 77.29, 77.31, 77.35 e exemplos 1–3.
- Introduction to Probability (Grinstead-Snell) — Grinstead, Snell · Dartmouth · GNU FDL. Fonte dos exercícios 77.19–20, 77.26, 77.36–37 e exemplo 5.