Teorema de Taylor

La función exponencial (línea roja continua) y su aproximación mediante un polinomio de Taylor alrededor del origen de coordenadas (línea verde discontinua).

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

Caso de una variable

Este teorema permite aproximar una función derivable en el entorno reducido alrededor de un punto mediante un polinomio cuyos coeficientes dependen de las derivadas de la función en ese punto. Más formalmente, si es un entero y una función que es derivable veces en el intervalo cerrado [, ] y +1 veces en el intervalo abierto (, ), entonces se cumple que:[1]

( 1a)

O en forma compacta

( 1b)

Donde denota el factorial de , y es el resto, término que depende de y es pequeño si está próximo al punto . Existen dos expresiones para que se mencionan a continuación:

( 2a)

donde y , pertenecen a los números reales, a los enteros y es un número real entre y :[2]

( 2b)

Si es expresado de la primera forma, se lo denomina Término complementario de Lagrange, dado que el Teorema de Taylor se expone como una generalización del Teorema del valor medio o Teorema de Lagrange, mientras que la segunda expresión de R muestra al teorema como una generalización del Teorema fundamental del cálculo integral.

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.

Demostración

La demostración de la fórmula (1a), con el resto de la forma (2a), se sigue trivialmente del teorema de Rolle aplicado a la función:

Un cálculo rutinario permite ver que la derivada de esta función cumple que:

Se define ahora la función G como:

Es evidente que esta función cumple , y al ser esta función diferenciable, por el teorema de Rolle se sigue que:

Y como:

Se obtiene finalmente que:

Y substituyendo en esta fórmula la definición de F(a), queda precisamente la fórmula (1a) con la forma del resto (2a).

Other Languages
azərbaycanca: Teylor teoremi
Boarisch: Taylorpolynom
Deutsch: Taylor-Formel
Bahasa Indonesia: Teorema Taylor
한국어: 테일러 정리
Piemontèis: Fórmole ëd Taylor
português: Teorema de Taylor
srpskohrvatski / српскохрватски: Tejlorova formula
српски / srpski: Тејлорова формула
Türkçe: Taylor teoremi
українська: Теорема Тейлора
Tiếng Việt: Định lí Taylor
中文: 泰勒公式