Enuncie o Teorema do Valor Intermediário, o Teorema do Valor Médio, o Teorema do Ponto Fixo e o Teorema de Convergência do Método de Newton-Raphson.

Passo 1

O que você pediu: enunciar quatro teoremas — o Teorema do Valor Intermediário, o Teorema do Valor Médio, o Teorema do Ponto Fixo e o Teorema de Convergência do Método de Newton–Raphson. Vou listar claramente o que eu vou entregar:
  • Enunciado formal de cada teorema (hipóteses e conclusão).
  • Explicação didática do que cada hipótese significa e por que ela é necessária.
  • Intuição geométrica e um esboço de prova simples quando for útil.
  • No caso do teorema de Newton, derivação do comportamento do erro (para ver por que a convergência é quadrática).
    Não vou assumir que você já domina os conceitos; vou explicar cada passo com calma e exemplos curtos.

Passo 2

Teorema do Valor Intermediário (TVI) — enunciado, explicação e exemplo.
Enunciado formal:
Seja f contínua em [a,b]. Se y é um número entre f(a) e f(b) (isto é, \min\{f(a),f(b)\}\le y\le \max\{f(a),f(b)\}), então existe c\in[a,b] tal que f\text{(c)}=y.
O que significam as hipóteses:
  • Continuidade em [a,b]: não pode haver “saltos” ou buracos no gráfico de f nesse intervalo. Formalmente, para todo x_0\in[a,b] e todo \varepsilon>0 existe \delta>0 tal que |x-x_0|<\delta\Rightarrow |f(x)-f(x_0)|<\varepsilon.
  • A condição “ y está entre f(a) e f(b)” apenas diz que o valor buscado não está fora do alcance óbvio.
Intuição geométrica:
O gráfico de uma função contínua em [a,b] é uma curva sem interrupções de x=a a x=b. Assim, se em a o valor é, digamos, menor que y e em b é maior que y, a curva deve cortar a altura y em algum ponto no meio.
Esboço de ideia de prova (método da bisseção / propriedade do supremo):
Definir o conjunto S=\{x\in[a,b]\mid f(x)\le y\}. Mostrar que S é não vazio e limitado, tomar c=\sup S e usar continuidade para concluir que f\text{(c)}=y.
Exemplo prático:
Se f(x)=x^3-2 em [1,2], temos f(1)=-1 e f(2)=6. Pelo TVI existe c\in[1,2] com f\text{(c)}=0 — ou seja, a raiz real entre 1 e 2 (é c=\sqrt[3]{2}).

Passo 3

Teorema do Valor Médio (MVT) — enunciado, interpretação e esboço de prova.
Enunciado formal:
Seja f contínua em [a,b] e diferenciável em (a,b). Então existe c\in(a,b) tal que
f'\text{(c)}=\frac{f(b)-f(a)}{b-a}.
O que significam as hipóteses:
  • Continuidade em [a,b]: como no TVI, garante ausência de saltos nas extremidades.
  • Diferenciabilidade em (a,b): f' existe em cada ponto interno; isso implica continuidade local e que não há “cantos” bruscos.
Intuição geométrica:
A inclinação da reta secante que liga (a,f(a)) e (b,f(b)) é \dfrac{f(b)-f(a)}{b-a}. O MVT garante que existe pelo menos um ponto c onde a derivada (a inclinação da tangente) coincide com essa inclinação média — a curva em algum ponto tem a mesma inclinação da reta que une as extremidades.
Esboço de prova usando Rolle:
Defina a função auxiliar
g(x)=f(x)-\left( f(a)+\frac{f(b)-f(a)}{b-a}(x-a)\right).
Temos g(a)=g(b). Aplicando o Teorema de Rolle (caso especial do MVT quando f(a)=f(b)) obtemos g'\text{(c)}=0, o que dá exatamente o enunciado do MVT.
Observação prática:
Rolle é um caso particular quando f(a)=f(b) e o MVT reduz a dizer que existe c com f'\text{(c)}=0.

Passo 4

