5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

Teorema de Taylor
En cálculo, el teorema de Taylor, recibe su nombre del matemático
británico, Brook Taylor, quien lo enunció con mayor generalidad en 1712,
aunque previamente James Gregory lo había descubierto en 1671.1 Este
teorema permite obtener aproximaciones polinómicas de una función en
un entorno de cierto punto en que la función sea diferenciable. Además el
teorema permite acotar el error obtenido mediante dicha estimación.

Índice
Caso de una variable
Enunciación del teorema
Fórmulas explícitas para el resto
La función exponencial (línea roja
Acotación del resto
continua) y su aproximación mediante un
Ejemplo
polinomio de Taylor alrededor del origen de
Demostración
coordenadas (línea verde discontinua).
Obtención de la forma de valor medio del resto
Obtención de la forma integral del resto
Caso de varias variables
Demostración
Referencias
Bibliografía

Caso de una variable

Enunciación del teorema

La versión más básica del teorema es como sigue:

Teorema de Taylor.2 3 4 Sea k ≥ 1 un entero y la función f : R → R diferenciable k veces en el punto a ∈ R.

Entonces existe una función hk : R → R tal que

(1)

. Esta es la llamada forma de Peano del resto.

El polinomio que aparece en el teorema de Taylor se denomina polinomio de Taylor de orden k.

https://es.wikipedia.org/wiki/Teorema_de_Taylor 1/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

de la función f en el punto a. El polinomio de Taylor es el único polinomio que "mejor aproxima en forma asintótica" en el sentido
de que existe una función hk : R → R y un polinomio p de orden k tal que

entonces p = Pk. El teorema de Taylor describe el comportamiento asintótico del término del resto

el cual es el error de aproximación cuando se aproxima f con su polinomio de Taylor. Utilizando la notación o el teorema de Taylor
se puede expresar de la siguiente forma:

Fórmulas explícitas para el resto

Existen diferentes formas de expresar que se mencionan a continuación:

Forma de valor medio del resto. Sea f : R → R, diferenciable k + 1 veces

en el intervalo abierto con f(k) continua en el intervalo cerrado entre a y x.
Entonces

(2a)

para algún número real ξL entre a y x. Esta es la forma de Lagrange5 del

resto. Similarmente,

(2b)

para algún número real ξC entre a y x. Esta es la forma de Cauchy6 del

resto.

Usualmente, esta refinación del teorema de Taylor, se demuestra con el teorema del valor medio, de ahí su nombre. También se
pueden hallar expresiones similares. Por ejemplo, si G(t) es continua en el intervalo cerrado y diferenciable con derivadas no nulas
en el intervalo abierto entre a y x, entonces

para algún número ξ entre a y x. Esta versión generaliza las formas de Lagrange y Cauchy del resto, que son tomadas como casos
especiales, y se demuestran usando el teorema del valor medio de Cauchy.

En el caso de la forma integral del resto, se requieren conceptos de la teoría integral de Lebesgue para una generalidad completa. Sin
embargo, se mantiene el concepto que provee la integral de Riemann donde la derivada (k + 1)-ésima de f es continua en el intervalo
cerrado [a,x].

https://es.wikipedia.org/wiki/Teorema_de_Taylor 2/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

Forma integral del resto.7 Sea f(k), continua absolutamente en el

intervalo cerrado entre a y x. entonces

(3)

Debido a la continuidad absoluta de f(k) en el intervalo cerrado entre a y x su derivada f(k+1) existe como una función L1, y el
resultado puede probarse con un cálculo formal usando el teorema fundamental del cálculo e integración por partes.

Para algunas funciones , se puede probar que el resto, , se aproxima a cero cuando se acerca al ∞; dichas funciones
pueden ser expresadas como series de Taylor en un entorno reducido alrededor de un punto y son denominadas funciones
analíticas.

El teorema de Taylor con expresado de la segunda forma es también válido si la función tiene números complejos o
valores vectoriales. Además existe una variación del teorema de Taylor para funciones con múltiples variables.

Acotación del resto

Suele ser muy útil en la práctica acotar el término del resto de la aproximación de Taylor, en lugar de tener la fórmula exacta de este.
Suponiendo que f es continuamente diferenciable veces en un intervalo que contiene a . Suponemos que hay constantes y
tal que

en el intervalo . Entonces el término del resto satisface la desigualdad8

Si , y similarmente si . Esta es una consecuencia simple de la forma de Lagrange del resto. En particular, si

sobre un intervalo con algún , entonces

para todo . A la segunda desigualdad se la llama acotación uniforme, porque permanece uniformemente para
todo x sobre el intervalo .

