Matematicas Teleco

243101 Matemticas I
Grado en ingeniera en tecnologas de la

telecomunicacin
Apuntes de clase
Semestre de otoo del curso 2015-2016
Profesores:
Berta Garca Celayeta (teora y problemas)
Andrs Arrars Ventura (problemas)
rea de Matemtica aplicada
Departamento de Ingeniera matemtica e informtica
Universidad Pblica de Navarra
26 de octubre de 2015
ndice general
1. Numeros reales y complejos, sucesiones y series de nmeros
1.1. El conjunto de los nmeros reales . . . . . . . . . . . . . . . . . .
1.2. El mtodo de induccin . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . .
1.4.1. Definiciones y notacin . . . . . . . . . . . . . . . . . . . .
1.4.2. Monotona . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.3. Acotacin . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.4. Operaciones con sucesiones . . . . . . . . . . . . . . . . .
1.4.5. Lmite de una sucesin . . . . . . . . . . . . . . . . . . . .
1.5. Series de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1. Definiciones y notacin . . . . . . . . . . . . . . . . . . . .
1.5.2. Algunas series notables . . . . . . . . . . . . . . . . . . . .
1.5.3. Resultados generales sobre convergencia . . . . . . . . . .
1.5.4. Series de trminos positivos . . . . . . . . . . . . . . . . .
1.5.5. Series de trminos cualesquiera . . . . . . . . . . . . . . .
1.5.6. Otros criterios de convergencia . . . . . . . . . . . . . . .
1.6. Anexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.1. La raz cuadrada en R . . . . . . . . . . . . . . . . . . . .
1.6.2. Producto cartesiano, aplicaciones . . . . . . . . . . . . . .
1.6.3. La frmula ciclotmica . . . . . . . . . . . . . . . . . . . .
1.6.4. El factorial y los nmeros combinatorios . . . . . . . . .
1.6.5. Algunas frmulas . . . . . . . . . . . . . . . . . . . . . . .
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8. Algunas soluciones e indicaciones . . . . . . . . . . . . . . . . . .
reales
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
1
1
9
9
12
12
13
14
15
17
30
30
31
32
34
35
35
37
37
37
38
38
39
41
47
2. Funciones de R en R
2.1. Funciones. Tipos de funciones
2.2. Operaciones con funciones . .
2.3. Lmite de una funcin . . . . .
2.4. Continuidad . . . . . . . . . . .
2.5. Anexo: Funciones usuales . . .
2.5.1. Funciones elementales .
.
.
.
.
.
.
51
51
53
56
66
71
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
III
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.6. Otras funciones usuales . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.8. Algunas soluciones e indicaciones . . . . . . . . . . . . . . . . . . . . . . .
3. Clculo diferencial en R
3.1. Introduccin . . . . . . . . . . . . . . . . . . . . .
3.2. Derivada en un punto y funcin derivada . . .
3.2.1. Reglas de derivacin . . . . . . . . . . .
3.2.2. Derivadas de orden superior . . . . . . .
3.3. Mximos y mnimos . . . . . . . . . . . . . . . .
3.3.1. Mximos y mnimos relativos . . . . . .
3.3.2. Mximos y mnimos absolutos . . . . . .
3.4. Resultados clsicos sobre derivabilidad . . . . .
3.5. Crecimiento. Mximos y mnimos . . . . . . . .
3.6. Clculo de lmites . . . . . . . . . . . . . . . . .
3.7. Resolucin numrica de ecuaciones no lineales
3.7.1. Mtodo de biseccin . . . . . . . . . . .
3.8. Polinomios de Taylor . . . . . . . . . . . . . . .
3.8.1. Aplicaciones al clculo de lmites . . . .
3.9. Series de potencias . . . . . . . . . . . . . . . . .
3.10. Anexo I: Representacin grfica de funciones .
3.11. Anexo II: Algoritmos . . . . . . . . . . . . . . .
3.12. Ejercicios . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
78
81
87
91
91
91
98
100
100
100
103
104
106
108
109
112
116
122
123
131
134
135
Tema 1
Numeros reales y complejos, sucesiones y
series de numeros reales
Vamos a dedicar 10 horas de clase a este captulo. Debes resolver por tu cuenta los
ejercicios que no hayan sido resueltos en clase. No todos los ejercicios tienen la misma
dificultad. Para orientar tu trabajo, se han etiquetado Los ejercicios por niveles:
nivel 0: ejercicios de repaso de conceptos que se suponen conocidos,
niveles 1 a 3: grado de dificultad,
nivel extra: para ampliar conocimientos (no necesariamente son ms difciles).
Tambin es recomendable consultar [1], [2], [3].
1.1. El conjunto de los nmeros reales

Podemos construir R de forma intuitiva partiendo de un conjunto de nmeros muy
sencillo, el conjunto de los nmeros naturales, que responde a la idea primitiva de
contar.
Definicin 1.1.1. El conjunto de los nmeros naturales es
N = {1, 2, 3, . . .} .
Nota 1.1.2. Algunos autores consideran el cero como elemento de N. En estos apuntes,
cuando queramos incluir el cero pondremos N0 = N {0}.
Proposicin 1.1.3. Si dotamos al conjunto N de las operaciones internas suma (+) y
producto () habituales, entonces la terna (N, +, ) satisface las siguientes propiedades:
1
Numeros reales y complejos, sucesiones y series de nmeros reales
1. Propiedad conmutativa para la suma y el producto:

a + b = b + a,
a b = b a,
a, b N,
a, b N.
2. Propiedad asociativa para la suma y el producto:

(a + b) + c = a + (b + c),
(a b) c = a (b c),
a, b, c N,
a, b, c N.
3. Propiedad distributiva del producto con respecto a la suma:

a (b + c) = a b + a c,
a, b, c N.
4. En N0 , existencia de elemento neutro para la suma:

0 N0 tal que a + 0 = 0 + a = a,
a N0 .
5. Existencia de elemento neutro para el producto:

1 N tal que 1 0 y a 1 = 1 a = a,
a N.
6. Axiomas de orden. En el cojunto N, hay definida una relacin de orden total,

denotada , es decir un relacin que verifica las siguientes propiedades:
(a) Reflexividad: a a a N.
(b) Antisimetra: a, b N tales que a b y b a, se tiene que a = b.
(c) Transitividad: a, b, c N tales que a b y b c se tiene que a c.
(d) Totalidad: a, b N se tiene que a b b a.
7. Axiomas de compatibilidad.
(a) Compatibilidad de la relacin de orden total con la operacin suma: a, b, c
N se tiene que si a b entonces a + c b + c.
(b) Compatibilidad de la relacin de orden total con la operacin producto:
a, b, c N se tiene que si a b entonces a c b c.
Nota 1.1.4. A pesar de estas propiedades, el conjunto de los nmeros naturales presenta
bastantes carencias. Si bien ciertas ecuaciones como x+1 = 3 tienen solucin en N, otras
como x + 5 = 3 no tienen. La primera ampliacin del conjunto N nos lleva a considerar
los nmeros enteros.
Semestre de primavera, curso 2014/2015
Definicin 1.1.5. El conjunto de los nmeros enteros es

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} .
La letra Z es la inicial de Zahl ("nmero" en alemn). Si dotamos a este conjunto de las
operaciones internas suma y producto anteriores, entonces la terna (Z, +, ) satisface
las propiedades (1-6) y adems:
8. Existencia de elemento opuesto (para la suma):
a Z, b Z tal que a + b = b + a = 0.
(b se denota habitualmente a).
9. En cuanto al axioma 7, la primera parte queda igual, pero la segunda parte
no: vamos a utilizar la siguiente notacin: a b significa b a. Con esto, la
compatibilidad de la relacin de orden total con la operacin producto, cambia
respecto de los naturales quedando ahora:
a, b, c Z con c 0 se tiene que si a b entonces a c b c.
Nota 1.1.6. Para el caso a, b, c Z con c 0 se tiene que si a b entonces a c b c.
Nota 1.1.7. La ecuacin x + 5 = 3 s tiene solucin en Z: x = 2. Pero sigue habiendo
ecuaciones, como 2 x = 1, que no la tienen.
Definicin 1.1.8. El conjunto de los nmeros racionales es
Q={
a
a, b Z , b 0 } .
b
a
a
c
de nmeros enteros se denomina fraccin. Dos fracciones
y
se
b
b
d
2 10
dicen equivalentes si ad = bc. Por ejemplo y
son equivalentes porque 215 = 310.
3 15
Todas las fracciones equivalentes a una dada corresponden al mismo nmero racional.
a
De todas ellas, se llama representacin irreducible o cannica a aquella de la forma
b
que satisface mcd{a, b} = 1. En tal caso se dice que a y b son primos entre s.
Cada cociente
Extendiendo adecuadamente las operaciones internas suma y producto anteriores al

conjunto de los nmeros racionales, se tiene que la terna (Q, +, ) satisface, adems de
las propiedades (1-9), la siguiente propiedad:
10. Existencia de elemento recproco o inverso (respecto al producto):
q Q tal que q 0, r Q tal que q r = r q = 1.
UPNA, grado en ingeniera en tecnologas de la telecomunicacin
Nota 1.1.9. Observa que la ecuacin 2 x = 1 ya puede resolverse en el conjunto de los

nmeros racionales: x = 1/2 Q. Este conjunto, con todas sus propiedades, todava
presenta algunas carencias. Sigue habiendo ecuaciones cuyas soluciones no estn en Q,
como, por ejemplo, x2 2 = 0 .
Proposicin 1.1.10. Las soluciones de la ecuacin x2 2 = 0 no son racionales.
2 / Q, 2 / Q
Acabamos de ver que hay nmeros que no son racionales, entre ellos las soluciones de la
ecuacin x2 2 = 0 . A continuacin definimos un nuevo conjunto de nmeros entre los
que se encuentran las soluciones de esta ecuacin. Dicho conjunto no es una extensin
de Q, sino su complemento. Recordemos la propiedad 17 de los nmeros racionales,
que deca que todo nmero racional puede escribirse en forma decimal con un nmero
de dgitos finito o infinito peridico.
Definicin 1.1.11. El conjunto de los nmeros irracionales es
I = { nmeros que en su forma decimal tienen un nmero
infinito de cifras no peridicas } .
De la definicin se deduce la imposibilidad de escribir exactamente estos nmeros en
forma decimal. En la figura 1.1 mostramos algunos de ellos.
2I
1
1 n
(1 + ) e I
n
Figura 1.1. Algunos irracionales

En la prctica se suelen utilizar aproximaciones racionales de estos nmeros. Para los
irracionales anteriores mostramos las siguientes aproximaciones:
2 1.414 ,
3.14159265359 ,
e 2.718281828459045235360287471352662497757 .
En el primer caso, la aproximacin se ha hecho hasta las milsimas; en los otros dos
casos, se ha cometido un error bastante menor.
Definicin 1.1.12. El conjunto de los nmeros reales es

R = Q I.
La unin anterior es disjunta, es decir, Q I = .
Nota 1.1.13. Entre los conjuntos de nmeros definidos en esta seccin se verifican los
siguientes contenidos
N Z Q R,
(1.1.a)
I R.
(1.1.b)
Los nmeros reales se representan en una recta, la recta real. Se fija un origen (elemento
neutro para la suma) y la unidad (elemento neutro para el producto), y a partir de ella
se sitan los naturales y los enteros.
0
...
-5
-4
-3
-2
-1
...
Para representar un nmero racional p/q, dividimos la unidad en q partes iguales y a

continuacin tomamos p trozos.
13
8
Algunos nmeros irracionales se pueden

representar fcilmente como la hipotenusa
de ciertos tringulos rectngulos.
La terna (R, +, ) verifica las propiedades 1-10. El elemento inverso de x R se denota

1
habitualmente x1 o .
x
Para enunciar el axioma del supremo es necesario dar dos definiciones previas, y es
conveniente introducir dos nuevos smbolos:
(Notacin) La expresin a < b significa que a b y que adems a b. La expresin
a > b significa que a b y que adems a b.

(Definicin) Sea S R, se dice que S est acotado superiormente si K R tal
que x K x S. Se dice adems que K es una cota superior de S.
(Definicin) Sea S R y s R. Se dice que s es el supremo de S y se denota
s = supS si
s es una cota superior de S.
> 0x S tal que x > s . (Observemos que podemos interpretar lo
anterior como s no es cota superior de S, luego s es la menor de las
cotas superiores de S).
11. Axioma del supremo: Sea S R, S y acotado superiormente. Entonces existe

el supremo de S.
Nota 1.1.14. Observemos que de la definicin se deduce que el supremo de un conjunto,
si existe, es nico.
Definicin 1.1.15. Sea S R. Se dice que M R es el mximo de S y se denota
M = max S si
1. M es una cota superior de S
2. M S
Proposicin 1.1.16. Sea S R. Si existe M = max S, entonces M = supS.
Definicin 1.1.17. Sea S R, se dice que S est acotado inferiormente si l R tal
que x l x S. Se dice adems que l es una cota inferior de S.
Definicin 1.1.18. Sean S R y c R. Se dice que c es el nfimo de S y se denota
c = infS si
1. c es una cota inferior de S.
2. > 0x S tal que x < c + . (Observemos que podemos interpretar lo anterior
como c + no es cota inferior de S, luego c es la mayor de las cotas inferiores de
S).
Nota 1.1.19. Observemos que de la definicin se deduce que el nfimo de un conjunto,
si existe, es nico.
Definicin 1.1.20. Sea S R. Se dice que m R es el mnimo de S y se denota
m = mn S si
1. m es una cota inferior de S,

2. m S.
Proposicin 1.1.21. Sea S R. Si existe m = mn S, entonces m = infS.
Proposicin 1.1.22. Sea S R, S y acotado inferiormente. Entonces existe el
nfimo de S.
Definicin 1.1.23. Algunos subconjuntos notables de R que aparecern con frecuencia
a lo largo del curso son los intervalos. Dados a, b R , con a < b, definimos los siguientes
intervalos:
(a, b) = { x R a < x < b } ,
(a, +) = { x R a < x } ,
[a, b] = { x R a x b } ,
[a, +) = { x R a x } ,
(a, b] = { x R a < x b } ,
(, b] = { x R x b } ,
[a, b) = { x R a x < b } ,
(, b) = { x R x < b } .
Los intervalos (a, b) y [a, b] se llaman, respectivamente, intervalo abierto e intervalo

cerrado. Los intervalos (a, b] y [a, b) se llaman intervalos semiabiertos o semicerrados.
Ejemplo 1.1.24. Consideramos el conjunto A = (a, b]. Se tiene que max A = sup A = b,
nf A = a y no existe mn A.
Ejemplo 1.1.25. Consideramos el conjunto A = [a, b). Se tiene que sup A = b, no existe
max A, y mn A = nf A = a.
Ejercicio 1.1.26. Para el resto de intervalos, estudiar su acotacin y la existencia de
supremo, mximo, nfimo, mnimo.
Proposicin 1.1.27. Propiedades de los nmeros reales: sean x, y, z Rde las propiedades 1-10, se deduce:
1. Si x + y = z, entonces y = x + z
2. Si x y = z y x 0, entonces y = x1 z
3. Si x y = x z y x 0, entonces y = z
4. x 0 = 0
5. Si x y = 0, entonces x = 0 y = 0
6. (1)x = x
7. (x + y) = x y
8. (x) = x
9. (1) (1) = 1
10. x (y) = (x) y = (x y)
11. (x) (y) = x y
12. Si x 0, entonces x 0, x1 0, (x)1 = x1 y (x1 )1 = x
13. x 0 si y slo si x 0
14. x2 0
15. 1 0
16. Entre dos nmeros racionales cualesquiera r1 y r2 existe siempre otro nmero
racional r3 .
17. Todo nmero racional puede escribirse en forma decimal con un nmero de dgitos
finito o infinito peridico.
18. Todo nmero decimal con un nmero de dgitos finito o infinito peridico, admite
p
una expresin de la forma con p, q Z y q 0, es decir, es un nmero racional.
q
Nota 1.1.28. En estos apuntes, si x > 0 e y R, definiremos xy = ey log x , donde log
representa el logaritmo neperiano.
Definicin 1.1.29. Dado x R, se define la parte entera de x como el mayor nmero
entero de entre los que son menores o iguales que x. Se denota [x].
Definicin 1.1.30. Dado x R, se define el valor absoluto de x como
x
x =
si
si
x0
x<0
Proposicin 1.1.31. Propiedades del valor absoluto: para todo x, y R, se tiene

1. x 0,
1.2. El mtodo de induccin
2. x = 0 x = 0,
3. x + y x + y ,
4. xy = x y ,
5.
x2 = x .
1.2. El mtodo de induccin

Una de las propiedades ms importantes de los nmeros naturales es el principio de
iduccin matemtica. Supongamos que P (m) significa que la propiedad P se cumple
para cierto nmero natural m. El principio de induccin matemtica afirma que P (n)
es cierta n N siempre que
1. P (1) es cierta.
2. Si P (k) es cierta, entonces P (k + 1) tambin lo es.
1.3. Nmeros complejos

La ecuacin x2 2 =
0 ya puede resolverse
en el conjunto de los nmeros reales, tiene
dos soluciones x1 = 2 R y x2 = 2 R . Sin embargo todava hay ecuaciones cuyas

soluciones no son reales, por ejemplo
x2 + 1 = 0 .
Para resolver este problema, se define un nuevo conjunto de nmeros que extiende a
R: el conjunto de los nmeros complejos.
En secciones anteriores hemos estudiado el conjunto R y sus propiedades. Hemos visto
que tiene ms propiedades que sus subconjuntos N, Z y Q. Sin embargo, tiene una
carencia importante y es que no toda ecuacin polinmica con coeficientes en R tiene
soluciones reales. El ejemplo ms sencillo es la ecuacin x2 + 1 = 0. Esto nos motiva a
buscar un superconjunto de R que, verifique la deseada propiedad de que toda ecuacin
polinmica con coeficientes en dicho superconjunto tenga solucin en l.
Definicin 1.3.1. Definimos el conjunto de los nmeros complejos como
C = {(x1 , x2 ) x1 , x2 R}
10
en el que se definen las operaciones

+CC C
((x1 , x2 ), (y1 , y2 )) (x1 + y1 , x2 + y2 )
y
CC C
((x1 , x2 ), (y1 , y2 )) (x1 y1 x2 y2 , x1 y2 + x2 y1 )
Teorema 1.3.2. La terna (C, +, ) tiene las propiedades (1-5), 8,10,.
Demostracin.- Ejercicio.
Teorema 1.3.3. (C, +, ) es algebraicamente cerrado, es decir, toda ecuacin polinmica con coeficientes en C tiene solucin en C.
Teorema 1.3.4. En (C, +, ) no existe una relacin de orden total compatible con las
operaciones.
Nota 1.3.5. Si consideramos el subconjunto de C:
A = {(x1 , x2 ) C x2 = 0}
podemos identificar A con R, en el sentido de que las operaciones + y definidas en C
extienden las conocidas para R. A partir de ahora, podremos pues, escribir R C.
Nota 1.3.6. Del teorema 1.3.3 y de la nota 1.3.5 se deduce que toda ecuacin polinmica
con coeficientes en R tiene solucin en C.
Definicin 1.3.7. El nmero complejo (0, 1) se llama unidad imaginaria y suele denotarse por i.
Nota 1.3.8. Tenemos que i2 = 1.
Nota 1.3.9. Es habitual escribir el nmero complejo (x, y) como x + iy.
Definicin 1.3.10. Dado z = x + iy C se define el mdulo de z como el nmero real
z =
x2 + y 2 .
Nota 1.3.11. Si z C es, en particular, un nmero real, entonces el mdulo de z coincide

con el valor absoluto de z.
1.3. Nmeros complejos
11
Definicin 1.3.12. Dado z = x + iy C {0} se define el argumento principal de Z

como (, ] que verifica
1. x = z cos ,
2. y = z sen .
suele denotarse Argz.
Proposicin 1.3.13. Dados z = x + iy, z1 , z2 C, tenemos las siguientes propiedades
1. z 0.
2. z = 0 z = 0.
3. z1 z2 = z1 z2 .
4. z1 + z2 z1 + z2 .
Nota 1.3.14. El conjunto C suele representarse en el plano R2 .
Definicin 1.3.15. Dado z = x + iy C se define
ez = ex (cos y + iseny).
Nota 1.3.16. De la definicin anterior se deduce la frmula de Euler:
ei + 1 = 0,
que, como puedes ver, es muy popular
http://www.fotomat.es/ecuacion-de-euler/
Proposicin 1.3.17. Dados z, z1 , z2 C, se tienen las siguientes propiedades:
1. ez1 ez2 = ez1 +z2 .
2. ez 0.
3. Si x R, entonces eix = 1.
4. ez = 1 z = i2n con n Z.
5. ez1 = ez2 z1 z2 = i2n con n Z.
12
Proposicin 1.3.18. Sea 0 z C, entonces z se puede expresar en la forma z = rei

con r = z y = Argz + 2n con n Z.
Nota 1.3.19. Debido a la proposicin anterior, si z1 , z2 C con z1 z2 0, podemos
calcular de manera ms sencilla z1 z2 y zz21 ya que
1. (r1 ei1 )(r2 ei2 ) = (r1 r2 )ei(1 +2 ) .
2.
r1 ei1 r1 i(1 2 )
= e
.
r2 ei2 r2
Proposicin 1.3.20. Sean m, n Z y z, z1 , z2 C, entonces

1. z n z m = z n+m .
2. (z1 z2 )n = z1n z2n .
Teorema 1.3.21. Sea 0 z C y n N, entonces existen n elementos en C: z0 , . . . , zn1
tales que zkn = z , k = 0, . . . , n 1. Adems
1
zk = z n eik
con
k =
Argz 2k
+
, k = 0, . . . , n 1.
n
n
1.4. Sucesiones de nmeros reales

1.4.1. Definiciones y notacin
Definicin 1.4.1. Una sucesin de nmeros reales es una aplicacin de N en R
a N R
n
a(n) = an .
Es decir, a cada nmero natural n, se le hace corresponder un nico nmero real an .

Abusando de lenguaje, tambin suele llamarse sucesin a la imagen de la aplicacin a,
es decir, al conjunto formado por todas las imgenes
(an )nN = {a0 , a1 , a2 , . . . , an , . . .} .
13
A la imagen an de un natural n se le llama trmino general de la sucesin. A los

elementos del conjunto (an )nN se les llama trminos de la sucesin.
Una sucesin puede venir dada de dos formas diferentes, bien mediante su trmino
general an , o bien por recurrencia. En el segundo caso cada trmino se obtine a partir
del anterior (o anteriores) mediante una frmula recurrente.
Ejemplo 1.4.2. La sucesiones siguientes vienen dadas mediante el trmino general
an =
3 2n
, n N;
n
bn =
1
2n
n N0 ;
1 n
cn = (1 + ) , n N .
n
Estas otras, en cambio, se determinan por recurrencia
x =4
0
,
13
1
(x
+
)
x
=
n1
n
2
xn1
y0 = 1
y
=
2
y
n+1
n
z0 = 1
z1 = 1
.
zn = zn2 + zn1
Cuando una sucesin viene dada por recurrencia, para obtener el trmino n-simo
previamente hay que obtener todos los anteriores.
La sucesin zn fue estudiada por primera vez por Fibonacci de Pisa (1170-1250). Como
ejercicio obtn los 5 primeros trminos de esta sucesin.
1.4.2. Monotona
Definicin 1.4.3. Una sucesin de nmeros reales (an )nN se dice
creciente si an an+1 n N .
decreciente si an an+1 n N .
estrictamente creciente si an < an+1 n N .
estrictamente decreciente si an > an+1 n N .
Definicin 1.4.4. Una sucesin de nmeros reales se llama montona si es creciente
o decreciente. Si la sucesin es estrictamente creciente o decreciente, diremos que la
sucesin es estrictamente montona.
14
Para estudiar la monotona de una sucesin debemos comparar dos trminos consecutivos cualesquiera, por ejemplo an y an+1 .Si
an+1 an
Creciente
>0
Estrictamente creciente
Decreciente
<0
Estrictamente decreciente
Sii los trminos de la sucesin son estrictamente positivos, podemos estudiar el cociente
de dos trminos consecutivos. Si
an+1
an
Creciente
>1
Estrictamente creciente
Decreciente
<1
Estrictamente decreciente
Ejemplo 1.4.5. Estudiemos la monotona de algunas de las sucesiones del ejemplo

1.4.2.
an+1 an =
3
(3 2(n + 1))n (3 2n)(n + 1)
=
< 0 , n N
n(n + 1)
n(n + 1)
y por tanto la sucesin (an )nN es estrctamente montona (decreciente). Para la sucesin yn observamos que todos los trminos son estrictamente positivos.
yn+1
= 2 > 1 , n N
yn
y por tanto la sucesin (yn )nN es estrctamente montona (creciente).
Ejercicio 1.4.6. Estudia la monotona del resto de sucesiones del ejemplo 1.4.2.
1.4.3. Acotacin
Definicin 1.4.7. Se dice que una sucesin de nmeros reales (an )nN est
acotada superiormente si
K R tal que an K
n N.
K se llama cota superior de la sucesin (an )nN .

15
acotada inferiormente si
l R tal que l an
n N.
l se llama cota inferior de la sucesin (an )nN .

acotada si
C R tal que an C
n N.
Proposicin 1.4.8. Una sucesin de nmeros reales (an )nN est acotada si y slo si
est acotada superior e inferiormente.
Ejemplo 1.4.9. Veamos que la sucesin (an )nN del ejemplo 1.4.2 est acotada. Segn
la proposicin anterior bastar con encontrar una cota superior y otra inferior. En el
ejemplo 1.4.5 hemos visto que esta sucesin es estrictamente decreciente, por tanto a1
es una cota superior (adems, la menor de todas). Veamos si l = 0 es una cota inferior :
0
3
3 2n
0 3 2n 2n 3 n .
n
2
La desigualdad n 3/2 no es vlida para todo nmero natural (de hecho slo se verifica
para n = 1), por tanto k2 = 0 no es una cota inferior. Probemos con un valor ms
pequeo, por ejemplo l = 5 :
5
3 2n
5n 3 2n 3n 3 n 1
n
La desigualdad n 1 es vlida para todo natural n, por tanto l = 5 es una cota

inferior.
Resumiendo:
5 an 1 n N ,
es decir, todos los trminos de la sucesin estn en el intervalo [5, 1].
Ejercicio 1.4.10. Para la sucesin del ejemplo anterior encontrar una cota inferior
mayor que 5 .
1.4.4. Operaciones con sucesiones

