You are on page 1of 20

Reglas de derivacin

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.

H) f es derivable en x=a, g es derivable en x=a


T) f+g es derivable en x=a
(f+g)'(a) = f'(a) + g'(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(x) - f(a) g(x) - g(a)


= lim ----------- + ------------ = f'(a) + g'(a)
x->a (x-a) (x-a)
Notas:
En general (f+g)'(x) = f'(x) + g'(x), si f y g son derivables en x.
El teorema se extiende a ms de dos funciones.
Ejemplo
(x + Lx)' = x' + (Lx)' = 1 + 1/x
Teorema
Derivada del producto
H) f es derivable en x=a, g es derivable en x=a
T) f.g es derivable en x=a
(f.g)'(a) = f'(a).g(a) + f(a).g'(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(x).g(x) - f(a)g(a) + f(a)g(x) - f(a)g(x)


= lim ------------------------------------------ =
x->a (x-a)

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(x)g(a) - g(x)f(a) + f(a)g(a) - f(a)g(a)


= lim ----------------------------------------- =
x->a (x - a)g(x)g(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[f-1(x)] - f(a) x - f(a)


g[f-1(x)] = ---------------- = ----------
f-1(x) - a f-1(x) - 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).

H) f(x) es continua en [a,b]


f(x) es derivable en (a,b)
T) Existe c perteneciente a (a,b) / f'(c)=(f(b) - f(a))/(b - a)
Geomtricamente, (f(b) - f(a))/(b - a) es la tangente del ngulo que forma la secante que
pasa por los puntos A(a,f(a)) y B(b,f(b)) de la curva, con el eje ox.
f'(c) es la tangente del ngulo que forma la recta tangente a la curva en el punto c, con
el eje ox.
Entonces, el teorema expresa que existe al menos un punto en el intervalo (a,b) donde la
tangente a la curva es paralela a la recta que pasa por A y B.
Demostracin:
Definamos una funcin auxiliar g(x) = f(x) + hx, h perteneciente a R.
g es continua en [a,b] por ser suma de funciones continuas.
g es derivable en (a,b) por ser suma de funciones derivables.
Queremos que g(a) sea igual a g(b) para aplicar el teorema de Rolle
=> f(a) + ha = f(b) + hb => f(a) - f(b) = hb - ha = h(b - a)
f(a) - f(b)
=> h = -----------
b-a
=> por teo. de Rolle, existe c perteneciente a (a,b) / g'(c) = 0
g'(x) = f'(x) + h
f(b) - f(a)
g'(c) = f'(c) + h = 0 => f'(c) = -----------
b-a
Considrese por ejemplo, el caso donde x es el tiempo y f(x) la distancia de un automvil
desde su punto de partida a lo largo de cierto camino.
Entonces (f(b) - f(a))/(b - a) es la velocidad promedio del automvil en el perodo b - a.
(Recordar que velocidad = distancia/tiempo)
Por lo tanto f'(a)=limx->a (f(x) - f(a))/(x - a) es la velocidad del auto en el tiempo a.
Si por ejemplo el auto ha recorrido 200km. en 2 hs., la velocidad promedio fue de
100km. por hora.
Por el teorema de Lagrange podemos decir que, al menos en un momento durante esas
dos horas, el auto tuvo una velocidad de exactamente
Teoremas de Cauchy y L'Hpital
Teorema de Cauchy
Augustin Cauchy (1789-1857)
H) f(x) y g(x) continuas en [a,b]
f(x) y g(x) derivables en (a,b)
f'2(x) + g'2(x) distinto de 0 para todo x perteneciente a (a,b)
(Las derivadas no se anulan en el mismo punto del intervalo.)
g(a) distinto de g(b)
T) Existe c perteneciente a (a,b) /(f(b) - f(a))/(g(b) - g(a)) = f'(c)/g'(c)
Demostracin:
Sea h(x) = f(x) + kg(x)
1. h es continua en [a,b] por ser suma de funciones continuas en [a,b].
2. h es derivable en (a,b) por ser suma de funciones derivables en (a,b).
3. Queremos que h(a)=h(b) para aplicar el teorema de Rolle.
=> f(a) + kg(a) = f(b) + kg(b)
k(g(a) - g(b)) = f(b) - f(a)
k = (f(b) - f(a))/(g(a) - g(b))
De 1),2) y 3) por el teorema de Rolle existe c perteneciente a (a,b) /h'(c) = 0.
h'(x) = f'(x) + kg'(x)
h'(c) = f'(c) + kg'(c) = 0
f'(c)/g'(c) = -k
f'(c)/g'(c) = (f(b) - f(a))/(g(b) - g(a))
Teorema de L'Hpital
Franois Antoine de L'Hpital (1661-1704)
H) limx->a f(x) = limx->a g(x) = 0
Existe limx->a f'(x)/g'(x)
T) limx->a f(x)/g(x) = limx->a f'(x)/g'(x)
Demostracin:
Por H) existe f'(x) y g'(x) en un E*a => f y g son derivables en un E*a => (teorema) f
y g son continuas en E*a
A f(a) y g(a) les adjudicamos el valor 0 en a porque si son discontinuas en a es
una discontinuidad evitable.
f(a) = g(a) = 0
Supongo limx->a f'(x)/g'(x) = b => por definicin de lmite para todo Ebexiste un E*a /
para todo x perteneciente al E*a f'(x)/g'(x) pertenece al Eb.
Sea x perteneciente a un E*a
f y g son continuas en [x,a] y derivables en (x,a) => por el teorema de
Cauchy existe c perteneciente a (x,a) /(f(a) - f(x))/(g(a) - g(x)) = f'(c)/g'(c)
o sea f(x)/g(x) = f'(c)/g'(c)
c pertenece a un E*a => f'(c)/g'(c) pertenece a un Eb => f(x)/g(x) pertenece al Eb.
=> limx->a f(x)/g(x) = b => limx->a f(x)/g(x) = limx->a f'(x)/g'(x).
Ejemplo
2x - 2
lim ------ es una indeterminacin 0/0.
x->1 Lx

