Lição 120 — Workshop final do Programa
Encerramento. 40 problemas integradores cobrindo Anos 1-3. Tema: aplicação real em ML, finanças, engenharia, ciência.
Used in: 3.º ano do EM (18 anos) · Equiv. Leistungskurs alemão (Abitur) · Equiv. H2 Math singapurense
O workshop final integra os quatro pilares do programa em 40 problemas que exigem combinar técnicas de múltiplos trimestres. Cada problema tem ao menos dois conceitos entrelaçados: derivada com álgebra, integral com estatística, EDO com álgebra linear. Quem conclui este workshop está preparado para cursos universitários quantitativos.
Rigorous notation, full derivation, hypotheses
Síntese formal — os quatro pilares
Estrutura do programa concluído
"A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street." — David Hilbert, citado em Active Calculus §1.1
Fluxo dos quatro pilares do programa convergindo no workshop final.
Exemplos resolvidos
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 120.1Application
Calcule .
Show solution
Substituição , . Limites: , . Integral torna-se .Show step-by-step (with the why)
- Reescreva — fator que permite substituição.
- Seja , então . Atualize limites.
- A integral vira , que se expande em dois termos-potência.
- Integre: . Avalie em 1 e 0.
- Resultado: . Macete: quando um seno e um cosseno aparecem juntos com expoentes, separe a potência par usando e use substituição na potência ímpar.
- Ex. 120.2ApplicationAnswer key
Resolva com , .
Show solution
Equação característica dá . Solução geral: . Com : . Com : . Logo . - Ex. 120.3Application
Receita e custo . Encontre que maximiza o lucro .
Show solution
Lucro . . , máximo. Lucro máximo: reais/dia. - Ex. 120.4ApplicationAnswer key
Escreva a série de Taylor de centrada em até o termo em .
Show solution
Série de Taylor de centrada em 0: . Até : . - Ex. 120.5Application
Calcule .
Show solution
Regra da cadeia: . - Ex. 120.6Application
Calcule usando o TFC.
Show solution
TFC parte 2: . - Ex. 120.7Application
Calcule .
Show solution
Substituir diretamente: forma . Aplicar L'Hôpital: .Show step-by-step (with the why)
- Substitua : numerador , denominador . Forma indeterminada .
- Aplique L'Hôpital: derive numerador e denominador separadamente.
- 1ª aplicação: . Ainda em .
- 2ª aplicação: . Agora substitua: .
- Curiosidade: esse limite é exatamente o coeficiente de na série de Taylor de — a série diz , então .
- Ex. 120.8Application
Calcule o volume do sólido de revolução gerado por , , rotacionado em torno do eixo .
Show solution
Disco: . - Ex. 120.9Application
Calcule usando a regra do produto.
Show solution
Regra do produto: . - Ex. 120.10Understanding
Qual enunciado correto do Teorema Fundamental do Cálculo (ambas as partes)?
Show solution
TFC parte 1: a função definida pelo acúmulo da integral é derivável e sua derivada é o integrando. Parte 2: para calcular uma integral definida, basta achar uma antiderivada e calcular . - Ex. 120.11ApplicationAnswer key
Diagonalize . Encontre e .
Show solution
Polinômio característico: . Autovalores , . Autovetores: , . , .Show step-by-step (with the why)
- Calcule . Raízes: e .
- Para : . Linha 1: . Autovetor: .
- Para : . Linha 1: . Autovetor: .
- Monte com autovetores nas colunas. Verifique: .
- Macete: matriz triangular superior tem autovalores na diagonal.
- Ex. 120.12Application
Calcule a inversa de .
Show solution
Inversa de : . . - Ex. 120.13Application
Por que toda matriz simétrica real é diagonalizável ortogonalmente? Cite o teorema relevante.
Show solution
Pelo Teorema Espectral, toda matriz simétrica real é ortogonalmente diagonalizável — seus autovalores são reais e os autovetores de autovalores distintos são ortogonais. - Ex. 120.14ApplicationAnswer key
Em (SVD), o que representam e geometricamente?
Show solution
Na SVD : representa uma rotação/reflexão no espaço de entrada (domínio); aplica escalamentos ao longo de eixos principais; representa rotação/reflexão no espaço de saída (contradomínio). - Ex. 120.15Application
Dado o sistema , determine se tem solução. Se sim, encontre-a.
Show solution
Sistema com , : o sistema tem solução sse . Escalonando a matriz aumentada revela se há solução ou não, e qual. - Ex. 120.16Understanding
Para uma matriz de ordem , qual é a dimensão do espaço nulo de ?
Show solution
Teorema do Núcleo e Imagem: para , . Logo . - Ex. 120.17Application
Aplique a matriz de rotação de 30° ao ponto .
Show solution
Rotação de 30° aplica a matriz . Aplicando a : . - Ex. 120.18Application
Encontre o vetor unitário na direção de .
Show solution
O vetor unitário na direção de é . - Ex. 120.19ChallengeAnswer key
simétrica com autovalores . Mostre que para todo .
Show solution
Para simétrica com autovalores e autovetores ortonormais: onde . Logo (traço é invariante de similaridade). - Ex. 120.20Challenge
tem duas colunas linearmente dependentes. Mostre via SVD que é singular.
Show solution
Se tem 2 colunas colineares, então . Logo , o que implica — a matriz é singular e não invertível. Os valores singulares de na SVD incluem um zero, e a mesma singularidade aparece em , cujos autovalores incluem zero. - Ex. 120.21Application
5 lançamentos de moeda justa. Calcule onde = número de caras.
Show solution
Binomial: . . - Ex. 120.22Application
. Calcule .
Show solution
. . - Ex. 120.23Application
Cinco pontos: , , , , . Encontre e da reta de regressão .
Show solution
Com os pontos : , . . . Reta: .Show step-by-step (with the why)
- Calcule e .
- Tabele e para cada ponto.
- . .
- ; .
- Verificação: a reta sempre passa por . Cheque: . Correto.
- Ex. 120.24Application
A/B test: conversão A = 10%, B = 12%, cada. Realize o teste bilateral para diferença de proporções a .
Show solution
Teste para diferença de proporções. , , . Proporção pooled: . . . Como , não rejeitamos a 5%. - Ex. 120.25Understanding
Qual a diferença correta entre IC frequentista 95% e credible interval bayesiano 95%?
Show solution
IC frequentista 95%: em 95% das amostras de mesmo tamanho, o intervalo calculado contém o verdadeiro parâmetro — o parâmetro é fixo, o intervalo é aleatório. Credible interval bayesiano 95%: dado os dados, há 95% de probabilidade (posterior) de o parâmetro estar no intervalo — o parâmetro é tratado como variável aleatória. - Ex. 120.26ApplicationAnswer key
Prove que .
Show solution
. Prova: . Expandindo o quadrado e usando linearidade do valor esperado. - Ex. 120.27ApplicationAnswer key
Prior , observações com , . Calcule a distribuição posterior de .
Show solution
Prior , verossimilhança com , . Posterior: . - Ex. 120.28Application
Enuncie o Teorema Central do Limite e explique intuitivamente por que ele funciona.
Show solution
TCL: para iid com , finita, quando . Justificativa intuitiva: a soma de muitas variáveis iid independentes se aproxima da normal por conta da estrutura aditiva da variância. - Ex. 120.29Challenge
Prove que usando coordenadas polares.
Show solution
Prova de : Seja . Então . Em polares: . Logo .Show step-by-step (with the why)
- Defina e compute como integral dupla.
- Substitua para coordenadas polares: , , jacobiano .
- Integre em : ganha fator .
- Integre em por substituição : resultado 1.
- Conclua , . Curiosidade: esse truque de "multiplicar por si mesmo e ir pra polares" é uma das manobras mais elegantes da análise.
- Ex. 120.30Challenge
Por que regressão múltipla com features colineares produz instável? Explique via .
Show solution
Em regressão múltipla, . Se duas features são colineares (uma é múltipla escalar da outra), é singular (posto deficiente), portanto não invertível. Pequenas perturbações em podem gerar mudanças enormes em — instabilidade numérica. A solução: regularização (ridge: ) ou remoção de features colineares. - Ex. 120.31ModelingAnswer key
Massa-mola amortecido: , , . Identifique o tipo de amortecimento e escreva a solução geral de .
Show solution
Equação: , , , . Discriminante: . Amortecimento subcrítico. Raízes: . Solução geral: . - Ex. 120.32ModelingAnswer key
Circuito RC com s. Quanto tempo para a tensão cair a 5% do valor inicial?
Show solution
Circuito RC: . Queremos . s. - Ex. 120.33ModelingAnswer key
Massa-mola: kg, N/m, força , sem amortecimento. Para qual a amplitude diverge (ressonância)?
Show solution
Frequência natural: rad/s. Para , a amplitude da resposta forçada diverge quando rad/s. Isso é ressonância. - Ex. 120.34Modeling
População cresce a taxa intrínseca 2% ao ano com capacidade de suporte e colheita de 1000 indivíduos/ano. Modele a EDO e identifique os pontos de equilíbrio.
Show solution
EDO logística com colheita: . Pontos de equilíbrio: resolver . Equilíbrio estável depende de : se suficientemente grande, há equilíbrio estável acima do limiar de colapso. - Ex. 120.35Modeling
Use Newton-Raphson para aproximar partindo de . Faça 3 iterações.
Show solution
Newton-Raphson para : . Partindo de : , , . Convergência quadrática.Show step-by-step (with the why)
- Identifique: queremos raiz de , então .
- Iteração: .
- : .
- : .
- Macete: Newton-Raphson converge quadraticamente perto da raiz — cada iteração dobra os dígitos corretos.
- Ex. 120.36Modeling
Carteira Markowitz: 2 ativos com , , , pesos iguais. Calcule a volatilidade da carteira.
Show solution
Portfolio com 2 ativos: . Com , , , : . . - Ex. 120.37Challenge
Prove usando séries de Taylor de , , .
Show solution
Combine as séries de Taylor: (fórmula de Euler). Com : . Logo . A fórmula de Euler deriva-se substituindo na série e separando termos pares e ímpares. - Ex. 120.38Proof
Prove o Teorema Fundamental do Cálculo (Parte 2): onde e é contínua em .
Show solution
TFC Parte 2: seja . Pelo TFC Parte 1, . Se é outra antiderivada de , então é constante (derivada zero). Em : , portanto . Em : . - Ex. 120.39Proof
Prove: .
Show solution
Prove : . Expanda: . Reagrupe: . - Ex. 120.40Proof
Dado , encontre os pontos da curva onde a tangente é horizontal.
Show solution
Usando derivada implícita em : diferenciando ambos os lados em relação a : . Logo . Tangente horizontal: . Substituindo na curva: . Pontos: e .Show step-by-step (with the why)
- Diferencie implicitamente em relação a .
- Use a regra do produto em : .
- Isole : .
- Tangente horizontal: .
- Substitua na equação original e resolva para . Macete: derivada implícita é aplicada sempre que não dá pra isolar explicitamente.
Fontes
- Active Calculus 2.0 — Matt Boelkins, David Austin, Steve Schlicker · Grand Valley State University · 2024 · CC-BY-NC-SA. Fonte primária para cálculo diferencial, integral e séries (eixo A e parte do eixo D).
- Linear Algebra Done Right (4ª ed) — Sheldon Axler · 2024 · CC-BY-NC. Fonte primária para diagonalização, SVD, autovetores e espaços vetoriais (eixo B).
- OpenIntro Statistics (4ª ed) — David Diez, Mine Çetinkaya-Rundel, Christopher Barr · 2019 · CC-BY-SA. Fonte primária para probabilidade, distribuições, IC e regressão (eixo C).
- Notes on Diffy Qs — Jiří Lebl · CC-BY-SA. Fonte primária para EDOs (massa-mola, osciladores, circuitos RC) no eixo D.
- OpenStax Calculus Volume 2 — OpenStax · CC-BY-NC-SA. Referência adicional para séries de Taylor e integrais impróprias.