A continuacin definimos una serie de operaciones en el conjunto de las sucesiones de
tal manera que el resultado de la operacin sea una nueva sucesin de nmeros reales.
Definicin 1.4.11. Dadas dos sucesiones de nmeros reales (an )nN y (bn )nN , definimos
a partir de ellas las siguientes sucesiones:
16
Sucesin suma
s N R
n s n = an + b n
(1.2)
(El trmino general de la sucesin suma se obtiene sumando los trminos generales
de las sucesiones an y bn ).
Ejemplo 1.4.12.
1
n+1
1 1
{1, , , . . .}
2 3
bn = n + 1
{1, 2, 3, . . .}
5 10
{2, , , . . .}
2 3
an =
sn =
n2 + 2n + 2
1
+n+1=
n+1
n+1
Sucesin producto
p N R
n p n = an b n
(El trmino general de la sucesin producto se obtiene multiplicando los trminos
generales de las sucesiones an y bn ).
Ejemplo 1.4.13.
an =
1
n+1
bn = n + 1
1
sn =
(n + 1) = 1
n+1
1 1
{1, , , . . .}
2 3
{1, 2, 3, . . .}
{1, 1, 1, . . .}
Sucesin producto por un escalar

a N R
n an
Es un caso particular del producto anterior, en el que una de las sucesiones es la
sucesin constante.
Sucesin cociente: si bn 0 n N:
c N R
n cn = an /bn
17
Ejemplo 1.4.14.
an = n2 + 1
{1, 2, 5, 10, 17, 26, . . .}
bn = 2n 6
{6, 4, 2, 0, 2, 4, . . .}
+1
2n 6
cn =
n2
1 1 5
17
, , , ? , , . . .}
6 2 2
2
Como b3 = 0, la sucesin cociente no est bien definida.

Otras operaciones
De la misma forma, imponiendo en cada caso las condiciones que sean necesarias,
podemos definir, entre otras, las siguientes sucesiones
Si an > 0 n N, podemos definir la sucesin (log an )nN
Sucesin exponencial de una dada: (ean )nN
Si an 0 n N , podemos definir la sucesin ( an )nN .
1.4.5. Lmite de una sucesin

Definicin 1.4.15. Decimos que una sucesin (an )nN tiene por lmite l R, o tiende
a l si para cualquier > 0 existe un nmero natural n0 de tal manera que an l < si
n n0 .
> 0 n0 N tal que an l < n n0
Suele escribirse
an l
lm an = l
n+
Nota 1.4.16. El nmero natural n0 depende de . Como an l < si y slo si l < an <
l + , de la definicin se deduce que a partir de an0 todos los trminos de la sucesin
estn en el intervalo (l , l + ).
l
l+
a
an0 n0 1
18
Ejemplo 1.4.17. Utilizamos la definicin 1.4.15 para probar que

1 n
0 .
n
En efecto, dado > 0 arbitrario, para que an l = 1/n sea menor que basta con
que n sea mayor que 1/, lo que siempre es posible puesto que N no est acotado
superiormente.
1
1
< n> .
(1.3)
n
Por tanto para un > 0 arbitrario, el menor nmero natural que verifica (1.3) viene
dado por
1
n0 = [ ] + 1 .
Ejemplo 1.4.18. Demostrar mediante la defincin de lmite que

3 2n
= 2 .
n
n
En efecto, dado > 0 arbitrario, se tiene que
lm
an l =
3 2n
3
3
+ 2 = < n > .
n
n
Por tanto para el n0 buscado es
3
n0 = [ ] + 1
2n 3
es 2.
n+1
Definicin 1.4.20. Se dice que una sucesin (an )nN tiende a + si para cualquier
nmero real M existe un trmino de la sucesin an0 de tal manera que a partir de l
todos los trminos de la sucesin son mayores que M .
Ejercicio 1.4.19. Probar que el lmite de la sucesin an =
M R n0 N tal que an M
n n0
(n0 depende de M ). Se escribe an + lm an = +

n
n+
M
a3
a1
a2
...
an0
Se dice que la sucesin (an )nN tiende a si para cualquier nmero real l existe un
trmino de la sucesin an0 de tal manera que a partir de l todos los trminos de la
sucesin son menores que l.
l R n0 (M ) N tal que an M
n n0
(n0 depende de l). Se escribe an lm an =

n
n+
19
M
an0
...
a2
a1
a3
Ejemplo 1.4.21. Demostrar mediante la definicin que

lm 2n = + .
n
En efecto, dado M R, se tiene que

2n M n > log2 M
Por tanto el n0 buscado es
n0 = [log2 M ] + 1
Ejercicio 1.4.22. Demostrar que el lmite de la sucesin an = 1 2n es .
Definicin 1.4.23. Una sucesin (an )nN se dice
Convergente si lm an = l R
n
Divergente si lm an = +
n
Oscilante si / lm an
n
3 2n
es convergente pues su lmite es 2, como
Ejemplo 1.4.24. La sucesin an =
n
hemos visto en el ejemplo 1.4.18. La sucesin bn = 2n es divergente (a +) ya que su
lmite no es real. La sucesin cn = (1)n es oscilante puesto que no tiene lmite.
Proposicin 1.4.25. Si una sucesin es convergente, entonces est acotada.
(an )nN convergente
(an )nN acotada
Proposicin 1.4.26. (Unicidad del lmte)

Si una sucesin tiene lmite, entonces dicho lmite es nico.
Demostracin. Vamos a ver solamente el caso de que la sucesin tiene dos lmites,
l1 , l2 R con l1 < l2 . Por reduccin al absurdo: Para = (l2 l1 )/2, por ser el lmite l1 ,
todos los trminos de la sucesin estn en el intervalo (l1 , l1 + ) salvo a lo sumo un
nmero finito de ellos.
Para el mismo anterior, por ser el lmite l2 , todos los trminos de la sucesin estn
en el intervalo (l2 , l2 + ) salvo a lo sumo un nmero finito de ellos.
20

l1
l2
l1
l2 +
)(
l1 +l2
2
Pero esto no puede ser puesto que los intervalos (l1 , l1 + ) y (l2 , l2 + ) son
disjuntos.
De manera anloga se demostraran el resto de casos.
Proposicin 1.4.27. Si una sucesin es montona y acotada, entonces es convergente.
(an )nN montona y acotada
(an )nN convergente
lgebra de lmites
En esta seccin se pretende resolver el siguiente problema. Supongamos que tenemos
dos sucesiones (an )nN y (bn )nN con lmites conocidos l y l respectivamente. En la
seccin 1.4.4 hemos definido algunas operaciones con sucesiones. La cuestin es qu
se puede decir del lmite de la sucesin (cn )nN resultado de operar con (an )nN con
(bn )nN ? ser igual al resultado de operar l con l ?
(cn )nN = (an )nN (bn )nN
lm cn = l l ?
n
Desafortunadamente la pregunta no siempre tiene respuesta afirmativa; si la tuviera

no sera necesaria la ltima seccin del captulo. En esta seccin contestaremos a la
pregunta para las operaciones definidas en la seccin 1.4.4. La respuesta se ha resumido
en forma las tablas 2.1-2.10. Cuando no sea posible responder pondremos el smbolo
I (indeterminacin). En tales casos habr que calcular el lmite utilizando tcnicas
concretas para cada caso, como veremos en la seccin 1.4.5.
A continuacin desarrollamos, a modo de ejemplo, los casos suma y de dos sucesiones
y exponencial de una sucesin. En los dems casos nos hemos limitado a mostrar los
resultados en las tablas correspondientes.
Proposicin 1.4.28. Dadas dos sucesiones (an )nN y (bn )nN con lmites l y l respectivamente, se tienen los siguientes resultados para el lmite de la sucesin suma (sn )nN
21
definida en (1.2)
1. Si
l, l R
2. Si
lR y
3. Si
lR y
4. Si
l = + y
5. Si
l = y
entonces
sn l + l R
l = +
entonces
sn +
l =
entonces
sn
l = +
entonces
sn +
l =
entonces
sn
Demostracin. Probaremos slo el primer caso, el resto se deja como ejercicio para el
alumno.
Sea > 0, tenemos que probar que existe n0 N de tal manera que para todo n n0 se
tiene an + bn (l + l ) < .
Como an l R, para /2 existe n1 N tal que para todo n n1 se tiene que
an l < /2 .
(1.4)
Anlogamente, como bn l R, para /2 existe n2 N tal que para todo n n2 se

tiene que
bn l < /2 .
(1.5)
Si tomamos n0 = max(n1 , n2 ), entonces para todo n n0 se verifican simultneamente
(1.4) y (1.5), por lo que podemos poner
an + bn (l + l ) an l + bn l < /2 + /2 = , n n0 .
El resto de combinaciones da lugar a casos indeterminados (ver tabla 2.1).
Proposicin 1.4.29. Sea la sucesin (an )nN . Entonces
1. Si lm an = l R, entonces lm ean = el
n+
n+
2. Si lm an = +, entonces lm ean = +
n+
n+
3. Si lm an = , entonces lm ean = 0
n+
n+
Nota 1.4.30. Cuando en la tabla 2.10 nos encontremos con la indeterminacin 1

usaremos la expresin xy = ey ogx y la proposicin 1.4.29.
Para el resto de operaciones entre sucesiones, nos limitamos a mostrar las tablas correspondientes (2.3-2.10).
22
an
bn
lR
l R
l + l
Tabla 1.1. Lmite de la suma (an + bn )
bn
an
lR
l>0
l R, l > 0
l l
l R, l < 0
lR
l<0
l l
l l
l l
Tabla 1.2. Lmite del producto (an bn )
an =/ 0
1/an
l R, l =/ 0
0
an > 0
1/an
an < 0
1/an
l R, l =/ 0
1/l
l R, l =/ 0
1/l
1/l
0
0
Tabla 1.3. Lmite para la inversa 1/an
bn
an
lR
l>0
l R, l > 0
l/l
l R, l < 0
lR
l<0
l/l
l/l
l/l
Tabla 1.4. Lmite para el cociente an /bn , bn 0
23
24
an
bn
lR
l>0
l R, l > 0
l/l
l/l
lR
l<0
Tabla 1.5. Lmite para el cociente an /bn , bn > 0
bn
an
lR
l>0
l R, l < 0
l/l
lR
l<0
l/l
Tabla 1.6. Lmite para el cociente an /bn , bn < 0
an > 0
log an
l R, l > 0
log l
Tabla 1.7. Lmite para el logaritmo log an , an > 0

Tabla 1.8. Lmite para la exponencial an , > 0

an
lR
0<<1
>1
an
lR
l>0
r>0
lr
r<0
lr
Tabla 1.9. Lmite para la potencial arn , an > 0
an
lR
0<l<1
lR
l>1
l R, l < 0
ll
ll
l R, l > 0
ll
ll
bn
Tabla 1.10. Lmite para la potencial-exponencial abnn , an > 0

25
26
A continuacin mostramos algunos ejemplos correspondientes a indeterminaciones de

las tablas anteriores. Veremos cmo el resultado del lmite cambia en los diferentes
casos.
Ejemplo 1.4.31. En cada caso se ha considerado una sucesin an + y una sucesin
bn +. Veamos qu ocurre con el lmite de la suma:
1. an = n2 , bn = 1 n2 y an + bn = 1 1 R .
2. an = n2 , bn = n n2 y an + bn = n + .
3. an = n2 , bn = n n2 y an + bn = n .
4. an = n + cos(n) , bn = n y an + bn = cos(n) = (1)n , que no tiene lmite.
Ejemplo 1.4.32. En cada caso se ha considerado una sucesin an 0 y una sucesin
bn +. Veamos qu ocurre con el lmite del producto:
1. an =
1
1
, b n = n + 1 y an b n =
0.
2
(n + 1)
n+1
2. an =
1
, bn = (n + 1)2 y an bn = n + 1 + .
n+1
3. an =
1
, bn = (n + 1)2 y an bn = (n + 1) .
n+1
Ejercicio 1.4.33. Encotrar para cada caso dos sucesiones an 0 y bn 0 tales que
para la sucesin cociente se verifique
1. an /bn 1 .
2. an /bn + .
3. an /bn 0 .
4. / lm
an
.
bn
Clculo de lmites
No hay un procedimiento general para resolver los casos indeterminados vistos en la
seccin anterior. La forma de proceder depende de cada caso particular. A continuacin
damos una serie de criterios que pueden resultar tiles para resolver algunos casos de
indeterminacin.
27
Proposicin 1.4.34. (Regla del sndwich)

Sean (an )nN y (bn )nN dos sucesiones con el mismo lmite l (real o infinito). Sea otra
sucesin (cn )nN . Si se verifica que
an c n b n
a partir de cierto n0 N, entonces la sucesin (cn )nN tambin tiene el mismo lmite l
(real o infinito).
Nota 1.4.35. De la regla del sndwich se deduce inmediatamente que si (an )nN es una
sucesin acotada y bn 0, entonces an bn 0.
Ejemplo 1.4.36. Utilizamos la regla del sndwich para calcular el lmite de la sucesin
1
1
+ ... +
.
an =
n2 + 1
n2 + n
Observa que lm an = I . Sean n y n las sucesiones dadas por
n
n =
=
n2 + n
1
1
+ ... +
.
n2 + n
n2 + n
(1.6)
n
=
n = 1 =
n2
1
1
+ ... + .
2
n
n2
(1.7)
Comparando trmino a trmino se puede comprobar fcilmente que n an n n

N. Como lm n = lm n = 1 , se tiene que lm an = 1 .
Proposicin 1.4.37. (Criterio de la raz por el cociente)
Sea (an )nN una sucesin de nmeros reales con an > 0 para todo n N. Entonces
lm
an+1
= l lm n an = l
an
(l real o infinito) .
Ejemplo 1.4.38.
lm
n
1
1/n
n
n = lm n = lm e n log n
n
y tenemos una indeterminacin en el cociente
an+1
n+1
lm
= lm
= 1 lm n n = 1 .
n
n
n
an
n
Definicin 1.4.39. Dos sucesiones (an )nN y (bn )nN se dicen equivalentes si
lm
n
an
= 1.
bn
En tal caso se denota an bn .

28
Ejemplo 1.4.40. Las sucesiones an = n2 y bn = n2 + 1 son equivalentes puesto que

n2
= 1.
n2 + 1
lm
n
Nota 1.4.41. Las equivalencias son de aplicacin directa al clculo de lmites en expresiones en las que intervengan productos. Supongamos, por ejemplo an bn , y tenemos
que calcular
lm an cn ,
n
podemos utilizar equivalencias del siguiente modo

lm an cn = lm
n
an
bn cn = lm bn cn
n
bn
ya que
an
= 1.
bn
Esto ser de utilidad cuando la expresin bn cn sea ms sencilla (desde el punto de vista
del clculo de lmites) que an bn . De manera anloga se puede proceder en expresiones
en las que intervengan cocientes.
lm
n
Nota 1.4.42. Observemos que si an bn puede ocurrir

lm(an + cn ) lm(bn + cn ),
n
como puede verse en el siguiente ejemplo.

Ejemplo 1.4.43. Sean
an = n2 + n,
bn = n 2 ,
cn = n2 ,
Tenemos que an bn , sin embargo
lm(an + cn ) = +
n
y lm(bn + cn ) = 0.
n
En la tabla 1.11 mostramos algunas de las equivalencias ms empleadas en el clculo

de lmites (los ngulos estn expresados en radianes).
Definicin 1.4.44. Sean (an )nN y (bn )nN dos sucesiones tales que an + y bn
+ . Se dice que an es mucho menor que bn , y se denota an bn , si
lm
n
an
= 0.
bn
29
an 0
1
(1 + an )
1 an
sen an an tg an arc sen an arctg an
1 cos(an )
(an )2
2
log(1 + an ) an
ean 1 an
Otras equivalencias
Si a0 0,
a0 nk + a1 nk1 + . . . + ak a0 nk
log(nk + a1 nk1 + . . . + ak ) k log n
n! nn en 2n
(Stirling)
Tabla 1.11. Algunas equivalencias para sucesiones

Intuitivamente: para n "suficientemente grande", los trminos de la sucesin (bn )nN son
muy grandes respecto a los de (an )nN
Ejemplo 1.4.45. La sucesin an = n + 50000 es mucho menor que bn = n2
n + 50000 n2 ,
puesto que
lm
n
an
n + 50000
= lm
= 0.
n
bn
n2
Proposicin 1.4.46. (rdenes de infinitud)

Sea (an )nN una sucesin de nmeros reales tal que an > 0 para todo n N y tal que an
+. Sean a, p, q, k N con a > 1 y p, q, k > 0. Se verifican las siguientes desigualdades
(log an )p (an )q aan (an )k an .
Comprueba, usando la tabla correspondiente, que las cuatro sucesiones que aparecen
en las desigualdades de la proposcin son infinitos1 .
1
Cuando el trmino general de una sucesin tiende a +, se suele decir que la sucesin es un
infinito.
30
Ejercicio 1.4.47. Utilizamos la proposicin anterior para resolver el siguiente caso de

indeterminacin
log2 n + 1 +
lm
=
= I.
n
+
n
Para ello dividimos numerador y denominador por el infinito de mayor orden, obteniendo
log2 n
+ 1n
log2 n + 1
n
= lm
= 0,
lm
n
n
1
n
puesto que
log2 n n .
1.5. Series de nmeros reales

1.5.1. Definiciones y notacin
Definicin 1.5.1. Dada una sucesin de nmeros reales (an )nN definimos a partir de
ella otra sucesin, (Sn )nN , llamada sucesin de sumas parciales de la siguiente manera
n
Sn = ak .
k=1
Definicin 1.5.2. Sea una sucesin de nmeros reales (an )nN , y sea (Sn )nN la sucesin
de sus sumas parciales, se llama serie nmeros reales y se denota
+
ak .
(1.8)
lm Sn ,
(1.9)
k=1
a
n
cuando exista.
Nota 1.5.3. Por extensin, la palabra "serie" y la expresin 1.8 tambin hacen referencia
a la sucesin de sumas parciales (Sn )nN .
Nota 1.5.4. Las expresiones "estudiar el carcter de una serie" o "estudiar la convergencia de una serie" quieren decir estudiar la existencia del lmite (1.9). La expresin
"sumar una serie" quiere decir calcular el lmite (1.9), cuando sea finito.
Ejemplo 1.5.5. Consideramos la serie
1
1 1 1
1
= 1 + + + + ... + n + ...
n
2 4 8
2
n=0 2
+
Veremos un poco ms adelante la sucesin de sumas parciales Sn es convergente.

31
Definicin 1.5.6. Diremos que una serie de nmeros reales es convergente si la sucesin formada por las sumas parciales Sn es convergente. La serie se dice divergente si
la sucesin Sn es divergente. En otro caso diremos que la serie es oscilante.
Ejemplo 1.5.7.
1
es convergente y su suma es 2.
n
n=0 2
+
1. La serie
2. La serie 2n es divergente.
n=0
+
3. La serie (1)n es oscilante.

n=0
1.5.2. Algunas series notables

La serie geomtrica
Dado r R, se define la serie geomtrica de razn r como
+
rn .
(1.10)
n=0
Proposicin 1.5.8. La serie geomtrica 1.10 converge si y slo si r < 1 .

Demostracin. Para obtener una expresin del trmino general de la sucesin de sumas
parciales Sn , restamos Sn y r Sn
n
Sn = rk = 1 + r + r2 + . . . + rn
(1.11)
k=0
n
r Sn = rk+1 = r + r2 + . . . + rn + rn+1
k=0
con lo que
Sn r Sn = 1 rn+1 .
(1.12)
Distinguimos ahora varios casos

r = 1 En este caso, de 1.11 se obtiene que Sn = (n + 1), y por tanto lm Sn = +
r 1 De 1.12 tenemos
1 rn+1
.
1r
Calculamos el lmite de esta sucesin, en funcin de los valores de r .
Sn =
32

1 < r < 1 En este caso la serie converge ya que
lm Sn =
n+
1
R.
1r
r > 1 La serie diverge ya que lmn Sn = +

r 1 En este caso, la sucesin Sn no tiene lmite, y por tanto, la serie es
oscilante.
Por tanto, la serie es convergente si y slo si r < 1 . Observa que, no slo hemos demostrado el enunciado, sino que, adems, cuando la serie es convergente hemos calculado
su suma
1
.
S=
1r
La serie armnica
Definicin 1.5.9. La serie
1
n=1 n
(1.13)
se llama serie armnica. y la serie
1
r
n=1 n
+
se llama serie armnica generalizada.

Proposicin 1.5.10. La serie armnica generalizada
1
r
n=1 n
+
converge si y slo si r > 1.
1.5.3. Resultados generales sobre convergencia

Proposicin 1.5.11. Las series
+
an
n=1
an
n=n0
tienen el mismo carcter.

33
Nota 1.5.12. Teniendo en cuenta la proposicin 1.5.11, cuando slo nos interese el
carcter de una serie, escribiremos
an
en vez de
an
n=n0
+
Ejemplo 1.5.13. La serie
n=0
1
1
es geomtrica de razn r = , luego convergente. Por
n
2
2
1
tanto, la serie n tambin es convergente. La suma de una y de la otra no coinciden,
n=3 2
ya que
+
7 1
1 + 1
n = n (a0 + a1 + a2 ) = 2 = .
4 4
n=3 2
n=0 2
+
Proposicin 1.5.14. Las series

an
an
con R {0} tienen el mismo carcter . Adems, en caso de que sean convergentes,
se tiene que
+
n=n0
n=n0
an = an .
Proposicin 1.5.15. Si dos series an y bn son convergentes, entonces la serie

(an + bn ) tambin es convergente. En tal caso, se tiene que
+
n=n0
n=n0
n=n0
(an + bn ) = an + bn .
Ejemplo 1.5.16. Las series
n=0
1
2n
n=0
1
son convergentes. Por tanto, la serie
3n
1
1
( n + n ) tambin es convergente y su suma es
3
n=0 2
n=0
1
1
1
1
3 7
+
)
=
+
=2+ = .
n
n
n
n
2
3
2 2
n=0 2
n=0 3
El recproco a la proposicin 1.5.15 no es cierto. En efecto, la serie 0 es convergente

1
1
(su suma es cero), mientras que las series
y
no convergen.
n
n
Proposicin 1.5.17. (Condicin necesaria para la convergencia)
an convergente
lm an = 0
n
34
1.5.4. Series de trminos positivos

Observa que si (an )nn verifica an 0 n n0 entonces la sucesin de sumas parciales
(Sn )nN es creciente (n n0 ), y por tanto, la serie no puede ser oscilante.
Criterio de comparacin
Sean an y bn dos series tales que 0 an bn n n0 . Se tiene que
bn convergente an convergente.
Nota 1.5.18. Del criterio de comparacin se deduce que si an y bn son dos series
tales que 0 an bn n n0 , entonces
an divergene bn divergente.
1
es convergente pues se verifica
+1
1
1
n , n N,
n
2 +1 2
1
1
y n es una serie geomtrica de razn r = .
2
2
2n
Criterio de comparacin en el lmite

Sean an y bn con an 0, bn > 0 n n0 y tales que
an
lm
= l,
con
l R (l 0) .
n bn
Entonces
an converge bn converge.
En particular, si an bn , las series an y bn tendrn el mismo carcter.

3
Ejemplo 1.5.20. Para determinar el carcter de la serie
, la comparamos con
n+2
1
la serie , cuyo carcter es conocido
n
lm
n
con lo que
3
n+2
1
n
= 3 R (l 0) .
3
es divergente.
n+2
35
1.5.5. Series de trminos cualesquiera

Definicin 1.5.21. Una serie an se dice absolutamente convergente si an es
convergente.
Proposicin 1.5.22. Si una serie an es absolutamente convergente, entonces es
convergente
cos n
Ejemplo 1.5.23. Determinar el carcter de la serie 2 .
n
No es una serie de trminos positivos, as que estudiamos la convergencia absoluta, es
cos n
decir, la convergencia de la serie 2 , esta s, de trminos positivos. Para ello
n
usamos el criterio de comparacin
1
cos n
2 2.
n
n
1
cos n
La serie 2 es convergente. As, la serie 2 es convergente y, por tanto, la
n
n
cos n
serie 2 es absolutamente convergente luego convergente.
n
Definicin 1.5.24. Una serie an se llama alternada si an = (1)n xn con xn
0, n n0 o si an = (1)n+1 xn con xn 0, n n0 .
Criterio de Leibnitz
Sea an = (1)n xn con x1 x2 . . . xn . . . 0 y lm xn = 0. Entonces, la serie an es
convergente.
(1)n
es convergente. Efectivamente, se verifican las
n
condiciones para aplicar el criterio de Leibnitz: an = (1)n xn con xn = n1 sucesin
decreciente hacia cero.
1.5.6. Otros criterios de convergencia

Criterio de la raz
Dada la series an , con lm
an = l, se tiene que
l > 1 an
no converge.
l < 1 an converge absolutamente.

36
Criterio del cociente
Sea an tal que an 0 n n0 y sea l = lm aan+1

, entonces
n
l > 1 an no converge.
l < 1 an
converge absolutamente.
Criterio de Raabe
(A aplicar cuando ya hemos aplicado el criterio del cociente o de la raz y l = 1)

Dada an , sea
l = lm n (1
n
entonces
an+1
),
an
l > 1 an converge absolutamente.

l < 1 an no converge.
1.6. Anexo
37
1.6. Anexo
1.6.1. La raz cuadrada en R
Definicin 1.6.1. Sea a R, a 0, se define la raz cuadrada de a, como el nmero
b R, b 0 tal que b2 = a. b se denota a .

Nota 1.6.2. La ecuacin x2 = 0 tiene una solucin en R: 0. Si a R, a > 0, la ecuacin
x2 = a tiene dos soluciones: a y a.
En la medida de lo posible, evitaremos la notacin a, pues suele dar lugar a confusin.
1.6.2. Producto cartesiano, aplicaciones

Definicin 1.6.3. Dados dos conjuntos A y B se definen
el producto cartesiano de A y B, como el conjunto
A B = {(a, b) a A, b B}
una aplicacin entre A y B, como una ley que asocia a cada elemento de A uno
y slo un elemento de B. Suele denotarse
f AB
a b.
El elemento b suele denotarse f (a). b se llama imagen de a, y a se llama antiimagen
de b.
Observemos que en una aplicacin, fijado a A, su imagen b siempre existe y es nica,
pero, dado b B, no siempre existe su antiimagen, y si existe, no es necesariamente
nica.
Nota 1.6.4. Una aplicacin entre A y B puede verse como un subconjunto de A B.
Definicin 1.6.5. Una aplicacin f A B se dice
Inyectiva si, para todo a1 , a2 A tales que a1 a2 , se tiene f (a1 ) f (a2 ).
38
Suprayectiva si todo elemento de B tiene antiimagen.

