Professional Documents
Culture Documents
Teorema
Derivada de una constante por una funcin
H) f es derivable en x=a
T) (kf(a))' = k.f'(a)
Demostracin:
f'(a)
------^------
k.f(x) - k.f(a) (f(x) - f(a))
(k.f(a))' = lim ---------------- = lim k ------------- = k.f'(a)
x->a x-a x->a x-a
Nota:
El teorema anterior da el valor de la derivada en el punto a. Como a es un punto
genrico, lo sustituimos por x y tenemos la funcin derivada:
(kf)'(x) = k.f'(x), si f es derivable en x.
Teorema
Derivada de la suma
La derivada de una suma de funciones es la suma de las derivadas de cada funcin.
f'(a) g'(a)
(*) g(a) -----^----- -----^-----
-^- (f(x) - f(a)) (g(x) - g(a))
lim g(x)------------- + f(a)------------- = f'(a).g(a) + g'(a).f(a)
x->a (x-a) (x-a)
(*) Pues g es derivable en a => (teorema) g es continua en a
=> (def. de continuidad) existe g(a) y limx->ag(x)=g(a).
Notas:
(f.g)'(x) = f'(x).g(x) + f(x).g'(x).
Generalizacin para tres funciones:
(f(x).g(x).h(x))' = f'(x).g(x).h(x) + f(x).g'(x).h(x) + f(x)g(x).h'(x)
Ejemplo
(x2.sen x)' = 2xsen x + x2cos x
Teorema
Derivada del cociente
H) f es derivable en x=a, g es derivable en x=a, g(a) distinto de 0
T) f/g es derivable en x=a
(f/g)'(a) = (f'(a).g(a) - f(a).g'(a))/g2(a)
Demostracin:
(f/g)(x) - (f/g)(a) f(x)/g(x) - f(a)/g(a)
(f/g)'(a) = lim ------------------- = lim ---------------------
x->a x-a x->a x-a
f'(a) g'(a)
-----^----- -----^-----
(f(x) - f(a)) (g(x) - g(a))
g(a)------------- - f(a)------------- g(a)f'(a) - f(a)g'(a)
lim x-a x-a = --------------------
x->a ------------------------------------ g2(a)
g(x)g(a)
'--> g(a) (*)
(*) Pues g es derivable en a => (teorema) g es continua en a
=> (def. de continuidad) existe g(a) y limx->ag(x)=g(a).
Nota:
(f/g)'(x) = (f'(x)g(x) - f(x)g'(x))/g2(x).
Ejemplo
(cos x)x2 - (sen x)2x xcos x - 2sen x
(sen x/x2)' = --------------------- = ---------------
x4 x3
Teorema
Derivada de la funcin compuesta
Regla de la cadena
H) f es derivable en x=a, g es derivable en x=f(a)
T) gof es derivable en x=a
(gof)'(a) = g'[f(a)].f'(a)
Demostracin:
g[f(x)] - g[f(a)]
(gof)'(a) = [g[f(x)]'(a) = lim ----------------- =
x->a x-a
g'[f(a)] f'(a)
--------^-------- ----^----
g[f(x)] - g[f(a)] f(x) - f(a)
lim ------------------ . ---------- = g'[f(a)].f'(a)
x->a f(x) - f(a) x-a
Nota:
(gof)'(x) = g'[f(x)].f'(x).
Ejemplo 1
h(x) = ex2 + 2x
h es la composicin de g(x) = ex y f(x)=x2 + 2x.
h'(x) = g'[f(x)].f'(x) = ex2+2x.(2x + 2)
Ejemplo 2
h(x) = sen(x2)
h es la composicin de g(x)=sen x y f(x)=x2.
h'(x) = g'[f(x)].f'(x) = cos (x2).2x
Teorema
Derivada de la funcin inversa
H) f es derivable en x=a (f'(a) distinto de 0)
f-1(x) es continua en f(a)
T) f-1 es derivable en x=f(a).
[f-1(f(a))]' = 1/f'(a)
Demostracin:
Queremos calcular
f-1(x) - f-1(f(a)) f-1(x) - a
lim ----------------- = lim ------------
x->f(a) x - f(a) x->f(a) x - f(a)
Definamos g(x)=(f(x) - f(a))/(x - a) para todo x distinto de a.
Consideremos (gof-1)(x) / (gof-1)(x) = g[f-1(x)]
1) lim f-1(x) = a pues f-1(x) es continua en f(a) por H)
x->f(a)
f(x) - f(a)
2) lim g(x) = lim ----------- = f'(a) pues f es derivable en a
x->a x->a x - a por H)
=> De 1) y 2) por lmite de la funcin compuesta
lim g[f-1(x)] = f'(a)
x->f(a)
f-1(x) - a 1
=> lim ------------ = -----
x->f(a) x - f(a) f'(a)
Nota:
(f-1)'(f(x)) = 1/f'(x).
Ejemplo
y = f(x) = ex
x = f-1(y) = Ly f
Ly = x ----------> ex = y
f-1'(f(x)) = 1/f'(x) = 1/ex = 1/y
<----------
As, la derivada de Ly es 1/y.
f-1
Teoremas de Rolle y de Lagrange
Teorema de Rolle
Michael Rolle (1652-1719)
Si una funcin es continua en un intervalo cerrado [a,b], derivable en el intervalo abierto
(a,b) y f(a)=f(b), entonces existe al menos un punto c entre a y b para el cual f'(c)=0.
H) f es continua en [a,b]
f es derivable en (a,b)
f(a)=f(b)
T) Existe c perteneciente a (a,b) / f'(c)=0
Interpretado geomtricamente, significa que si una curva alcanza el mismo valor en dos
puntos, entonces debe poseer una tangente horizontal en algn punto intermedio.
Demostracin:
f es continua en [a,b] => por teo. de Weierstrass f tiene mximo absoluto M y mnimo
absoluto m en [a,b].
Para todo x perteneciente a [a,b] m <= f(x) <= M.
Existe x1 perteneciente a [a,b] / f(x1)=M.
Existe x2 perteneciente a [a,b] / f(x2)=m.
Si m = M => para todo x perteneciente a [a,b] f(x) = M => f'(x) = 0
Sino, m < M => por lo menos uno de los puntos, x1 o x2, corresponde al interior del
intervalo, a (a,b), por ejemplo x2.
=> (a,b) se comporta como un entorno de x2.
Se cumple que para todo x perteneciente a (a,b) f(x2) <= f(x)
=> Por def. de mnimo relativo f presenta un mnimo relativo en x2. (1)
f es derivable por hiptesis. (2)
De 1) y 2), por Condicin necesaria para la existencia de extremos relativosf'(x2)=0
Teorema de Lagrange o del valor medio
Joseph Louis Lagrange (1736 - 1813)
Si f(x) es continua en el intervalo cerrado [a,b] y derivable en todo punto del intervalo
abierto (a,b), entonces existe al menos un punto c donde f'(c) = (f(b) - f(a))/(b - a).
f(x)=x2
Intuitivamente, la continuidad significa que un pequeo cambio en la variable x implica
slo un pequeo cambio en el valor de f(x), es decir, la grfica consiste de un slo trozo
de curva.
f(x)=sgn x
En contraste, una grfica como la de la funcin f(x) = sgn x (signo de x) que consiste de
pedazos de curva separados por un vaco en una abcisa exhibe all una discontinuidad.
La continuidad de la funcin f(x) para un valor a significa que f(x) difiere arbitrariamente
poco del valor f(a) cuando x est suficientemente cerca de a.
Expresemos esto en trminos del concepto de lmite...
Definicin
Continuidad
Una funcin f(x) es continua en un punto a si limx->af(x) = f(a).
Nota: observar que debe existir f(a) y debe existir el limx->a f(x) y debe ser igual a f(a).
Ejemplos de discontinuidad
f(x)= 1/x2
f(x) = x2 si x <= 2
2x - 4 si x > 2
Discontinua en x=2.
Sin embargo, si miramos la funcin para x prximos a 2 pero menores, e ignoramos los x
mayores que 2, la funcin es continua en 2 "por la izquierda".
Definicin
Continuidad por la izquierda
Una funcin f(x) es continua por la izquierda en el punto a si existe f(a) ylimx->a-f(x) = f(a).
Definicin
Continuidad por la derecha
Una funcin f(x) es continua por la derecha en el punto a si existe f(a) ylim x->a+f(x) = f(a).
La funcin anterior es continua por la izquierda en x=2, pero no por la derecha.
Definicin
Continuidad en un intervalo cerrado [a,b]
Una funcin f(x) es continua en un intervalo cerrado [a,b] si:
f es continua en a por la derecha
f es continua en b por la izquierda
f es continua en x, para todo x perteneciente al intervalo abierto (a,b)
Clasificacin de discontinuidades
Evitable
Caso A:
No existe f(a) pero existe limx->af(x).
Ejemplo:
f(x)= e-1/x2 + 2
f(x) = x2 si x2
8 si x=2
f(2) = 8
limx->2 f(x) = 4
Asignndole a la funcin el valor 4 en x=2, se elimina la discontinuidad.
No evitable
1 especie:
limx->a-f(x) limx->a+f(x).
(Los lmites laterales son distintos).
Ejemplo:
f(x) = x/(x - 2)
limx->2-f(x) = -inf
limx->2+f(x) = +inf
2 especie:
No existe limx->a-f(x) o no existe limx->a+f(x).
(No existe por lo menos uno de los lmites laterales).
Ejemplo:
______
f(x) = \|x2 - 4
Teorema de Bolzano
Antes de enunciar el teorema de Bolzano, veamos una definicin y una propiedad
relativas a sucesiones, que se emplearn en la demostracin de dicho teorema. (Por
ms detalles, visitar la pgina sobre sucesiones).
Definicin: Par de sucesiones montonas convergentes (PSMC)
((an),(bn)) es un PSMC <=>
1) (an) es creciente
(bn) es decreciente
2) Para todo n natural an < bn
3) Para todo > 0 existe h natural / bh - ah <
Propiedad: Todo PSMC tiene frontera
((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn,lim an = c- y lim bn =
c+.
Teorema de Bolzano
Bernhard Bolzano (1781-1848)
Si una funcin f(x) es continua en un intervalo cerrado [a,b] y f(a) y f(b) son de
distinto signo, existe por lo menos un punto entre a y b para el cual f(c)=0.
Es decir,
1) Los ai forman una sucesin creciente y los bi forman una sucesin decreciente.
2) Los ai son siempre menores que los bi.
Veamos cul es el limn->+inf bn - an.
bn - an es la longitud del intervalo [an,bn].
La longitud del intervalo [a1,b1] es (b - a)/2, la mitad de la longitud de [a,b] que es b
- a.
La longitud del intervalo [a2,b2] es (b - a)/22, la mitad de la longitud de [a1,b1] que es
(b - a)/2.
Y siguiendo de esta manera, la longitud del intervalo [an,bn] es (b - a)/2n.
De modo que,
3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0.
1), 2) y 3) son las condiciones de la definicin de PSMC:
an es creciente, bn es decreciente
Para todo n natural an < bn
Para todo >0 existe h natural / bh - ah < (que es lo mismo quelimn->+inf bn -
an = 0.)
Todo PSMC tiene la propiedad de definir un nmero frontera entre ambas
sucesiones.
((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c-y lim bn =
c+.
lim an = c- significa que para todo >0 existe n1 / para todo n>=n1c - < an < c.
lim bn = c+ significa que para todo >0 existe n2 / para todo n>=n2c < bn < c + .
O sea que tomando el mayor entre n1 y n2, llammosle n3, se cumplen ambas cosas.
Es decir, para todo >0 existe n3 / para todo n >= n3 c- < [an,bn] < c+.
Esto significa que, para cualquier entorno de c que consideremos, existe un
intervalo [an,bn] contenido en dicho entorno.
Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en c.
Por definicin de continuidad, limx->c f(x)=f(c).
Si f(c)<0, por teo. de conservacin del signo existe un entorno de c donde f(x) es
negativa.
Dentro de este entorno, existe un intervalo [an,bn], donde f(an) es de distinto signo
que f(bn). Esto es una contradiccin, por lo tanto f(c) no puede ser negativo.
Si f(c)>0, por teo. de conservacin del signo existe un entorno de c donde f(x) es
positiva.
Pero, otra vez, dentro de ese entorno existe un intervalo [an,bn] tal que f(an) es de
distinto signo que f(bn).
Por lo tanto, no existe otra posibilidad: f(c)=0.
Propiedad de Darboux
Gaston Darboux (1842-1917)
Si una funcin f(x) es continua en un intervalo cerrado [a,b] y k es cualquier nmero
entre f(a) y f(b), entonces existe un valor d entre a y b para el cual f(d)=k.
H) f continua en [a,b]
f(a) < k < f(b)
T) Existe d perteneciente a (a,b) / f(d)=k
Ejemplo
f(x) = x/(x-1)
limx->inf f(x) = 1
Ejemplo
f(x) = x + 1/x
Adems,
limx->0+ f(x) = +inf
limx->0- f(x) = -inf
=> x=0 es AV de f(x)
Teorema
y = mx + n es asntota oblicua de f(x) <=>
n = limx->inf f(x) - mx
m = limx->inf f(x)/x
Demostracin:
Directo:
Por hiptesis lim f(x) - (mx + n) = 0
x->inf
Sea ' el ngulo que la recta PP' forma con el eje x positivo.
Entonces limP'->P ' =
Considerando las coordenadas de los puntos P y P', se tiene:
f(x) - f(a) cateto opuesto
tan ' = ----------- ( ---------------- )
x-a cateto adyacente
As, nuestro proceso de lmite est representado por la ecuacin:
f(x) - f(a)
tan = lim tan ' = lim -----------
x->a x->a x - a
A este lmite se lo denomina derivada de la funcin f(x) en el punto a y se denota f'(a)
Definicin
Derivada en el punto a
Se llama derivada de f(x) en x=a, y se denota f'(a) a:
f(x) - f(a)
f'(a) = lim -----------
x->a x - a
Funcin derivada
La derivada es una funcin de x, puesto que un valor de f'(x) corresponde a cada valor
de x.
Teorema
Si una funcin es derivable, entonces es continua.
H) f es derivable en x=a.
T) f es continua en x=a.
Demostracin:
Por hiptesis, existe
f(x) - f(a)
lim ----------
x->a x - a
=> existe f(a) (1)
3 ___
f(x)= \|x2
no es derivable en x=0 pero es continua.
Derivada de x
Ejemplos de derivadas
1.
2.
3.
4.
5.
6.
7.
8.
9.