Autor: Ernesto Taboada

UTN REGIONAL HAEDO

CTEDRA A.M.1

APROXIMACIN DE FUNCIONES Taylor y Mac Laurin

Orden de contacto entre dos curvas.
Dos funciones f y g , derivables hasta el orden n + 1 , presentan orden de
contacto n en un punto de abscisa x0 si en ese punto se igualan los valores de
ambas funciones, as como los valores de sus n primeras derivadas sucesivas,
siendo diferentes all las derivas de orden n + 1 . Es decir:

f (0) ( x0 ) = g (0) ( x0 )
f (1) ( x0 ) = g (1) ( x0 )
f (2) ( x0 ) = g (2) ( x0 )
f (3) ( x0 ) = g (3) ( x0 )
.
.
.
f ( n ) ( x0 ) = g ( n ) ( x0 )

f ( n +1) ( x0 ) g ( n +1) ( x0 )
Se ha indicado con suprandice numrico el orden de derivacin. Por uniformidad
de la notacin, a la funcin original se la ha escrito con suprandice 0 (o sea, como
derivada de orden cero).
Cuando el contacto es de orden 0, los grficos se cortan pero las rectas tangentes
de ambas curvas en el punto difieren.
Si el contacto es de orden 1, adems de cortarse ambas curvas comparten la
recta tangente, pero el sentido de la concavidad en las proximidades del punto de
contacto es diferente.
Cuando el contacto es de orden 2, adems de cortarse ambas curvas y de
compartir la recta tangente en el punto de contacto, presentan el mismo sentido de
concavidad.
Se comprende entonces que al aumentar el orden de contacto entre los grficos
de las dos funciones en el punto, las curvas son ms parecidas en un entorno de
dicho punto. Para que los valores de una de ambas funciones difieran
sensiblemente de los valores de la otra habr que alejarse tanto ms de la
abscisa x0 cuanto mayor sea el orden de contacto entre ellas. Dicho de otro modo:
si se desea aproximar los valores de una de ambas funciones en las cercanas de
la abscisa de contacto mediante los valores de la otra funcin, la aproximacin

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

CTEDRA A.M.1

ser tanto mejor cuanto mayor sea el orden de contacto entre ambas en el punto
considerado.
Contacto de orden 0

f (0) ( x0 ) = g (0) ( x0 )

f ( x0 ) = g ( x0 )

f (1) ( x0 ) g (1) ( x0 )

x0
Contacto de orden 1
f (0) ( x0 ) = g (0) ( x0 )

f ( x0 ) = g ( x0 )

f (1) ( x0 ) = g (1) ( x0 )

f (2) ( x0 ) g (2) ( x0 )

x0
Contacto de orden 2
f (0) ( x0 ) = g (0) ( x0 )
f (1) ( x0 ) = g (1) ( x0 )
f (2) ( x0 ) = g (2) ( x0 )

f ( x0 ) = g ( x0 )

f (3) ( x0 ) g (3) ( x0 )

x0

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

CTEDRA A.M.1

Expresin de un polinomio en funcin de sus derivadas en un punto.

Dado el polinomio de grado n :

P ( x) = a0 + a1.( x x0 ) + a2 .( x x0 ) 2 + a3 .( x x0 )3 + ... + an 1.( x x0 ) n 1 + an .( x x0 ) n

Plantearemos sus derivadas sucesivas:

P (1) ( x) = a1 + 2.a2 .( x x0 ) + 3.a3 .( x x0 ) 2 + ... + (n 1).an 1.( x x0 ) n 2 + n.an .( x x0 ) n 1

P (2) ( x) = 2.a2 + 3.2.a3 .( x x0 ) + ... + (n 2).(n 1).an 1.( x x0 ) n 3 + n.(n 1).an .( x x0 ) n 2
P (3) ( x) = 3.2.a3 + ... + ( n 1).( n 2).(n 3).an 1.( x x0 )n 4 + n.(n 1).(n 2)an .( x x0 )n 3
..........................................................................................................................

P ( n 1) ( x) = (n 1).(n 2).(n 3)...3.2.an 1 + n.(n 1).(n 2).(n 3)...3.2.an .( x x0 )

P ( n ) ( x) = n !.an

Calculando estas derivadas en el punto de abscisa x0 y despejando los

coeficientes del polinomio original, resulta:
P( x0 ) P (0) ( x0 )
=
0!
0!
(1)
P ( x0 )
P (1) ( x0 ) = a1 a1 =
1!
P (2) ( x0 )
P (2) ( x0 ) = 2.a2 a2 =
2!
P (3) ( x0 )
(3)
P ( x0 ) = 3.2.a3 a3 =
3!
......................................................
P ( x0 ) = a0 a0 =

( n 1)

( x0 ) = (n 1).(n 2)...3.2.an 1

P ( n ) ( x0 ) = n !.an an =

P ( n 1) ( x0 )
an 1 =
(n 1)!

P ( n ) ( x0 )
n!

Utilizando estos valores de los coeficientes, el polinomio original puede ser escrito
del modo siguiente:

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

CTEDRA A.M.1

P (0) ( x0 )
P (1) ( x0 )
P (2) ( x0 )
P (3) ( x0 )
.( x x0 )0 +
.( x x0 )1 +
.( x x0 ) 2 +
.( x x0 )3 + ...
0!
1!
2!
3!
P ( n 1) ( x0 )
P ( n 1) ( x0 )
... +
.( x x0 ) n 1 +
.( x x0 ) n
(n 1)!
(n 1)!
P ( x) =

A todos los trminos les hemos podido dar la misma forma, por lo cual puede
emplearse una notacin ms econmica mediante el smbolo de sumatoria:
n

P ( x) =
i =0

P ( i ) ( x0 )
.( x x0 )i
i!

Polinomio de Taylor.
Si se tiene una funcin f derivable hasta orden n + 1 que presenta contacto de
orden n con el polinomio de grado n anterior, se cumplir:

f (0) ( x0 ) = P (0) ( x0 )
f (1) ( x0 ) = P (1) ( x0 )
f (2) ( x0 ) = P (2) ( x0 )
f (3) ( x0 ) = P (3) ( x0 )
.
.
.
f ( n ) ( x0 ) = P ( n ) ( x0 )

f ( n +1) ( x0 ) P ( n +1) ( x0 )
En consecuencia, en un entorno de la abscisa x0 podr escribirse:
n

f ( x) P( x) =
i =0

f (i ) ( x0 )
.( x x0 )i
i!

Esta expresin suministra la aproximacin de la funcin f mediante el Polinomio

de Taylor en un entorno de x0 .
La aproximacin de f ( x) usando el polinomio de Taylor ser tanto mejor cuanto
ms elevado sea el orden de contacto, es decir, cuanto mayor sea el grado del
polinomio considerado. En otras palabras, tambin podremos decir que al tomar

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

CTEDRA A.M.1

ms trminos se lograr una buena aproximacin para valores contenidos en un

entorno de mayor radio centrado en x0 .
Desarrollo de Taylor.
El Polinomio de Taylor suministra un valor aproximado de f ( x) . La diferencia
entre f ( x) y P( x) se llama resto del desarrollo R( x) o trmino complementario
Tc . O sea que:
n

f ( x) P ( x) = R ( x) f ( x) = P ( x) + R ( x) =
i =0

f (i ) ( x0 )
.( x x0 )i + R( x)
i!

A Lagrange se debe la expresin siguiente del trmino complementario:

R ( x) = Tc =

f ( n +1) (C )
.( x x0 ) n +1
(n + 1)!

Resulta entonces la expresin siguiente, llamada desarrollo de Taylor:

n

f ( x) =
i =0

f ( i ) ( x0 )
f ( n +1) (C )
.( x x0 )i +
.( x x0 ) n +1
i!
(n + 1)!

El punto c que aparece en el trmino complementario de Lagrange est siempre