Biyectiva si es a la vez inyectiva y suprayectiva.
1.6.3. La frmula ciclotmica

La siguiente frmula puede resultar til para el clculo de algunos lmites
an bn = (a b)(an1 + an2 b + . . . + abn2 + bn1 ) .
(1.14)
Esta frmula se obtiene sin ms que efectuar la divisin (an bn )/(ab) . A continuacin
mostramos la frmula (1.14) en los casos particulares n = 2 y n = 3 .
n=2
a2 b2 = (a b)(a + b) ,
n=3
a3 b3 = (a b)(a2 + ab + b2 ) .
Ejemplo 1.6.6.
3
lm ( n3 + an2 n) = + = I .
Para poder aplicar la frmula (1.14) en el caso n = 3, multiplicamos numerador y

denominador por el factor (a2 + ab + b2 )
3
3 + an2 )2 + 3 n3 + an2 n + n2
(n
3
3
n3 + an2 n = ( n3 + an2 n)
3
3
(n3 + an2 )2 + n3 + an2 n + n2
n/ +an2 n/
a
n
.
3
3
(n3 + an2 )2 + n3 + an2 n + n2
3
(1.14)
1.6.4. El factorial y los nmeros combinatorios

Definicin 1.6.7. Sea n N {0}, se define el factorial de n como
1
n! =
n(n 1)!
si n = 0
si n 1.
Definicin 1.6.8. Sean n, p N {0}, p n, se define el nmero combinatorio n sobre

p como
n
n!
( ) =
p
p!(n p)!
Nota 1.6.9. Si tenemos un conjunto con n elementos distintos y elegimos p elementos
(sin considerar el orden de eleccin), entonces hay (np) maneras distintas de hacer esta
eleccin.
1.6. Anexo
39
1.6.5. Algunas frmulas

Propiedades del seno y del coseno
Sean , R, se tiene
1. cos2 + sen2 = 1.
2. sen( + ) = sen cos + cos sen .
3. cos(a b) = cos a cos b sen a sen b.
+
cos
,
2
2
+
sen sen = 2 cos

sen
,
2
2
+
cos
,
cos + cos = 2 cos
2
2
+
cos cos = 2 sen

sen
.
2
2
sen + sen = 2 sen
4.
Propiedades del logaritmo

Sean x, y (0, +), entonces:
1.
log(x y) = log x + log y,
2.
log x = log x ,
3.
log
( R),
1
= log x.
x
Otra notacin posible: ln x. Salvo expresa indicacin en contra, todos los logaritmos
sern neperianos.
Razones trigonomtricas hiperblicas
Definicin 1.6.10. Sea x R, se definen
seno hiperblico: Sh x =
ex ex
2
coseno hiperblico: Ch x =
ex + ex
2
Propiedades Sean x, y R, se tiene

40
1. Ch2 x senh2 x = 1
2. senh(x + y) = senh x Ch y + Ch x senh y
3. Ch(x + y) = Ch x Ch y + senh x senh y
1.7. Ejercicios
41
1.7. Ejercicios
El conjunto de los nmeros reales
1. (nivel 2) Demuestra la desigualdad triangular:
x + y x + y,
x, y R.
Ayuda considera los tres casos distintos posibles

(caso 1: x, y 0, caso 2: x 0, y < 0, caso 3: x, y < 0).
2. (nivel 2) Con la ayuda del problema 1, demuestra la desigualdad triangular inversa:
x y x y x, y R.
3. (nivel 1) Un estudiante hizo un "descubrimiento": 1 = 0. Su "razonamiento" fue:
Tomo x = 1. Se tiene
x=1
x2 = x
x+1=1
x2 1 = x 1
(x 1)(x + 1) = x 1
x = 0.
Por tanto, 1 = 0.
Encuentra el error (o errores) que cometi este estudiante.
4. (nivel 2) Resuelve las siguientes ecuaciones:
(a)
(b)
(c)
(d)
(e)
2x 3 = 5
2x 3 = x + 1
2x + 3 = x + 1
3 x x + 2 = 5
x 2 + x 1 = x 3
5. (nivel 3) Resuelve la siguientes inecuaciones, expresando el resultado mediante

uniones de intervalos:
(a)
(b)
(c)
(d)
(e)
5 x1 < 1
x2 2 1
x < x2 12 < 4x
x 5 < x + 1
x2 7 x + 12 > x2 7 x + 12
Mtodo de induccin
6. (nivel 2) Demostrar por induccin:
42

(a) 1 + 2 + + n =
n(n + 1)
2
(b) 1 + 3 + + (2n 1) = n2
(c) 12 + 22 + + n2 =
n(n + 1)(2n + 1)
6
(d) 2n > n
(e) 34n + 9 es mltiplo de 10

1 xn
(f) 1+x+x2 +. . .+xn1 =
x 1
1x
(g) 2n + n3 es mltiplo de 3
(h) 13 + . . . + n3 = (1 + . . . + n)2
(i) 3n5 + 5n3 + 7n es mltiplo de 15
Nmeros complejos
7. (nivel 1) En cada caso, expresa nmero complejo z en la forma a + bi y calcula su
mdulo y su argumento principal
(a) z = (1 + i)2
(b) z = (1 + i)3
1+i
1i
3 + i
(d) z =
2 2i
(c) z =
(e) z = i5 + i16
1+i
(f) z =
2(1 + i8 )
(g) z = e 2 i
1 e2i
(h) z =
1 + e2i
8. (nivel 2) Representa en el plano complejo C los siguientes conjuntos

(a) {z C 2z + 3 1}
(c) {z C ez = 1}
(b) {z C z + i = z i}
(d) {z C z < 2z + 1}
Sucesiones de nmeros reales

9. (nivel 2) Estudiar la monotona y la acotacin de las siguientes sucesiones (n 1):
(a) an = (1)n 2n
3n 1
(b)
2n + 2
(c) an = 2n
3
(d)
2n + 1
(e) (1)n
(f)
1
2n
3
an =
si n es impar
si n es par
10. (nivel 0) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a)
5n3 + 2n 6
4n4 5n3 + 9
n2 1
(b)
n4 + 2n 1
1.7. Ejercicios
(c)
(d)
(e)
(f)
(g)
9n2 + 3n + 5
3n2 16n 13
2n 4
( n
)
e +4
3n + 2n
3n 2n
3n2 + 8n 10 8n+1
)
( 2
7n 10n + 2
3n + 2 2n 2
n
7n4 + 5n 1
(h) ( 4
)
2n 5n2 + 3n 2
(i) (n
43
n2 1)
n
(j)
n+ n+ n
(k)
3
3
n3 + an2 n3 an2
(l) (4n + 3) log

2 1
(m)
n+1
n1
4n2 1 (2n 1)
11. (nivel 2) Calcular los lmites de las sucesiones cuyo trmino general es el siguiente:
(a) (n log n)
1
1 2
n1 2
(b) ((a + ) + . . . + (a +
))
n
n
n
1 n
(c) (1 2 )
n
n2 + 2
n + 1 n 3
(d) (
)
n1
log nn
(e)
log n!
1
(f) (2n + 3n ) n
(g)
(np)
np
, pR
1
log (a + ) log a
n
, a>0
(h)
1
n
n
n!
(i)
n
2 +10
5n4 3n + 1 5n
)
(j) (
5n4 + 8n
1
3
1 log
n
(k) ( )
n
2n (n!)2 n
(l)
(2n + 1)!
12. (nivel 3) Para cada una de las sucesiones, demostrar que tiene lmite y calcularlo.
(a)
(b)
u1 = 1,
un+1 = 2 + un .
v1 = 2,
v
2vn .
n+1 =
13. (nivel 3) Definimos la sucesin (xn )nN como
x1 = 4,
1
17
xn+1 = (xn + )
2
xn
44

Si suponemos que la sucesin es convergente, calcula su lmite Cul sera el
lmite si x1 = 10?
14. (nivel 3) Sea la sucesin (xn )nN demostrar que:

lm (x1 + . . . + xn ) = l R lm xn = 0
n+
n+
Series de nmeros reales

15. (nivel 3) Dada la sucesin de nmeros reales (an )nN definida por
a1 = 1,
an
an+1 = ,
n
(a) Demostrar que es convergente.
(b) Calcular su lmite.
(c) Determinar el carcter de la serie (1)n an .

n=1
(1)n
. Estimar el valor absoluto
n+1
n=1 n3
la diferencia entre esta suma y la suma de la serie.
+
16. (nivel 2) Hallar la suma parcial s3 de la serie
17. (nivel 2) Determinar la convergencia de las siguientes series y sumar las tres
ltimas.
1
n
n=1 13
+
n
(a)
n+1
n=1
+
n+1
(b)
n+8
n=1
(d)
23n+4
2n+5
n=1 3
+
(e)
2n+1
n2
n=1 3
3
n=1 5 + 5n
(c)
(f)
+
n=1
n=1
n=1
18. (nivel 2) Dar un ejemplo de dos series an y bn tales que (an +bn ) converja,
+
n=1
n=1
mientras an diverja y bn tambin diverja.

Calcular 1 + 2 + 4 + 8 + . . . Por qu no es igual a
+
19. (nivel 1) Demostrar que (1 +

n=1
1
= 1?
12
1
) diverge.
2n
1.7. Ejercicios
45
20. (nivel 2) Determinar, mediante el criterio de comparacin, la convergencia de las

series cuyo trmino general es el siguiente
8
6n 1
8
(f)
5 + 7n
3
(g)
2+n
1
1
2
(b) n
4 3
cos(n)
(c)
3n 1
(1)n
(d) n
4 +1
(a)
(e)
3n
2n 1
.
n
n=1 5 + 1
+
21. (nivel 3) Hallar con un error menor que 0.01 la suma
22. (nivel 2) Determinar la convergencia y la convergencia absoluta de las series cuyo

trmino general es el siguiente
3
4n + 2
4 n
(b) ( n
)
2 +3
1
(c) n
2 + 3n
3+n
(d)
4n
(e) en
(a)
n n
)
n+2
1
(g)
n
(f) (
(h)
(1)n
8n + 2
23. (nivel 2) Usando el criterio del cociente determinar si convergen las siguientes
series
+ 3 n
+
+
+
n3
3n
2n2 + n!
2 n
(b) 5
(c)
(d)
(a) n
n=1 n + 3n!
n=1 n!
n=1 2 n
n=1 3
24. (nivel 2) Utilizando el criterio de comparacin, determinar si convergen las series
de trmino general
(a)
cos n
n2
(b)
sen n
n3/2
(c)
n
+4
n2
(d)
n
+4
n3
25. (nivel 2) Utilizando el criterio de la raz, determinar el carcter de las series con
trmino general
(a)
3n
nn
(b)
nn
2n
(c)
2n
n3
(d)
n2
2n
26. (nivel 3) Determinar el carcter de las series cuyo trmino general es
46

(a)
(b)
(c)
(d)
(e)
(f)
sen4 n
n2
1
n 32
n2
2
(cos
)
n
n!
nn
nn
n!
n
cos2n (
)
2n + 4
n+1
(g) (
)
n
n3
(h)
(i)
(j)
(k)
(l)
(m)
1
n2
2
1 n n
(1 + ) e
n
1
1
sen cos
n
n
n
2
2 + 5n
3n
2
n +1
con a 0
nan
3
n
(n + 1) n
n
1
(n) ( )
n
1
n+ n
()
(o)
(p)
(q)
(r)
(s)
(t)
1
n(n + 1)(n + 2)
n2 n
a
n!
n+1
log(
)
n
(a + 1)(a + 2) . . . (a + n)
n!
2
1+n
n!
1 + sen3 n
nn
1
3
n( n + n n n)
27. (nivel 2) Sumar las siguientes series

2n 5n
n
n=1 10
+
n
2n + 3
(e)
n=1 (n + 1)(n + 2)(n + 3)
n=2 (n 1)n(n + 2)
+
n!
(d)
n=1 (n + 2)!
+
(c)
(a)
1
n=1 n(n + 1)(n + 2)
+
(b)
28. (nivel 2) Justificar si son ciertas o falsas las siguientes afirmaciones

+
(a) Si an 0 , entonces an converge.

n=1
+
(b) Toda serie geomtrica rn converge.

n=1
1
= 1.
n
n=1 2
(d) Con el criterio del cociente se determina la convergencia de cualquier serie.
+
(c)
(e) Una serie que converge tambin debe converger absolutamente.

+
k=1
k=1
(f) Si 0 an arn , r < 1 , entonces ak ak

+
a rn+1
.
1r
+
(g) La convergencia de (an + an+1 ) implica la convergencia de an .

n=1
n=1
1
1
=
, entonces
=
.
4
4
90
1440
n=1 n
n=1 (2n)
+
(h) Si
+
1 2
1
2
=
,
se
tiene
que
=
.
2
2
6
8
n=1 n
n=1 (2n 1)
+
(i) Si
1.8. Algunas soluciones e indicaciones
47

El conjunto de los nmeros reales
1.
2.
3. Simplemente hay que tener en cuenta que si x = 1, entonces x1 = 0 y, recordemos,
0 = 0
/ = .
4. (a) x = 1 o x = 4.
2
(b) x = o x = 4.
3
(c) .
(d) (, 2].
(e) .
1 1
5. (a) ( , ).
6 4
(b) [ 3, 1] [1, 3].

(c) (4, 6).
(d) (2, +).
(e) (3, 4).
Mtodo de induccin
6.
Nmeros complejos
(e) 1 + i
7. (a) 2i
(b) 2 + 2i
(f)
(c) i
(g) i
(d) 1 2i
(h) i
8. (a) Crculo de centro ( 23 , 0) y radio
1
4
+ 4i
1
2
(b)
(c)
(d)
48
Sucesiones de nmeros reales

9. (a) No es montona, no est acotada
(b) (an ) es estrictamente montona y acotada.
(c) Es estrictamente creciente, no est acotada
(d) Est acotada
(e) No es montona, est acotada
(f) No es montona, est acotada
10.
11. (a) +
(b) a2 + a +
(c)
(d)
(e)
(f)
0
e
1
3
1
(g)
p!
1
3
(h)
1
a
(i)
1
e
(j) 1
(k) e
(l) 0
12. (a) Observamos en primer lugar que un 0 para todo n. Despus se demuestra
por induccin que (un ) es creciente. Para hacer los clculos, observa que, al
ser un 0 la expresin un un+1 es equivalente a u2n u2n+1 . A continuacin,
se demuestra por induccin que 2 es una cota superior de (un ). Para hacer
los clculos, observa que, al ser un 0 la expresin un 2 es equivalente
a u2n 4. Con esto se demuestra
tomando
la existencia de lmite. Ahora,
lmites en la expresin un+1 = 2 + un se obtiene la igualdad l = 2 + l. Para
resolver esta ecuacin, la elevamos al cuadrado. Al hacer esto, hay que tener
en cuenta que podemos estar aadiendo soluciones espurias2 . La ecuacin
l2 l 2 = 0 tiene dos soluciones, la espuria l1 = 1 y la solucin del problema
l2 = 2. Con esto demostramos que el lmite de (un ) es 2.
(b)
13.
14.
2
espuria: http://lema.rae.es/drae/?val=espuria
Series de nmeros reales

15.
16.
17. (a) Diverge
(b) Diverge
(c) Diverge
1
12
128
(e) Converge, su suma es
243
(f) Converge, su suma es 36
(d) Converge, su suma es
18.
19.
1 n
20. (a) Converge, tomar bn = ( ) .
2
(b) Converge
(c) Converge
(d) Converge
(e) Diverge
(f) Diverge
(g) Diverge
21.
22. (a) Converge absolutamente, luego converge.
(b) Converge absolutamente, luego converge.
(c) Converge absolutamente, luego converge.
(d) Converge absolutamente, luego converge.
(e) Converge absolutamente, luego converge.
(f) No converge, luego no converge absolutamente.
(g) No converge, luego no converge absolutamente.
(h) Converge, no converge absolutamente.
23. (a) Converge.
(b) Diverge.
24. (a) Converge
(b) Converge
25. (a) Converge
(b) Diverge
(c) Converge.
(d) Diverge.
(c) Diverge
(d) Converge
(c) Diverge
(d) Converge
26.
49
50

(a) Converge
(h) Diverge
() Converge
(b) Diverge
(i)
(o)
(c)
(j)
(p)
(d) Converge
(k) Converge
(q)
(e)
(l)
(r) Converge
(f)
(m)
(s) Converge
(g)
(n)
(t)
27.
28. (a) Falsa
(b) Falsa
(c) Cierta
(d) Falsa
(e) Falsa
(f)
(g) Falsa
(h)
(i)
Tema 2
Funciones, lmites y continuidad en
dificultad. Para orientar tu trabajo, se ha etiquetado cada ejercicio en niveles, como en
el captulo anterior.
Tambin es recomendable consultar [1], [2], [3].
2.1. Funciones. Tipos de funciones

Definicin 2.1.1. Se llama funcin real de variable real a una aplicacin f entre dos
subconjuntos A y B de R.
f A B
x f (x)
El conjunto A se llama dominio de f . El conjunto
Imf = f (A) = { y B x A tal que f (x) = y }
se llama imagen, rango o recorrido de f . El conjunto
Gf = { (x, f (x)) x A } R2 ,
se llama grfica o grafo de f .
Ejemplo 2.1.2. Consideremos la funcin
f R R
x x2
Es una funcin no inyectiva porque f (1) = f (1), y no suprayectiva ya que f (R) =
[0, +).
51
52
Funciones de R en R
Definicin 2.1.3. Sea D R y sea f D R se dice

Acotada superiormente si
K R tal que f (x) K
x D .
Acotada inferiormente si
l R tal que f (x) l
x D .
Acotada si
C R tal que f (x) C
x D .
Proposicin 2.1.4. Una funcin f est acotada si y slo si est acotada superior e
inferiormente.
Definicin 2.1.5. Sea D R y sea f D R se dice que f es
creciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) f (x2 ),
estrictamente creciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) < f (x2 ),
decreciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) f (x2 ),
estrictamente decreciente en D si
x1 , x2 D tales que x1 < x2 , se tiene que f (x1 ) > f (x2 ) .
montona en D si es creciente o decreciente en D.
estrictamente montona en D si es estrictamente creciente o estrictamente decreciente en D.
Nota 2.1.6. Observa que las funciones crecientes mantienen el sentido de las desigualdades, mientras que las funciones decrecientes lo invierten. Observa tambin que las
funciones estrictamente montonas son inyectivas.
2.2. Operaciones con funciones
53
Definicin 2.1.7. Sea una funcin f A B con dominio A simtrico respecto del 0.
Se dice que f es par si para todo x A se tiene f (x) = f (x), y se dice que es impar
si para todo x A se tiene f (x) = f (x).
Ejemplo 2.1.8. La funcin del ejemplo 2.1.2, f (x) = x2 , es una funcin par. La funcin
f (x) = x3 es una funcin impar.
Nota 2.1.9. El grafo de una funcin par es simtrico respecto del eje vertical; el grafo
de una funcin impar es simtrica respecto del punto (0, 0).
Definicin 2.1.10. Sea una funcin f R R y sea p > 0. Se dice que f es una funcin
peridica de periodo p ( p-peridica) si f (x + p) = f (x) para todo x R.
Ejemplo 2.1.11. Las funciones seno y coseno son peridicas de periodo 2; la funcin
tangente es peridica de periodo (vase la seccin 2.5).
Nota 2.1.12. Para saber cmo es el grafo de una funcin peridica de periodo p basta
con conocerlo en un intervalo de longitud p.

En el conjunto de funciones podemos definir una serie de operaciones de manera que el
resultado de la operacin sea una nueva funcin. Hay que tener en cuenta los dominios
de las funciones con las que queremos operar.
Definicin 2.2.1. Sea D R, R, dadas dos funciones f, g D R, definimos las
siguientes operaciones.
Suma de funciones.
f +g D R
x f (x) + g(x)
Producto de funciones.
f g D R
x f (x) g(x)
Producto de un escalar por una funcin.
f D R
x f (x)
54
Funciones de R en R
Cociente de funciones. Si g(x) 0 para todo x D

f
DR
g
f (x)
x
g(x)
Otras operaciones. Imponiendo en cada caso las condiciones que sean necesarias,
podemos definir las siguientes operaciones
Si f (x) > 0 para todo x D:
log f D R
x log f (x)
Si f (x) > 0 para todo x D:
fg D R
x f (x)g(x) = eg(x) log(f (x))
Si f (x) 0 para todo x D:
f D R
x f (x)
Ejemplo 2.2.2. Dadas las funciones f (x) = sen x y g(x) = cos x, la funcin suma
s = f + g viene dada por s(x) = sen x + cos x. El grafo de s se obtiene de forma muy
sencilla a partir de los grafos de las funciones f y g: en cada valor de la abscisa x, para
obtener s(x) basta con aadir a f (x) el valor de g(x). Vase la figura 2.1.
f +g
Figura 2.1. Suma de funciones
Veamos ahora otras operaciones entre funciones.

55
Definicin 2.2.3. Consideremos dos funciones

f A B
x f (x)
g C D
x g(x)
tales que Im f C. Se define la nueva funcin f compuesta con g, y se denota por

g f , como
gf A D
x g (f (x))
Observa que la funcin anterior est bien definida para los dominios e imgenes de las
funciones que intervienen en la definicin.
Ejemplo 2.2.4. Sea D R y consideremos una funcin f D R, entonces
Si f (x) 0 x Dy si g(x) =
x, entonces (g f )(x) = f (x).
Si f (x) > 0 x Dy si g(x) = log x, entonces (g f )(x) = log f (x).

Definicin 2.2.5. Sean D R y f D R una funcin inyectiva, definimos la funcin
inversa de f , y la denotamos por f 1 , como
f 1 Im f A
y
x tal que f (x) = y .
Esta funcin inversa est bien definida por ser f inyectiva.
Observa que se verifica que f 1 (f (x)) = x para todo x D, y que f (f 1 (y)) = y
para todo y Im f . Teniendo en cuenta que el punto (x, y) Gf si y slo si el punto
(y, x) Gf 1 , tenemos que la grfica de f 1 se puede obtener a partir de la de f
intercambiando x e y.
Ejemplo 2.2.6. Mostramos los grafos de la funcin f (x) = cos x y la de su funcin
inversa, f 1 (x) = arc cos x.
2.5
0.5
2
0.5
1.5
2.5
1.5
1
-0.5
0.5
-1
-1
Funcin cos x
-0.5
0.5
Funcin arc cos x
56
Funciones de R en R
2.3. Lmite de una funcin

Dado un conjunto D R, se define el conjunto de puntos de acumulacin de D como
D = { x R > 0 se verifica que D (x , x + )/{x} } .
Observemos que si x0 D , hay puntos de D, distintos del propio x0 , tan prximos como
se quiera a x0 . Para los intervalos I de la forma (a, b), [a, b), (a, b] y [a, b], tenemos
que I = [a, b].
Definicin 2.3.1. Sean D R, x0 D , ` R y f D R,
Se dice que ` es el lmite de f en x0 , y se escribe
lm f (x) = `
xx0
si
0 < x x0 <
> 0 > 0 tal que si
xD
, entonces f (x) ` < .
(Si x est "suficientemente cerca de x0 , se tiene que f (x) est tan cerca de `
como previamente habamos exigido).
Se dice que + es el lmite de f en x0 , y se escribe
lm f (x) = +
xx0
si
0 < x x0 <
M > 0 > 0 tal que si
xD
(Si x est suficientemente cerca de x0 , se tiene

previamente habamos exigido).
, entonces f (x) > M .
que f (x) es mayor de lo que
Se dice que es el lmite de f en x0 , y se escribe

