Series de Taylor

Un procedimiento menesteroso para obtener resultados tericos que reducirn los

clculos de funciones, es a partir de funciones polinmicas que veremos en este artculo.
Pero antes, analicemos. Como sabemos, muchas de las funciones importantes como las
trigonomtricas (seno, coseno, etc.), exponenciales, logartmicas, entre otras, tienen
resultados grficos que pasan por el eje de abscisas -es decir, siempre y
cuando x=0; donde podremos calcular trmino a trmino hasta llegar a una
aproximacin del valor real.

En azul la funcin exponencial original. En rojo, la aproximacin de la funcin por series de Taylor.

Un poco de historia
El filsofo eleata Zenn de Elea consider el problema de sumar una serie infinita para
lograr un resultado finito, pero lo descart por considerarlo imposible.
Posteriormente, Aristteles propuso una resolucin filosfica a la paradoja, pero el
contenido matemtico de esta no qued resuelto. Fue a travs del mtodo exhaustivo de
Arqumedes que un nmero infinito de subdivisiones geomtricas progresivas podan
alcanzar un resultado trigonomtrico finito. Independientemente, Liu Hui utiliz un
mtodo similar cientos de aos despus.
En el siglo XIV, los primeros ejemplos del uso de series de Taylor y mtodos similares
fueron dados por Madhava de Sangamagrama. A pesar de que hoy en da ningn
registro de su trabajo ha sobrevivido a los aos, escritos de matemticos hindes
posteriores sugieren que l encontr un nmero de casos especiales de la serie de
Taylor, incluidos aquellos para las funciones trigonomtricas del seno, coseno, tangente
y arcotangente.
 Brook Taylor

En el siglo XVII, James Gregory tambin trabaj en esta rea y public varias series
de Maclaurin. Pero en 1715 se present una forma general para construir estas series
para todas las funciones para las que existe y fue presentado por Brook Taylor, de
quin recibe su nombre.
Las series de Maclaurin fueron nombradas as por Colin Maclaurin, un profesor de
Edinburgo, quin public el caso especial de las series de Taylor en el siglo XVIII.
Teorema
La serie de Taylor de una funcin f real o compleja (x) infinitamente diferenciable en
el entorno de un nmero real o complejo a es la siguiente serie de potencias:

Para encontrar un polinomio apropiado, conviene antes examinar las funciones

polinmicas ms detenidamente.
Demostracin
Primeramente, vemos que es interesante -y muy importante- notar que los
coeficientes pueden expresarse en trminos del polinomio p(x) y de sus distintas
derivadas en 0 (cero). Observemos que

Sea un polinomio de grado n (por

ende, a lo sumo n races); al derivar esta expresin se obtiene

por lo tanto,

Luego, al derivar dos veces

por lo tanto,

Por lo que obtenemos generalizando, cada k-simo trmino del polinomio derivado

, bien

Entonces, podemos sumar cada trmino, donde 0kn, y obtenemos finalmente la

expresin buscada

donde puede reducirse a la notacin de sumatoria

Ejemplo
Como ejemplo muy comn podemos ver lo que sucede con la funcin seno para este
procedimiento, cuando x=0
sen(0)=0
sen'(0)=cos(0)=1
sen(0)=-sen(0)=0
sen'(0)=-cos(0)=-1
Repitiendo el proceso vuelven a resultar consecutivamente los valores 1, 0, -1, 0, 1, 0, -
1, 0, 1, ; se anulan las derivadas pares, y las impares tienen signos alternados de la
unidad, por tanto
Series de Taylor notables: