Introduccin

Iniciamos aqu el estudio de uno de los conceptos fundamentales del clculo diferencial: la
derivada de una funcin.
En este tema, adems de definir tal concepto, se mostrar su significado y se hallarn las
derivadas de las funciones ms usuales. Es de capital importancia dominar la derivacin
para despus poder abordar el trazado de curvas, as como para comprender la utilidad del
clculo integral, que se estudiarn a continuacin.
La nocin de derivada es histricamente anterior al concepto de lmite aunque actualmente se
estudie aqulla inmediatamente despus de ste, por razones que sern fcilmente comprensibles.
La derivada de una funcin en un punto x0 surge del problema de calcular la tangente a la grfica
de la funcin en el punto de abscisa x0, y fue Fermat el primero que aport la primera idea al tratar
de buscar los mximos y mnimos de algunas funciones. En dichos puntos las tangentes han de ser
paralelas al eje de abscisas, por lo que el ngulo que forman con ste es de cero grados. En estas
condiciones, Fermat buscaba aquellos puntos en los que las tangentes fueran horizontales

HISTORIA DE LAS MATEMATICAS

Las Matemticas, estudia las relaciones entre cantidades, magnitudes y propiedades, y de las operaciones lgicas
utilizadas para deducir cantidades, magnitudes y propiedades desconocidas. Trataremos la evolucin de los
conceptos e ideas matemticas siguiendo su desarrollo histrico. Los nmeros se reare- sentaban escribiendo el
smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo del 10 tantas veces como decenas haba
en el nmero, y as sucesivamente. De cada nmero. Utilizando este sistema, los egipcios fueron capaces de
resolver problemas aritmticos con fracciones, as como problemas algebraicos elementales. Los nmeros menores
que 59 estaban formados por estos smbolos utilizando un proceso aditivo, como en las matemticas egipcias.
Algunos de sus discpulos hicieron importantes descubrimientos sobre la teora de nmeros y la geometra, que se
atribuyen al propio Pitgoras.
Dado que los griegos slo utilizaban los nmeros naturales (1, 2, 3...), En paralelo con los estudios sobre
matemticas puras hasta ahora mencionados, se llevaron a cabo estudios de ptica, mecnica y astronoma. Muchos
de los grandes matemticos, como Euclides y Arqumedes, tambin escribieron sobre temas astronmicos. Entre
otros avances, los matemticos rabes ampliaron el sistema indio de posiciones decimales en aritmtica de nmeros
enteros, extendindolo a las fracciones decimales. Finalmente, algunos matemticos rabes lograron importantes
avances en la teora de nmeros, mientras otros crearon una gran variedad de mtodos numricos para la
resolucin de ecuaciones. Aunque el final del periodo medieval fue testigo de importantes estudios matemticos
sobre problemas del infinito por autores como Nicole Oresme, no fue hasta principios del siglo XVI cuando se hizo un
descubrimiento matemtico de trascendencia en Occidente. Fue esta bsqueda la que a su vez gener los primeros
trabajos sobre la teora de grupos a finales del siglo XVIII y la teora de ecuaciones del matemtico francs variste
Galois a principios del XIX.
El matemtico francs Franois Vite llev a cabo importantes estudios sobre la resolucin de ecuaciones. La obra
Las aritmticas de Diofante ayud a Fermat a realizar importantes descubrimientos en la teora de nmeros.
Adems, Lagrange hizo contribuciones al estudio de las ecuaciones diferenciales y la teora de nmeros, y desarroll

la teora de grupos. El gran matemtico del siglo XVIII fue el suizo Leonhard Euler, quien aport ideas fundamentales
sobre el clculo y otras ramas de las matemticas y sus aplicaciones. En 1821, un matemtico francs, Augustin
Louis Cauchy, consigui un enfoque lgico y apropiado del clculo. Sin embargo, esta solucin plante un nuevo
problema, el de la definicin lgica de nmero real. Euler, Lagrange y el matemtico francs Joseph Fourier
aportaron soluciones, pero fue el matemtico alemn Peter G. L. Dirichlet quien propuso su definicin en los
trminos actuales. Entre estos sistemas se encuentran las cuaternas del matemtico irlands William Rowan
Hamilton, el anlisis vectorial del matemtico y fsico estadounidense Josiah Willard Gibbs y los espacios ordenados
de n dimensiones del matemtico alemn Hermann Gnther Grassmann. Los matemticos resolvieron este problema
construyendo teoras de conjuntos lo bastante restrictivas como para eliminar todas las paradojas conocidas,
aunque sin demostrar si estas teoras son consistentes. En la Conferencia Internacional de Matemticos que tuvo
lugar en Pars en 1900, el matemtico alemn David Hilbert expuso sus teoras. La conferencia de Hilbert en Pars
consisti en un repaso a 23 problemas matemticos que l crea podran ser las metas de la investigacin
matemtica del siglo que empezaba. El conocimiento matemtico del mundo moderno est avanzando ms rpido
que nunca.