comprendido entre el valor x0 en que se efecta el desarrollo y el valor x en que
se desea calcular la funcin. En general, c no puede conocerse con exactitud, por
lo cual Tc no puede calcularse.
Sin embargo, a menudo este Tc puede acotarse, con lo cual resulta acotado el
error que se comete en la aproximacin de f ( x) al utilizar una cantidad
determinada de trminos en el desarrollo de Taylor.
Desarrollo de Mac Laurin.
Si el desarrollo se efecta en el origen de abscisas, se tiene el desarrollo de Mac
Laurin. Haciendo entonces x0 = 0 en Taylor resulta Mac Laurin:
n

f ( x) =
i =0

f (i ) (0) i f ( n +1) (C ) n +1
.x +
.x
(n + 1)!
i!

Series de Taylor y Mac Laurin.

Si la funcin f ( x) fuese derivable indefinidamente, podra escribirse:

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

f ( x) =
n =0

CTEDRA A.M.1

f ( n ) ( x0 )
.( x x0 ) n
n!

que es una serie de potencias, llamada Serie de Taylor.

Precisamente, cuando limitamos la cantidad de trminos en un clculo concreto, el
error cometido por desestimar los infinitos trminos que dejamos de lado se
incluyen en el trmino complementario o resto.
Si se hace x0 = 0 , resulta la Serie de Mac Laurin:

f ( x) =
n=0

f ( n ) (0) n
.x
n!

Ejemplo de aplicacin.
Efectuar el desarrollo de Taylor hasta orden 5 inclusive de la funcin
f ( x) = sen( x) en las proximidades de x0 = 1 .
f (0) ( x) = sen( x)

f (0) (1) = sen( ) = 0

f (1) ( x) = .cos( x)

f (1) (1) = .cos( ) = .(1) =

f (2) ( x) = 2 .sen( x)

f (2) (1) = 2 .sen( ) = 0

f (3) ( x) = 3 .cos( x)

f (3) (1) = 3 .cos( ) = 3 .(1) = 3

f (4) ( x) = 4 .sen( x)

f (4) (1) = 4 .sen( ) = 0

f (5) ( x) = 5 .cos( x)

f (5) (1) = 5 .cos( ) = 5 .(1) = 5

Con estos valores, el desarrollo de Taylor resulta:

5

f ( x) = sen( x)
i =0

f (i ) (1)

3
5
i
3
.( x 1) = 0 .( x 1) + 0 + .( x 1) + 0
.( x 1)5
i!
1
6
120

Simplificando la expresin:

f ( x) = sen( x) .( x 1) +

3
6

.( x 1)
3

5
120

.( x 1)5

Si se calcula mediante este desarrollo el valor aproximado de f (1,1) = sen( .1,1)

resulta:

Autor: Ernesto Taboada

UTN REGIONAL HAEDO

f (1,1) = sen( .1,1) .(1,1 1) +

= .0,1 +

.0, 001

120

3
6

.(1,1 1)3

CTEDRA A.M.1

5
120

.(1,1 1)5 =

.0, 00001 0,309017054

Para acotar el error cometido, planteamos el trmino complementario:

R ( x) = Tc =

f (6) (C )
.( x 1)6
6!

Calculamos la derivada sexta: f (6) ( x) = 6 .sen( x) y la reemplazamos all:

R ( x) = Tc =

(6) .sen(C )
(6) .sen(C )
.(1,1 1)6 =
.0,16
6!
6!

Dado que la funcin sen( x) nunca supera el valor 1, se comprende que:

R( x) = Tc =

(6) .sen(C )
(6)
.0,16 <
.0,16 1,3.106 = 0, 0000013
6!
6!

Esto indica que el error afecta a la sexta cifra decimal, por lo cual podemos
aceptar como buena la cifra: f (1,1) = sen( .1,1) = 0,30901 .
Si recurrimos a la calculadora para averiguar la cifra verdadera (con todos los
dgitos que muestra en visor), nos dice: f (1,1) = sen( .1,1) = 0,309016994 .