Derivemos el numerador y el denominador y veamos el lmite:


2 2x - 2
lim ------- = 2 => por L'Hpital lim ------ = 2
x->1 1/x x->1 Lx
ntinuidad

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

Discontinua en x=0 (No existe f(0))

f(x) = x2 si x <= 2
2x - 4 si x > 2

Discontinua en x=2.

Si bien existe f(2), no existe limx->2f(x), pues limx->2-


f(x)=4 y limx->2+f(x)=0

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

No existe f(0) pues anula un denominador.


limx->0-f(x) = limx->0+f(x) = 2 o sea limx->0f(x)=2
Podemos extender la definicin de la funcin, asignndole en el punto a el valor del
lmite, con lo cual la funcin se torna continua. Por ello este tipo de discontinuidad se
denomina evitable.
Caso B:
Existe f(a) y existe limx->af(x)=b pero bf(a).
(Existe f(a) pero es distinto al valor del lmite).
Ejemplo:

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

En x=-2 y x=2 la funcin presenta discontinuidades no evitables de 2 especie. No existe


limx->-2+f(x) y no existe limx->2-f(x).
Operaciones con funciones continuas
Si f y g son funciones continuas en x=a, la suma, multiplicacin y cociente de f y g (con
g(a) 0) son funciones continuas en x=a.
H) f(x) es continua en x=a.
g(x) es continua en x=a.
T) f(x) + g(x) es continua en x=a.
Demostracin
Por definicin de continuidad,
existe f(a) y existe limx->af(x) = f(a)
existe g(a) y existe limx->ag(x) = g(a)
=> por teo. lmite de la suma de funciones, el lmite de una suma de funciones es igual a
la suma de los lmites de cada funcin, si stos son finitos.
limx->a f(x) + g(x) = f(a) + g(a)
=> por def. de continuidad f(x) + g(x) es continua en x=a.
Anlogamente se prueba la continuidad del producto y el cociente.
Teorema
Continuidad de la funcin compuesta
H) f es continua en x=a.
g es continua en x=f(a).
T) g o f es continua en x=a.
Demostracin:
Queremos demostrar que limx->a g[f(x)]=g[f(a)], o sea, por definicin de lmite, queremos
probar que, dado >0 existe >0 tal que para todo x perteneciente al E*a, g[f(x)]
perteneciente al Eg[f(a)],.
Por hiptesis g es continua en f(a) => por def. de continuidadlimx->f(a) g(x)=g[f(a)] =>
por def. de lmite, dado >0 existe >0 tal que...
para todo x perteneciente al E*f(a), g(x) pertenece al Eg[f(a)], (1)
Por hiptesis f es continua en a => por def. de continuidad limx->af(x) = f(a), es decir que
(por def. de lmite) si tomamos el nmero de (1), existe >0 tal que...
para todo x perteneciente al E*a, f(x) pertenece al Ef(a), (2)
De (1) y (2) se deduce que:
Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Eg[f(a)],.

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.

H) f(x) continua en [a,b]


f(a).f(b) < 0
T) Existe c perteneciente a (a,b) / f(c) = 0

Geomtricamente, el teorema establece que si dos puntos (a,f(a)) y (b,f(b)) de la