En este tema, adems de definir tal concepto, se mostrar su significado y se hallarn las derivadas de las
funciones ms usuales. Es de capital importancia dominar la derivacin para despus poder abordar el
trazado de curvas, as como para comprender la utilidad del clculo integral, que se estudiarn en un
prximo curso.
La nocin de derivada es histricamente anterior al concepto de lmite aunque actualmente se estudie
aqulla inmediatamente despus de ste, por razones que sern fcilmente comprensibles.
La derivada de una funcin en un punto x0 surge del problema de calcular la tangente a la grfica de la
funcin en el punto de abscisa x0, y fue Fermat el primero que aport la primera idea al tratar de buscar los
mximos y mnimos de algunas funciones. En dichos puntos las tangentes han de ser paralelas al eje de
abscisas, por lo que el ngulo que forman con ste es de cero grados. En estas condiciones, Fermat
buscaba aquellos puntos en los que las tangentes fueran horizontales

La derivada como tal, paradjicamente, no existe en la naturaleza, es la herramienta

ms poderosa inventada por el hombre que sirve para explicar el desarrollo
dinmico de la mayora de los fenmenos naturales.. El ao de su invento se
llama

annus mirabilis, que fue el ao en que Isaac Newton estableci

la Teora de la Gravitacin Universal y el Clculo Diferencial, y este "ao

maravilloso" fue el de 1666. (En rigor trabaj entre 1665 y 1666). Desde hace
2006 - 1666 = 340 aos (suponemos que usted lee estos apuntes en el ao 2006,
conforme lo lea en aos venideros efectu la resta pertinente) la herramienta
matemtica llamada derivada parece inmutable explicando la gran parte de los
fenmenos de la naturaleza.
Histricamente la derivada sirvi para el estudio de la posicin dinmica de un objeto a
travs del tiempo. Esto es si la posicin de un objeto es conocida en cualquier
momento entonces podemos conocer la velocidad de su desplazamiento. Sin
embargo este concepto se puede extender a problemas de crecimiento, de
cualquier tipo de crecimiento. En efecto, supongamos que conocemos la cantidad
de seres vivos en cualquier instante de tiempo, que denotaremos como N(t). Esto
es, N(t) es la cantidad de seres vivos que hay en el instante de tiempo t. De
manera que N(t + t) ser la cantidad de seres vivos que hay en el instante de
tiempo t + t. Y entonces el crecimiento (o decrecimiento) de seres vivos en el
intervalo de tiempo [t , t + t] ser de
N( t + t) - N( t )

(1)

De otra forma, el valor que resulta de la expresin en (1) es la cantidad de crecimiento

neto durante el intervalo de tiempo [t , t + t]. Ahora si la cantidad obtenida en
(1) es negativa se interpretar como la cantidad de decrecimiento en el intervalo
[t , t + t]. Como quiera que sea hablaremos de crecimiento (entendiendo que si
es negativa, pasar a ser decrecimiento). Podemos hacernos la siguiente pregunta
Cuntos seres vivos nacen por unidad de tiempo, en el ntervalo [t , t + t]? Y la
respuesta es claramente la siguiente:

(2)

Esto es, la divisin entre el crecimiento por la longitud del intervalo en estudio. Observe
que las unidades de (2) son nmero de seres vivos por unidad de tiempo. Adems
el valor de la expresin (2) va a depender del valor de t, esto es de la longitud del
intervalo [t , t + t]. A medida que este intervalo sea ms pequeo, para un
instante de tiempo t fijo, la cantidad en (2) eventualmente puede ir variando (o a
lo mejor no). Pues bien, lo que invent Newton es ver si la expresin dada en (2),
que en su honor se llama el cociente de Newton, converge a un nmero
cuando t es una cantidad "pequesima". Qu significa "pequesima" en
nuestro contexto? Significa simplemente una cantidad muy prxima al cero. Y la
accin de ir evaluando el cociente de Newton para valores pequesimos de t los
matemticos lo escriben como

(3)
Y la lectura es la siguiente "lmite del cociente de Newton cuando t tiende a cero". Si
la cantidad (3) existe entonces se llama la derivada de la funcin N(t) , evaluada
en el tiempo t. Y se escribe como