Ejemplo
Suponiendo que se desea aproximar la función f(x) = ex en el intervalo [−1,1] con un error no mayor a 10−5. Este ejemplo necesita
que se conozcan las siguientes propiedades de la función exponencial:

https://es.wikipedia.org/wiki/Teorema_de_Taylor 3/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

De estas propiedades se tiene que f(k)(x) = ex (*)

(k)
para todo k, y en particular, f (0) = 1. Entonces el
polinomio de Taylor de orden k de f en 0 y su resto bajo la
forma de Lagrange son:

Aproximación de ex (azul) por su polinomio de Taylor Pk de orden

k = 1,...,7 centrado en x = 0 (rojo).

donde ξ es algún número entre 0 y x. Ya que ex es creciente (* (https://es.wikipedia.org/wiki/Teorema_de_Taylor#Equation_*)),

podemos usar simplemente que ex ≤ 1 para x ∈ [−1, 0] para acotar el resto sobre el subintervalo [−1, 0]. Para obtener una cota
superior para el resto en [0,1], usamos la propiedad eξ<ex para 0<ξ<x para acotar

usando la expansión de Taylor de segundo orden. Entonces resolvemos ex para deducir quem-kmkñm,´ñl mñ,ñm, vhjlijouh

simplemente maximizando el numerador y minimizando el denominador. Combinando estas acotaciones para ex vemos que

así se alcanza la precisión requerida, donde

(ver factorial o calcular manuelmente los valores 9!=362 880 y 10!=3 628 800.) Como conclusión, el teorema de Taylor permite la
aproximación

Luego, esta aproximación nos da la expresión decimal e ≈ 2.71828, correcta hasta cinco dígitos decimales.

https://es.wikipedia.org/wiki/Teorema_de_Taylor 4/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

Demostración
Sea9

donde, como dice en el enunciado del teorema de Taylor,

Es suficiente mostrar que

La demostración de (1 (https://es.wikipedia.org/wiki/Teorema_de_Taylor#Equation_1)) se basa en la aplicación repetida de la

regla de L'Hôpital. Se observa que, para cada j = 0,1,...,k−1, . De aquí que cada una de los primeras k−1 derivadas
del numerador en se anula en , y lo mismo sucede con el denominador. También, ya que la condición de que la función f
sea k veces diferenciable en un punto requiere diferenciabilidad de orden k−1 en un entorno de dicho punto (esto es así, porque la
diferenciabilidad requiere una función definida en un entorno del punto), el numerador y sus k − 2 derivadas son diferenciables en
un entorno de a. Claramente, el denominador también satisface dicha condición, y adicionalmente, no se anula a menos que x=a,
por lo tanto se satisfacen todas las condiciones para la regla de L'Hopital, y así se justifica su utilización. Por lo tanto

donde queda la anteúltima igualdad por la definición de la derivada en x = a.

Obtención de la forma de valor medio del resto

Sea G una función real, continua sobre un intervalo cerrado entre a y x y diferenciable con derivadas no nulas sobre el intervalo
abierto entre a y x, y la función que se define como

Entonces, por el teorema del valor medio de Cauchy,

para algún ξ sobre el intervalo abierto entre a y x. Se observa que el numerador F(x) − F(a) = Rk(x) es exactamente el resto del
polinomio de Taylor para f(x). Calculando

https://es.wikipedia.org/wiki/Teorema_de_Taylor 5/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

reemplazando en (*) y reorganizando los términos para hallar que

Esta es la forma del término que mencionamos como "resto" después enunciamos el teorema de Taylor con el resto bajo la forma del
valor medio. La forma de Lagrange del resto puede obtenerse haciendo y la forma de Cauchy haciendo
.

Observación. Usando este método también se puede recurrir a la forma integral del resto haciendo

pero los requerimientos de f necesitados para usar el teorema del valor medio son más fuertes, si se tiene el objetivo de probar el
caso en que f(k) es únicamente continua absolutamente. Sin embargo, si se usa la integral de Riemann en vez de la integral de
Lebesgue, los requerimientos no pueden ser tan débiles.

Obtención de la forma integral del resto

Debido a la continuidad absoluta de f(k) sobre el intervalo cerrado entre a y x su derivada f(k+1) existe como una función L1, y se usa
el teorema fundamental del cálculo y la integración por partes. Esta misma demostración se aplica para la integral de Riemann
teniendo en cuenta que f(k) es continua sobre el intervalo cerrado y diferenciable sobre el intervalo abierto entre a y x, y esto permite
llegar al mismo resultado que cuando se utilizó el teorema del valor medio.

El teorema fundamental del cálculo dice que

A partir de aquí se usa la integración por partes y se usa una vez más el teorema fundamental del cálculo para ver que

que es exactamente el teorema de Taylor con resto en la forma integral para el caso k=1. La enunciación general se demuestra
usando la inducción. Suponiendo que

https://es.wikipedia.org/wiki/Teorema_de_Taylor 6/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

Integrando el término del resto por partes se llega a que

Substituyendo esto en la fórmula in (*) se muestra que si se tiene para el valork, debe obtenerse también para el valor k + 1. Por lo
tanto, ya que se tiene para k = 1, se tiene para cualquier valor entero positivo k.

Caso de varias variables

El teorema de Taylor anterior (1 (https://es.wikipedia.org/wiki/Teorema_de_Taylor#Equation_1)) puede generalizarse al caso de
varias variables como se explica a continuación. Sea B una bola en RN centrada en el punto a, y f una función real definida sobre la
clausura cuyas derivadas parciales de orden n+1 son todas continuas en cada punto de la bola. El teorema de Taylor establece que
para cualquier :

Donde la suma se extiende sobre los multi-índices α (esta fórmula usa la notación multi-índice). El resto satisface la desigualdad:

para todo α con |α|=n+1. Tal como sucede en el caso de una variable, el resto puede expresarse explícitamente en términos de
derivadas superiores (véase la demostración para los detalles).

Demostración
Para demostrar el teorema de Taylor para el caso multidimensional, considérese un función o campo escalar, que
suponemos continuo y, para simplificar lo expuesto (aunque una generalización es trivial), de clase . Sea una función
vectorial que va de , y definámosla como (de ahora en adelante, se omitirán las flechas de los vectores).
Pongamos Ahora hagamos y recordemos que . Notemos ahora que:

Ahora, derivando sucesivas veces, encontramos que podemos poner de forma muy cómoda:

donde el exponente sobre el gradiente es entendido como las sucesivas veces que hacemos el gradiente; es decir, hacemos el
producto escalar que está dentro del paréntesis, luego volvemos a derivar otra vez la función, obteniendo otro producto escalar, y así
n veces. Ahora, empleando el teorema de Taylor para una variable real, expandimos en su serie de McLaurin:

https://es.wikipedia.org/wiki/Teorema_de_Taylor 7/8
5/12/2019 Teorema de Taylor - Wikipedia, la enciclopedia libre

y haciendo t=1 y sustituyendo las derivadas por las expresiones antes hallada se evidencia que:

Obsérvese que el primer término aparece el gradiente y en el segundo la matriz hessiana, pero escrito con esta notación particular
que resulta más cómoda y compacta. La expresión obtenida es equivalente a la expresada más arriba mediante la notación
multiíndice.

Referencias
Encyclopaedia of Mathematics (en inglés), Springer,
1. Kline, 1972, pp. 442,464 ISBN 978-1556080104
2. Genocchi, Angelo; Peano, Giuseppe (1884), Calcolo 5. Kline, 1998, §20.3; Apostol, 2005, §7.7.
differenziale e principii di calcolo integrale (https://archive.or
6. Apostol, 2005, §7.7.
g/details/calcolodifferenz00genouoft) (en italiano), (N. 67,
pp. XVII–XIX): Fratelli Bocca ed. 7. Apostol, 2005, §7.5.
3. Spivak, Michael (1994), Calculus (3rd edición), Houston, TX: 8. Apostol, 2005, §7.6
Publish or Perish, p. 383, ISBN 978-0-914098-89-8 9. Stromberg, 1981
4. Hazewinkel, Michiel, ed. (2001), «Taylor formula» (http://ww
w.encyclopediaofmath.org/index.php?title=p/t092300),

Bibliografía
Bartle, R. G.; Sherbert, D. R. (1990). Introducción al Análisis Matemático de una Variable. Limusa. ISBN 9681817257.
Apostol, Tom M. (2005). Cálculus. Cálculo con funciones de una variable, con una introducción al álgebra lineal (Francisco
Vélez Cantarell, trad.) 1. Reverté. ISBN 9788429150025. Resumen divulgativo (https://books.google.com.ar/books?id=Z5-JhzoChq
IC).
Kline, Morris (1972). Mathematical thought from ancient to modern times, Volume 2 (en inglés). Oxford University Press.
Kline, Morris (1998). Calculus: An Intuitive and Physical Approach (en inglés). Dover. ISBN 0-486-40453-6.
Stromberg, Karl (1981). Introduction to classical real analysis (en inglés). Wadsworth. ISBN 978-0-534-98012-2.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Teorema_de_Taylor&oldid=121795554»

Esta página se editó por última vez el 5 dic 2019 a las 00:12.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales.
Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Teorema_de_Taylor 8/8