Teorema do Ponto Fixo (Banach — Teorema do ponto fixo contrativo) — enunciado, intuição e garantia de convergência iterativa.
Enunciado formal (Banach):
Seja (X,d) um espaço métrico completo e T:X\to X uma contração, ou seja, existe k com 0\le k<1 tal que
d(T(x),T(y))\le k\,d(x,y)\quad\text{para todos }x,y\in X.
Então existe um único x^*\in X tal que T(x^*)=x^*. Além disso, para qualquer x_0\in X a sequência iterativa definida por x_{n+1}=T(x_n) converge para x^*, e vale a estimativa de erro
d(x_n,x^*)\le \frac{k^n}{1-k}\,d(x_1,x_0).
O que significam as hipóteses:
  • Espaço completo: toda sequência de Cauchy em X converge em X. Esse é o ponto crucial, pois a prova constrói uma sequência de Cauchy.
  • Contração com constante k<1: isto garante que T “aproxima” pontos a cada iteração, tornando a sequência iterativa cada vez mais próxima do ponto fixo.
Intuição e ideia da prova:
A contração faz com que as distâncias entre iterações decresçam geometricamente: d(x_{n+1},x_n)\le k^n d(x_1,x_0). Isso mostra que (x_n) é Cauchy; pela completude existe limite x^*. Passa-se ao limite em x_{n+1}=T(x_n) e, por continuidade de T (vinda da contração), obtém-se x^*=T(x^*). A unicidade vem de usar a desigualdade da contração para dois pontos fixos e obter d(x^*,y^*)\le k d(x^*,y^*) que força d(x^*,y^*)=0.
Aplicação prática:
Esse teorema é o fundamento teórico de muitos métodos iterativos que procuram resolver x=T(x) (incluindo certos esquemas de iteração para resolver equações não lineares).

Passo 5