lm f (x) =
xx0
si
0 < x x0 <
M < 0 > 0 tal que si
xD
(Si x est suficientemente cerca de x0 , se tiene

, entonces f (x) < M .
que f (x) es menor de lo que
57
Definicin 2.3.2. Sean f R R y ` R.

Se dice que ` es el lmite de f cuando x +, y se escribe
lm f (x) = ` ,
x+
si
> 0 x1 > 0 tal que si x x1 , entonces f (x) ` < .
(Si x es suficientemente grande, se tiene que f (x) est tan cerca de ` como
Se dice que + es el lmite de f cuando x +, y se escribe
lm f (x) = + ,
x+
si
M > 0 x1 > 0 tal que si x x1 , entonces f (x) > M .
(Si x es suficientemente grande, se tiene que f (x) es mayor de lo que previamente habamos exigido).
Se dice que es el lmite de f cuando x +, y se escribe
lm f (x) = ,
x+
si
M < 0 x1 > 0 tal que si x x1 , entonces f (x) < M .
(Si x es suficientemente grande, se tiene que f (x) es menor de lo que previamente habamos exigido).
Se dice que ` es el lmite de f cuando x , y se escribe
lm f (x) = ` R ,
si
> 0 x1 < 0 tal que si x x1 , entonces f (x) ` < .
(Si x es suficientemente pequeo, se tiene que f (x) est tan cerca de ` como
Se dice que + es el lmite de f cuando x , y se escribe
lm f (x) = + ,
si
M > 0 x1 < 0 tal que si x x1 , entonces f (x) > M .
(Si x es suficientemente pequeo, se tiene que f (x) es mayor de lo que previamente habamos exigido).
58
Funciones de R en R
Se dice que es el lmite de f cuando x , y se escribe

lm f (x) = .
si
M < 0 x1 < 0 tal que si x x1 , entonces f (x) < M . (Si x es suficientemente pequeo, se tiene que f (x) es menor de lo que previamente habamos exigido).
Nota 2.3.3. En la definicin 2.3.2, para definir los lmites cuando x + no es necesario
que el dominio de f sea R. Es suficiente que el dominio de f contenga un intervalo de la
forma (a, +). Anlogamente, para el caso de los lmites cuando x , es suficiente
que el dominio de f contenga un intervalo de la forma (, b).
Proposicin 2.3.4. Si una funcin tiene lmite en un punto x0 R, o en + o en
, el lmite es nico.
Definicin 2.3.5. Sean ` R, I un intervalo, x0 I tal que x0 no sea el extremo
derecho de I, y f I R, se dice que ` es el lmite por la derecha de f en x0 , y se
escribe
lm+ f (x) = ` ,
xx0
si
0 < x x0 <
> 0 > 0 tal que si
xI
entonces f (x) ` < .
Se pueden definir anlogamente (se propone como ejercicio) los dos lmites por la
derecha
lm+ f (x) = + ,
lm+ f (x) = ,
xx0
xx0
y, supuesto que x0 no sea el extremo izquierdo de I, los tres lmites por la izquierda
restantes
lm f (x) = ` ,
lm f (x) = + ,
lm f (x) = .
xx0
xx0
xx0
Proposicin 2.3.6. Consideremos una funcin f I R, con I un intervalo. Sea

x0 un nmero real tal que x0 I , y tal que x0 no sea extremo de I . Entonces existe
lm f (x) si y slo si existen y son iguales los lmites laterales lm+ f (x) y lm f (x).
xx0
xx0
xx0
En este caso,
lm f (x) = lm+ f (x) = lm f (x) .
xx0
xx0
xx0
Proposicin 2.3.7. Sean D R, x0 R y f D R. Entonces existe

lm f (x) = l
xx0
59
si y solamente si para toda sucesin (an )nN con an D, n N y con lm an = x0 , se

tiene
lm f (an ) = l.
Nota 2.3.8. La proposicin 2.3.7 es vlida tambin si x0 = +, x0 = , l = +, l =
y para los lmites laterales.
Nota 2.3.9. La proposicin 2.3.7 es especialmente til para demostrar la no existencia
de lmite.
Ejemplo 2.3.10. Sea D = (0, ) y
f DR
1
x sen
x
Vamos a demostrar, usando la proposicin 2.3.7, que / lm+ f (x). Sean

x0
an =
1
,
2n
bn =
1
,
+ 2n
tenemos que f (an ) = 0 y f (bn ) = 1, as que lm f (an ) = 0 y lm f (bn ) = 1, lo que nos

lleva a
/ lm+ f (x).
x0
lgebra de lmites
Las tablas 2.1-2.10 son consecuencia inmediata de la proposicin 2.3.7 y las tablas
que tenamos para sucesiones. Tambin aqu, la letra "I" significa "interminacin", es
decir, con slo con saber los lmites de los operandos no sabemos cul es el lmite de
la operacin.
60
Funciones de R en R
`R
` R
` + `
Tabla 2.1. Lmite de la suma (f + g)
`R
`>0
`=0
` R, ` > 0
` `
` = 0
` R, ` < 0
`R
`<0
` `
` `
` `
Tabla 2.2. Lmite del producto (f g)
f =/ 0
` R, ` =/ 0
`=0
1/f
f >0
1/f
f <0
1/f
` R, ` =/ 0
1/`
` R, ` =/ 0
1/`
`=0
`=0
1/`
0
0
Tabla 2.3. Lmite de
1
f
, f (x) 0 x D
`R
`>0
`=0
`R
`<0
` R, ` > 0
`/`
`/`
` = 0
` R, ` < 0
`/`
`/`
Tabla 2.4. Lmite para el cociente
f
g
, g(x) 0 x D
61
62
Funciones de R en R
`R
`>0
`=0
` R, ` > 0
`/`
` = 0
`R
`<0
`/`
`=0
f
g
, g(x) > 0 x D
`R
`>0
`R
`<0
` R, ` < 0
`/`
`/`
` = 0
f >0
log f
` R, ` > 0
log `
`=0
f
g
, g(x) < 0 x D
Tabla 2.7. Lmite para el logaritmo log f , f (x) > 0 x D

`R
0<<1
>1
Tabla 2.8. Lmite para la exponencial f , > 0
f
r
`R
`>0
r>0
`r
r<0
`r
Tabla 2.9. Lmite para la potencial f r , f (x) > 0 x D
`R
0<`<1
` R, ` < 0
``
` R, ` > 0
``
`R
`>1
``
``
Tabla 2.10. Lmite para la potencial-exponencial f g , f (x) > 0 x D

63
64
Funciones de R en R
Clculo de lmites
Proposicin 2.3.11. (Regla del sndwich)
Dado un intervalo I, consideremos las funciones f, g, h I R. Sea x0 R{, +}.
Si
f (x) g(x) h(x) suficientemente cerca" de x0
y existe
lm f (x) = lm h(x) = `
xx0
xx0
con ` R {, +} ,
entonces tambin existe lm g(x) = `.

xx0
Nota 2.3.12. De la regla del sndwich, se deduce inmediatamente que el siguiente resultado.
Proposicin 2.3.13. Dado un intervalo I, consideremos las funciones f, g, I R.
Sea x0 R {, +}. Si lm = g(x) = 0 y f (x) est acotada suficientemente cerca"
xx0
de x0 , entonces
lm f (x)g(x) = 0.
xx0
Definicin 2.3.14. Sean f, g D R R y sea x0 D . Se dice que f es equivalente

a g en x0 si
f (x)
= 1.
lm
xx0 g(x)
Suele denotarse f g
x0
Nota 2.3.15. En las condiciones de la definicin 2.3.14, si f (x) 0, en la tabla 2.11

xx0
tienes algunas de las equivalencias ms utilizadas
Nota 2.3.16. Las equivalencias son de aplicacin directa al clculo de lmites en expresiones en las que intervengan productos. Supongamos, por ejemplo f, g, h D R R
y x0 D . Si f g, y tenemos que calcular
x0
lm f (x).h(x),
xx0
podemos "utilizar equivalencias" del siguiente modo

lm f (x) h(x) = lm
xx0
xx0
f (x)
g(x) h(x) = lm g(x).h(x)
xx0
g(x)
ya que
f (x)
= 1.
g(x)
Esto ser de utilidad cuando la expresin g(x).h(x) sea ms sencilla (desde el punto
de vista del clculo de lmites) que f (x).h(x). De manera anloga se puede proceder
en expresiones en las que intervengan cocientes.
lm
xx0
65
r 0
x0
1
1 r(x)
sen r(x)
1 + r(x)
r(x)
x0
x0
1 cos r(x)
er(x) 1
x0
x0
tg r(x)
arc sen r(x)
x0
x0
arctg r(x)
(r(x))2
2
log(1 + r(x))
x0
x0
r(x)
r(x)
Tabla 2.11. Algunas equivalencias para funciones elementales

Nota 2.3.17. Si f g, puede ocurrir que
x0
lm (f (x) + h(x)) lm (g(x) + h(x))
xx0
xx0
como muestra el contraejemplo 2.3.18

Ejemplo 2.3.18. Sean f (x) =
2
1
y g(x) =
. Tenemos que f g y, adems
2
0
x
1 cos x
1
lm(f (x) g(x)) = .
x0
6
Pero si "aplicsemos equivalencias en sumas", llegaramos a

1
= lm(f (x) g(x)) = lm(f (x) f (x)) = 0,
x0
6 x0
lo que es imposible.
Asntotas
Algunas funciones tienen unas rectas particulares que se pegan" a su grafo. Estas
rectas se conocen con el nombre de asntotas.
Definicin 2.3.19. Sea f R R y x0 R. La recta x = x0 es una asntota vertical de
f si se verifica alguna de condiciones siguientes:
lm f (x) = + ,
xx
0
lm f (x) = + ,
xx+
0
lm f (x) = ,
xx
0
lm f (x) = .
xx+
0
66
Funciones de R en R
Definicin 2.3.20. La recta y = mx + b es una asntota oblicua de f si

lm (f (x) y(x)) = 0
lm (f (x) y(x)) = 0 .
x+
En el caso particular m = 0, la asntota se llama horizontal.

Desde el punto de vista prctico, la definicin 2.3.20 es poco til para averiguar si una
funcin tiene o no asntotas oblicuas. Es mejor estudiar en primer lugar el lmite
lm
x+
f (x)
.
x
Si este lmite existe y es real, entonces su valor m es la pendiente de la asntota. Para

encontrar b calculamos
lm (f (x) mx) .
x+
Si este lmite existe y es real, entonces su valor es b. Anlogamente se estudiara la

existencia de asntotas cuando x .
2.4. Continuidad
Definicin 2.4.1. Sea D R y consideremos una funcin f D R. Sea x0 D D .
Se dice que f es continua en x0 si lm f (x) = f (x0 ).
xx0
Si f es continua en x0 para todo x0 D, diremos que f es continua en D.

Definicin 2.4.2. Sea D R y consideremos una funcin f D R. Sea x0 D .
Diremos que f es discontinua en x0 si
x0 / D
o
Si x0 D pero f no es continua en x0 .
2.4. Continuidad
67
En la definicin 2.2.1 vimos algunas operaciones con funciones. Si ambas funciones son
continuas, la nueva funcin tambin lo es.
Proposicin 2.4.3.
1. Sean f y g dos funciones continuas en x0 . Entonces, la funcin suma f + g y la
funcin producto f g son funciones continuas en x0 .
2. Sean f y g dos funciones continuas en x0 . Si g(x0 ) 0, entonces la funcin
f
cociente es continua en x0 .
g
3. Si f (x) > 0 x D y f y g son continuas en x0 , entonces f g es continua en x0 .
Veamos algunos ejemplos de funciones continuas
Ejemplo 2.4.4.
1. La funcin constante,
f RR
x k,
es continua en R.
2. La funcin identidad,
f RR
x x,
es continua en R.
3. Los polinomios son funciones continuas en R.
4. La funcin
f (0, +) R
x log x,
es continua en (0 + ).
68
Funciones de R en R
5. La funcin
f [0, +) R
x x,
es continua en [0, +).
Pueden obtenerse nuevas funciones continuas mediante la composicin de funciones
continuas.
Proposicin 2.4.5. Consideremos las funciones f I1 R y g I2 R, con I2 tal que
f (I1 ) I2 . Si f es continua en x0 y g es continua en f (x0 ), entonces la funcin g f
es continua en x0 .
Ejemplo 2.4.6. Sea I un intervalo, y sea f I R continua en I, entonces
si f (x) 0 x I, entonces las funcin
f es continua en I,
si f (x) > 0 x I, entonces las funcin log f es continua en I.

Resultados clsicos sobre continuidad
En esta seccin mostramos varios resultados importantes para funciones continuas definidas en un intervalo cerrado.
Una funcin continua en su dominio puede no estar acotada en l. Por ejemplo, la
1
funcin f (x) = es continua en (0, 1] pero est acotada dicho intervalo. Esta situacin
x
no puede darse en un intervalo cerrado.
Proposicin 2.4.7. Sea f [a, b] R una continua en [a, b]. Entonces f est acotada,
es decir, existe una constante C 0 tal que
f (x) C
para todo x [a, b] .
Teorema 2.4.8. (Teorema de Weierstrass)

Sea f [a, b] R una funcin continua. Entonces f alcanza su mximo y su mnimo
en [a, b], es decir, existen puntos c y d en [a, b] tales que
f (c) = max f (x) ,
x[a,b]
f (d) = mn f (x) .
x[a,b]
2.4. Continuidad
69
Teorema 2.4.9. (Teorema de Bolzano)

Sea f [a, b] R continua en [a, b] tal que f (a) f (b) < 0 . Entonces existe algn punto
x0 (a, b) verificando f (x0 ) = 0.
Los puntos x0 tales que f (x0 ) = 0 se llaman races de f . El teorema de Bolzano nos
indica que, bajo las condiciones del teorema, existe al menos una raz de f en el intervalo
(a, b). El teorema no afirma nada acerca del nmero de races que existen en el intervalo.
Como consecuencia del teorema de Bolzano tenemos los resultados siguientes.

Proposicin 2.4.10. (Propiedad de Darboux)
Sea f [a, b] R continua y tal que f (a) f (b). Entonces para todo y0 entre f (a) y
f (b), existe x0 (a, b) tal que f (x0 ) = y0 .
Observemos que la propiedad de Darboux nos indica que, bajo las condiciones de la proposicin, f toma todos los valores comprendidos entre f (a) y f (b). Como consecuencia
inmediata tenemos la siguiente proposicin.
Proposicin 2.4.11. Sea f [a, b] R continua en [a, b]. Entonces f ([a, b]) es un
intervalo cerrado.
La siguiente proposicin es tambin cierta (por supuesto!), pero no se deduce inmediatamente de la propiedad de Darboux
Proposicin 2.4.12. Sea I un intervalo y f I R continua en I. Entonces f (I) es
un intervalo.
Clasificacin de las discontinuidades

En la definicin 2.4.2 se ha definido cundo una funcin es discontinua en un punto
x0 . Una funcin puede ser discontinua en x0 debido a varios motivos; ello da lugar a
clasificar las discontinuidades en distintos tipos.
Definicin 2.4.13. Sean D R, f D R y x0 D . Se dice que
70
Funciones de R en R
f tiene una discontinuidad evitable en x0 si

x0 D y existe lm f (x) R, pero f (x0 ) lm f (x) R,
xx0
xx0
o bien
x0 / D y existe lm f (x) R.
xx0
Si f tiene una discontinuidad evitable en x0 , entonces podemos definir otra funcin f cuyo dominio es D {x0 } de la siguiente manera
f (x) ,
f (x) =
lm f (x) ,
xx0
si x x0 ,
si x = x0 .
La funcin f es una funcin continua en x0 que se llama extensin continua de

f.
Se dice que f tiene una discontinuidad no evitable de primera especie en x0 si
lm f (x) = +,
xx0
lm f (x) = ,
xx0
existen los dos lmites laterales de f en x0 pero son distintos.

Se dice que f tiene una discontinuidad no evitable de segunda especie en x0 si no
existe alguno de los lmites laterales de f en x0 .
Ejemplo 2.4.14.
1. La funcin
1/x
e , si x 0 ,
f (x) =
si x = 0 .
0,
tiene una discontinuidad no evitable de primera especie en x0 = 0.
2. La funcin
sen x , si x 0 ,
f (x) =
si x = 0 .
0,
tiene una discontinuidad no evitable de segunda especie en x0 = 0.
2.5. Anexo: Funciones usuales
71
2.5. Anexo: Algunas funciones usuales

2.5.1. Funciones elementales
Funciones polinmicas
f R R
x a0 nk + a1 nk1 + + ak , a0 0
(a) f es continua en su dominio.
(b) Imagen de f :
si n es impar, f (R) = R,
si n es par
Si a0 > 0 f (R) es un intervalo de la forma [a, +),
Si a0 < 0 f (R) es un intervalo de la forma (, b],
En la grfica se muestran tres funciones polinmicas f , g y h de grados 2, 3 y 4,
respectivamente.
g
20
10
-3
-2
-1
-10
-20
Funcin seno1
f R R
x sen x.

(b) f (R) = [1, 1], luego f es una funcin acotada.
(c) Es impar.
(d) Es peridica de periodo 2.
1
-1
En esta, y en todas las funciones trigonomtricas, el argumento est expresado en radianes
72
Funciones de R en R
Funcin coseno
f R R
x cos x

(b) f (R) = [1, 1], luego f es una funcin acotada.
(c) Es par.
(d) Es peridica de periodo 2.
1
-1
Funcin tangente
Sea
D = R {x R cos x=0} = R {(2k + 1)
y
k Z} .
2
f D R
sen x
= tg x
cos x
x
(a) f es continua en D.
(b) f (R) = R, luego f no es una funcin acotada.

(c) Es impar.
(d) Es peridica de periodo .
15
10
5
3
-
2
-
2
-5
-10
-15
73
Funcin arcoseno.
Esta funcin es la inversa de la restriccin de la funcin seno al intervalo [ 2 , 2 ].
f [1, 1] [ 2 , 2 ]
x y tal que sen y = x
(y = arc sen x)

(b) f ([1, 1]) = [ 2 , 2 ], luego f es una funcin acotada.
(c) Es impar.
-1
-0.5
0.5
-
2
Se puede obtener su grafo a partir del de la funcin funcin seno (pgina 55).
Funcin arcocoseno
Esta funcin es la inversa de la restriccin de la funcin coseno al intervalo [0, ]
f [1, 1] [0, ]
x y, tal que
cos y = x
(y = arc cos x)

(b) f ([1, 1]) = [0, ], luego f es una funcin acotada.
Se puede obtener su grafo a partir del de la funcin coseno.
-1
-0.5
0.5
74
Funciones de R en R
Funcin arcotangente
Esta funcin es la inversa de la restriccin de la funcin tangente al intervalo
( 2 , 2 )
f R ( 2 , 2 )
x y tal que tg y = x
(y = arctg x)
(b) f (R) = ( 2 , 2 ), luego f es una funcin acotada.
(c) Es impar.
(d) Es estrictamente creciente.
Se puede obtener su grafo a partir del de de la funcin tangente.
-5
-10
10
-
2
Funcin exponencial
f R R
x ex
(b) f (R) = (0, +), es decir, f (x) > 0 para todo x R.
(c) Es estrictamente creciente.
20
15
10
-3
-2
-1
75
Funcin logaritmo
Es la funcin inversa de la funcin exponencial.
f (0, +) R
x y tal que ey = x
(y = log x)

(b) f ((0, +)) = R, luego f no est acotada.
(c) f es estrictamente creciente.
Como es la inversa de la funcin exponencial, ya sabemos cmo es su grfica.
2
1
1
-1
-2
-3
-4
Funcin seno hiperblico

f R R
ex ex
x
= Sh x
2
(b) f (R) = R.
(c) Es impar
(d) Es estrictamente creciente.
20
10
10
20
76
Funciones de R en R
Funcin coseno hiperblico
f R R
ex + ex
x
= Ch x
2
(b) f (R) = [1, +), luego f est acotada inferiormente.
(c) Es par.
La grfica correspondiente a esta funcin se llama catenaria.
http://www.fotomat.es/catenaria/
2
1.5
1
0.5
-1
-0.5
0.5
Funcin tangente hiperblica

f R R
Sh x
x
= Th x
Ch x
ex ex e2x 1
(b) Th x = x x = 2x
.
e +e
e +1
(c) f (R) = (1, 1), luego f es una funcin acotada.
(d) Es impar
(e) Es estrictamente creciente.
1
-6
-3
-1
77
Funcin argumento del seno hiperblico

f R R
x y tal que
Sh y = x
(y = ArgSh x)
Es la funcin inversa de la funcin seno hiperblico. Observa que est bien definida, ya que Sh x es biyectiva.
(b) f (R) = R.
(c) Es impar y estrictamente creciente.
3
2
1
-10
-5
10
-1
-2
-3
Funcin argumento del coseno hiperblico

f [1 + ) [0, +)
x y tal que
Ch y =x
(y = ArgCh x)
Es la sta funcin inversa de la la restriccin a [0, ) de la funcin coseno hiperblico.

(b) f ([1, +)) = [0, +) .
(c) Es estrictamente creciente.
3
2.5
2
1.5
1
0.5
10
78
Funciones de R en R
Funcin argumento de la tangente hiperblica Es la funcin inversa de de la
funcin tangente hiperblica.
f (1, 1) R
x y tal que Th y =x
(y =ArgTh x)

(b) f ((1, 1)) = R.
(c) Estrictamente creciente.
2
-1
-0.5
0.5
-1
-2
2.6. Otras funciones usuales
Funcin parte entera

f R R
x [x] = max{ n Z n x }
(a) Dominio: R .
Es continua en R Z. En cada punto de Z, presenta una discontinuidad de
no evitable de primera especie.
(b) f (R) = Z.
2
-2
-1
-1
-2
2.6. Otras funciones usuales
Funcin valor absoluto

f RR
x x = {
x
x
x0
x<0
si
si
(a) Dominio: R .
(b) Es continua en su dominio
(c) f (R) = [0, +).
1.0
0.8
0.6
0.4
0.2
-1.0
-0.5
0.5
1.0
79
2.7. Ejercicios
81
2.7. Ejercicios
Conceptos bsicos
1. (nivel 2 los dominios y nivel 3 las imgenes) Calcula el dominio y la imagen de
las siguientes funciones
(a) f (x) = arctg(x x2 )
(b) f (x) = arc cos(x2 1)
(c) f (x) = cos x2 1
(d) f (x) = sen x

x1
(e) f (x) = 2
x 2x + 8
(f) f (x) = log (cos x 12 )
(g) f (x) = earc sen(cos(sen(x
3 +3x8)))
(h) f (x) =
2x 2+x
(i) f (x) = log
x2 + 1
x1
(j) f (x) = arc cos
x2 2x
3 4x
2. (nivel 3) Estudia la inyectividad de las siguientes funciones y calcula su funcin

inversa cuando proceda
(a)
x+1
x+2
(e) x2 + 2x + 3
x+2
(f) 4 2
x2
(b) e 2
(c)
3
x+1
(d) arc cos
(g) log
x
x+1
x1
x+1
(h) cos x + sen x
3. (nivel 1) Estudia si el dominio de las siguientes funciones es simtrico respecto

de 0 y, cuando proceda, si las funciones son pares o impares.
x
(a)
x
2
(b) log(ex x)
(c)
(d)
x arctg x3
(e) arctg(cos(sen(x2 tg x))))

(f) x cos x2 x2 sen x
sen x cos x
(g) x3 + x2 + x + 1
x2 x
x3 x2
(h)
sen(x + 2)
x+2
4. (nivel 2) Razona si las siguientes afirmaciones son verdaderas o falsas.

(a) Si f es creciente, entonces f 2 es creciente.
82
Funciones de R en R
(b) Si f y g son crecientes, y g(x) 0 x, entonces f g es creciente.
(c) Si f es acotada superiormente, 1 + f 2 es acotada superior e inferiormente.
(d) Si f es peridica con periodo p, f (mx) es peridica con periodo p/m (m > 0).
(e) Si f y g son pares, entonces f g es par.
(f) Si f y g son impares, entonces f g es impar.
(g) Si f es par o impar, entonces f (0) = 0
Lmites
5. (nivel 0) Calcula
(a) lm x12
x0
x3 + 4x 2
x
x2 + 5
cos x x
(c) lm
x x +
x2 + 8x 20
(d) lm 2
x2 x x 2
(b) lm
1
(e) lm 2 x 2
x2
x3 + 1 x3 + 4x2 1
(f) lm
x+
x+1
x
2 2
(g) lm
x2
x
4 2x + 1 1
(h) lm 2
1
(x 1)2
x1
1
(i) lm log(1 + x)e x2
x0
ex 2x+1 1
(a) lm 3
x1 x 3x + 2
2
(b) lm
x2
cos(x 2) 1
(x 2) sen(2x 4)
tg(arc cos(x2 + x 1))

x1
2x 1
(c) lm
(d) lm 4tg(2 arctg x)

x1
1
(e) lm (1 x) 1 x
x1
log2 x
x1 x 1
(g) lm x x x
(f) lm
x+1
3x 1 x 1
(a) lm (
)
x1
x+1
(b) lm+ (
x3
1
)
x3
x2 x 6
2x2 4x 6
2.7. Ejercicios
log(1 + log(1 + ex ))
x+
cos x1 1
(c) lm
xa
log(1 + x)
2
x0 cos(ex 1) 1
(d) lm
(e) lm (
x2
x4
(f) lm
1
3x 3 sen(x 4)
)
x3
log x log a
xa
83
(a > 0)
1
(g) lm(x 2)8x 3 x 2
x2
x cos x x
(h) lm
x0
sen x2
8. (nivel 3) Estudia por qu los siguientes lmites no existen

(a) lm cos(2x)
(c) lm2 cos
x+
x
(b) lm 2
x1 x 1
1
2
sen
x
x 2
(d) lm log(1 + x cos x)

x+
Continuidad
9. (nivel 3) Estudia si las siguientes afirmaciones son verdaderas o falsas
(a) Si f y g son discontinuas en un punto x0 , entonces f + g es discontinua en
x0 .
(b) Si f es continua en x0 , entonces f 5 es continua en x0 .
(c) Si f es continua en x0 , entonces f es continua en x0 .

(d) Si existe el lmite de f cuando x x0 , entonces f es continua en x0 .
(e) Los puntos de discontinuidad de las funciones log(x2 ) y de 2 log x son los
mismos
10. Estudia, segn los valores de a y b la continuidad en R de las siguientes funciones
(a) (nivel 2) f (x) =
(b) (nivel 3) g(x) =
sen(b(x 2))
, x2
x2
a 1,
x=2
x2 1
, x 1
ax 2
b
x = 1
11. (nivel 2, salvo el apartado (f), que es de nivel 3) Halla los puntos de discontinuidad
de las siguientes funciones. Clasifica las discontinuidades
(a)
sen x2
x2
(b)
x2
x
1
84
Funciones de R en R
(c)
x+3
2
x 3x + 2
(d) log
(e)
2x
log x2 1
1, x Q
(f)
x, x R Q
x2 + 1
x1
12. (nivel 2) Halla las asntotas de los grafos de las siguientes funciones
(a)
x3 + 2x + 3
x2 + 4x 5
(d) arc cos
x2
(b) e 2
(e) log
(c)
x+3
x2
(f)
x2
x
+1
x1
x+1
(x2 1) arctg x
x+2
13. (nivel 3) Estudia si las siguientes afirmaciones son ciertas o falsas.

f + g + f g f + g f g)
(a) Si f, g son continuas en x0 , entonces
y
son
2
2
continuas en x0 .

(b) Si f es continua en R e Im (f ) ( , ) entonces tg f es continua en R.
2 2
(c) Si f (x) es continua, lm f (x) = 1, y lm f (x) = 1 entonces existe c R tal
x
x
que f (c) = 0
f
(d) Si f y g son discontinuas en x0 ,
es discontinua en x0 y, adems, la disg
continuidad es no evitable.
(e) Si f y g son continuas en (a, b), f (a) < g(a) y f (b) > g(b), entonces existe
c (a, b) tal que f (c) = g(c).
14. (nivel 2) Estudia la continuidad de la funcin
f (x) =
arctg x2
sen2 x + x2 cos x
en el punto x0 = 0. Si f tiene en x0 una discontinuidad evitable, define la extensin

continua de la funcin.
15. (nivel 2, salvo el (15e), que es de nivel 3) Estudia la continuidad de las siguientes
funciones. Para las discontinuidades evitables, define la extensin continua de la
funcin.
2.7. Ejercicios
(a)
85
2
2
(c) e x
log(1 + sen4 x)
2 cos4 x + sen4 x
x
cos x
( 2x)
sen x
(e)
log (1 + arctg x)
(d) sen
(b)
x2 4
x3 + 2x2 7x 2
16. (nivel 2) Demuestra que si f [0, 1] [0, 1] es una funcin continua, entonces
existe c [0, 1] tal que f (c) = c.
17. (nivel 3) Sean f y g dos funciones continuas definidas en el intervalo [a, b] tales
que f (a) < g(a) y f (b) > g(b). Demuestra que f (x) = g(x) para algn x [a, b].
18. (nivel 3) Sea f [3, 5] R una funcin continua tal que f (x) 4 para todo
x [3, 5] y f (3) = 3, demuestra que f (5) < 4.
19. (nivel 2) Demuestra que si una funcin es continua y no tiene ceros en un intervalo
cerrado [a, b], entonces no cambia de signo en ese intervalo.
1
, halla sus puntos de discontinuidad y sus asntotas.
9
x
21. (nivel 2) Consideremos la funcin f (x) =
. Comprueba que f ( 3 ) > 0 y que
sen x
( 4 ) tal que f (c) = 0. Explica
f ( 4
3 ) < 0. Comprueba tambin que no existe c 3 , 3
por qu esto no contradice el teorema de Bolzano.
20. (nivel 1) Dada f (x) =
x2
22. (nivel 1) Sean x, y R, > 0, demuestra que

(a) 2xy x2 + y 2
(b) 2xy
x2
+ y 2
87

Conceptos bsicos
1. (a) Dominio R, imagen ( 2 , arctg 41 ].

(b) Dominio [ 2, 2], imagen [0, ].
(c)
(d)
(e)
(f) Dominio ( + 2k, + 2k) , k Z, imagen (, log (1 22 )).

4
4
(g)
(h)
(i)
(j) Dominio [3, 3
6] [1, 3 + 6], imagen [0, ].
2. (a) Dominio R {2}, Imagen R {1}.

f 1 R {1} R {2}
1 2y
y
y1
(b) f no es invectiva. Como extra, se puede estudiar qu ocurre si tomamos la
restriccin de f al intervalo [0, +).
(c) Dominio R, Imagen R.
f 1 R R
y y3 1
(d)
(e)
(f)
(g) Tenemos que Domf = (, 1) (1 + ), Imf = R {0} y
f 1 R {0} (, 1) (1 + )
1 + ey
y
1 ey
(h) f no inyectiva. Como extra, se puede puede estudiar qu ocurre si tomamos
5
la restriccin de f al intervalo [ , ].
4 4
88
Funciones de R en R
3. (a) D es simtrico respecto de 0 y f es impar.

(b) El dominio no es simtrico respecto de 0.
(c) D es simtrico respecto de 0 y f es impar.
(d) El dominio no es simtrico respecto de 0.
(e) D es simtrico respecto de 0 y f es par
(f) D es simtrico respecto de 0 y f no es par ni impar.
(g) D es simtrico respecto de 0 y f no es par ni impar.
(h) El dominio no es simtrico respecto de 0.
4. (a) Falsa.
(b) Falsa.
(c) Falsa.
(d) Verdadera.
(e)
(f)
(g)
Lmites
5. (a) +
(b) .
(c)
1+
.
2
(e) No existe.
(f) 2.
(g) 2.
(h) 0.
(d) 4.
(i) 0.
1
.
3
1
(b) .
4
(c) 0.
(d) No existe.
(e) 0.
6. (a)
7. (a) e2 .
(f)
1
.
log 2
(g) 21 .
(e) e4 .
(b) +.
(f)
(c) 0.
(g) No existe.
(d) 0.
(h) No existe.
1
a.
8. (a) Basta tomar las sucesiones an = n y bn =
+ n.
4
89
(b)
(c)
(d)
Continuidad
9. (a) Falsa.
(b) Verdadera.
(c)
(d) Falsa.
(e) Falsa.
10. (a) Si b = a 1, g es continua en R. Si b a 1, g es continua en R {2} y
discontinua en 2.
(b) Si a = 0
Si b = 0,
Si b 0,
Si a = 2
Si b = 1,
Si b 1,
Si a 2, 0
g es continua en R
g es continua en R {1} y discontinua en 1.
g es continua en R
g es continua en R {1} y discontinua en 1.
2
2
Si b = 0, g es continua en R { } y discontinua en
a
a
2
2
Si b 0, g es continua en R {1, } y discontinua en 1 y en
a
a
11. (a) Continua en R {0}. Discontinuidad evitable en x = 0.

(b)
(c) Continua en R {1, 2}. Discontinuidades no evitables de primera especie en
x = 1, 2.
(d)
(e) Domf = (, e) ( e, 0) (0, e) ( e, +) y f tiene una discontinuidad evitable en x

0 = 0 y dos discontinuidades no evitables del primera
especie, una en x1 = e y la otra en x2 = e.
12.
13.
14.
90
Funciones de R en R
15.
16.
17.
18.
19.
20.
21.
22.
Tema 3
Calculo diferencial en
dificultad, los ejercicios estn etiquetados como en los captulos anteriores. Para ampliar
estos apuntes puedes consultar [1], [2],[3].
3.1. Introduccin
En este captulo vamos a analizar cmo medir la variacin de una funcin cerca de un
punto dado. Este estudio, en trminos fsicos, dar lugar a conceptos como velocidad
y aceleracin; en trminos geomtricos dar lugar al concepto de tangencia.
La recta tangente a una circunferencia en un punto P se define como la nica recta
que corta a la circunferencia nicamente en el punto P se puede dibujar de forma
sencilla, basta con trazar por P la recta perpendicular al radio que une el centro de la
circunferencia y el punto P .
Para una curva en el plano R2 ms general, ya no es tan sencillo definir la recta
tangente en un punto. Diremos brevemente, que esa dicha tangente es el "limite de
rectas secantes" (cuando exista). Si la curva es el grafo de una funcin f , entonces el
concepto de derivada nos ayudar a encontrar la ecuacin de la recta tangente en un
punto.
3.2. Derivada de una funcin en un punto y funcin derivada

Definicin 3.2.1. Sea D R, se define el interior de D, denotado Do como
D = { x R > 0 tal que (x , x + ) D } .
91
92
Clculo diferencial en R
P
.
t?
Figura 3.1. El problema de la tangente

Intuitivamente, si x D entonces x est completamente rodeado por puntos de D
Nota 3.2.2. Observemos que D D. Para los intervalos I de la forma (a, b), [a, b),
(a, b] y [a, b], se tiene que I = (a, b); para los intervalos de la forma (a, +) y [a, +),
I o = (a, +), y para los de la forma (, b) y (, b], I o = (, b).
Definicin 3.2.3. Sea D R y sea x0 D, se dice que x0 es un punto aislado de D si
> 0 tal que (x0 , x0 + ) D = {x0 }.
(Intuitivamente, "cerca" de x0 no hay ningn punto de D distinto del propio x0 ).
Ejemplo 3.2.4. Sea D = [1, 2] {3, 4}. Tenemos que 3 y 4 son puntos aislados de D.
Nota 3.2.5. En lo que sigue, consideraremos siempre conjuntos D sin puntos aislados.
Nota 3.2.6. Los intervalos son conjuntos sin puntos aislados.
Definicin 3.2.7. Sean D R, x0 D y f D R, se dice que f es derivable en x0 si
f (x) f (x0 )
xx0
x x0
(3.1)
lm
existe y es real. En tal caso, dicho lmite se denota f (x0 ) y se llama derivada de f
en x0 .
Qx
f (x)
f (x) f (x0 )
f (x0 )
P
x x0
x0
3.2. Derivada en un punto y funcin derivada
93
Nota 3.2.8. Si llamamos h = x x0 , entonces el lmite (3.1) se puede expresar tambin

como
f (x0 + h) f (x0 )
f (x0 ) = lm
.
(3.2)
h0
h
Ejemplo 3.2.9. Vamos a calcular la derivada de de la funcin f (x) = x2 en el punto
x0 = 1:
x2 1
f (x) f (1)
= lm
= lm(x + 1) = 2 .
f (1) = lm
x1 x 1
x1
x1
x1
Ejemplo 3.2.10. Veamos que f (x) = x no es derivable en x0 = 0. En efecto,
lm+
x
f (x) f (0)
= lm+
= lm+ 1 = 1 ,
x0 x
x0
x0
lm
f (x) f (0)
x
= lm
= lm (1) = 1 .
x0
x0
x0
x
x0
x0
Definicin 3.2.11. Sea D R y sea f D R, se dice que f es derivable en D si f

es derivable todos de los puntos de D.
Definicin 3.2.12. Sea D R, tal que f es derivable en D. Definimos una funcin:
f D R
x
f (x)
La funcin f se llama funcin derivada de f , o, si no hay lugar a la confusin, simplemente derivada de f .

Ejemplo 3.2.13.
1. La funcin f (x) = xn es derivable en R. En efecto, para cada punto x0 R la
derivada es f (x0 ) = n xn1

0 . La funcin derivada f est definida en R como
f (x) = n xn1 .
2. La funcin f (x) = sen x es derivable en R. En efecto, para cada punto x0 R la
derivada es f (x0 ) = cos x0 . La funcin derivada f est definida en R como
f (x) = cos x .
Ejercicio 3.2.14. Utilizando la definicin 3.2.7, demostrar que si una funcin f es
constante, es decir, f (x) = k para todo x R, entonces f (x0 ) = 0 para cualquier x0 .
94
Ejercicio 3.2.15. Utilizando la definicin 3.2.7, calcular:

1. f (2.5) para la funcin f (x) = 4x x2 .
2. f (a) para la funcin f (x) = xn .
Procediendo de forma anloga se obtiene la funcin derivada de cada una de las funciones elementales estudiadas en la seccin 2.5 del captulo anterior. En la tabla 3.1 se
muestran las derivadas de las funciones elementales. 1
f (x) = xa
aR
f (x) = a xa1
f (x) = ex
f (x) = ex
f (x) = log x
f (x) =
f (x) = sen x
f (x) = cos x
f (x) = cos x
f (x) = sen x
f (x) = tg x
f (x) =
1
x
1
cos2 x
f (x) = arc sen x
x (1, 1)
1
f (x) =
1 x2
f (x) = arc cos x
x (1, 1)
1
f (x) =
1 x2
f (x) = arctg x
f (x) =
1
1 + x2
Tabla 3.1. Derivadas de las funciones elementales

1
Los arcos estn en radianes
95
Ecuaciones de las rectas tangente y normal a una curva en un punto

La recta tangente a una curva en un punto P es el lmite (si existe) de cualquier familia
de rectas secantes {sx } que pasan por los puntos de la grfica P y Qx = (x, f (x)),
cuando Qx tiende a P (vase la figura 3.2).
La recta tangente al grafo de una funcin f en un punto P = (x0 , f (x0 )), es la recta
que pasa por P con pendiente f (x0 ). Su ecuacin es
y = f (x0 ) + f (x0 ) (x x0 ) .
t
sx
Qx P
xa
Qx
sx t
xa
Figura 3.2. La tangente como lmite de secantes

En efecto, para cada punto Qx , la secante que pasa por P y Qx tiene pendiente
f (x) f (x0 )
,
x x0
(3.3)
y, por tanto, la recta lmite tendr por pendiente

f (x) f (x0 )
= f (x0 ) .
xx0
x x0
lm
La recta normal a una curva en un punto P es la recta que pasa por P y es perpendicular
a la recta tangente. Dadas dos rectas perpendiculares, si ninguna de ellas es vertical,
el producto de sus pendientes es 1. Si la curva es el grafo de una funcin f en el
punto P = (x0 , f (x0 )), y si f (x0 ) 0, la recta normal tendr pendiente 1/f (x0 ). Su
ecuacin es
1
(x x0 ) .
y = f (x0 )
f (x0 )
Ejemplo 3.2.16. Calculamos las ecuaciones de las rectas tangente y normal al grafo
de f (x) = x2 en el punto P = (1, f (1)). En el ejemplo 3.2.9, hemos obtenido f (1) = 2.
Por tanto, la ecuacin de la recta tangente ser
y = f (1) + f (1) (x 1)
y = 1 + 2x ,
y la ecuacin de la recta normal ser

y = f (1)
1
f (1)
(x 1)
y=
1
3
x+ .
2
2
96
Ejercicio 3.2.17. Hallar la ecuacin de las rectas tangente y normal a la grfica de:
1. f (x) = 4x x2 en el punto P = (2.5, f (2.5)).
2. f (x) = xn en el punto P = (x0 , f (x0 )).
3
2
1
-1
f (1)
-1
-2
f+ (1)
-3
Figura 3.3. f+ (1) f (1)

Nota 3.2.18. El grafo de una funcin f continua en un punto x0 pero no derivable
en l suele reconocerse a simple vista. Estos puntos suelen llamarse picos, o puntos
angulosos. Un ejemplo se muestra en la figura 3.3.
Ejercicio 3.2.19. Estudiar la derivabilidad de las siguientes funciones en los puntos
que se indican:
a) f (x) = x2 3x + 2, en x0 = 2 .
b) f (x) = x, en x0 Z .
Continuidad y derivabilidad
Proposicin 3.2.20. Sea D R y consideremos una funcin f D R. Sea x0 D.
Si f es derivable en x0 , entonces f es continua en x0 .
f derivable en x0
f continua en x0
Demostracin. Tenemos que probar que