(4)
Volvemos a insistir que el nmero N `(t) tiene como unidades, en nuestro ejemplo,
nmero de seres vivos que nacen por unidad de tiempo.
La expresin (4) no se "ve" en la naturaleza, y esto es a causa del complejo proceso de
lmite. Sin embargo, una vez que tengamos calculada la expresin dada en (4)
podemos decir que en un intervalo [ t , t + t] bastante pequeo, es decir para
un t determinado y muy pequeo, tenemos que

de tal manera que

despejando N(t + t) nos queda
(5)
Y esta ecuacin s que existe en la naturaleza.
La ecuacin dada en (5) tiene la siguiente interpretacin sencilla. Los seres vivos que
hay en el tiempo t + t ser igual a la cantidad de seres vivos que haba en t ms
la cantidad de seres que nacen en el intervalo [t , t + t]. Y los seres que nacen
en el intervalo de tiempo t es aproximadamente N( t ).t (nmero de seres vivos
que nacen por unidad de tiempo multiplicado por el tiempo transcurrido).
Ejemplo 1.

Veamos un sencillo ejemplo. Supongamos que el crecimiento de un determinado tipo

de bacterias sigue el crecimiento exponencial de la forma
(6)
donde tanto N( 0 ) como k son constantes conocidas, y evidentemente N( 0 ) significa
el nmero de bacterias que hay al inicio del estudio (de otra forma, el nmero de
bacterias en el tiempo t = 0). Entonces, el nmero de bacterias que habr en el
tiempo t + t ser de

Luego el crecimiento efectivo en el intervalo de tiempo [ t , t + t] ser de

y en consecuencia el nmero de bacterias que nacen por unidad en el intervalo [ t , t

+ t] ser

La derivada de (6) estar calculada toda vez que sepamos calcular el siguiente lmite

y no es difcil verificar que este lmite es precisamente

De manera tal que la derivada, o de otra forma, la "velocidad de crecimiento de las

bacterias", o de otra forma el nmero de bacterias que crecen por unidad de
tiempo es de
(7)
Observemos que la expresin (7) nos dice que puede haber un crecimiento negativo
si k es negativo.
Notemos que N( t ) es la funcin que denota el nmero de bacterias que hay en el
tiempo t, y N( t ) es la funcin que denota el nmero de bacterias que nacen por
unidad de tiempo, en el instante t.
Ejemplo 2.

Veamos un ejemplo ms sencillo. Suponga que la posicin de una partcula que se

mueve horizontalmente est determinada por la ecuacin f( t ) = t2 + 3 t + 5.
Aclaremos que f( t ) tiene unidad de distancia yt tiene unidad de tiempo, metros y
segundos, respectivamente, por ejemplo. Vamos a estudiar el comportamiento
dinmico de esta partcula. En el instante t + t el mvil se
encuentra en

de manera que el "cambio de posicin" del mvil desde el

tiempo t hasta el tiempo t + t est dado por

Formando el cociente de Newton, nos queda:

Este cociente significa el cambio de desplazamiento por unidad de tiempo, o si se
quiere la variacin del desplazamiento por unidad de tiempo.
Si hacemos que t tienda a cero obtenemos la derivada, esto es:
La unidad de esta derivada es unidad de distancia por unidad de tiempo, esto es
unidad de velocidad. De manera que en este caso la derivada de la funcin
corresponde a la velocidad. Y su interpretacin es muy sencilla a la luz de la
ecuacin (5). En efecto

que nos dice que la nueva posicin del mvil en el instante t + t es igual a la antigua
posicin en el tiempo t ms lo que se ha desplazado durante el intervalo de
tiempo [t , t + t], y este desplazamiento es justamente la velocidad por el
tiempo t transcurrido.

La nocin de derivada es histricamente anterior al concepto de lmite aunque

actualmente se estudie aqulla inmediatamente despus de ste, por razones que
sern fcilmente comprensibles.
La derivada de una funcin en un punto x 0 surge del problema de calcular la tangente a
la grfica de la funcin en el punto de abscisa x 0, y fue Fermat el primero que aport la
primera idea al tratar de buscar los mximos y mnimos de algunas funciones. En

dichos puntos las tangentes han de ser paralelas al eje de abscisas, por lo que el
ngulo que forman con ste es de cero grados. En estas condiciones, Fermat buscaba
aquellos puntos en los que las tangentes fueran horizontales.
En geometra, la derivada de una funcin en un punto representa el valor de la
pendiente de la recta tangente en dicho punto. La pendiente est dada por la tangente
del ngulo que forma la recta tangente a la curva, una funcin, con el eje de las
abscisas, en ese punto.
La derivada de una funcin mide el coeficiente de variacin de dicha funcin. Provee
una formulacin matemtica de la nocin del coeficiente de cambio. El coeficiente de
cambio indica lo rpido que crece o decrece una funcin en un punto como razn de
cambio promedio respecto del eje de un plano cartesiano de dos dimensiones.
La derivada de la funcin en el punto marcado equivale a la pendiente de la recta
tangente en dicho punto
El concepto de derivada es uno de los dos conceptos centrales del clculo infinitesimal.
El otro concepto es la antiderivada o integral; ambos estn relacionados por el teorema
fundamental del clculo. A su vez, los dos conceptos centrales del clculo estn
basados en el concepto de lmite, el cual separa las matemticas previas, como
lgebra, trigonometra o geometra analtica, del clculo. Quiz la derivada es el
concepto ms importante del clculo infinitesimal.
La derivada es un concepto que tiene muchas aplicaciones. Se aplica en aquellos casos
donde es necesario medir la rapidez con que se produce el cambio de una magnitud o
situacin. Es una herramienta de clculo fundamental en los estudios de fsica, qumica
y biologa, o en ciencias sociales como la economa y la sociologa. Cuando se refiere a
la grfica de dos dimensiones de f, se considera la derivada como la pendiente de la
recta tangente del grfico en el punto x. Se puede aproximar la pendiente de esta
tangente como el lmite cuando la distancia entre los dos puntos que determinan una
recta secante tiende a cero, es decir, se transforma la recta secante en una recta
tangente.

Con

esta

interpretacin,

pueden

determinarse

muchas

propiedades

geomtricas de los grficos de funciones, tales como concavidad o convexidad.

Algunas funciones no tienen derivada en todos o en alguno de sus puntos. Una funcin
no tiene derivada en los puntos en que se tiene una tangente vertical, una
discontinuidad o un punto anguloso. Gran cantidad de las funciones que se consideran
en las aplicaciones son continuas y su grfica es una curva suave la que es susceptible
de derivacin.
Las funciones que son diferenciables o derivables, si se habla en una sola variable, son
aproximables linealmente.

La derivada en un punto x para la funcin

existe en el punto

es la pendiente o inclinacin que

. En la grfica de una funcin, la pendiente representa la

rapidez con que cambia dicha funcin: si la pendiente es muy grande, entonces la
funcin en este punto crece muy deprisa; si la pendiente es muy pequea, entonces la
funcin crece muy despacio en ese punto. En trminos geomtricos, est pendiente es
la inclinacin de una lnea recta que toca el punto en el que se evala la derivada de la
funcin. Esta inclinacin como valor numrico depende de la forma que tiene la funcin
en esa zona del grfico que la representa en el plano cartesiano.
Derivar una funcin no es en absoluto complicado si se sabe utilizar las reglas de
derivacin descubiertas por Leibniz e Isaac Newton. Se puede comparar el proceso que
lleva a una regla de derivacin al proceso utilizado para obtener la famosa solucin que
resuelve las ecuaciones de segundo grado de forma automtica, y que est descrito en
la mayora de libros de texto. Se requiere un poco de prctica para aplicar
correctamente la reglas de derivacin sin caer en errores elementales.

6.6 FUNCIONES CNCAVAS Y CONVEXAS

Una funcin es convexa en un intervalo si las rectas tangentes a la funcin en ese
intervalo estn por debajo de la funcin. Una funcin es cncava en un intervalo si
las rectas tangentes a la funcin de ese intervalo estn por encima.

Funcin convexa.
La denominacin de convexidad y concavidad depende del punto de vista que se
adopte para considerar que es una concavidad, esto es si se mira a la funcin desde
arriba o desde abajo. Convexas son las funciones que se curvan hacia abajo, al
contrario de la definicin que se acaba de dar en los anteriores prrafos.
Las tcnicas del anlisis diferencial permiten determinar si una funcin es creciente,
decreciente, cncava o convexa a travs del estudio de las derivadas sucesivas de la
funcin.

6.6.1 CONCAVIDAD
La concavidad, de una curva o una superficie, es la zona que se asemeja al interior de
una circunferencia o al de una superficie esfrica; es el concepto opuesto a la
convexidad.

Se dice que una funcin f es cncava cuando la funcin opuesta -f es convexa. Tambin se
puede definir demostrando que el dominio situado por debajo de la curva de f es
convexo.

Todas las propiedades se consiguen cambiando un signo ( por , + por -) a las

correspondientes propiedades de la convexidad: una funcin dos veces derivable es
cncava si y slo si

f"(x) 0.
Importantes funciones cncavas son las parbolas orientadas hacia abajo:
y = ax + bx + c,

con a < 0;

y sobre todo el logaritmo, cuya concavidad interviene en muchas demostraciones en el

campo del anlisis.

6.6.2 FUNCIN CONVEXA

Funcin convexa
Se dice que una funcin real, definida sobre un intervalo es convexa si el dominio del
plano situado por encima de su curva lo es.
Para cualquier par (x, x') en el intervalo I, y cualquier t en [0;1]:
f(tx+(1-t)x') tf(x) + (1-t)f(x).

La hiprbola y =

(con x > 0),

las parbolas y = ax2 + bx + c,

con a 0 y x real variable,

la funcin exponencial y = ex.

Desigualdad de la convexidad
Si la funcin f es derivable entonces la convexidad equivale a la condicin siguiente:

que significa que la pendiente de la cuerda entre dos puntos x y x' est contenida
entre los valores extremos de la derivada. Esto equivale al que la derivada sea
creciente, en todo el dominio de f '.
Si f" es dos veces derivable, lo anterior significa que la derivada segunda es positiva:
f"(x) 0.
Es fcil verificar que los tres ejemplos anteriores son convexos:

positivo cuando x > 0;

(ax2 + bx + c)" = 2a

>0

(ex)" = ex,
1. FUNCIN DISCONTINUA
Una funcin es discontinua si no es continua en un punto evaluado.
Clasificacin De La Discontinuidad
La discontinuidad de una funcin puede ser clasificada en:
7.1 EVITABLE
Cuando existe el
con
pero no coincide con el valor de f(a) ya sea
porque son distintos los valores o no existe f(a).
Dada

No existe f(2) pero si existe

7.2 ESENCIAL
Cuando se produce algunas de las siguientes situaciones:
Existen los lmites laterales pero no coinciden.
Alguno de los lmites laterales o ambos son infinitos.
No existe alguno de los lmites laterales o ambos.
7.3 DE PRIMERA ESPECIE O DE SALTO
7.3.1 CON SALTO

FINITO

Cuando existe el
siendo ambos finitos

lmite por la derecha y por la izquierda,

pero no coinciden.

La funcin signo

7.3.2 CON SALTO INFINITO O ASNTOTA

Cuando alguno de los lmites laterales o ambos no es finito. Puede ser asinttica por la
derecha, por la izquierda o por ambos lados.

7.4 DE SEGUNDA ESPECIE

Este tipo de discontinuidad se produce cuando no existe uno de los lmites laterales, o ambos.

CALCULO DIFERENCIAL E INTEGRAL II

TEOREMA DEL VALOR MEDIO
TEOREMA DEL VALOR MEDIO O DE LAGRANGE O DE LOS INCREMENTOS FINITOS PARA FUNCIONES DE
UNA VARIABLE INDEPENDIENTE.

Si la funcin y = f(x) es continua en [a,b] y derivable en (a,b), entonces :

(a,b) / f(b) - f(a) = (b -a). f ()
Grficamente:
y

f(b)
f()

B
C
y = f(x)

f(a)

x
a

Con el fin de aclarar el significado geomtrico de ste teorema de Lagrange, consideremos la figura anterior.
En ella, la magnitud (f(b) - f(a)) / (b - a) representa la tangente del ngulo de inclinacin de la cuerda que
pasa por los puntos A y B de la grfica y cuyas abscisas son a y b :
Tg = f(b) - f(a)
(considerando el triangulo ADB)
b-a
Por otra parte, f () representa, como ya sabemos, la tangente del ngulo de inclinacin de la recta tangente a
la grfica de y = f(x) en el punto de abscisa : Tg = f ()
De aqu resulta que f(b) - f(a) = f () que equivale a : f(b) - f(a) = (b - a) . f ()
ba

(1)

De modo que el significado geomtrico de la igualdad (1), el Teorema de Lagrange visto, es el siguiente: Si por cada punto del arco AB puede trazarse una tangente,
existir en este arco AB, entre A y B, un punto C tal que en ste la recta tangente sea paralela a la cuerda que une los puntos A y B.
Ahora, si hacemos h = b - a, ser b = a + h, y por lo tanto : 0 < < 1, / = a + . h
Entonces (1) se podr escribir:

f(a +h) - f(a) = h . f (a + . h)

(2)
con 0 < < 1
Finalmente, si escribimos y = f(a +h) - f(a), resultar de (2): y = h . f (a + h) , con 0 < < 1

TEOREMA DE ROLLE
Si y = f(x) es continua en [a ,b] y derivable en (a ,b) y f(a) = f(b), entonces (a,b) que cumple
=0

f ()

Grficamente:
y
y = f(x)
f(a) = f(b)

Este teorema tiene una interpretacin geomtrica muy sencilla. Si una curva contnua, con tangente en cada
uno de sus puntos, corta a una recta paralela al eje 0x en dos puntos de abscisas a y b, con a < b, entonces
en esta curva existir por lo menos un punto de abscisa con a < < b, en el cual la tangente es paralela al
eje 0x (por ser f () = 0).
TEOREMA DE CAUCHY
Si f(x) y g(x) son funciones continuas en [a ,b ], con g(a) g(b), y derivables en (a ,b ), con derivadas no
simultneamente nulas, entonces:
f ( x ) f (a )

f ()

x (a ,b] : a < < x / g ( x ) g (a ) g()

supuesto g(x) g(a).
O sea que el cociente de los incrementos de f y g es igual al cociente de las respectivas derivadas en un punto
, interior al intervalo [a,x].
TEOREMA GENERALIZADO DE CAUCHY
Si f(x) y g(x) son dos funciones derivables hasta el orden k en [a,b], tal que:
f(a) = f (a) =...........= f(k - 1)(a) = 0 (1)
g(x) , g(x) ,..........., g(k - 1)(x) son nulas nicamente en x = a
g(k)(x) 0 x [a ,b ], entonces:
f ( x ) f k ( )

x (a ,b ] : a < < x /
g ( x ) g k ( )

FORMULA GENERALIZADA DE Lagrange

Si f(x) es una funcin derivable en [a, b] hasta el orden k y se anula junto con sus (k - 1) primeras derivadas
en x = a, entonces:
x (a ,b] : a < < x / f(x) = (x - a)k . f (k) ()
k!
FORMULA DE MAC LAURIN PARA POLINOMIOS
Sea P(x) un polinomio de grado n en R, digamos: P(x) = a0 + a1 x + a2 x2 + ...+ a n x n x R
Queremos determinar los valores de los coeficientes a0 , a1 , a2 , ....., an en funcin de los valores que toma el
polinomio juntamente con algunas de sus derivadas en el punto x = 0 (0rgen).
P(x) = a0 + a1 x + ....... + aS xS + ..... + an xn
P(0) = a0 + 0 + 0 + ........+ 0 + ......+ 0 = a0
P(x) = a1 + 2 a2 x + .......+ s aS x S - 1 + .... +n an x n - 1
P(0) = a1 + 0 + 0 + ..... + 0 + .........+ 0 = 1! a1
P(x) = 2 a2 + 3 . 2 a3 x + ....... + s . (s - 1) aS x S - 2 + .... + n (n - 1) an x n -2
P(0) = 2 a2 + 0 + 0 + .......+ 0 + ...........+ 0 = 2 a2 = 2! a2
.......................................................................
P(n) (x) = n (n - 1) (n - 2) ......1 an x n - n = n! an
P(n) (0) = n! an
Por lo tanto, los coeficientes de P(x) resultan en funcin del valor del polinomio y sus n primeras derivadas
en x = 0, as :
a0 = P(0)
a1 = P(0)
1!
a2 = P(0)

2!
...............
a n = P(n)(0)
Finalmente, P(x) se puede rescribir as:
n!
P(x) = P(0) + P(0) x + P(0)

x2 + ........+ P(n) (0) x n , x R

1!
2!
n!
Esta ltima expresin recibe el nombre de FORMULA DE MAC LAURIN PARA UN POLINOMIO
FORMULA DE MAC LAURIN PARA UNA FUNCION f(x)
En general, la frmula de Mac Laurin para polinomios no podra aplicarse sin ms para una funcin
cualquiera f(x), derivable hasta el orden n en un entorno de x0 = 0, ya que en general f(x) no es un
polinomio:

f ( x ) f ( 0)

f (0)
f (0) 2 f (0) 3
f n ( 0) n
.x
.x
.x ........
.x
1!
2!
3!
n!

y al segundo miembro le faltara algo para completar la funcin f(x).

Si llamamos Tn (x) a ese algo que hara posible la igualdad de ambos miembros, una funcin de la variable
x, tendramos:
f ( x ) f (0)

f (0)
f (0) 2 f (0) 3
f n (0) n
.x
.x
.x ........
.x Tn ( x ) x
1!
2!
3!
n!

Esta ltima expresin se denomina Frmula de Mac Laurin para una funcin f(x) derivable hasta el orden
n en un entorno de x =0. La funcin Tn (x) recibe el nombre de Trmino Complementario o Resto, y
trataremos de encontrar una expresin para l mas adelante.
FORMULA DE TAYLOR PARA UNA FUNCION f(x)
La frmula de Mac Laurin para funciones que hemos visto, est desarrollada alrededor de x = 0, esto es,
considerando los valores de f(x) y de f(x) (n) en x = 0. Es evidente que se podran tener frmulas similares
alrededor de cualquier punto x = a conveniente, es decir, en un entorno de x = a.
Grficamente:
En la frmula de Mac Laurin:
x

0
x
(I)
entorno de x0 = 0 Tambin, si entorno de x0 = a, convenientemente:
h

a+h

(II)

Entonces, segn (I) y (II), reemplacemos en la frmula de Mac Laurin para f(x) indicada antes:
el punto 0 por el punto a , el punto xpor el punto a + h , la longitud x h
y resultar as la Frmula de TAYLOR para f(x) siguiente.
f ( a h ) f (a )

f (a )
f (a ) 2 f (a ) 3
f n (a ) n
.h
.h
.h ........
.h Tn (a h ) x entorno abierto de
1!
2!
3!
n!

x = a.
Ahora, si hacemos a + h = x en (II)
x-a

a
x
(III)
Tendremos, haciendo los cambios respectivos segn (III) y teniendo en cuenta (II)
f ( x ) f (a )

f (a )
f (a )
f (a )
f n (a )
.( x a )
.( x a ) 2
.( x a )3 ........
.( x a ) n Tn ( x )
1!
2!
3!
n!

entorno abierto de x0 = a
Lo anterior es otra presentacin de la frmula de Taylor para f(x).

EXPRESION DEL RESTO EN LA FORMULA DE TAYLOR

x ,

Es obvio que para que una f(x) pueda expresarse mediante la frmula de Taylor o de Mac Laurin, debe ser
derivable por lo menos hasta el orden n en un entorno abierto de x = a o bien de x = 0, respectivamente.
Supongamos, ahora, que f(x) es derivable hasta el orden n + 1 en un entorno abierto de x = a y encontremos
una expresin para el trmino complementario Tn (x).
Como por la frmula de Taylor para f(x) es:

f ( x ) f (a )

f (a )
f (a )
f (a )
f n (a )
.( x a )
.( x a ) 2
.( x a )3 ........
.( x a ) n Tn ( x )
1!
2!
3!
n!

resultar que:
Tn ( x ) f ( x ) f (a )

f (a )
f (a )
f (a )
f n (a )
.( x a )
.( x a ) 2
.( x a ) 3 ........
.( x a ) n
1!
2!
3!
n!

es derivable hasta el orden (n + 1) en .

Adems:

Tn (a) = f(a) - f(a) - 0 - 0 - ........- 0 = 0

Ahora:

Tn (x)=f (x) - f (a) - f (a)

(x-a) _ f (a) (x-a) _ ..... _ f(n) (a) (x-a)n-1
1!
2!
(n-1)!
Tn (a) = f (a) - f (a) - 0 - 0 -.......- 0 = 0 Tambin:
Tn (x) = f (x) - f (a) - f (a) (x - a) - ........ _ f(n) (a) (x - a)n - 2
(n - 2)!
Tn (a) = f (a) - f (a) - 0 - 0 - ........ - 0 = 0
....................................................................
Finalmente:
Tn(n) (x) = f(n) (x) - f(n) (a)
Tn(n) (a) = f(n) (a) - f(n) (a) = 0
y as:
Tn(n+1) (x) = f(n+1) (x)
(I)
Por lo tanto, Tn(x) es una funcin derivable hasta el rden (n + 1) en un entorno de x = a, tal que se anula
conjuntamente con sus n primeras derivadas en x = a.
Por ello, podemos utilizar la Frmula generalizada de Lagrange , y entonces:
Tn ( x )

( x a ) n 1
( n 1)
Tn
()
( n 1)!

con a < < x o bien x < < a

Pero:

Tn

( n 1)

() f n

( n 1)

() por (I) en consecuencia Tn ( x )

( x a ) n 1 ( n 1)
fn
()
(n 1)!

con a < < x o bien x < < a, que es la expresin de Lagrange para el trmino complementario.

Entonces, reemplazando en la frmula de Taylor para f(x), obtendremos:

f ( x ) f (a )

f (a )
f (a )
f (a )
f n (a )
( x a ) ( n 1) ( n 1)
.( x a )
.( x a ) 2
.( x a )3 ........
.( x a ) n
f
( )
1!
2!
3!
n!
( n 1)!

x , con a < < x o bien x < < a, que es la llamada Frmula de Taylor con la expresin de Lagrange
para el resto.

Observaremos que tambin podemos escribir :

= a + h, con 0 < < 1 y h = x - a.

Finalmente, si hacemos a = 0 en la anterior expresin de f(x), tendremos la Frmula de Mac Laurin con la
expresin de Lagrange para el trmino complementario: x :
f ( x ) f ( 0)

f (0)
f (0)
f (0)
f n ( 0)
( x ) ( n 1) ( n 1)
.( x )
.( x ) 2
.( x ) 3 ........
.( x ) n
f
(x )
1!
2!
3!
n!
(n 1)!

con 0 < < 1, pues hemos tomado = x

FORMULAS DE TAYLOR Y MAC LAURIN PARA FUNCIONES DE DOS VARIABLES INDEPENDIENTES

Dada una funcin z = f(x,y) que sea diferenciable hasta el orden (n + 1) en un entorno abierto del punto
A(a ,b), trataremos de aproximar el valor de la funcin f(x,y) en todo punto B(a + h, b + k) de dicho entorno
mediante un polinomio en h y k, en menos de un trmino complementario Tn.
Sean, entonces, A(a ,b) R, entorno abierto, circular o rectangular, de A(a,b), z = f(x,y) una funcin
diferenciable hasta el orden (n + 1) en y B(a + h, b + k) .

y
b +k
y
b

B
P
A

P
a

C
a +h

Sea P(x ,y) un punto variable sobre el segmento de recta AB .

Los tringulos APP y ACB son semejantes, ver figura anterior.
Entonces, tendremos:
AP = AP = PP = t ,
AB
AC
CB

con 0 t 1 (1)

t = 0 => AP = 0 => P A
t = 1 => AP = AB ==> P B
t = AP = x - a
AC
h
t = PP = y - b
CB
k
y resolviendo esto en x e y, obtendremos:

volviendo a (1), resulta que es:

x = a + h . t = x(t)

para t [0,1]

(ecuaciones paramtricas del segmento de recta AB )

y = b + k . t = y(t)
As, para P(x ,y) variable sobre AB, resultar z = f(x ,y) = f [ x(t), y(t) ] = F(t), con t [0,1], funcin compuesta de la variable t.

Por otra parte, como z = f(x ,y) es diferenciable hasta el orden (n + 1) y x(t), y(t) son derivables (son lineales),
resulta que F(t) = f [ x(t), y(t) ] es derivable hasta el orden (n + 1). Entonces, usando la frmula de Mac Laurin
para F(t):
F(t) = F(0) + F(0) t + F(0)

t + ....... + F(n) (0) tn + F(n+1) (t) tn+1

1!
2!
n!
(n + 1)!
Haciendo t = 1 en lo anterior, tenemos:
F(1) = F(0) + F(0) + F(0)
+ ....... + F(n) (0) + F(n + 1) ()
1!
2!
n!
(n + 1)!

(2)

con 0 < < 1

con 0 < < 1

Ahora, analizando (2) observamos que:

F(1) = f(a + h . 1, b + k . 1) = f(a + h, b + k)

F(0) = f(a + h . 0, b + k . 0) = f(a ,b)
F(t )

dF( t ) df x ( t ), y( t )
f x ( t ), y( t ) dx f x ( t ), y( t ) dy

.
dt
dt
x
dt
y
dt

F(t )

dF( t ) df x ( t ), y( t )
f x ( t ), y( t )
f x ( t ), y( t )

.h
.k
dt
dt
x
y

F(t )
h
k f (a h.t , b kt ) df (a h.t , b k.t ) H x ( t ), y( t )
y
x

F(0)
h
k f (a , b) df (a , b)
y
x

dF(t ) dH x ( t ), y( t )

dt
dt

F(t )

(por lo visto cuando obtuvimos F(t) )

h
k H x ( t ), y( t )
h
k
h
k f (a ht , b kt )
y
y x
y
x
x

h
k

f (a ht , b kt )

h
k
y
x

F(0)

f (a , b ) d 2 f (a , b )

F n (0)
h
k

F n 1 ( t )
h
k
y
x

n 1

F n 1 ()
h
k

f (a , b ) d n f ( a , b )

f (a ht , b kt ) d n 1 f (a h.t , b k.t )
n 1

f (a h, b k) d n 1 f (a h., b k.)

y haciendo los reemplazos correspondientes en (2), llegaremos a:

f (a h , b k ) f (a , b)

h
k

n! x
y

h
k f (a , b)
h
k

1! x
y
2! x
y

f (a , b )

h
k

n 1! x
y

f (a , b) ...

n 1

(3) con 0 < < 1

f (a h , b .k )

Si en (3), pasamos al primer miembro el primer trmino del segundo miembro, y teniendo en cuenta que f(a+h, b+k) - f(a,b) = z, podremos escribir:

df (a , b) d 2 f (a , b)
d n f (a , b) d n 1f (a .h , b .k )

..............

1!
2!
n!
( n 1) !

(4) , con 0 < < 1

Si ahora hacemos en (3) h = x - a, k = y - b, resultar que x = a + h, y = b + k; Luego, haciendo los

correspondientes reemplazos en (3), se tendr (x,y) entorno de A(a,b):
f (x, y) f (a, b)

(x a)
( y b) f (a, b) ...
(x a)
( y b)
1! x
y
n! x
y

(x a)
( y b)

n 1! x
y

n 1

f a (x a), b .( y b)

f (a, b)

(5)

(3), (4) y (5) constituyen tres presentaciones diferentes de la Frmula de Taylor para una funcin de dos
variables independientes z = f(x,y). Finalmente, si en la frmula de Taylor (5) hacemos (a ,b) = (0,0), o sea
que la desarrollamos a f(x,y) en un entorno del origen (0,0), resulta la Frmula de Mac Laurin para una
funcin de dos variables independientes z = f(x,y).

NOTA:

Las frmulas de Taylor y de Mac Laurin vistas para funciones de dos variables independientes se puede
generalizar, con similar demostracin de las mismas, para funciones de n variables independientes.
La frmula de Taylor para funciones de varias variables independientes permite, al igual que aquella para
funciones de una variable independiente, aproximar funciones en un entorno de un punto establecido, que
sean diferenciables hasta un orden dado en dicho entorno, mediante polinomios de varias variables. El error
que se comete en dicha aproximacin est dado por el trmino complementario.