Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
derivada:taylor [2020/07/28 16:11] aurichi |
derivada:taylor [2020/11/06 14:45] (atual) |
||
|---|---|---|---|
| Linha 2: | Linha 2: | ||
| ======== Fórmula de Taylor ======== | ======== Fórmula de Taylor ======== | ||
| + | {{ youtube> | ||
| Uma motivação que tivemos para a definição de derivada de uma função foi aproximá-la por uma função linear: $p(x) = ax + b$. Vimos, naquele momento, que essa aproximação se dada da seguinte forma | Uma motivação que tivemos para a definição de derivada de uma função foi aproximá-la por uma função linear: $p(x) = ax + b$. Vimos, naquele momento, que essa aproximação se dada da seguinte forma | ||
| Linha 49: | Linha 50: | ||
| <WRAP info> | <WRAP info> | ||
| - | Seja $f$ $k$ vezes diferenciável. Então o **polinômio de Taylor** de ordem $k$ em torno de $x_0$ é dado por\comentario{Estamos adotando a convenção de que $f^{(0)}(x) = f(x)$.} | + | Seja $f$ $k$ vezes diferenciável. Então o **polinômio de Taylor** de ordem $k$ em torno de $x_0$ é dado por |
| \[\begin{array}{rcl} | \[\begin{array}{rcl} | ||
| P_k(x) & = & f(x_0) + f' | P_k(x) & = & f(x_0) + f' | ||
| Linha 55: | Linha 56: | ||
| \end{array}\] | \end{array}\] | ||
| </ | </ | ||
| + | |||
| + | <WRAP tip> | ||
| + | Estamos adotando a notação que $f^{(k)}$ significa " | ||
| + | </ | ||
| + | |||
| Como a discussão acima indica, vale o seguinte resultado: | Como a discussão acima indica, vale o seguinte resultado: | ||
| Linha 62: | Linha 68: | ||
| - | **Teorema (Fórmula de Taylor)** Seja $f: I \to \mathbb R$ diferenciável $n + 1$ vezes. Seja $a \in I$. Então existe $J$ intervalo aberto tal que $a \in I \subset | + | **Teorema (Fórmula de Taylor)** Seja $f: I \to \mathbb R$ diferenciável $n + 1$ vezes. Seja $a \in I$. Então existe $J$ intervalo aberto tal que $a \in J \subset |
| \[f(x) = f(a) + f' | \[f(x) = f(a) + f' | ||
| onde $\sigma = a + \theta(x - a)$ para algum $\theta$ tal que $0< \theta < 1$. | onde $\sigma = a + \theta(x - a)$ para algum $\theta$ tal que $0< \theta < 1$. | ||
| Linha 124: | Linha 130: | ||
| **Proposição** Dado $p$ polinômio de grau $n \geq 1$, temos que se $P_n(x)$ é o polinômio de Taylor centrado em $a$ e de grau $n$, então $p(x) = P_n(x)$ para todo $x \in \mathbb R$. | **Proposição** Dado $p$ polinômio de grau $n \geq 1$, temos que se $P_n(x)$ é o polinômio de Taylor centrado em $a$ e de grau $n$, então $p(x) = P_n(x)$ para todo $x \in \mathbb R$. | ||
| - | **Dem.** Em vez de mostrar o resultado, vamos mostrar o seguinte lema (note que o que queremos provar é um caso particular: | + | **Dem.** Em vez de mostrar o resultado, vamos mostrar o seguinte lema (note que o que queremos provar é um caso particular): |
| **Lema** Se $p$ e $q$ são polinômios de grau no máximo $n$ e existe um ponto $a$ tal que $p^{(k)}(a) = q^{(k)}(a)$ para todo $k \leq n$, então $p = q$. | **Lema** Se $p$ e $q$ são polinômios de grau no máximo $n$ e existe um ponto $a$ tal que $p^{(k)}(a) = q^{(k)}(a)$ para todo $k \leq n$, então $p = q$. | ||
| Linha 134: | Linha 140: | ||
| Agora o caso $n \Rightarrow n + 1$: | Agora o caso $n \Rightarrow n + 1$: | ||
| - | Note que como o grau de $p'$ e $q'$ têm grau no máximo $n$, por $HI$ temos que $p'(x) = q' | + | Note que como o grau de $p'$ e $q'$ têm grau no máximo $n$ e satisfazem a hipótese do nosso enunciado. Assim, por $HI$, temos que $p'(x) = q' |
| Linha 141: | Linha 147: | ||
| Em geral, o polinômio se dá por | Em geral, o polinômio se dá por | ||
| \[\begin{array}{rcl} | \[\begin{array}{rcl} | ||
| - | P(x) & = & f(a) + f' | + | P(x) & = & f(a) + f' |
| & = & \cos(0) -\sen(0)(x - 0) - \frac{1}{2}\cos(0)(x - 0)^2\\ | & = & \cos(0) -\sen(0)(x - 0) - \frac{1}{2}\cos(0)(x - 0)^2\\ | ||
| & = & 1 - \frac{1}{2}x^2\\ | & = & 1 - \frac{1}{2}x^2\\ | ||