grfica de una funcin continua estn situados en diferentes lados del eje x,
entonces la grfica intersecta al eje en algn punto entre a y b. Por supuesto que
pueden haber varias intersecciones.
Demostracin:
Supongamos que f(a)<0 y f(b)>0. (La demostracin sera anloga si supusiramos
f(a)>0 y f(b)<0.)
Consideremos el punto medio de [a,b]: (a+b)/2.
Si f((a+b)/2)=0 queda demostrado el teorema. Sino, f ser positiva o negativa en
(a+b)/2.
Tomemos una de las mitades del intervalo [a,b] donde la funcin sea negativa en un
extremo y positiva en el otro. Llamemos a1 y b1 a los extremos de este intervalo.
Ahora dividamos [a1,b1] a la mitad. Si f no vale cero en el punto medio, ser positiva
o negativa. Tomemos la mitad donde f tiene distinto signo en cada extremo, y
llamemos a estos puntos a2 y b2.
Si continuamos de esta manera, obtenemos una sucesin de intervalos [a,b],
[a1,b1], [a2,b2], etc., tales que a <= a1 <= a2 <= ... <= an yb >= b1 >= b2 >= ... >=
bn.

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

Sea g una funcin auxiliar: g(x) = f(x) - k.


1. g es continua en [a,b] por ser suma de funciones continuas
2. g(a) = f(a) - k < 0
3. g(b) = f(b) - k > 0
=> de 1), 2) y 3) por teorema de Bolzano, existe d perteneciente a (a,b) /g(d) = f(d)
-k=0
O sea, existe d perteneciente a (a,b) / f(d)=k.
Asntotas
Se llama asntota de una funcin f(x) a una recta t cuya distancia a la curva tiende a
cero, cuando x tiende a infinito o bien x tiende a un punto a.
Definicin
Asntota vertical
La recta x=a es asntota vertical (AV) de f(x) si limx->a+ f(x) = inf olimx->a- f(x) = inf.
Definicin
Asntota horizontal
La recta y=b es asntota horizontal (AH) de f(x) si limx->inf f(x) = b.

Ejemplo
f(x) = x/(x-1)

limx->1+ f(x) = +inf


limx->1- f(x) = -inf

=> x=1 es AV de f(x)

limx->inf f(x) = 1

=> y=1 es AH de f(x)


Definicin
Asntota oblicua
La recta y = mx + n es asntota oblicua (AO) de f(x) silimx->inf f(x) - (mx + n) = 0.

Ejemplo
f(x) = x + 1/x

limx->inf f(x) - x = limx->inf x + 1/x - x = 0

=> y=x es AO de f(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

=> lim f(x) - mx - n = 0


x->inf

=> lim f(x) - mx = n


x->inf
n
---^---
f(x) f(x) f(x) - mx
=> lim ---- = lim ---- - m + m = lim --------- + m = m
x->inf x x->inf x x->inf x
Recproco:
lim f(x) - (mx + n) = lim f(x) - mx - n = 0
x->inf x->inf
=> por definicin y = mx + n es asntota oblicua de f(x).
Derivada

Consideremos la tangente a la curva f(x) en el punto P(a,f(a)).


Cmo se obtiene el ngulo entre la tangente y el eje x positivo?
El conocimiento de los valores a y f(a) no basta para determinarlo, puesto que hay un
nmero infinito de rectas, aparte de la tangente, que pasan por P.
Tampoco es necesario conocer la funcin f(x) en su comportamiento global; el
conocimiento de la funcin en una vecindad arbitraria del punto P debe ser suficiente
para determinar . Esto indica que se debera definir la direccin de la tangente a una
curva f(x) mediante un proceso de lmite.
Consideremos un segundo punto P'(x,f(x)) sobre la curva, cercano a P.
Por los dos puntos P y P' se traza una lnea recta.
Si el punto P' se mueve a lo largo de la curva hacia el punto P, entonces la recta PP' se
aproxima a la tangente.

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)

lim f(x) = lim f(x) - f(a) + f(a) =


x->a x->a
f'(a) por H)
------^------ 0
(f(x) - f(a)) --^--
lim -------------(x - a) + f(a) = f(a) (2)
x->a x - a
De 1) y 2): existe f(a) y limx->af(x)=f(a) => por definicin de continuidad, f es continua en
x=a.
El recproco no es cierto. Una funcin puede ser continua en un punto pero no derivable.
Cualquier curva con una esquina o vrtice en un punto no posee ah una tangente. Esos
puntos se llaman singulares, y esas funciones, funciones singulares.

3 ___
f(x)= \|x2
no es derivable en x=0 pero es continua.

Derivada de las funciones elementales