lm f (x) = f (x0 ) ,
xx0

o, lo que es lo mismo,
97
lm (f (x) f (x0 )) = 0 .
xx0
Realizamos los siguientes clculos,

lm (f (x) f (x0 )) =
lm
xx0
xx0
f (x) f (x0 )
(x x0 )
x x0
f (x) f (x0 )
lm (x x0 ) = f (x0 ) 0 = 0 .
xx0
xx0
x x0
lm
Como f es derivable en x0 , el primer lmite del producto existe y es real. En otro caso,
no podramos asegurar que el lmite del producto es cero (vase la tabla 2.2).
Nota 3.2.21. Segn la proposicin 3.2.20 la continuidad en un punto es condicin necesaria para que una funcin sea derivable en dicho punto. Dicha condicin no es
suficiente, es decir, en un punto una funcin puede ser continua y no derivable.
Ejemplo 3.2.22.
1. La funcin f de la figura 3.3 es continua en x0 = 1 y no es derivable en dicho
punto.
2. La funcin f (x) = x es continua en R y, por tanto, en x0 = 0, y no es derivable
en dicho punto.
3. Las siguientes funciones no son derivables en el origen:
5
1.5
1.5
0.5
0.5
2
-3
-2
-1
-0.5
-3
-2
-3
-2
-1
-1
-1
-1
-1.5
-1.5
-2
-2
-2
-1
-0.5
Ejercicio 3.2.23. Estudiar la derivabilidad de las siguientes funciones en los puntos

que se indican:
a) f (x) = 1/x, en x0 = 0.
b) f (x) = 3 x 1, en x0 = 1.
3
c) f (x) = x2 , en x0 = 0.
98
3.2.1. Reglas de derivacin

En la seccin 2.2 definimos varias operaciones con funciones (suma, producto por un
escalar, producto y cociente). Vamos a estudiar cmo es la derivada de estas nuevas
funciones.
Proposicin 3.2.24. Sea D R y consideremos dos funciones f, g D R. Sea
x0 D. Si f y g son derivables en x0 entonces:
a) La funcin suma s = f + g es derivable en x0 . Adems,
s (x0 ) = f (x0 ) + g (x0 ).
b) Si R, entonces la funcin h = f es derivable en x0 . Adems,
h (x0 ) = f (x0 ).
c) La funcin producto p = f g es derivable en x0 . Adems,
p (x0 ) = f (x0 ) g(x0 ) + f (x0 ) g (x0 ) .
d) Si g(x0 ) 0, entonces la funcin cociente c = f /g es derivable en x0 . Adems,
c (x0 ) =
f (x0 ) g(x0 ) f (x0 ) g (x0 )

.
g(x0 )2
En la seccin 2.2 tambin vimos las definiciones de funcin compuesta y funcin inversa.
Veamos qu ocurre con estas funciones respecto a la derivacin.
Proposicin 3.2.25. (Regla de la cadena)
Sean D1 , D2 R y consideremos las funciones f D1 R y g D2 R , con f (D1 )
D2 , tales que f es derivable en x0 , y g es derivable en f (x0 ). Entonces la funcin
h = g f es derivable en x0 . Adems,
h (x0 ) = g (f (x0 )) f (x0 )
(3.4)
Ejercicio 3.2.26. Obtener una expresin anloga a (3.4) para la composicin de tres
funciones.
Nota 3.2.27. La tabla 3.1 junto con la proposicin 3.2.25 dan lugar a la tabla 3.2.
f (x) = u(x)a
99
f (x) = a u(x)a1 u (x)
aR
f (x) = eu(x)
f (x) = u (x) eu(x)
f (x) = log (u(x))
f (x) =
f (x) = sen (u(x))
f (x) = u (x) cos (u(x))
f (x) = cos (u(x))
f (x) = u (x) sen (u(x))
f (x) = tg (u(x))
f (x) =
u (x)
u(x)
u (x)
cos2 (u(x))
f (x) = arc sen (u(x))
u(x) (1, 1) x
f (x) =
f (x) = arc cos (u(x))
u(x) (1, 1) x
f (x) =
f (x) =
f (x) = arctg (u(x))
u (x)
1 u(x)2
u (x)
1 u(x)2
u (x)
1 + u(x)2
Tabla 3.2. Derivada de funciones compuestas

Teorema 3.2.28. (Derivada de la funcin inversa)
Sea D R y consideremos una funcin inyectiva f D R. Sea x0 D y supongamos
que f es derivable en x0 , con f (x0 ) 0. Entonces la funcin inversa f 1 f (D) R
es derivable en f (x0 ). Adems,
(f 1 ) (f (x0 )) =
1
f (x
0)
(3.5)
Ejemplo 3.2.29. Utilizaremos el teorema 3.2.28 para obtener la derivada de la funcin

g(x) =
n
x
100
en un punto x0 > 0. Para ello consideramos su inversa, la funcin f (y) = y n . Del ejercicio
3.2.15 tenemos que
f (y0 ) = n y0n1 .
Teniendo en cuenta que tambin g = f 1 ,
g (x0 ) =
1
1
1
1
=
=
=
.
f (g(x0 )) f ( n x0 ) n( n x0 )n1 n n xn1

0
Nota 3.2.30. Las derivadas de las funciones arcoseno, arcocoseno, arcotangente y logaritmo pueden obtenerse a partir de las derivadas del seno, coseno, tangente y exponencial, respectivamente. El resultado obtenido es el que aparece en la tabla 3.1.
3.2.2. Derivadas de orden superior

En la definicin 3.2.12, a partir de una funcin f , hemos definido la funcin derivada
f Si la funcin f es, a su vez, derivable, podemos definir su derivada (f ) . La funcin
(f ) se denota f y se llama funcin derivada segunda. En general f (n) = (f (n1) ) se

llama funcin derivada n-sima de f .
Ejemplo 3.2.31. La funcin f (x) = x3 es derivable en R; su derivada primera es
f (x) = 3x2 . Esta funcin tambin es derivable en R; su derivada es f (x) = 6x .
-1
-0.5
0.5
1.5
-1
-1
-0.5
0.5
1.5
-1
-0.5
-1
f (x) = x3
0.5
1.5
-1
f (x) = 3x2
f (x) = 6x
3.3. Mximos y mnimos de una funcin

3.3.1. Mximos y mnimos relativos
Definicin 3.3.1. Sean D R, x0 D y f D R, se dice que
f tiene un un mximo relativo o local en x0 si
> 0
tal que
f (x) f (x0 )
x (x0 , x0 + ) D .
3.3. Mximos y mnimos
101
(intuitivamente, si f (x) f (x0 ) para todo x "suficientemente cerca de" x0 )

f tiene un un mnimo relativo o local en x0 si
> 0
tal que
f (x0 ) f (x)
x (x0 , x0 + ) D .
(intuitivamente, si f (x0 ) f (x) para todo x "suficientemente cerca de" x0 )

Se dice que f tiene un extremo relativo en x0 si f tiene un mximo relativo en
x0 o f tiene un mnimo relativo en x0 .
Ejemplo 3.3.2. La funcin de la figura siguiente tiene un mnimo relativo en el punto b,
y dos mximos relativos en los puntos a y c . Si el dominio de la funcin es I = [d1 , d2 ],
de acuerdo con la definicin 3.3.1, tambin hay dos mnimos relativos en d1 y d2 .
f(c)
f(a)
f(b)
d1
d2
Proposicin 3.3.3. Sea D R y consideremos una funcin f D R. Sea x0 D

tal que f es derivable en x0 . Si f tiene un extremo relativo en x0 , entonces f (x0 ) = 0.
Definicin 3.3.4. Sea D R y consideremos una funcin f D R. Sea x0 D
y supongamos que f es derivable en x0 . Diremos que x0 es un punto crtico de f si
f (x0 ) = 0.
Observemos que el recproco de la proposicin 3.3.3 no es cierto. Una funcin que
tenga un punto crtico en x0 no tiene por qu alcanzar un mximo o mnimo local en
l. Veamos un contraejemplo.
Ejemplo 3.3.5. La funcin f (x) = x3 tiene un punto crtico en 0, ya que f (0) = 0.
Sin embargo, en ese punto f no tiene un extremo relativo.
2
1.5
1
0.5
-1
-0.5
0.5
1.5
-0.5
-1
102
Localizacin de extremos relativos

Sean D R y f D R, teniendo en cuenta la proposicin 3.3.3, los puntos candidatos
a extremo relativo de f en D son:
los puntos x0 Do en los que f (x0 ) = 0
los puntos x1 Do en los que f no es derivable
los puntos x2 D Do
Ejemplo 3.3.6.
a) La funcin
(x 1) , si x < 1 ,
f (x) =
si x 1 ,
x 1,
no es derivable en x0 = 1 (vase el grafo de la izquierda en la figura 3.4) y en ese
punto f tiene un extremo relativo.
4
3
2
2
-1
-1
-1
-2
Figura 3.4. f y g no derivables en x = 1

b) La funcin
(x 1) , si x < 1 ,
g(x) =
(x 1) , si x 1 ,
no es derivable en x0 = 1 (vase el grafo de la derecha). En ese punto, g no tiene un
extremo relativo.
De momento, para estudiar si los puntos son mximos o mnimos relativos tenemos que
usar la definicin 3.3.1. Ms adelante, en la seccin 3.5, veremos un criterio sencillo
(teorema 3.5.5) para determinar si un punto crtico es mximo o mnimo relativo.
Ejercicio 3.3.7. Determinar los extremos relativos de las siguientes funciones:
a) f (x) = x e1/x ,
b) g(x) = x2/3 2x .
3.3. Mximos y mnimos
103
3.3.2. Mximos y mnimos absolutos

Definicin 3.3.8. Sean D R, x0 D y f D R, se dice que
f tiene un un mximo absoluto en x0 si
f (x) f (x0 )
x D .
f tiene un un mnimo absoluto en x0 si

f (x0 ) f (x)
x D .
Se dice que f tiene un extremo absoluto en x0 si f tiene un mximo absoluto en

x0 o f tiene un mnimo absoluto en x0 .
Sea f [a, b] R una funcin continua en [a, b]. Por el teorema de Weierstrass sabemos
que existe un punto c [a, b] tal que
f (c) = max{f (x) x [a, b]} ,
y un punto d [a, b] tal que
f (d) = mn{f (x) x [a, b]} .
Diremos que f alcanza el mximo absoluto en c, y que su valor mximo es f (c).
Anlogamente, diremos que f alcanza el mnimo absoluto en d, y que su valor mnimo
es f (d). Cuando deseemos referirnos de forma indistinta a un mximo o a un mnimo
absolutos hablaremos de extremos absolutos.
Localizacin de extremos absolutos
Dada f [a, b] R continua en [a, b], los puntos candidatos a extremo absoluto son:
Los extremos relativos de f en (a, b)
a
b
Evaluaremos f en estos puntos y en los que f tome mayor valor, sern los puntos de
mximo absoluto, y donde f tome el menor valor, sern los puntos de mnimo absoluto.
Alternativamente, si no necesitamos calcular los extremos relativos de f , sino slo los
absolutos:
Dada f [a, b] R continua en [a, b], los puntos candidatos a extremo absoluto son:
104
Los puntos x0 en (a, b) tales que f (x0 ) = 0 (sin comprobar si son o no extremos
relativos)
Los puntos x1 en (a, b) tales que f no es derivable en x1 (sin comprobar si son o
no extremos relativos)
a
b
Evaluaremos f en estos puntos y en los que f tome mayor valor, sern los puntos de
mximo absoluto, y donde f tome el menor valor, sern los puntos de mnimo absoluto.
Ejercicio 3.3.9. Determinar los extremos absolutos de las siguientes funciones:
a) f (x) = xe
b) g(x) = x
1/x
2/3
en el intervalo [1/e, 5] ,
2x en el intervalo [1, 1] .
Nota 3.3.10. Si D R no es un intervalo cerrado o f D R no es una funcin

continua en D, la localizacin de extremos absolutos es ms complicada, ya que ni
siquiera tenemos garantas de que los extremos absolutos se alcancen. Habr que aadir
al estudio los puntos de discontinuidad de f , los puntos de D y calcular diversos lmites
y lmites laterales.
3.4. Resultados clsicos sobre derivabilidad

Teorema 3.4.1. (Teorema de Rolle)
Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b), tal que f (a) =
f (b). Entonces existe un punto x0 (a, b) tal que f (x0 ) = 0 .
3
f (2) = 0
2.5
2
1.5
f (1) = f (3)
1
0.5
0.5
1.5
2.5
3.5
-0.5
-1
Figura 3.5. Teorema de Rolle

Si prescindimos de alguna de las hiptesis del teorema, el resultado no tiene por qu
ser cierto (vase la figura 3.6).
3.4. Resultados clsicos sobre derivabilidad

10
7.5
2.5
2.5
1.5
f (0) = f (2)
0.5
1.5
g(1) = g(3)
105
0.5
-2.5
-5
0.5
-7.5
-0.5
-10
-1
1.5
2.5
3.5
Figura 3.6. No se verifican las hiptesis del teorema de Rolle

Teorema 3.4.2. (Teorema del valor medio de Lagrange)
Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b). Entonces existe
un punto x0 (a, b) tal que
f (b) f (a)
f (x0 ) =
.
ba
Demostracin. Basta con aplicar el teorema de Rolle a la funcin definida como
(x) = f (x) f (a)
f (b) f (a)
(x a) .
ba
Observa que el teorema del valor medio de Lagrange asegura la existencia de, al menos,
un punto en el que la derivada coincide con la pendiente de la recta secante pasando por
(a, f (a)) y (b, f (b)). Puede haber ms puntos en el intervalo [a, b] con esa derivada.
Por ejemplo, en la figura siguiente
x0
se aprecian tres puntos en los que la recta tangente es paralela a la recta secante.
En trminos fsicos, el teorema del valor medio tiene una interpretacin bastante intuitiva: si f (t) representa la posicin en el instante t de una partcula, la funcin f (t)
representa la velocidad en el instante t. La velocidad media viene dada por
f (b) f (a)
.
ba
El teorema de valor medio de Lagrange asegura la existencia de, al menos, un momento
tc en el que la velocidad instantnea coincide con la velocidad media.
106
En el ejercicio 3.2.14 vimos que, si una funcin f es constante, su derivada es cero. Si