Teorema de Convergência do Método de Newton–Raphson — enunciado, hipóteses, explicação do tipo de convergência e derivação do termo quadrático do erro.
Enunciado formal (versão local clássica):
Seja f uma função com derivadas contínuas até segunda ordem em um intervalo aberto I contendo uma raiz r de f (ou seja, f(r)=0) e suponha que f'(r)\neq 0. Então existe um intervalo aberto J contendo r tal que, para qualquer inicial x_0\in J, a sequência de Newton definida por
x_{n+1}=x_n-\frac{f(x_n)}{f'(x_n)}
converge para r. Além disso, a convergência é quadrática: se denotarmos e_n=x_n-r então, para n grande,
|e_{n+1}|\le C\,|e_n|^2
para alguma constante C>0; em particular
\lim_{n\to\infty}\frac{|e_{n+1}|}{|e_n|^2}=\left|\frac{f''(r)}{2f'(r)}\right|.
Hipóteses comentadas:
  • f\in C^2 em vizinhança de r: garante que as expansões em série de Taylor que usaremos são válidas e que f' e f'' são limitadas nas vizinhanças.
  • f'(r)\neq 0: impede que a raiz seja múltipla; se f'(r)=0 o comportamento muda e a convergência pode ser linear ou pior.
Derivação do comportamento do erro (passo a passo, usando expansão de Taylor):
  1. Defina e_n=x_n-r. Expandindo f em torno de r por Taylor até segunda ordem,
f(x_n)=f(r)+f'(r)e_n+\frac{f''(r)}{2}e_n^2+O(e_n^3).
Como f(r)=0, temos
f(x_n)=f'(r)e_n+\frac{f''(r)}{2}e_n^2+O(e_n^3).
  1. Expandir f'(x_n) em torno de r:
f'(x_n)=f'(r)+f''(r)e_n+O(e_n^2).
  1. A fórmula de Newton dá
e_{n+1}=x_{n+1}-r=x_n-r-\frac{f(x_n)}{f'(x_n)}=e_n-\frac{f(x_n)}{f'(x_n)}.
  1. Substituir as expansões e fazer divisão por série (ou usar a ideia de dividir polinômios truncados). Uma maneira simples é escrever a razão como
\frac{f(x_n)}{f'(x_n)}=\frac{f'(r)e_n+\tfrac{f''(r)}{2}e_n^2+O(e_n^3)}{f'(r)+f''(r)e_n+O(e_n^2)}.
Fazendo a divisão (ou usar expansão em série para \dfrac{1}{f'(r)+f''(r)e_n}) obtém-se
\frac{f(x_n)}{f'(x_n)}=e_n-\frac{f''(r)}{2f'(r)}e_n^2+O(e_n^3).
  1. Portanto
e_{n+1}=e_n-\left(e_n-\frac{f''(r)}{2f'(r)}e_n^2+O(e_n^3)\right)=-\frac{f''(r)}{2f'(r)}e_n^2+O(e_n^3).
  1. Daí vem que, para n grande (ou x_0 suficientemente próximo de r), existe C tal que
|e_{n+1}|\le C\,|e_n|^2,
o que caracteriza convergência quadrática. Em particular, o número de dígitos corretos dobra a cada iteração asymptoticamente.
Interpretação prática:
  • Quadrática significa que o erro cai como o quadrado do erro anterior — muito rápido quando já se está perto da raiz.
  • O teorema é local: é necessário começar suficientemente perto da raiz; se a aproximação inicial for ruim, a iteração pode divergir ou convergir para outra raiz.

Passo 6

Dicas úteis para a prova/uso em prova e exemplos curtos:
  • Para o TVI, na prova de existência de raiz use sempre continuidade e o método de bisseção na argumentação informal; é claro e rápido.
  • Para o MVT, lembre-se de que Rolle é o caso f(a)=f(b) e é útil construir g(x)=f(x)- reta secante para aplicar Rolle.
  • Para o Teorema de Banach, memorize a ideia das estimativas geométricas d(x_{n+1},x_n)\le k^n d(x_1,x_0) e que completude fornece limite.
  • Para Newton, na prova de convergência local mencione explicitamente as hipóteses f\in C^2 e f'(r)\neq 0 e mostre (como fiz) a expansão que leva ao termo \dfrac{f''(r)}{2f'(r)}e_n^2. Essa derivação costuma valer muitos pontos na prova.
  • Exemplo rápido de Newton: f(x)=x^2-2, r=\sqrt{2}. Aqui f'(r)=2r\neq0 e a constante que aparece é \dfrac{f''(r)}{2f'(r)}=\dfrac{2}{4r}=\dfrac{1}{2r}, e vemos que e_{n+1}\approx -\dfrac{1}{2r}e_n^2.

Resposta

Teorema do Valor Intermediário: Se f é contínua em [a,b] e y é um número entre f(a) e f(b), então existe c\in[a,b] tal que f\text{(c)}=y.
Teorema do Valor Médio: Se f é contínua em [a,b] e diferenciável em (a,b), então existe c\in(a,b) tal que f'\text{(c)}=\dfrac{f(b)-f(a)}{b-a}.
Teorema do Ponto Fixo (Banach): Se (X,d) é um espaço métrico completo e T:X\to X é uma contração com constante 0\le k<1 (isto é, d(T(x),T(y))\le k\,d(x,y) para todos x,y), então existe único x^*\in X com T(x^*)=x^*; além disso, para qualquer x_0\in X a sequência x_{n+1}=T(x_n) converge para x^* e satisfaz d(x_n,x^*)\le \dfrac{k^n}{1-k}\,d(x_1,x_0).
Teorema de Convergência do Método de Newton–Raphson (versão local): Se f\in C^2 em um intervalo contendo uma raiz r de f e f'(r)\neq 0, então existe uma vizinhança de r tal que qualquer x_0 nessa vizinhança gera a sequência de Newton x_{n+1}=x_n-\dfrac{f(x_n)}{f'(x_n)} que converge para r com ordem de convergência 2 (convergência quadrática); mais precisamente, com e_n=x_n-r tem-se e_{n+1}=-\dfrac{f''(r)}{2f'(r)}e_n^2+O(e_n^3), logo |e_{n+1}|\le C|e_n|^2 para algum C>0 quando n é grande.

Exercícios relacionados