Math ClubMath Club
v1 · padrão canônico

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ã

TVM[a,b]=f(b)f(a)ba\text{TVM}_{[a,b]} = \frac{f(b) - f(a)}{b - a}
Choose your door

Rigorous notation, full derivation, hypotheses

Definições e teoremas

Teorema do Valor Intermediário (TVI)

"Se ff é continua em [a,b][a, b] e kk é qualquer valor entre f(a)f(a) e f(b)f(b), então existe pelo menos um número cc em (a,b)(a, b) tal que f(c)=kf(c) = k." — OpenStax Calculus Volume 1, §2.4, Theorem 2.13

Corolário (existência de raiz). Se fC([a,b])f \in C([a, b]) e f(a)f(b)<0f(a) \cdot f(b) < 0, então existe c(a,b)c \in (a, b) com f(c)=0f(c) = 0.

f(a)f(b)<0    c(a,b):f(c)=0f(a) \cdot f(b) < 0 \implies \exists\, c \in (a,b) : f(c) = 0
what this means · Produto negativo equivale a sinais opostos: f(a) e f(b) estão em lados opostos de zero, logo f precisa cruzar zero em algum ponto interior.

Demonstração (esboço via completude). Suponha f(a)<0<f(b)f(a) < 0 < f(b). Defina S={x[a,b]:f(x)<0}S = \{x \in [a, b] : f(x) < 0\}. O insieme SS é não-vazio (aSa \in S) e limitado superiormente por bb. Por completude de R\mathbb{R}, existe c=supS[a,b]c = \sup S \in [a, b]. Por continuità de ff, se f(c)0f(c) \neq 0 obtém-se contradição. Logo f(c)=0f(c) = 0. \square

Por que a continuità é indispensável. A função de Heaviside H(x)=0H(x) = 0 se x<0x < 0 e H(x)=1H(x) = 1 se x0x \geq 0 satisfaz H(1)=0H(-1) = 0 e H(1)=1H(1) = 1, mas nunca assume 1/21/2 — pois tem um salto em x=0x = 0 e não é continua lá.

Método da Bisseção

Dado fC([a,b])f \in C([a, b]) com f(a)f(b)<0f(a)f(b) < 0, a bisseção localiza a raiz iterativamente. A cada passo, calcula-se o ponto médio e guarda-se a metade onde ff muda de sinal:

mn=an+bn2,cmnba2n+1m_n = \frac{a_n + b_n}{2}, \qquad |c - m_n| \leq \frac{b - a}{2^{n+1}}
what this means · A cada iteração, o ponto médio m_n subdivide o intervallo atual. O erro cai pela metade a cada passo — convergência garantida e quantificável.

Para precisão ε\varepsilon, são necessárias nlog2((ba)/ε)1n \geq \lceil \log_2((b-a)/\varepsilon) \rceil - 1 iterações.

Taxa de Variação Média (TVM)

"A tasso di variazione média de ff ao longo do intervallo [a,b][a, b] é AV[a,b]=f(b)f(a)ba\text{AV}_{[a,b]} = \dfrac{f(b)-f(a)}{b-a}. Geometricamente, a tasso di variazione média representa a inclinação da reta que passa pelos pontos (a,f(a))(a, f(a)) e (b,f(b))(b, f(b))." — Active Calculus, §1.1, Definition 1.1.4

A notazione com h=bah = b - a é equivalente:

TVM=f(a+h)f(a)h,h=ba0\text{TVM} = \frac{f(a + h) - f(a)}{h}, \quad h = b - a \neq 0
what this means · Substituindo b = a + h, a TVM fica esprime em termos do incremento h. Quando h → 0, essa expressão define a derivata — a tasso di variazione instantânea.

Passagem ao limite. Se ff é diferenciável em aa:

f(a)=limh0f(a+h)f(a)h=limbaf(b)f(a)baf'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h} = \lim_{b \to a} \frac{f(b) - f(a)}{b - a}

xy(a, f(a))(b, f(b))secante: inclinação = TVMab

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 R\mathbb{R} (Porta formal).

    Updated on 2026-05-11 · Author(s): Clube da Matemática

    Found an error? Open an issue on GitHub or submit a PR — open source forever.