el dominio de la funcin es un intervalo, entonces el recproco tambin es cierto.
Proposicin 3.4.3.
a) Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b), con
f (x) = 0 para todo x (a, b). Entonces f es constante en el intervalo [a, b] .
b) Sean f , g [a, b] R dos funciones continuas en [a, b] y derivables en (a, b), con
f (x) = g (x) para todo x (a, b). Entonces f y g difieren en una constante (vase
la figura siguiente).
6
f (x) = g (x)
c
f
g
-1
1
-2
-1
1
-2
f (x) g(x) = c
x (a, b)
Nota 3.4.4. La proposicin 3.4.3 tambin es cierta si en vez de considerar el intervalo

[a, b] se toma un intervalo I cualquiera. En este caso, tenemos que poner I en lugar
de (a, b).
3.5. Crecimiento de una funcin. Mximos y mnimos relativos

En la seccin 2.1 definimos las funciones crecientes/decrecientes y las estrictamente
crecientes/decrecientes. Si una funcin es derivable, conociendo el signo de la derivada,
podemos obtener informacin acerca del crecimiento/decrecimiento de la funcin.
Proposicin 3.5.1. Sea f [a, b] R una funcin continua en [a, b] y derivable en
(a, b).
1. Si f (x) 0 para todo x (a, b) entonces f es creciente en [a, b].
2. Si f (x) > 0 para todo x (a, b) entonces f es estrictamente creciente en [a, b].
3. Si f (x) 0 para todo x (a, b) entonces f es decreciente en [a, b] .
4. Si f (x) < 0 para todo x (a, b) entonces f es estrictamente decreciente en [a, b].
3.5. Crecimiento. Mximos y mnimos
107
Nota 3.5.2. La proposicin 3.5.1 tambin es cierta si en vez de considerar el intervalo

[a, b] se toma un intervalo I cualquiera. En este caso, tenemos que poner I en lugar
de (a, b).
El resultado anterior permite determinar de una forma sencilla los intervalos de crecimiento y decrecimiento de una funcin derivable. Para ello, resolvemos la ecuacin
f (x) = 0. Con las races obtenidas separamos el dominio en intervalos y estudiamos el
signo de f (x) en cada uno de estos intervalos.
Habr que tener especial cuidado con las funciones no derivables en algn punto. En
tal caso, adems de considerar las races de f (x) = 0, habr que tener en cuenta los
puntos en los que no exista la derivada.
Ejemplo 3.5.3. La funcin f de la figura 3.7 es continua en R y derivable en R/{1, 29 }.
Se tiene que f (x) = 0 en x = 52 y en x = c. Utilizamos los puntos {1, 52 , 92 , c} para
delimitar los intervalos de crecimiento, y en cada intervalo evaluamos la derivada para
comprobar su signo. De esta forma obtenemos:
x (, 1)
f (x) > 0
x (1, 5/2)
f (x) < 0
x (5/2, 9/2)
f (x) > 0
x (9/2, c)
f (x) > 0
x (c, +)
f (x) < 0
Por tanto, f es creciente en los intervalos (, 1) y (5/2, c) , y decreciente en los

intervalos (1, 5/2) y (c, +).
5
1
1
Figura 3.7. Intervalos de crecimiento y decrecimiento

Podemos utilizar la proposicin 3.5.1 para demostrar que siempre que la derivada
cambia de signo, se tiene un extremo relativo.
108
Teorema 3.5.4. Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b),
excepto quizs en un punto c (a, b).
1. Si f (x) > 0 para todo x < c y f (x) < 0 para todo x > c, entonces f tiene un
mximo relativo en c.
2. Si f (x) < 0 para todo x < c y f (x) > 0 para todo x > c, entonces f tiene un
mnimo relativo en c.
Observemos que este resultado es vlido para los puntos crticos y tambin para los
puntos en los que f es continua y no derivable.
Segn el teorema anterior, para estudiar si x0 es un punto de extremo relativo, hemos
de comprobar los signos de f (x) a la izquierda y a la derecha de x0 . Este estudio se
puede simplificar si existe la derivada segunda de f y su clculo es sencillo.
Teorema 3.5.5. Sea f [a, b] R una funcin continua en [a, b] y derivable en (a, b).
Sea x0 un punto crtico de f . Supongamos que f es derivable en x0 . Entonces,
1. Si f (x0 ) < 0, f tiene un mximo relativo en x0 .
2. Si f (x0 ) > 0, f tiene un mnimo relativo en x0 .
3.6. Clculo de lmites

En el clculo de lmites de expresiones del tipo
resolverse utilizando derivadas.
f (x)
g(x) ,
algunas indeterminaciones pueden
Proposicin 3.6.1. (Regla de LHpital)

Sean f , g (a, b) R, derivables en (a, b), y x0 I. Supongamos que en el clculo del
lmite
f (x)
lm
(3.6)
xx0 g(x)
obtenemos una indeterminacin del tipo 0/0 /. Si existe
lm
xx0
f (x)
,
g (x)
(3.7)
entonces tambin existe el lmite (3.6) y adems

lm
xx0
f (x)
f (x)
= lm
.
g(x) xx0 g (x)
109
El resultado tambin es vlido si x x +.

Si en la expresin (3.7) se vuelve a presentar una indeterminacin del tipo / 0/0,
y se verifican las condiciones de la regla de LHpital, sta se puede volver a aplicar.
Ejemplo 3.6.2. Deseamos hallar
lm
x0
sen x
.
x
Como existe
cos x
= 1,
1
aplicando la regla de LHpital obtenemos que
lm
x0
lm
x0
sen x
cos x
= lm
= 1.
x0
x
1
Nota 3.6.3. Si, en la proposicin 3.6.1, el lmite (3.7) no existe, entonces no podemos
decir nada acerca de la existencia del lmite (3.6)
Ejemplo 3.6.4. Sean f (x) = x + sen x y g(x) = 2x + cos x. Tenemos que
f (x)
x+ g (x)
/ lm
y
f (x) 1
= .
x+ g(x)
2
lm
Ejemplo 3.6.5. Al intentar aplicar la proposicin 3.6.1 tambin puede pasarnos algo
as:
http://gaussianos.com/un-ejemplo-de-lo-peligroso-que-es-la-dependencia-de-la-regla-de-lhopital/

Ejemplo 3.7.1. Vamos a intentar encontrar una solucin a la ecuacin cos x = x. En
la figura 3.8 tenemos los grafos de x y de cos x en el intervalo [0, 2]. En esa figura se
puede apreciar que existe una nica solucin en [0, 2] de dicha ecuacin. Si llamamos
f (x) = cos x x, el problema anterior se puede reformular como encontrar una solucin
de f (x) = 0 en el intervalo [0, 2]. Combinando adecuadamente los teoremas de Bolzano
y de Rolle, es sencillo justificar que f (x) = 0 tiene una nica solucin en [0, 2]. Tambin se aprecia esto en la figura 3.9. Sin embargo no es tan sencillo averiguar cul es
esa solucin. De hecho, no "podemos" calcular esta solucin. Vamos a aprender cmo
aproximarla adecuadamente.
110
2.0
1.5
1.0
0.5
0.5
1.0
1.5
2.0
-0.5
Figura 3.8. Grafos de las funciones x y cos x en el intervalo [0, 2]
Definicin 3.7.2. Consideremos una funcin f I R R. Los puntos s R tales

que
f (s) = 0 ,
se llaman ceros de la funcin f o races de la funcin f .
Para muchas funciones, por ejemplo, los polinomios de grado menor o igual que tres,
existen frmulas para hallar todos sus ceros de forma exacta. Sin embargo, para la
mayora de las funciones tales frmulas no existen y tenemos que conformarnos con
aproximaciones de las races mediante algn mtodo numrico. En este tema estudiaremos mtodos numricos para calcular races de ecuaciones no lineales de la forma
f (x) = 0 .
Grficamente, calcular los ceros de una funcin f , es hallar la interseccin entre la
recta y = 0 y la curva y = f (x). En la siguiente figura vemos el cero de la funcin
f (x) = x ex .
1.5
1
0.5
0.5
1.5
-0.5
-1
As como una funcin lineal f (x) = ax b, con a 0, tiene siempre una nica raz,
s = ab , las soluciones de ecuaciones no lineales pueden ser muy variadas. Por ejemplo,
111
1.0
0.5
0.5
1.0
1.5
2.0
-0.5
-1.0
-1.5
-2.0
-2.5
Figura 3.9. Grafo de la funcin f (x) = x cos x en el intervalo [0, 2]
la ecuacin x2 + 1 = 0 no tiene ninguna raz real, x ex = 0 tiene una nica raz,

x2 + 3x + 2 = 0 tiene dos races, mientras que cos x 21 = 0 tiene infinitas races.
Antes de plantear un mtodo de aproximacin de races, hemos de estudiar si el problema posee solucin nica. En el caso en que haya ms de una raz, tenemos que
limitar el intervalo de trabajo de tal forma que en ste la raz sea nica. En otro caso,
el mtodo de aproximacin utilizado puede proporcionar una solucin no deseada.
Los mtodos que vamos a usar para resolver numricamente ecuaciones no lineales son
los llamados mtodos iterativos: partir de m valores iniciales x0 , . . . , xm1 construimos
una sucesin
xm , xm+1 , xm+2 , . . . , xk0 1 , xk0 , xk0 +1 , . . . ,
tal que xn s, cuando n , siendo s la raz de la ecuacin no lineal que deseamos
aproximar.
Con un ordenador no es posible calcular los infinitos trminos de la sucesin (xn )nN .
Por ello, con los mtodos iterativos generalmente no se busca encontrar la raz s,
sino una aproximacin de sta. En estos mtodos se van construyendo trminos de la
sucesin hasta que el proceso se detiene, por ejemplo, en el trmino k0 ,
RRR
x0 , x1 , x2 , x3 , x4 , x5 , . . . , xk0 1 , xk0 , RRRRR xk0 +1 , . . . ,
RRR
PARAR
y se toma xk0 como aproximacin del lmite, esto es, s xk0 . Para detener las iteraciones
se necesita algn criterio de parada. Los criterios ms usuales son
i) xn xn1 < TOL,
112
ii)
xn xn1
< TOL.
xn
Un error bastante frecuente cuando se resuelve la ecuacin no lineal f (x) = 0 es utilizar

como nico criterio de parada
f (xn ) < TOL .
(3.8)
Suponer que xn es una buena aproximacin de la raz si se cumple que f (xn ) es
pequeo, puede ser totalmente incorrecto con algunas funciones.
Ejemplo 3.7.3. Consideremos la funcin f (x) = (x 1)10 , que tiene como nica raz
s = 1, y la sucesin (xn )nN con xn = 1 + 1/n. La sucesin (xn )nN converge a la raz de
f , s = 1. Si usamos (3.8) como criterio de parada con TOL = 103 , obtenemos
f (xn ) =
1
< 103 ,
10
n
para n 2 .
Con este criterio de parada y esta tolerancia daramos como buena la aproximacin
s x2 = 1.5, cometiendo un error absoluto muy grande, erra = 0.5. Sin embargo, el
criterio de parada ii) con TOL = 103 obliga a tomar n 1002. En este caso tomaramos
como aproximacin s x1002 = 1.0009980. El error absoluto que cometemos es erra =
9.98 104 .
3.7.1. Mtodo de biseccin

Recordemos el teorema de Bolzano estudiado en la seccin 2.4 que deca que, dada una
funcin f [a, b] R continua con f (a) f (b) < 0, existe una raz en el intervalo (a, b).
El teorema de Bolzano es la base del mtodo ms sencillo de localizacin y aproximacin
de races: el mtodo de biseccin. La idea de este mtodo es, una vez localizado un
intervalo [a, b] en el que hay una nica raz, dividir ste en dos subintervalos iguales,
a+b
[a, a+b
2 ] y [ 2 , b], y determinar en qu subintervalo se encuentra la raz. Reiterando
este proceso obtenemos un intervalo cada vez menor que contiene la raz.
En la prctica procedemos de la siguiente forma. Si denotamos por a1 = a y b1 = b, la
condicin f (a1 ) f (b1 ) < 0 implica que f (a1 ) y f (b1 ) tienen signos opuestos. Tomamos
el punto intermedio x1 = a1 2+b1 y evaluamos la funcin f en l.
Si f (x1 ) = 0, entonces p1 es una raz de la ecuacin.
Si f (x1 ) 0, entonces comparamos los signos de f (x1 ) y f (a1 ).
Si f (x1 ) tiene el mismo signo que f (a1 ), entonces hay una raz en [x1 , b1 ].
Nos quedamos con este intervalo tomando a2 = x1 , b2 = b1 .
113
Si f (x1 ) y f (a1 ) tienen signos opuestos, entonces hay una raz en [a1 , x1 ].
Nos quedamos con este intervalo tomando a2 = a1 , b2 = x1 .
Aplicamos de nuevo este proceso al intervalo [a2 , b2 ] y as sucesivamente.
En el anexo de este captulo (vase la pgina 134) mostramos un algoritmo para el
mtodo de biseccin.
Ejemplo 3.7.4. La funcin f (x) = x ex tiene una nica raz en el intervalo [0, 1]
(esto se justifica utilizando los teoremas de Bolzano y de Rolle). Aplicamos el mtodo
de biseccin parando las iteraciones cuando an 2bn < 104 . Los resultados obtenidos se
muestran en la tabla 3.7.1. Despus de 13 iteraciones, la aproximacin de la raz es
x14 = 0.56719971.
Proposicin 3.7.5. Consideremos una funcin f [a, b] R continua en [a, b] tal
que f (a) f (b) < 0, y sea s una raz de f en (a, b). Entonces el mtodo de biseccin
genera una sucesin (xn )nN tal que
xn s
ba
,
2n
n 1.
Con la expresin anterior podemos determinar el nmero de iteraciones necesarias para

hallar una raz con un error menor que ,
ba
2n
log (ba)
log 2
Ejercicio 3.7.6. Usando la proposicin 3.7.5, hallar una cota del error cometido en el
ejemplo 3.7.4 al aproximar la raz de f (x) = 0 por x14 = 0.56719971.
El mtodo de biseccin tiene la ventaja de que la sucesin (xn )nN siempre converge
a alguna de las races de la funcin f en [a, b]. Su principal inconveniente es que es
un mtodo muy lento. Estas caractersticas hacen que, en la prctica, sea utilizado
nicamente para hallar una primera aproximacin de las races. Una vez localizada
una raz, se utiliza otro mtodo ms rpido para aproximarla con precisin.
Mtodo de Newton-Raphson
Deseamos hallar una raz s de f (x) = 0. Para ello vamos a considerar el siguiente
mtodo
x
dado ,
0
f (xn )
(3.9)
xn+1 = xn
,
n 1.
f (xn )
114
n
an
bn
xn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
0
0.50000000
0.50000000
0.50000000
0.56250000
0.56250000
0.56250000
0.56250000
0.56640625
0.56640625
0.56640625
0.56689453
0.56713867
0.56713867
1.0000000
1.0000000
0.75000000
0.62500000
0.62500000
0.59375000
0.57812500
0.57031250
0.57031250
0.56835938
0.56738281
0.56738281
0.56738281
0.56726074
0.50000000
0.75000000
0.62500000
0.56250000
0.59375000
0.57812500
0.57031250
0.56640625
0.56835938
0.56738281
0.56689453
0.56713867
0.56726074
0.56719971
Tabla 3.3. Mtodo de biseccin. Ejemplo 3.7.4

Este mtodo recibe el nombre de mtodo de Newton-Raphson o simplemente mtodo
de Newton. En el anexo de este captulo (vase la pgina 134) mostramos un algoritmo
para el mtodo de Newton.
Imponiendo algunas condiciones sobre la funcin f , puede demostrarse que el mtodo
es convergente.
Proposicin 3.7.7. Consideremos una funcin f [a, b] R tal que f es continua
en [a, b] y las derivadas hasta orden dos existen y son continuas en [a, b]. Supongamos
que f (a) f (b) < 0, que f (x) 0 para todo x [a, b] y que f no cambia de signo en
[a, b]. Entonces
1. Existe una nica raz s de f en [a, b].
2. Para todo x1 [a, b] tal que f (x1 ) f (x1 ) 0, la sucesin (xn )nN del mtodo de
Newton converge a s.
Existen otras condiciones menos restrictivas que tambin permiten asegurar la convergencia del mtodo de Newton. De forma general se suele requerir que f no se anule
cerca de la raz s de f , y que el valor inicial x1 est suficientemente cerca de s.
115
En la prctica, hallar x1 suficientemente cerca de s puede ser un problema. En la

seccin 3.7.1 estudiamos el mtodo de biseccin. Podemos calcular x1 con este mtodo,
que aunque es lento, siempre converge.
Ejemplo 3.7.8. (Aproximacin de la raz cuadrada)
Todos los lenguajes de programacin actuales incorporan una funcin que aproxima
hasta la precisin requerida la raz cuadrada positiva de un nmero. El algoritmo ms
utilizado para ello se basa en el mtodo de Newton.
Si aplicamos dicho mtodo para resolver la ecuacin
x2 a = 0 ,
obtenemos la expresin recurrente
xn+1 =
Por ejemplo, para aproximar
siguiente secuencia
a
1
(xn + ) .
2
xn
13, si partimos del valor inicial x0 = 4, obtenemos la
x0 = 4
x1 = 3.625
x2 = 3.605603448275862
x3 = 3.605551275463989293119221267470495946251
x4 = 3.605551275463989293119221267470495946251
Ejercicio 3.7.9. Utilizar el mtodo de Newton para aproximar la solucin de la ecuacin x + log x = 3 .
Mtodo de Newton con races mltiples
Como hemos sealado anteriormente, una de las condiciones para asegurar la convergencia del mtodo de Newton es que f no se anule cerca" de la raz de f . Para algunos
tipos de races esta condicin no se cumple.
Definicin 3.7.10. Dada una funcin f , se dice que s es un cero de multiplicidad m
si
f (s) = f (s) = = f (m1) (s) = 0 ,
f (m) (s) 0 .
As, si f (s) = 0, pero f (s) 0, el cero es simple; si f (s) = f (s) = 0, pero f (s) 0, el
cero es doble; si f (s) = f (s) = f (s) = 0, pero f (s) 0, el cero es triple, . . .
116
Ejemplo 3.7.11.
1. La funcin f (x) = ex x1 tiene un cero doble en s = 0 ya que f (0) = 0, f (0) = 0,
pero f (0) = 1.
2. La funcin f (x) = (x 1)2 (x 2) tiene un cero doble en s = 1 y un cero simple
en s = 2.
3.8. Polinomios de Taylor

En esta seccin vamos a estudiar el problema de interpolacin de Taylor.
Definicin 3.8.1. El problema de interpolacin de Taylor es el siguiente:
Dado un punto x0 y n+1 valores fx0 , f

, . . . , fx0 , fx0 , encontrar
un polinomio pn de grado menor o igual que n tal que
(n1)
pn (x0 ) = fx0 ,
(i)
(i)
(n)
i = 0, . . . , n .
Este problema tiene como solucin nica el polinomio

pn (x) =
fx0 + fx 0
(n)
fx0
f x0
2
(x x0 ) +
(x x0 ) + +
(x x0 )n ,
2
n!
que recibe el nombre de polinomio interpolador de Taylor de orden n en x0 .

Nota 3.8.2. El polinomio interpolador de Taylor de orden n en x0 es un polinomio de
grado menor o igual que n.
Si los datos fx0 , fx 0 , . . ., fx0
y fx0 proceden de una funcin f definida en un entorno
de x0 , derivable hasta orden n en x0 , entonces
(n1)
f = f (x0 ) ,
(n)
fx 0 = f (x0 ) ,
fx0 = f (x0 ) ,
... ,
fx0 = f (n) (x0 ) ,

(n)
el polinomio de Taylor de orden n de f en x0 , , es

pn,x0 (x) = f (x0 ) + f (x0 ) (x x0 ) +
f (i) (x0 )
(x x0 )i .
i!
i=0
n
f (x0 )
f (n) (x0 )
(x x0 )2 + +
(x x0 )n
2
n!
(3.10)
117
Si en el polinomio de Taylor tomamos x0 = 0, se tiene

f (n) (0) n
f (0) 2
x ++
x .
2
n!
Esta expresin se llama polinomio de MacLaurin de orden n de f .
pn,0 (x) = f (0) + f (0) x +
(3.11)
Ejemplo 3.8.3. Vamos a calcular el polinomio de Taylor de orden 5 para la funcin

f (x) = sen x en el punto x0 = 0 (polinomio de MacLaurin).
De acuerdo con la frmula (3.10), (3.11) en este caso, tenemos
f (0) 2
f (5) (0) 5
x ++
x .
2
5!
Calculamos las derivadas hasta orden 5 y evaluamos en x = 0,
p5,0 (x) = f (0) + f (0) x +
f (x) = sen x
f (0) = 0
f (x) = cos x
f (0) = 1
f (x) = sen x
f (0) = 0
f (x) = cos x
f (0) = 1
f (4) (x) = sen x
f (4) (0) = 0
f (5) (x) = cos x
f (5) (0) = 1
para obtener el polinomio

p5,0 (x) = x
1 3
1 5
x +
x .
6
120
Evaluamos este polinomio en x = 21 ,
1
1 1 1
1 1 1841
3
p5,0 ( ) =
+
=
=
0.47942708
.
(3.12)
2
2 6 23 120 25 3840
Con una calculadora de 8 dgitos y con el argumento en radianes, se obtiene la aproximacin
1
1
f ( ) = sen 0.4794255 .
2
2
En la siguiente figura mostramos la funcin f (x) = sen x y la aproximacin polinmica
p5,0 (x).
p5,0 (x)
1/2
f (x) = sen x
0
/2
118
Ejercicio 3.8.4. Calcular el polinomio de Taylor de orden 4 para la funcin f (x) = log x
en el punto x0 = 1 . Representar grficamente el logaritmo y su aproximacin polinmica
en un entorno de x0 = 1 .
Una vez obtenido el polinomio de Taylor para aproximar a una funcin, centraremos
nuestro inters en estudiar el error cometido en dicha aproximacin.
Definicin 3.8.5. Sea f [a, b] R y sea x0 (a, b). Supongamos que f es derivable
al menos n veces en x0 . Sea pn,x0 el polinomio de Taylor de f de orden n en x0 , se
define el resto n-simo de f en x0 como
Rn,x0 (x) = f (x) pn,x0 (x),
con x (a, b).
Proposicin 3.8.6. Sea f [a, b] R y sea x0 (a, b). Supongamos que f es derivable al menos n + 1 veces en (a, b). Sea pn,x0 el polinomio de Taylor de f de orden
n en x0 y sea Rn,x0 (x), el resto n-esimo de f en x0 . En estas condiciones, para todo
x (a, b) existe c entre x0 y x tal que
Rn,x0 (x) =
Adems
f (n+1) (c)
(x x0 )n+1 ,
(n + 1)!
Rn,x0 (x)
= 0.
xx0 (x x0 )n
lm
Rn,x0 (x)
x0
(3.13)
Rn,x0 (x) = f (x) pn,x0 (x) .
En la figura 3.10 se muestran los polinomios de Taylor p1,0 , p3,0 , p5,0 y p7,0 para la funcin
f (x) = sen x en x0 = 0. Observa que, conforme aumenta el grado del polinomio, la
aproximacin es "mejor" (vase la grfica de la izquierda). Adems, para cada polinomio
pn,0 , el error cometido es menor cuanto ms cerca estamos de x = 0 (vase la grfica de
la derecha).
En general, Rn,x0 (x) no puede calcularse de forma exacta. Aprenderemosa acotar el
valor absoluto del resto n-simo.
119
p1,0 (x)
1
p5,0 (x)
p5,0 (x)
f (x) = sen x
Rn,0 (x)
p7,0 (x)
p3,0 (x)
Figura 3.10. Aproximaciones polinmicas para sen x en el origen.

Ejemplo 3.8.7. En el ejemplo 3.8.3 construimos el polinomio de MacLaurin de orden
5 para aproximar sen 0.5. Para estimar el error cometido al aproximar sen 0.5 mediante
p5,0 (0.5) debemos encontrar una cota superior razonable para R5,0 (x).
Para la funcin f (x) = sen x, el resto de orden 5 es
R5,0 (x) =
f (6) (c) 6 sen c 6

x =
x ,
6!
6!
con c entre 0 y x .
Evaluando en el punto x = 0.5 queda

R5,0 (0.5) =
sen c 6
0.5 ,
6!
c (0, 0.5) .
Tenemos que acotar superiormente el error cometido, es decir, el valor absoluto del
resto
sen c 6 1
R5,0 (0.5) =
0.5 0.56 = 2.17 105 .
(3.14)
6!
6!
En el paso (), tenemos que encontrar una cota superior para la funcin sen x en el
intervalo (0, 0.5). Como sen x 1 para todo x R, en particular en el intervalo (0, 0.5)
tambin se puede tomar 1 como cota superior.
Ejemplo 3.8.8. Vamos a aproximar tg 0.25 con un polinomio de MacLaurin de orden
4, dando una estimacin del error cometido en dicha aproximacin.
El polinomio de MacLaurin de orden 4 de f es
p4,0 (x) = f (0) + f (0) x +
f (0) 2 f (0) 3 f (4) (0) 4

x +
x +
x .
2!
3!
4!
Tomando f (x) = tg x, todos los trminos pares se anulan puesto que la funcin es
impar. En consecuencia el polinomio ser de grado 3 y, como f (0) = 1 y f (0) = 2, el
polinomio resulta ser
1
p4,0 (x) = x + x3 .
3
120
Evaluando ahora en x = 0.25 obtenemos la aproximacin para tg 0.25

p4,0 (0.25) = 0.25 +
1
49
0.253 =
= 0.255208 tg 0.25 .
3
192
(3.15)
Utilizamos a continuacin el resto R4,0 (x) para dar una estimacin del error cometido
en la aproximacin anterior (3.15),
R4,0 (x) =
f (5) (c) 5
x ,
5!
con c entre 0 y x .
En particular, cuando x = 0.25, el resto queda

