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
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,
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.