Lezione 46 — TVI e Taxa de Variação Média
Teorema do Valor Intermediário (existência de raízes, bisseção) e Taxa de Variação Média (inclinação da secante, ponte para a derivata).
Used in: 2.º anno della Scuola superiore (cálculo intro) · Equiv. Math II japonês §5 · Equiv. Analysis/Klasse 11 alemã
Rigorous notation, full derivation, hypotheses
Definições e teoremas
Teorema do Valor Intermediário (TVI)
"Se é continua em e é qualquer valor entre e , então existe pelo menos um número em tal que ." — OpenStax Calculus Volume 1, §2.4, Theorem 2.13
Corolário (existência de raiz). Se e , então existe com .
Demonstração (esboço via completude). Suponha . Defina . O insieme é não-vazio () e limitado superiormente por . Por completude de , existe . Por continuità de , se obtém-se contradição. Logo .
Por que a continuità é indispensável. A função de Heaviside se e se satisfaz e , mas nunca assume — pois tem um salto em e não é continua lá.
Método da Bisseção
Dado com , a bisseção localiza a raiz iterativamente. A cada passo, calcula-se o ponto médio e guarda-se a metade onde muda de sinal:
Para precisão , são necessárias iterações.
Taxa de Variação Média (TVM)
"A tasso di variazione média de ao longo do intervallo é . Geometricamente, a tasso di variazione média representa a inclinação da reta que passa pelos pontos e ." — Active Calculus, §1.1, Definition 1.1.4
A notazione com é equivalente:
Passagem ao limite. Se é diferenciável em :
A reta secante liga (a, f(a)) a (b, f(b)). Sua inclinação é a TVM. Quando b → a, a secante converge para a reta tangente em a, cuja inclinação é f'(a).
Exemplos resolvidos
Exercise list
0 exercises · 0 with worked solution (25%)
Fonti
- Active Calculus 2.0 — Matt Boelkins · Grand Valley State University · 2024 · CC-BY-NC-SA. Fonte primária. §1.1 (How Do We Measure Velocity?) e §1.3 (The Derivative at a Point) — base dos Exemplos 3, 4, 5, Blocos C, D e E.
- OpenStax Calculus: Volume 1 — OpenStax · Rice University · 2016 · CC-BY-NC-SA. §2.4 (Continuity e TVI) — base do Esempio 1 e Blocos A e E. §2.1 (A Preview of Calculus) — base do Bloco D.
- REAMAT — Cálculo Numérico (Python) — UFRGS · 2024 · CC-BY 4.0. §3.1 (Método da Bisseção) — base do Esempio 2 e Bloco B.
- Basic Analysis I — Jiří Lebl · 2024 · CC-BY-SA. §3.3 — dimostrazione do TVI via completude de (Porta formal).