1. f(x) = k
2.
3. k - k
4. f'(a) = lim ------- = 0
5. x->a x - a
6.
7. => f'(x) = 0
8.
9. f(x) = bx + c
10.
11. bx + c - ba - c b(x - a)
12. f'(a) = lim --------------- = lim -------- = b
13. x->a x-a x->a x - a
14.
15. => f'(x) = b
16.
17. f(x) = xn
18.
19. xn - an
20. f'(a) = lim --------- =
21. x->a (x-a)
22.
23. (x - a)(xn-1 + axn-2 + a2xn-3 + ... + an-1)
24. lim ------------------------------------------ = nan-1
25. x->a (x-a)
26.
27. => f'(x) = nxn-1
28.
29. f(x) = bxn
30.
31. bxn - ban b(xn - an)
32. f'(a) = lim ---------- = lim ----------- = bnan-1
33. x->a x - a x->a x - a
34.
35. => f'(x) = bnxn-1
36.
37. f(x) = Lx equiv. a x/a - 1 (lmites tipo)
38. --^--
39. Lx - La L(x/a) x-a 1
40. f'(a) = lim -------- = lim ------- = lim --------- = --
41. x->a x - a x->a x - a x->a a(x - a) a
42.
43. 1
44. => f'(x) = ---
45. x
46.
47. f(x)=logcx
48. logcd = Ld/Lc
49. |
50. logcx - logca logc(x/a) | logc(x/a) 1
51. f'(a)=lim ------------- = lim ---------- = lim --------- = ---
52. x->a x - a | x->a (x - a) x->a Lc(x - a) aLc
53. |
54. log a - log b = log(a/b)
55.
56. 1
57. => f'(x) = ---
58. xLc
59.
60. f(x) = ex
61. equiv. a 1 (lmites tipo)
62. ---^---
63. ex - ea ea(ex-a - 1)
64. f'(a) = lim --------- = lim ------------ = ea
65. x->a x - a x->a x - a
66.
67. => f'(x) = ex
68.
69. f(x) = bx
70. equiv. a (x-a)Lb (lmites tipo)
71. ----^----
72. bx - ba ba(bx-a - 1) ba(x - a)Lb
73. f'(a)=lim ------- = lim ------------ = lim ----------- = baLb
74. x->a x - a x->a x - a x->a x - a
75.
76. => f'(x) = bxLb
77.
78. f(x) = sen x
79. equiv. a (x-a)/2 (lmites tipo)
80. -----^-----
81. senx - sena 2sen((x-a)/2)cos((x+a)/2)
82. f'(a)=lim ------------ = lim ------------------------- =
83. x->a x - a x->a x-a
84.
85. 2(x - a)cos((x+a)/2)
86. lim ------------------- = cos a
87. x->a 2(x - a)
88.
89. => f'(x) = cosx
90.
91. f(x) = cosx
92.
93. cos x - cos a -2sen((x-a)/2)sen((x+a)/2)
94. f'(a) = lim ------------- = lim -------------------------- =
95. x->a x - a x->a x-a
96.
97. -2(x-a)sen((x+a)/2)
98. lim ------------------- = -sen a
99. x->a 2(x - a)
100.
101. => f'(x) = -senx
102.
103. f(x) = tgx
104. 1 (lmites tipo)
105. ---^---
106. tgx - tga (*) tg(x-a)
107. f'(a)=lim ---------- = lim ------- (1 + tgx.tga) = 1 + tg2a
108. x->a x - a x->a (x-a)
109.
110. tgx - tga
111. (*) Pues tg(x - a) = ------------
112. 1 + tgx.tga
113.
114. sen2a cos2a + sen2a 1
115. 1 + ------ = ------------- = ----
116. cos2a cos2a cos2a
117.
118. 1
119. => f'(x)=1 + tg2x = -------
120. cos2x
121.
122. n __
123. f(x)= \|x
124.
125. n __
126. \|x = x1/n
127.
128. 1 x(1-n)/n 1 1
1/n 1/n - 1
129. f'(x)=(x )'= --x = ----------- = ------- = --------
130. n n nx(n-1)/n n ____
131. n \|xn-1
132.
133. 1
134. => f'(x) = ---------
135. n ____
136. n \|xn-1

Sean a, b, e y k constantes (nmeros reales) y consideremos a: u(x) y v(x)


como funciones.
En adelante, escribiremos u y v. Entendamos que esto no es ms que un abuso de
notacin con el fin de simplificar la misma.
Derivada de una constante

Derivada de x

Derivada de la funcin lineal

Derivada de una potencia

Derivada de una raz cuadrada

Derivada de una raz

Ejemplos de derivadas
1.

2.

3.

4.

5.

6.
7.

8.

9.

You might also like