R4,0 (0.25) =
f (5) (c)
0.255 ,
5!
c (0, 0.25).
Teniendo en cuenta que max f (5) (c) 30 , se tiene que

c(0,0.25)
R4,0 (0.25) =
f (5) (c)
30 0.255
0.255
= 2.44 104 .
5!
5!
Si comparamos la aproximacin (3.15) con el valor obtenido con un potente ordenador

tg 0.25 0.25534192122103626650448223649047367820420163 ,
obtenemos
tg 0.25 p4,0 (0.25) = 1.33 104
Efectivamente, el error queda por debajo de la cota superior dada 2.44 104 .
Hasta ahora hemos estimado el error despus de hacer la aproximacin con un polinomio de grado prefijado. Este problema es poco realista. En la prctica suele ser el
usuario quien establece el error mximo que se admite cometer. En general, la precisin
requerida depender de la precisin con la que se hayan tomado los datos del problema. Supongamos que tenemos que resolver un problema en el que los datos se han
tomado con precisin hasta las milsimas. Poco sentido tendra dar el resultado con
precisin 106 . En el siguiente ejemplo, fijaremos la precisin y a continuacin haremos
la aproximacin, es decir, determinaremos el orden del desarrollo buscado.
Ejemplo 3.8.9. Vamos a utilizar un polinomio de Taylor para aproximar 4 e con un
error menor que 0.001. Como 4 e = e1/4 , elegimos la funcin f (x) = ex y buscamos una
aproximacin en x = 1/4 = 0.25. El punto x0 en el que centramos el polinomio debe ser
tal que sepamos calcular f (x0 ), f (x0 ), f (x0 ), . . . En este caso, una buena eleccin es
x0 = 0, que adems est prximo a x = 0.25 . En tal caso, el polinomio ser
pn,0 (x) = f (0) + f (0)x + +
f (n) (0) n
x .
n!
121
Como para todo k se tiene que f (k) (x) = f (x), para x = 0 obtenemos f (k) (0) = f (0) = 1.
As, el polinomio de Taylor de orden n es
pn,0 (x) = 1 + x +
xn
x2
++
.
2
n!
Para determinar n, tenemos que utilizar la frmula del error e imponer que ste sea
menor que 0.001
Rn,0,f (0.25) 0.001 .
Para ello escribimos el error
Rn,0,f (x) =
f (n+1) (c) n+1

ec
x =
xn+1 ,
(n + 1)!
(n + 1)!
con c entre 0 y x .
En particular, para x = 0.25,

Rn,0 (0.25) =
3
ec
0.25n+1
0.25n+1 0.001 ,
(n + 1)!
(n + 1)!
c (0, 0.25) .
En la desigualdad () hemos utilizado que f es creciente, por lo que el mximo absoluto

de f en el intervalo (0, 0.25) es menor que f (1) = e < 3 .
Debemos encontrar el menor natural n que verifique la desigualdad
3
0.001 .
(n + 1)! 4n+1
Si no es posible obtener una expresin explcita para n, podemos ir dando valores hasta
encontrar el valor buscado:
n=1
3
2! 42
/ 0.001
n=2
3
3! 43
/ 0.001
n=3
3
4! 44
0.001
Luego basta con un polinomio de orden 3 para aproximar hasta las milsimas. El
polinomio es
x2 x3
+ .
p3,0 (x) = 1 + x +
2 3!
Evaluando en x = 0.25 obtenemos la aproximacin para 4 e con la precisin requerida

pn,0 (0.25) = 1 +
1 1
1
493
+
+
=
= 1.28385416 1.284 .
4 32 348 384
En la ltima expresin no hemos considerado ms cifras decimales puesto que slo

hemos aproximado hasta las milsimas y por tanto, esos dgitos de ms no seran
significativos.
122
Si damos como bueno el valor
4
e = 1.284025416687741, comprobamos que, en efecto
pn,0 (0.25)
4
e = 0.17 103 .
Ejercicio 3.8.10. Obtener sucesivas aproximaciones de sen 0.5 con los polinomios de
MacLaurin de rdenes 1, 3, 5 y 7. En cada caso, estimar el error cometido en la
aproximacin. Observar cmo el error va disminuyendo segn aumenta el grado del
polinomio.
Ejercicio 3.8.11. Obtener sucesivas aproximaciones para los valores sen 0.5, sen 1 y
sen 1.5 mediante el polinomio de MacLaurin de orden 5. Observar cmo el error va
disminuyendo segn nos acercamos al punto x0 = 0.
Ejercicio 3.8.12. Aproximar con error menor que 0.01 el valor de log 1.3 .
3.8.1. Aplicaciones al clculo de lmites

Los desarrollos de Taylor pueden utilizarse para hallar algunos lmites. Veamos un
ejemplo.
Ejemplo 3.8.13. Vamos a demostrar que
lm
x0
sen x x
1
= .
3
x
6
Para ello consideramos el desarrollo de Taylor de orden 3 de la funcin sen x en a = 0

sen x = x
x3
+ R3,0 (x) .
6
Vamos a introducir una notacin conveniente para el clculo de lmites: expresamos

R3,0 (x) como x3 (x) siendo (x) una funcin que verifica lm (x) = 0. Esto se justifica
x0
teniendo en cuenta la expresin (3.13) de la proposicin 3.8.6. As:
x6 + x3 (x)
1
1
sen x x
lm
=
l
m
= lm ( + (x)) = ,
3
3
x0
x0
x0
x
x
6
6
3
Ejercicio 3.8.14. Utilizando desarrollos de Taylor demostrar que:

1. lm
x0
2. lm
x0
cos x
2 = 1
1 x2
3. lm
arctg x
=1
x
4. lm
x0
x0
1
1x
=1
log(1 + x)
=1
x
3.9. Series de potencias
123
log x
=1
x1 x 1
5. lm
Polinomios de Taylor de algunas funciones elementales
x3 x 5
(1)n 2n+1
+
+
x
6 120
(2n + 1)!
(1)k 2k+1
x
k=0 (2k + 1)!
p2n+1,0 = x
(1)k 2k
x
k=0 (2k)!
p2n,0 = 1
arctg x =
p2n+1,0 = x
1 k
x
k=0 k!
pn,0 = 1 + x +
pn,0 = (x 1)
sen x =
n
cos x =
(1)k 2k+1
x
k=0 2k + 1
n
ex =
(1)k+1
(x 1)k
k
k=1
n
log x =
x2 x4
(1)n 2n
+
+
x
2 24
(2n)!
++
(1)k+1 k
x
k
k=1
n
x3 x5
(1)n 2n+1
+
+
x
3
5
2n + 1
x2 x3
1
+
+ + xn
2
6
n!
(x 1)2 (x 1)3
+
2
6
(1)n+1
(x 1)n
n
x2 x3
(1)n+1 n
+
+
x
2
3
n
log(1 + x) =
pn,1 = x
n
1
= xn
1 x k=0
pn,0 = 1 + x + x2 + x3 + + xn
n
1
= (1 x)k
x k=0
pn,1 = 1 + (1 x) + (1 x)2 + + (1 x)n

Ejemplo 3.9.1. Sea x R, vamos a estudiar, en funcin de los valores de x, la convergencia de la serie
+
1
xn .
n=0 n!
Si x = 0, la serie converge; si x 0, aplicamos el criterio del cociente, estudiamos
lm
n! xn+1
1
=
l
m
x 0
(n + 1)! xn
n+1
x R {0},
124
con lo que la serie converge para todo valor de x R.

Ejemplo 3.9.2. Sea x R, vamos a estudiar, en funcin de los valores de x, la convergencia de la serie
+
1
xn .
n=1 n
Si x = 0, la serie converge; si x 0, aplicamos el criterio del cociente, estudiamos
lm
n xn+1
n
= lm
x x
n
(n + 1) x
n+1
con lo que la serie converge si x < 1, no converge si x > 1 y si x = 1, no sabemos

1
(an) qu ocurre. Si x = 1, nos queda la serie que no converge y si x = 1 nos
n
(1)n
queda la serie
, que converge.
n
As esta serie converge si y slo si x [1, 1).
Definicin 3.9.3. Sea una sucesin (an )nN y sea x0 R, se llama serie de potencias
centrada en x0 a
an (x x0 )n .
(3.16)
n=0
El conjunto
D = {x R an (x x0 )n es convergente }
n=0
se llama dominio de convergencia (o simplemente dominio) de la serie de potencias

(3.16).
Nota 3.9.4. El dominio de convergencia D de una serie de potencias es siempre no
vaco, pues x0 D.
Proposicin 3.9.5. Consideremos la serie de potencias (3.16) con y n0 N tal que
an 0 n n0 . Sea D su dominio de convergencia y supongamos que existe
an+1
.
n+ an
l = lm
Se tiene
1. si l = 0, entonces D = R,
2. si l = +, entonces D = {x0 },
3. si l R, l 0, entonces

(a)
(b)
125
1
1
(x0 , x0 + ) D,
l
l
1
1
[(, x0 ) (x0 + , +)] D = .
l
l
En particular, el dominio de convergencia es siempre un intervalo.

Definicin 3.9.6. En las condiciones de la proposicin 3.9.5, se dice que el radio de
convergencia de la serie de potencias es
1. + si l = 0,
2. 0 si l = +,
3.
1
l
si l R, l 0.
Ejemplo 3.9.7. Consideramos la serie de potencias

xn
n=0 n!
+
y vamos a calcular D, su dominio de convergencia. Estamos en condiciones de aplicar

la proposicin 3.9.5. Tenemos que
an+1
n!
1
=
=
0
an
(n + 1)! n + 1
con lo que D = R.
Ejemplo 3.9.8. Consideramos la serie de potencias
xn
n=1 n
+
y vamos a calcular D, su dominio de convergencia. Estamos en condiciones de aplicar

la proposicin 3.9.5. Tenemos que
an+1
n
=
1
an
n+1
con lo que la serie converge en (1, 1) y no converge en (, 1)(1, +). Observemos
que la proposicin 3.9.5 no da informacin sobre la convergencia en los puntos 1 y 1.
Vamos a estudiar qu ocurre en estos puntos. Para x = 1 la serie es
1
n=1 n
+
126
que es una serie ya estudiada y que sabemos que no converge. Para x = 1 la serie es
(1)n
n
n=1
+
que es una serie convergente (basta aplicar el criterio de Leibnitz). Por lo tanto D =
[1, 1).
+
Ejemplo 3.9.9. Sea f (x) =
n=0
2n+1 2n
n+1 x .
(a) Halla el dominio de f .

Solucin: Observemos que no estamos en condiciones de aplicar la proposicin 3.9.5
La manera ms sencilla de abordar el clculo del dominio de f es tratarla como una
serie numrica dependiente de un parmetro, tal y como hicimos en los ejemplos 3.9.1
y 3.9.2. Llamemos bn =
2n+1 2n
n+1 x , n
0. Tenemos que 0 D. Para x 0 la serie bn

n=0
es de trminos estrictamente positivos. Aplicamos a esta serie el criterio del cociente y

tenemos
bn+1
= x2
lm
n+ bn
con lo que para x2 < 1, la serie converge, para x2 > 1 la serie no converge y para x2 = 1
el criterio no da informacin. No obstante, para x = 1, 1 tenemos que bn
/ 0, con lo
2
que la serie no converge. As, la serie converge si y slo si x < 1, es decir, el dominio
de f es el intervalo (1, 1).
Proposicin 3.9.10. Sea R {0}, entonces las series de potencias
an (x x0 )n y an (x x0 )n
tienen el mismo dominio de convergencia.
Proposicin 3.9.11. Consideramos las series de potencias
an (x x0 )n y bn (x x0 )n
y sean R1 y R2 sus respectivos radios de convergencia. Entonces, la serie de potencias
(an + bn )(x x0 )n
tiene radio de convergencia R mn(R1 , R2 ).
127
Teorema 3.9.12. Consideramos la serie de potencias
an (x x0 )n
n=0
y sean D su dominio de convergencia y R su radio de convergencia. Sea la funcin

f D R
x an (x x0 )n .
n=0
Entonces
1. f es continua en D.
2. f es derivable en Do y
f (x) = nan (x x0 )n1

n=1
siendo el radio de esta serie de potencias R.

3. La serie de potencias
an
(x x0 )n+1
n
+
1
n=0
tiene radio de convergencia R y F (x) =
n=0
an
n+1
n+1 (x x0 )
definida en (x0 R, x0 +
R) es derivable en (x0 R, x0 + R) y adems F (x) = f (x).

Proposicin 3.9.13. Consideramos la serie de potencias
an (x x0 )n
n=0
y sean D su dominio de convergencia y R su radio de convergencia. Sea la funcin

f D R
x an (x x0 )n .
n=0
Entonces f es indefinidamente derivable en Do , y adems su polinomio de Taylor de

orden n en x0 es
n
ai (x x0 )i .
i=0
Ejemplo 3.9.14. (Continuacin del ejemplo 3.9.9, -nivel extra-.)

128
(b) Estudia la monotona de f . Tiene algn punto de extremo relativo?

+
2n1 . Como todas las potencias de x

Solucin: Tenemos que f (x) = (2n+1)2n
n+1 x
n=1
son impares tenemos:
f (x) = 0
si y slo si
x=0
f (x) < 0
si y slo si
x<0
f (x) > 0
si y slo si
x>0
de lo que se deduce que f es estrictamente decreciente en (1, 0), estrictamente

creciente en (0, 1) y tiene un mnimo relativo en x = 0. Tambin se puede justificar
que x = 0 es un mnimo relativo de la siguiente manera: como bn 0 x, entonces
f (x) 0 en (1, 1) y como f (0) = 0, entonces x = 0 es un mnimo absoluto
que est en el interior del dominio de f , luego es tambin un mnimo relativo.
(Observemos que con este procedimiento no podramos estudiar la existencia de
otros posibles extremos relativos).
xf (x)sen x
(c) Calcula lm (1+2x)
log(1x2 ) 1
x0
Solucin: El denominador se puede expresar como

elog(1x
2 ) log(1+2x)
1.
Aplicando sucesiva y adecuadamente las equivalencias eh(x) 1 h(x) cuando

h(x) 0 y log(1 + h(x)) h(x) cuando h(x) 0, tenemos el denominador es
equivalente a 2x3 . As pues, el lmite pedido es tambin
xf (x) sen x
.
x0
2x3
lm
A partir de aqu tenemos dos opciones para calcular el lmite:

Op. 1 Podemos hacer un desarrollo limitado de Mac Laurin hasta orden 3 de
xf (x) sen x. Dado que
2n + 1 2n+1
x
,
n=0 n + 1
+
xf (x) =
podemos expresar
2n + 1 2n+1
3
x
+ x3 w1 (x) = x + x3 + x3 w1 (x)
2
n=0 n + 1
1
xf (x) =
129
con w1 (x) 0 cuando x 0. Adems

1
sen x = x x3 + x3 w2 (x),
6
con w2 (x) 0 cuando x 0. As tenemos que calcular
x + 23 x3 + x3 w1 (x) (x 61 x3 + x3 w2 (x))
5
=
3
x0
2x
6
lm
Op. 2 Podemos aplicar tres veces la regla de LHpital, teniendo en cuenta que
+
xf (x) =
n=0
2n+1 2n+1
,
n+1 x
entonces
(2n + 1)2 2n
x ,
n+1
n=0
1,
+
(2n + 1)2 2n 2n1
x
,
n+1
n=1
0,
+
(2n + 1)2 2n(2n 1) 2n2
x
,
n+1
n=1
9,
+
(xf (x)) =
(xf (x)) (0) =
(xf (x)) =
(xf (x)) (0) =
(xf (x)) =
(xf (x)) (0) =
y as calculamos tambin el lmite. (Nota: xf (x), (xf (x)) , (xf (x)) tienen
el mismo radio de convergencia que f ).
+
(d) Halla la suma de
n=1
2n(2n+1)
4n (n+1)
Solucin: Observemos que la suma de la serie es 21 f ( 12 ). Observemos tambin

que
1 2n+1
1 + (1)n (1)(x2 )n+1
x
= (si x 0) =
=
x n=0
n+1
n=0 n + 1
1 + (1)n
1
=
(x2 )n+1 = log(1 x2 ).
x n=0 n + 1
x
+
F (x) =
verifica F (x) = f (x) y su radio de convergencia es el mismo que el de f . As

f (x) =
y
f (x) =
log (1 x2 )
2
x2
x2 1
6x2 2
x (x2 1)
2 log (1 x2 )
x3
con lo que la suma de la serie es 12 f ( 12 ) = 89 + 8 log ( 43 ).

130
(1)n 2n+1
x
n=0 (2n + 1)!
+
sen x =
(1)n 2n
x
n=0 (2n)!
+
cos x =
(1)n 2n+1
x
n=0 2n + 1
+
arctg x =
1 n
x
n=0 n!
+
ex =
(1)n+1 n
x
n
n=1
+
log(1 + x) =
+
1
= xn
1 x n=0
Tabla 3.4. Tabla de algunos desarrollos en serie de potencias
3.10. Anexo I: Representacin grfica de funciones
131

Ante la imposibilidad de obtener todos los puntos del grafo de una funcin f , es necesario un estudio cualitativo que nos permita obtener su grafo con suficiente aproximacin.
Para ello, es conveniente seguir los siguientes pasos:
1. Determinar el dominio de f y estudiar la continuidad.
2. Estudio de simetras y periodicidad.
3. Cortes con los ejes.
4. Estudio asinttico (asntotas verticales, asntotas oblicuas).
5. Estudio de f .
6. Estudio de f .
Para algunas funciones particulares puede no ser necesario el estudio de algunos puntos.
Ejemplo 3.10.1. Vamos a representar grficamente la funcin
f (x) =
x2 + 1
.
x1
Dominio de f :
Como el numerador y denominador son funciones continuas en R, slo habr que
excluir las races del denominador. En este caso, f es continua en D = R/{1}.
Simetras y periodicidad:
Para el estudio de las simetras, calculamos f (x) = (x2 + 1)/(x + 1). Se tiene
que f (x) f (x), por lo que f no es par. Como f (x) f (x), f no es impar.
La funcin f no es peridica.
Cortes con los ejes:
El nico corte con el eje de ordenadas se corresponde con la imagen de x = 0,
esto es, el punto P = (0, f (0)). En este caso P = (0, 1). Los posibles cortes con
el eje de abscisas se corresponden con las antiimgenes de y = 0. Por lo tanto,
tenemos que resolver la ecuacin, posiblemente no lineal, f (x) = 0. En este caso,
dicha ecuacin no tiene soluciones, por lo que no hay cortes con el eje OX.
Estudio asinttico:
Estudiamos, en primer lugar, las asntotas verticales. De la definicin 2.3.19
de la pgina 65 se deduce que si la funcin f tiene una asntota vertical en
132
x = x0 , entonces f no puede ser continua en ese punto. En este problema la
nica asntota posible es x = 1. Se tiene que
lm+
x1
2
x2 + 1
= + = + ,
x1
0
lm
x1
x2 + 1
2
= = .
x1
0
Por tanto, la recta x = 1 es una asntota vertical.

Para estudiar las asntotas oblicuas hacemos uso de la definicin 2.3.20. Si
la recta y = mx + b es una asntota oblicua, entonces
f (x)
,
x+ x
m = lm
b = lm (f (x) mx) .
x+
Para que y = mx + b sea una recta, los valores de m y b obtenidos en los

lmites anteriores deben ser reales. Recordemos que en el caso particular
m = 0, la asntota es horizontal.
Para la funcin f del ejemplo tenemos
x2 + 1
= 1 R,
x+ x2 x
m = lm
h = lm (
x+
x2 + 1
1x) = 1 R ,
x1
por lo que la recta y = x + 1 es la asntota oblicua en +.

Repitiendo el proceso cuando x , se tiene que
x2 + 1
= 1 R,
x x2 x
lm
lm (
x2 + 1
1 x) = 1 R ,
x1
y, por tanto, la recta y = x + 1 es tambin asntota oblicua de f , en este caso

cuando x .
Estudio de f :
La funcin f es derivable en D = R {1} . Derivando obtenemos
f (x) =
x2 2x 1
.
(x 1)2
(3.17)
Resolviendo
la ecuacin f (x) = 0 obtenemos los puntos crticos de f , en este caso

1 2, 1+ 2. A continuacin estudiamos el signo de f en los distintos intervalos
x (, 1 2)
f (x) > 0
f creciente
x (1 2, 1)
f (x) < 0
f decreciente
x (1, 1 + 2)
f (x) < 0
f decreciente
x (1 + 2, +)
f (x) > 0
f creciente
Por tanto,
f
alcanza
un
mximo
local
en
x
=
1
2,
y un mnimo
local en
puntos
correspondientes
son
M
=
(1
2,
f
(1
2)) y m =
x =
1 + 2. Los
(1 + 2, f (1 + 2)) .
133
Estudio de f :
Si todo el estudio anterior no ha aportado informacin suficiente sobre la grfica
de f , se puede hacer uso de la derivada segunda. De la misma forma que con f
estudiamos el crecimiento de una funcin, con la derivada segunda f estudiamos
el grado de curvatura de f .
f (x) 0
f (x) > 0
f (x) = 0
f (x) < 0
f (x) 0
Si una funcin tiene derivada segunda nula en todos sus puntos, entonces, necesariamente f ser una recta. A los puntos donde f es continua y derivable y la
derivada segunda cambia de signo, se les suele llamar puntos de inflexin. Estos
se obtienen a partir de f (x) de manera anloga a como se obtienen los extremos
relativos a partir de f (x).
Derivando la expresin (3.17) se obtiene
f (x) =
4
.
(x 1)3
Separamos el dominio en diferentes intervalos utilizando los valores crticos de

f . Para ello necesitamos las races de la ecuacin f (x) = 0 . En este caso no hay
races para f , por lo que tenemos
x (, 1)
f (x) < 0
forma de "n"
x (1, +)
f (x) > 0
forma de "u"
Puede resultar til resumir en una tabla los resultados obtenidos durante el desarrollo de los puntos anteriores, evaluando la funcin f en los puntos notables que vayan
apareciendo.
x
f (x)
1+
1 2
1+ 2
2 2 2 0.83
2 + 2 2 4.83
10
8
6
4
2
-2
2
-2
-4
-6
134
3.11. Anexo II: Algoritmos

Algoritmo del mtodo de biseccin
Dada una funcin f continua en [a, b] tal que f (a) f (b) < 0, hallar
una raz de f (x) = 0.
Entrada: a, b, T OL, nmero mximo de iteraciones N0 .
Salida: Solucin aproximada p, o mensaje de error.
Paso 1
Tomar i = 1
Paso 2
Mientras i N0 , hacer Pasos 3-6.
Paso 3
Paso 4
Paso 5
Paso 6
Paso 7
Tomar p = (a + b)/2
Si f (p) = 0, (b a)/2 < T OL, entonces
SALIDA (p); PARAR
Tomar i = i + 1
Si f (a) f (p) > 0 tomar a = p
en otro caso tomar b = p
SALIDA (El mtodo no ha convergido despus de

N0 iteraciones); PARAR
Algoritmo del mtodo de Newton-Raphson

Dada una aproximacin inicial x1 , encontrar una raz de f (x) = 0.
Entrada: x1 , T OL, nmero mximo de iteraciones N0 .
Salida: Solucin aproximada p, o mensaje de error.
Paso 1
Tomar i = 1
Paso 2
Mientras i N0 , hacer Pasos 3-6.
Paso 3
Paso 4
Paso 5
Paso 6
Paso 7
Tomar p = x1 f (x1 )/f (x1 )

Si p x1 < T OL, entonces
SALIDA (p); PARAR
Tomar i = i + 1
Tomar x1 = p
SALIDA (El mtodo no ha convergido despus de

N0 iteraciones); PARAR
3.12. Ejercicios
135
3.12. Ejercicios
Derivada en un punto y funcin derivada
1. (nivel 0) Para cada una de las siguientes funciones, estudia su dominio, en qu
puntos de ste es derivable, y calcula la funcin derivada:
(a)
(b)
(c)
(d)
(e)
(f)
(g)
x+4
x3
2x
x+1
cos(ex sen x)
xx
log(cos x)
x2 + 1
x2 1
(cos x)sen x
(h) arctg(tg x2 )
(i) sen2 x cos2 x
(j) x
(k) arctg(1/x)x
(l) tg(2x )
(m)
cos(x2 log x)
x3
2
sen(x log x)
(n) x x
2. (nivel 0) Sean a, b, c, d, e, f R y
(a) sea
gRR
x (a x + b) sen x + (c x + d) cos x.
Determina los valores de a, b, c y d para los que que g (x) = x cos x.
(b) Sea
hRR
x (a x2 + b x + c) sen x + (d x2 + e x + f ) cos x.
Determina los valores de a, b, c, d, e, f para que h (x) = x2 sen x.
3. (nivel 2) Sea a R, a > 0. Estudia la continuidad y derivabilidad de la funcin
f RR
a2
e x2 a2
x
si x < a,
si x a.
4. (nivel 2) Sean a, b, c R, c > 0 y sea la funcin

f RR
,
si x > c,
x x
a + b x , si x c.
Halla los valores de a y b (en funcin de c) para que f sea derivable en c.
136
5. (nivel 3) Sean
f (x) = arctg x,
g(x) = arctg (
1+x
).
1x
(a) Calcula el dominio, D, de g

(b) Cunto vale f (x) g (x) con x D?
(c) Es cierto que f g es constante en D?
6. (nivel 3) Sean x0 R y sea f (, x0 ] R una funcin dos veces derivable en
su dominio. Sean a, b, c R y sea
gRR
si x x0 ,
f (x),
x
2
a (x x0 ) + b (x x0 ) + c, si x > x0 .
Estudia para qu valores de a, b, c es g derivable en R.
7. (nivel 2) Sea f R R una funcin derivable en R. Calcula g (x) -en funcin de
f (x)- si
(a) g(x) = f (sen2 x) + f (cos2 x),
(b) g(x) = f (f (f (x))).
8. (nivel 3) Dado n N (n 1), definimos
f RR
x{
xn sen x1 , si x 0,
0,
si x = 0,
Calcular para qu valores de n

(a) f es continua en 0,
(b) f es derivable en 0,
(c) f es continua en 0.
9. (nivel 2) Sea
f RR
x 2x 5.
Estudia la derivabilidad de f en R.
3.12. Ejercicios
137
Interpretacin geomtrica de la derivada

10. (nivel 1) Sea
f RR
x3
x
2x2 + 3x + 1
3
Halla los puntos de R2 en los que la recta tangente al grafo de f es horizontal.
11. (nivel 2) Sean a, b R y sea
f RR
x x2 + ax + b.
(a) Calcula la pendiente de la recta que une los puntos del grafo de f (x1 , f (x1 ))
y (x2 , f (x2 )), con x1 < x2 .
(b) Halla, en funcin de x1 y x2 , los valores de x para los que la recta tangente al
grafo de f en (x, f (x)) tiene la misma pendiente que la recta correspondiente
al apartado anterior.
Teoremas clsicos de derivabilidad
12. (nivel 2) Sea
f RR
2
x 1 x3 .
Comprueba que f (1) = f (1) = 0, y que f (x) no se anula en el intervalo [1, 1].
Explica por qu esto no contradice el teorema de Rolle.
13. (nivel 3) Utiliza el Teorema del Valor Medio para demostrar las siguientes desigualdades:
(a) sen x sen y x y, x, y R,
(b) n y n1 (x y) xn y n n xn1 (x y),
x, y R, 0 < y x, n N(n 1).
Regla de la cadena
14. (nivel 1) Una escalera de 13 metros de largo est inclinada contra una pared.
El pie de la escalera se est separando de la pared a una velocidad constante de
6 metros por minuto. Con qu rapidez se est moviendo hacia abajo la parte
superior de la escalera cuando el pie de la misma est a 5 metros de la pared?
138
1
15. (nivel 2) Si x (0, 5) la ecuacin x 2 + y 2 = 5 2 define y como funcin de x. Sin

despejar y, demuestra que y tiene signo constante en (0, 5).
16. (nivel 2) Consideramos un tringulo rectngulo variable (t) de vrtices A(t),
B(t), C(t) siendo A(t) = (0, 0), B(t) el vrtice correspondiente al ngulo recto
7 2
x + 1. Si en el instante t = 0 tenemos que B = (0, 1)
y C en la parbola y = 36
y que B(t) se desplaza sobre el eje y hacia arriba a una velocidad constante de
2cm/seg, A qu velocidad crece el rea del tringulo (t) en el instante t = 27 ?
17. (nivel 2) Un objeto se mueve a lo largo de la curva
x3 log(x2 )
y=[ +
+ sec(x)]
3
2
de manera que su coordenada x en el instante t es x(t) = 2t + arctg t. A qu

velocidad est cambiando la coordenada y = y(t) cuando t = 0?
18. (nivel 1) Tenemos un montn de basura al que se le ha dado forma de cubo y que
se est prensando manteniendo dicha forma cbica. Sabiendo que el volumen v(t)
de la basura decrece a razn de 2 metros cbicos por minuto, halla la velocidad
a la que est variando la arista a(t) del cubo cuando el volumen es de 27 metros
cbicos. Cul es, en ese mismo instante, la velocidad de variacin de la superficie
s(t) del cubo?
19. (nivel 2) Una partcula se mueve a lo largo del tiempo por la parbola y = x2 .
En qu punto de la curva coinciden la variacin de la abscisa y la ordenada de
la partcula?
Separacin y aproximacin de races

20. (nivel 2) Demuestra que la ecuacin x2 = x sen x + cos x tiene exactamente dos
races.
21. (nivel 2) Estudia si las siguientes ecuaciones tienen alguna raz. En caso afirmativo, utiliza el mtodo de NewtonRaphson para aproximarla.
a) x3 3x = cos x sen x, b) x cos x = 0,
d) x3 + 2 x 2 = 0,
c) ex + x + 2 = 0,
e) sen x = sen(5 x), f) x2 + x + 1 = 0.
22. (nivel 2) Dada la funcin f (x) = x3 + x 9:

(a) Estudia cuntas races (reales o complejas) tiene.
(b) Aproxima el valor de la raz (o races) real de la funcin con tres cifras
decimales exactas.
3.12. Ejercicios
23. (nivel 2) Dada la ecuacin:
139
4x = 8x
estudia cuntas races reales tiene. Aproxima una raz no entera de esa ecuacin
con dos cifras decimales exactas utilizando dos mtodos diferentes.
24. (nivel 3) Dada la funcin f (x) = 2x3 3x2 + k, estudia, segn los valores de k R,
cuntas races reales tiene la ecuacin f (x) = 0.
Representacin grfica
25. (nivel 2) Para cada apartado, i) halla todos los puntos x tales que f (x) = 0,
ii) estudia el signo de f y determina aquellos intervalos en los que f es montona, iii) estudia el signo de f y determina aquellos intervalos en los que f es
montona, iv) esboza el grafo de f .
(a) f (x) = x3 4 x,
(b) f (x) = x + x12 ,
(c) f (x) =
1
(x1) (x3) ,
(d) f (x) = x sen x,

(e) f (x) =
x2
6
+ cos122x .
26. (nivel 2) Dados m, n N, halla los puntos crticos de la funcin f (x) = xm (1x)n .
27. (nivel 1) Da un ejemplo de una funcin no acotada que tenga un mnimo absoluto.
Especifica en qu punto se alcanza el mnimo y su valor, y demuestra que la
funcin no est acotada.
28. (nivel 2) Dibuja los grafos de las siguientes funciones:
a) y =
x
x1 ,
x2 +1
d) y = e x1
b) y =
x
log x ,
c) y =
e) y =
x2 +x+1
x2 1
f) y = (1 + x1 )
1+cos(2 x)
1+2 cos x ,
x+1
Mximos y mnimos
29. Halla los extremos relativos de las siguientes funciones en sus respectivos dominios
(a) f (x) = (x 1)2 (4 x)
(b) f (x) = cos x
(c) f (x) =
x2
x2 + 2
1 + 2x arctg x
1 + x2
(e) f (x) = 1 x2
2x
(f) f (x) = arc sen
1 + x2
(d) f (x) =
140
30. Halla los extremos absolutos de las siguientes funciones en los intervalos que se
indican
1 + 2x arctg x
en [2, +)
1 + x2
1
(e) f (x) = 1 x2 en [ , 1]
2
2x
(f) f (x) = arc sen
en [2, +)
1 + x2
(a) f (x) = (x 1)2 (4 x) en [0, 4]
(d) f (x) =
(b) f (x) = cos x en [0, ]

2
(c) f (x) =
x2
en [2, 2]
x2 + 2
31. (nivel 2) Dado un tringulo rectngulo de catetos a y b e hipotenusa 1, halla el

mayor valor que puede tomar la expresin 2 a + b.
32. (nivel 2) Dada la elipse
x2 y 2
+
= 1,
9
4
trazamos una cuerda que pasa por el punto B = (0, 2). Halla la longitud mxima
que puede tener.
33. (nivel 2) Dada la parbola y = x2 + 6x 5, construimos un rectngulo que tenga

dos vrtices en ella y los otros dos en el eje OX. Halla el rea mxima que puede
tener dicho rectngulo.
34. (nivel 2) Una lata cilndrica de pimientos, tomada al azar en un supermercado,
meda 10 cm. de dimetro y 11.5 cm. de altura, de donde se deduce que el fabricante no tena asesores matemticos. Qu le aconsejara alguien que supiese
matemticas? Raznalo. (Pista: no hay que derrochar latn.)
Desarrollos de Taylor
35. (nivel 2) Aproxima
e utilizando un desarrollo de Taylor de segundo orden.
36. (nivel 2) Dado b R, b 0, calcula

3 sen(a x) 3 a x a3 x3
,
x0 6 b x 6 sen(b x) + b3 x3
lm
donde mediante adecuados desarrollos de Taylor de orden tres.

37. (nivel 2) Utilizando un polinomio de Taylor de orden 2 en torno a x0 = /2 calcula:
lm
x 2
log (sen x)
.
( 2 x)2
38. (nivel 2) Calcula una aproximacin de

orden 2 en torno a x0 = 25.
26 utilizando un polinomio de Taylor de
3.12. Ejercicios
141
39. (nivel 2) Calcula, de dos formas distintas

tg(2x)
.
x0
x
lm
40. (nivel 2) Queremos aproximar 1e con un error menor que 0.002 mediante un desarrollo de MacLaurin. Calcula el orden, n, que debe tener, al menos, dicho desarrollo y aproxima 1e usando el polinomio que hayas obtenido.
41. (nivel 2) Queremos aproximar log 2 usando la funcin
f (x) = log (
1+x
)
1x
(observa que f ( 31 ) = log 2). Utiliza los tres primeros trminos no nulos de un
desarrollo de Taylor de f para aproximar log 2.
42. (nivel 3) Dada la funcin f (x) = ex + x.
(a) Calcula
lm f (x)
y lm f (x)
x+
(b) Demuestra que f tiene una nica raz.

(c) Utiliza un desarrollo de Taylor de orden 2 para estimar cunto vale dicha
raz. De las dos soluciones obtenidas, cul te parece la ms apropiada? Por
qu?
43. (nivel 2) Calcula, de dos maneras distintas
log x
sen 2x
.
3
x1 (x + 5)(x 1)
lm
44. (nivel 2) Dada f (x) = x5 2x2 +5x, demuestra que existe un c Rtal que f (c) = 1.
Da una aproximacin de c con una cifra decimal exacta.
lm
x0
log(1 2x) + 2x
.
x2
de dos maneras distintas

(a) aplicando la regla de LHpital
(b) utilizando un polinomio de Taylor adecuado.
46. (nivel 2) Calcula, mediante desarrollos limitados de Taylor
142
senx tgx
x0
x3
x
5 1
(b) lm
x0
x
x n an
(c) lm
, nN
xa x a
x2 2 sen x
x0
x
x sen x
(e) lm
.
x0
x3
(a) lm
(d) lm
47. (nivel 2) Utilizando alguno de los mtodos vistos en clase aproxima, con dos cifras
decimales exactas, la menor de las races positivas de la ecuacin
4 (x 1) = sen x.
48. (nivel 2) Calcula:
lm (
x0
x 2 ex
)
(ex 1)2
(a) mediante polinomios de Taylor,

(b) mediante la regla de lHpital.
49. (nivel 2) Calcula de dos maneras distintas (una de ellas, utilizando desarrollos
limitados de Taylor):
2
1 ex + 2 x 3
lm
.
x0 sen x + x2 + log(1 + 2x)
50. (nivel 3) Estudia, en funcin de los valores de k R, cuntas races reales tiene la
ecuacin 2 x3 3 x2 + k = 0. Para el caso k = 1 aproxima, con una cifra decimal
exacta, una raz de la ecuacin (utilizando alguno de los mtodos vistos en clase).
Series de potencias
51. Halla el dominio de convergencia de las siguientes series de potencias y smalas.
n+1 n
x
n=0 n!
+
(a)
(1)n
x2n
2n (2n + 1)
2
n=0
+
(f)
(b) (n + 1)2 xn
n=0
+
(1)n 4n2
x
n=1 4n 2
+
n+2 n
(d) (2)n
x
n+1
n=0
+
1
(e) 2
xn+1
n
1
n=2
(c)
2n + n
(x + 1)2n+1
n+1
3
n=0
+
(g)
(h) (
n=0
+
2n 1 2n+1
)
x
n 24n+1
(i) (3)n+1
n=0
n + 2 n1
x
n
52. Desarrolla en serie de potencias las siguientes funciones, indicando en qu intervalo es vlido tal desarrollo.
3.12. Ejercicios
(a)
1
9 x2
(b) arc sen
2x
1 + x2
x
x2 5x + 6
(d) (1 + x) log(1 + x)
(c)
(e) log(1 + x2 ) 2x arctg x
(f) cos2 x
1
(g)
1 4x2
1
(h)
1 2x2 + x4
x3 + 1
(i)
8 x3
(j) (1 + ex )2
143
144
Ms ejercicios
Regla de la Cadena
1. (nivel 2) Dada la ecuacin (x2 + y 2 )3 3 (x2 + y 2 ) + 1 = 0, en la que x es la variable
independiente e y = y(x), calcula y (x).2 .
2. (nivel 2) Tenemos una curva de ecuacin
tg(x y 2 ) =
2xy
x es la variable independiente e y = y(x). Calcula la ecuacin de la recta tangente

a la curva en el punto (, 21 ).
3. (nivel 2) Dada la ecuacin x4 + 3 y (x2 y 2 ) = 0, en la que x es la variable independiente e y = y(x), calcula la ecuacin de la recta tangente al grafo de f en el
punto ( 23 2 , 43 ).
4. (nivel 2) Dada la ecuacin x2 ye2 x = sen y, en la que x es la variable independiente
e y = y(x), calcula y (x).
5. (nivel 1) Un objeto circular va aumentando de tamao. Se sabe que cuando el
radio es 6 cm, la tasa de variacin dicho radio es de 4 cm/s. Halla la tasa de
variacin del rea cuando el radio es de 6 cm.
6. (nivel 1) Dada la ecuacin x = y log(x y) en la que x es la variable independiente
e y = y(x), calcula y (x).
7. (nivel 1) Un coche que se mueve a 60 kilmetros por hora a lo largo de una
carretera recta pasa bajo un globo meteorolgico que se eleva verticalmente a
20 kilmetros por hora. Si el globo est a una altura de un kilmetro cuando el
coche est debajo de l, con qu rapidez est aumentando la distancia entre el
coche y el globo un minuto despus?
8. (nivel 1) Calcula la ecuacin de la recta tangente a la curva y 2 + x2 = y 4 2x en
el punto (2, 1).
9. (nivel 2) Un punto se mueve a lo largo de la parbola x2 = 4 p y (p constante) de
tal manera que su proyeccin sobre el eje x tiene velocidad constante c. Calcula
la aceleracin de su proyeccin sobre el eje y.
10. (nivel 2) Una partcula se mueve en el plano siguiendo una trayectoria que viene
dada por las ecuaciones:
x(t) =
2
sen t
,
t+1
Es frecuente utilizar tambin la notacin
dy
dx
y(t) = t2 1.
para representar y (x)
3.12. Ejercicios
145
Calcula dy/dx en el instante t = 0 y la ecuacin de la recta tangente a la trayectoria

en el punto (0, 1).
11. (nivel 1) Un cohete que pese 1000 kg sobre la superficie de la Tierra, pesa:
W (r) =
1000
r
)
(1 + 4000
2 kg
cuando est r metros por encima de la superficie de la Tierra. Si el cohete se est

elevando a una tasa de 1.25 metros por minuto, con qu rapidez est perdiendo
peso cuando su altitud es de 1000 m?
12. (nivel 2) Cuando una plancha circular de metal se calienta en un horno su radio
aumenta a la velocidad de 0.01 cm/min. A qu velocidad est aumentando el
rea de la plancha cuando su radio es de 50 cm?
maxmin
13. (nivel 2) Prueba que la funcin f (x) = x4 4x3 6x tiene algn mximo o mnimo
relativo y utiliza uno de los mtodos que hemos visto en clase para dar una
aproximacin de su valor con dos cifras decimales exactas.
k1
k2
14. (nivel 2) La concentracin de la especie B en el proceso cintico AB C,

consistente en dos reacciones irreversibles de primer orden, viene dado por:
[B] =
[A]0 k1 k1 t k2 t
(e
e )
k2 k1
con k1 k2 0 y k1 , k2 del mismo signo. Halla el tiempo t, en funcin de las

constantes cinticas k1 y k2 (suponiendo que [A]0 es constante) en el cual B
tiene concentracin mxima o mnima.
15. (nivel 2) Es posible encontrar un polinomio f de grado 3 que tenga un mnimo
relativo en el punto P = (1, 3) y un mximo relativo en el punto Q = (1, 1)? Si
la respuesta es s :
(a) justifica que P = (1, 3) es un mnimo relativo de f y Q = (1, 1) es un
mximo relativo de f .
(b) justifica que f tiene al menos una raz en [1, 1]
16. (nivel 2) Estudia para qu valor de a R la funcin
f (x) =
eax ex x
x2
tiene lmite finito cuando x 0. Cul es ese lmite?

17. (nivel 2) Sea f (x) = x5 2x2 + 5x. Demuestra que existe c R tal que f (c) = 1.
Calcula una aproximacin de ese nmero con una cifra decimal exacta.
146
18. (nivel 2) Una cinta transportadora est vertiendo arena gruesa sobre un montn
de forma cnica a una velocidad constante de 60 metros cbicos por minuto.
Las fuerzas de rozamiento son tales que la altura del montn es siempre 2/3 del
radio. A qu velocidad est cambiando el radio del montn cuando su altura es
de 5 metros?
19. (nivel 1) La probabilidad de que una molcula de masa m en un gas a temperatura T tenga velocidad v viene dada por la llamada distribucin de MaxwellBoltzmann:
m 3/2 2 mv2
) v e 2kT
f (v) = 4 (
2kT
donde k es una constante, llamada constante de Boltzmann. Halla la velocidad
ms probable de la molcula, es decir, la velocidad para la cual f (v) es mxima.
Separacin y aproximacin de races
20. (nivel 2) Sea n N impar y a R, a < 0. Demuestra que existe un nico b R, b < 0
tal que bn = a.
21. (nivel 2) Efecta cuatro iteraciones con el mtodo de NewtonRaphson para
aproximar la raz positiva de la ecuacin x2 = 2. Comienza las iteraciones con
x0 = 2. Qu ocurre si comenzamos las iteraciones con x0 = 2? Y si comenzamos
con x0 = 0? (Puedes ayudarte con una grfica para dar la respuesta).
22. (nivel 2) Demuestra que el polinomio p(x) = x3 3x 5 tiene una nica raz real.
Aproxima el valor de esa raz con una cifra decimal exacta utilizando alguno de
los mtodos vistos en clase.
23. (nivel 3) Estudia, segn los valores de k R cuntas races reales tiene la ecuacin
x3 3x + k = 0. Para el caso k = 3 aproxima una raz de la ecuacin con una cifra
decimal exacta utilizando alguno de los mtodos vistos en clase.
Mximos y mnimos
24. (nivel 2) Dada una esfera de radio R, halla el radio r y la altura h del cilindro
circular recto de mayor superficie lateral (que, recuerda, vale 2rh) que puede
inscribirse en la esfera.
25. (nivel 2) Dado un semicrculo, halla el trapecio de mayor rea que puede inscribirse en l y cuya base inferior es el dimetro del semicrculo.
26. (nivel 2) La concentracin C de un frmaco en sangre t horas despus de ser
inyectado por va intramuscular viene dada por: C(t) = 3 t/(27 + et ). Cundo es
mxima?
3.12. Ejercicios
147
27. (nivel 2) Se necesita una lnea de potencia para conectar una estacin elctrica
situada en la orilla de un ro con una isla situada cuatro kilmetros ro abajo y a
un kilmetro de la orilla. Halla el coste mnimo para la lnea sabiendo que el cable
subfluvial cuesta 50000 euros por kilmetro, mientras que un cable subterrneo
slo cuesta 30000 euros por kilmetro.
28. (nivel 2) Un arquitecto quiere disear una ventana en forma de rectngulo coronado por un semicrculo. Si el permetro de la ventana est limitado a 24 metros,
di razonadamente qu dimensiones deber elegir el arquitecto de manera que la
ventana permita entrar la mayor cantidad de luz.
Desarrollos de Taylor
29. (nivel 2) Calcula una apoximacin de sen 1 utilizando un desarrollo de Taylor
adecuado de orden 3. (Nota: ten en cuenta que primero debes expresar 1 en
radianes).
30. (nivel 3)
(a) Calcula el dominio, D, de la funcin:
f (x) = log x + x2
y, sin calcularlas explcitamente, estudia cuntas races tiene la ecuacin:
f (x) = 0
(3.18)
en D.
(b) Mediante un desarrollo de Taylor de segundo orden de la funcin log x en
torno a x0 = 1, calcula una aproximacin de la raz de (3.18) en D..
31. (nivel 2)
(a) Deriva varias veces la funcin
senh(x) =
ex ex
hasta intuir una expresin de su derivada n-sima.

(b) Calcula, con dos procedimientos distintos
lm
x0
2 senh(x)
x (x + 3)
32. (nivel 3) Dada la funcin:
f (x) = log
1+x
1x
148
(a) Deriva f varias veces e intuye una expresin para su derivada n-sima.
(b) Calcula el polinomio de McLaurin de orden n de f .
(c) Calcula una aproximacin de log 3 tomando n = 3 y x = 0.8.
Nota Recuerda que es ms fcil derivar una suma que un producto. Observa que
f (x) tambin se puede expresar como 21 [log(1 + x) log(1 x)] (en el dominio
adecuado).
33. (nivel 2) Aproxima 3 9 utilizando un polinomio de Taylor de orden 2 de (8+x)1/3 .
3.12. Ejercicios
149
Ejercicios complementarios
1. (nivel extra) Qu condiciones tienen que satisfacer los parmetros reales p y q
para que la ecuacin x3 + p x + q = 0 tenga exactamente tres races reales?
2. (nivel extra) Calcula, utilizando alguno de los mtodos vistos en clase, una solucin aproximada de la ecuacin: x = cos x con una cifra decimal exacta.
3. (nivel extra) Cmo crees que habra que interpretar la siguiente frmula?
(1)k x2k
(2k)!
k=0
cos x =
4. (nivel extra) Dada la funcin:
(x + 1)n
,
2n
n=1
f (x) =
(interpretando la expresin anterior como que sabemos el polinomio de Taylor de

f de cualquier orden). Calcula f (9 (1).
5. (nivel extra)
(a) Dado 0 [0, 12 ], demuestra que:
sen x = x
x3
+ r(x), con
3!
r(x)
(1/2)5
.
5!
(b) Utiliza la estimacin de (a) para encontrar un valor aproximado de
2/2
sen x2 dx.
6. (nivel extra) Dada la funcin

f [0, 1] R
sen x
x x
1
queremos aproximar
si
0 < x 1,
si
x=0
0 f (x) dx
(3.19)
Utiliza los tres primeros trminos no nulos del desarrollo de MacLaurin de sen x
para calcular una aproximacin de (3.19).
150
7. (nivel extra) Calcula una aproximacin de:

1
x2 + 1
dx
x2 3x + 2
utilizando un desarrollo de MacLaurin de orden 3 de
x2 +1
x2 3x+2 .
Nota: Observa que es ms sencillo hacer el desarrollo de MacLaurin si se descompone la fraccin en fracciones simples.
Bibliografa
[1] R. A. Adams. Clculo. Editorial Addison Wesley, Madrid, 2009.
[2] A. Garca y otros. Clculo I. Teora y problemas de Anlisis Matemtico en
una variable. Editorial CLAGSA, Madrid, 1993.
[3] B. Garca, I. Higueras, T. Roldn. Anlisis matemtico y mtodos numricos. Universidad Pblica de Navarra (2 edicin revisada), 2007.
[4] J. L. Lpez. lgebra lineal. Universidad Pblica de Navarra, 2007.
151

Matematicas Teleco

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Matematicas Teleco

Diunggah oleh

Hak Cipta:

Format Tersedia

243101 Matemticas I

Grado en ingeniera en tecnologas de la

2.6. Otras funciones usuales . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1. El conjunto de los nmeros reales

Numeros reales y complejos, sucesiones y series de nmeros reales

1. Propiedad conmutativa para la suma y el producto:

2. Propiedad asociativa para la suma y el producto:

3. Propiedad distributiva del producto con respecto a la suma:

4. En N0 , existencia de elemento neutro para la suma:

5. Existencia de elemento neutro para el producto:

6. Axiomas de orden. En el cojunto N, hay definida una relacin de orden total,

1.1. El conjunto de los nmeros reales

Definicin 1.1.5. El conjunto de los nmeros enteros es

Extendiendo adecuadamente las operaciones internas suma y producto anteriores al

Numeros reales y complejos, sucesiones y series de nmeros reales

Nota 1.1.9. Observa que la ecuacin 2 x = 1 ya puede resolverse en el conjunto de los

Figura 1.1. Algunos irracionales

1.1. El conjunto de los nmeros reales

Definicin 1.1.12. El conjunto de los nmeros reales es

Para representar un nmero racional p/q, dividimos la unidad en q partes iguales y a

Algunos nmeros irracionales se pueden

La terna (R, +, ) verifica las propiedades 1-10. El elemento inverso de x R se denota

Numeros reales y complejos, sucesiones y series de nmeros reales

11. Axioma del supremo: Sea S R, S y acotado superiormente. Entonces existe

1.1. El conjunto de los nmeros reales

1. m es una cota inferior de S,

Los intervalos (a, b) y [a, b] se llaman, respectivamente, intervalo abierto e intervalo

Numeros reales y complejos, sucesiones y series de nmeros reales

Proposicin 1.1.31. Propiedades del valor absoluto: para todo x, y R, se tiene

1.2. El mtodo de induccin

1.2. El mtodo de induccin

1.3. Nmeros complejos

dos soluciones x1 = 2 R y x2 = 2 R . Sin embargo todava hay ecuaciones cuyas

Numeros reales y complejos, sucesiones y series de nmeros reales

en el que se definen las operaciones

Nota 1.3.11. Si z C es, en particular, un nmero real, entonces el mdulo de z coincide

1.3. Nmeros complejos

Definicin 1.3.12. Dado z = x + iy C {0} se define el argumento principal de Z

Numeros reales y complejos, sucesiones y series de nmeros reales

Proposicin 1.3.18. Sea 0 z C, entonces z se puede expresar en la forma z = rei

Proposicin 1.3.20. Sean m, n Z y z, z1 , z2 C, entonces

1.4. Sucesiones de nmeros reales

Es decir, a cada nmero natural n, se le hace corresponder un nico nmero real an .

1.4. Sucesiones de nmeros reales

A la imagen an de un natural n se le llama trmino general de la sucesin. A los

Estas otras, en cambio, se determinan por recurrencia

Numeros reales y complejos, sucesiones y series de nmeros reales

Ejemplo 1.4.5. Estudiemos la monotona de algunas de las sucesiones del ejemplo

K se llama cota superior de la sucesin (an )nN .

1.4. Sucesiones de nmeros reales

l se llama cota inferior de la sucesin (an )nN .

La desigualdad n 1 es vlida para todo natural n, por tanto l = 5 es una cota

1.4.4. Operaciones con sucesiones

Numeros reales y complejos, sucesiones y series de nmeros reales

Sucesin producto por un escalar

1.4. Sucesiones de nmeros reales

{1, 2, 5, 10, 17, 26, . . .}

Como b3 = 0, la sucesin cociente no est bien definida.

Si an 0 n N , podemos definir la sucesin ( an )nN .

1.4.5. Lmite de una sucesin

UPNA, grado en ingeniera en tecnologas de la telecomunicacin

Numeros reales y complejos, sucesiones y series de nmeros reales

Ejemplo 1.4.17. Utilizamos la definicin 1.4.15 para probar que