NDICE

Los nmeros reales

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

Los nmeros naturales, enteros, racionales y reales . . . . . . . . 3

La recta real: relacin de orden, desigualdades e intervalos . . . 4
El valor absoluto de un nmero real . . . . . . . . . . . . . . . . . . 6
Conjuntos acotados: mximo, mnimo, supremo e nmo . . . . 7
Propiedad arquimediana, parte entera de un nmero real y
densidad de los racionales en los reales . . . . . . . . . . . . . . . . 10
1.6 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.1
1.2
1.3
1.4
1.5

Sucesiones
2.1
2.2
2.3
2.4
2.5
2.6
2.7

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

Denicin. Sucesiones convergentes y lmite de una sucesin .

Subsucesiones de una sucesin . . . . . . . . . . . . . . . . . . . . .
Sucesiones de Cauchy. Completitud de R . . . . . . . . . . . . .
Operaciones elementales con sucesiones . . . . . . . . . . . . . . .
Otras operaciones con sucesiones . . . . . . . . . . . . . . . . . . .
El nmero e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Clculo de lmites de sucesiones . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.

14
17
18
20
22
23
25

Lmites y continuidad de funciones . . . . . . . . . . . . .

30

3.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Operaciones elementales con funciones, composicin de
ciones y funcin inversa . . . . . . . . . . . . . . . . . . . . . .
3.3 Lmite de una funcin en un punto . . . . . . . . . . . . . .
3.4 Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . .
3.5 Clculo de lmites de funciones . . . . . . . . . . . . . . . . .
3.6 Propiedades globales de las funciones continuas . . . . . .

31
33
37
39
43

Derivacin

. . . . 30

fun.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

4.1 Denicin de derivada de una funcin en un punto e interpretacin geomtrica de la derivada. Derivadas laterales . . .
4.2 Continuidad y derivabilidad . . . . . . . . . . . . . . . . . . . . . .
4.3 Derivadas sucesivas de una funcin . . . . . . . . . . . . . . . . .
4.4 Reglas de derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Derivada de la composicin de funciones (regla de la cadena)
y derivada de la funcin inversa de una dada . . . . . . . . . . .
5

.
.
.
.
.

Teoremas del valor medio

.
.
.
.

48
53
55
57

. 59

. . . . . . . . . . . . . . . . . . . . . 63

5.1 Extremos locales. Condicin necesaria de extremo local . . . . . 63

5.2 Teorema de Rolle. Teorema del valor medio . . . . . . . . . . . . . 64
5.3 Existencia local de la funcin inversa . . . . . . . . . . . . . . . . . 68

5.4 Condiciones sucientes de extremo local . . . . . . . . . . . . . . . 69

6

Funciones convexas. La regla de LHospital . . . . .

6.1 Funciones cncavas y convexas: denicin y
mentales . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Puntos de inexin . . . . . . . . . . . . . . . . .
6.3 La regla de LHospital . . . . . . . . . . . . . . .

10

propiedades ele. . . . . . . . . . . . 71
. . . . . . . . . . . . 74
. . . . . . . . . . . . 75

Frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1
7.2
7.3
7.4
7.5
7.6

Polinomio de Taylor de orden n: denicin y propiedades . .

Condicin suciente de extremo local y de punto de inexin
Polinomios de Taylor de algunas funciones elementales . . . .
Propiedades bsicas de la o (( x) ) cuando x ! 0 . . . . . .
Operaciones elementales con polinomios de Taylor . . . . . . .
El polinomio de Taylor con resto de Lagrange . . . . . . . . . .

Mtodos de integracin

.
.
.
.
.
.

78
78
82
84
85
86
90

. . . . . . . . . . . . . . . . . . . . . . . 93

Primitiva e integral indenida de una funcin . . . . . . . . . .

Integracin por sustitucin (cambios de variable) . . . . . . . .
Integracin por partes . . . . . . . . . . . . . . . . . . . . . . . . . .
Frmulas de reduccin . . . . . . . . . . . . . . . . . . . . . . . . . .
Integracin de funciones racionales . . . . . . . . . . . . . . . . . .
Integracin de funciones trigonomtricas
. . . . . . . . . . . . . .
Z
10.6.1 Integrales de la forma R(sin x; cos x) dx . . . . . . . . . . .
10.6.2 Frmulas de reduccin para integrales trigonomtricas
10.7 Integracin de funciones irracionales
. . . . . . . . . . . . . . . . .
Z
10.7.1 Integrales de la forma R(x; xr1 ; xr2 ; :::; xrn ) dx . . . . . . . .
10.7.2 Integrales de funciones con radicandos cuadrticos . . .

10.1
10.2
10.3
10.4
10.5
10.6

Bibliografa

71

.
.
.
.
.
.

93
93
95
96
98
101

. 101
. 104
. 105
. 105
. 106

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

Nmeros reales

1.

Los nmeros reales

1.1. Los nmeros naturales, enteros, racionales y reales

El conjunto de los nmeros naturales N = f0; 1; 2; :::; n; :::g.
N cumple dos principios importantes que adems se puede demostrar que son equivalentes:
Principio de induccin. Sea una propiedad P . Si un nmero natural n cumple
la propiedad P escribiremos P (n). El principio de induccin dice que si se cumplen
las dos siguientes condiciones:
1. P (0) (es decir, el 0 cumple la propiedad P )
2. Para cualquier natural k se tiene que P (k) ) P (k + 1) (es decir, el hecho de
que un nmero natural k cumpla la propiedad signica que k + 1 tambin la
cumple)
entonces la propiedad P se cumple para todos los nmeros naturales, 8n 2 N; P (n).
Principio de buena ordenacin: si A N y A es no vaco entonces A tiene un
elemento mnimo. Este principio permite ordenar cualquier conjunto de nmeros
naturales.
El principio de induccin se usa con mucha frecuencia en matemticas para demostrar
que determinadas armaciones son ciertas para todo nmero natural n. Se comprueba
que el resultado es cierto para un cierto nmero natural (normalmente el 0 o el 1), se
prueba que si es cierto para n 2 N tambin lo es para n + 1 2 N y aplicando el principio
se obtiene que es cierto para todo n. Se dan algunos ejemplos en un apartado posterior.
El conjunto de los nmeros enteros Z = f0; 1; 2; :::; n; :::g.
Existen problemas sencillos en los que los nmeros naturales no son sucientes. Los
nmeros enteros son una extensin de los nmeros naturales que permiten, por ejemplo,
dar sentido a ecuaciones del tipo a + x = b con a; b 2 N jos que no tienen solucin en N
cuando a > b.
El conjunto de los nmeros racionales Q = fnmeros de la forma p=q con p; q 2 Zg.
Los nmeros racionales se pueden representar en una recta horizontal de la siguiente
manera: se dibuja una recta horizontal y se eligen en ella dos puntos: el que est ms a
la izquierda representa el nmero 0 y el que est ms a la derecha el nmero 1. Una vez
que estn jadas las posiciones del 0 y del 1 para representar el nmero p=q se divide el
segmento (0; 1) en q partes y se lleva la longitud de una de las partes que resulta de la
divisin p veces hacia la derecha a partir del 0 (si p=q es positivo) o hacia la izquierda (si
p=q es negativo). El punto que resulta es la representacin grca del nmero racional
p=q. A la derecha del 0 se representan los nmeros positivos y a la izquierda los negativos.
Si se escriben en forma decimal es fcil ver que los nmeros racionales tienen siempre una
cifra o un conjunto de cifras decimales que se repiten indenidamente a partir de una cifra
b Para
en adelante. Por ejemplo, 4:3424242::: que se escribe abreviadamente como 4:342.

Nmeros reales

recuperar el nmero pero escrito como cociente de dos enteros p=q basta tener en cuenta
b = 4342:42=1000
b
b = 43:42=10.
b
b 43:42
b = 4299 y si
que 4:342
y que 4:342
Adems 4342:42
b
p=q = 4:342 se tiene por tanto que
1000

p
q

p
p
p
4299
1433
10 = 990 = 4299 de donde
=
=
q
q
q
990
330

Otra manera equivalente de hacer lo mismo es escribir

b
b
43:42
43 0:42
43 0:42
1
1
=
+
=
+
1+
+
+ :::
10
10
10
10
10
100 10000
43 0:42
1
43 4:2
1433
=
+
=
+
=
10
10 1 1=100
10
99
330

b =
4:342

teniendo en cuenta que la expresin entre parntesis es la suma de los innitos trminos
de una progresin geomtrica de razn 1=100.
El conjunto de los nmeros reales R.
Es fcil ver que hay nmeros que no se pueden escribir en la forma p=q donde p y q son
dos nmeros naturales. Estos nmeros se llaman irracionales
p y junto con los racionales
constituyen el conjunto de los nmeros reales. Por ejemplo, 2, el nmero e base de los
logaritmos neperianos o son nmeros irracionales. La demostracin de que, por ejemplo,
p
2 es irracional es sencilla y se da a continuacin:
Demostracin:
p
Si 2 se pudiera
p escribir como un nmero racional entonces, simplicando la fraccin, se
tienen ms divisores comunes que el 1, en otras
obtendra que 2 = p=q donde p y q no p
palabras, la fraccin es irreducible. De 2 = p=q se obtiene que 2 = p2 =q 2 o bien que
p2 = 2q 2 y por tanto que p2 es par lo que signica que forzosamente p tambin es par.
Pero entonces p se puede escribir como p = 2k con k un nmero natural y por tanto,
como p2 = 2q 2 , se tiene que 4k 2 = 2q 2 o, lo que es lo mismo, q 2 = 2k 2 . Pero eso signica
que q 2 es par y por tanto q tambin es par.
Se llega entonces a la conclusin de que tanto p como q son pares, en contradiccin con
la hiptesis de que el nico divisor comn que tienen es el 1.

1.2. La recta real: relacin de orden, desigualdades e intervalos

Los nmeros racionales no llenan la recta horizontal sobre la que se han representado.
El procedimiento
grco siguiente permite representar sobre dicha recta los nmeros irp
racionales, 2 en este caso concreto: sobre el intervalo
p (0; 1) se construye un cuadrado
de lado igual a 1 cuya diagonal tiene longitud igual a 2. Esta longitud se lleva con un
comps
sobre la recta horizontal y el punto de interseccin es la representacin grca de
p
2. A esta recta sobre la que se representan los nmeros reales se le llama la recta real
R.
En la recta real se introduce una relacin de orden: dados dos puntos x e y se dice
que x es menor que y (o tambin que y es mayor que x) y se escribe x < y (y > x) si
x est a la izquierda de y. Si de un punto x 2 R se sabe que es menor o igual que otro
punto y se escribe x y (o bien y x). Esta relacin de orden permite introducir dos
nuevos puntos, ms y menos innito que se representan +1 y 1 (a veces en lugar de

Nmeros reales

escribir +1 se escribe solo 1) y que se denen de la siguiente manera: 1 es mayor que

cualquier otro nmero real (8x 2 R; x < 1) y 1 es menor que cualquier otro nmero
real (8x 2 R; x > 1). A la recta real junto con los puntos 1 se le llama la recta
real ampliada R.
Se dene tambin d(a; b), distancia entre dos puntos a y b con a < b de la recta real
como d(a; b) = b a que obviamente es una cantidad positiva o cero (este ltimo caso
cuando los dos puntos coinciden).
Con mucha frecuencia para entender el tipo de razonamientos que se hacen en un curso
de clculo es necesario manejar desigualdades con soltura. Como ejemplo, equivalencias
entre desigualdades muy elementales pero que se usan constantemente son:

8x; y 2 R;

x
x

y , ax
y , ax

8x; y 2 R+ ; 0 < x

y como caso particular de 1.1 cuando a =

x

y,

ay
ay

si
si

y , 0 < 1=y

a 2 R+
a2R

1=x

(1.1)
(1.2)

1 se tiene que
x

(1.3)

En R se denen 9 subconjuntos de puntos especiales llamados todos ellos intervalos. Si

a; b 2 R con a < b se denen:
intervalo abierto (a; b) es el conjunto de los x 2 R tales que a < x < b o, en
notacin ms abreviada: fx 2 R : a < x < bg. Si se representa grcamente sobre
la recta real incluye todos los puntos del segmento entre a y b excluidos los dos
puntos frontera o extremos del intervalo a y b. A a se le llama extremo inferior
del intervalo y a b extremo superior.
intervalo cerrado [a; b] es el conjunto de los x 2 R tales que a x b, fx 2 R : a
x bg. Sobre la recta real son todos los puntos del segmento entre a y b incluidos
los dos extremos a y b.
intervalo cerrado por la derecha y abierto por la izquierda (a; b] es el conjunto de los
x 2 R tales que a < x b, fx 2 R : a < x bg. En este caso se incluye el punto b
pero no el a.
intervalo abierto por la derecha y cerrado por la izquierda [a; b) es el conjunto de
los x 2 R tales que a x < b, fx 2 R : a x < bg. Incluye el punto a pero no el b.
intervalo semi-innito abierto por la derecha ( 1; b) es el conjunto de los x 2 R
tales que x < b, fx 2 R : x < bg.
intervalo semi-innito cerrado por la derecha ( 1; b] es el conjunto de los x 2 R
tales que x b, fx 2 R : x bg.
intervalo semi-innito abierto por la izquierda (a; 1) es el conjunto de los x 2 R
tales que x > a, fx 2 R : x > ag.
intervalo semi-innito cerrado por la izquierda [a; 1) es el conjunto de los x 2 R
tales que x a, fx 2 R : x ag.

Nmeros reales

intervalo innito ( 1; 1) es el conjunto de todos los nmeros reales y por tanto

coincide con R.
Se pueden tambin denir los intervalos degenerados (a; a) que no contiene ningn punto
(y por tanto (a; a) = donde por se representa el conjunto vaco que no contiene
ningn punto) y el [a; a] que contiene un solo punto, el punto a.
A un intervalo abierto de la forma (a
; a + ) con a 2 R y > 0 se le llama entorno o
bola de centro el punto a y radio (o simplemente entorno de a) y se suele representar
como B(a; ). No es ms que el conjunto de nmeros reales que estn a una distancia de
a menor que . A veces resulta til denir un entorno de un punto a pero excluido el
propio punto a. Se le llama entorno reducido y a partir de ahora se representa como
B (a; ). Es obvio que x 2 B (a; ) si se cumple que x 2 B(a; ) y x 6= a.
De un subconjunto de R cerrado y acotado se dice que es un conjunto compacto.
1.3. El valor absoluto de un nmero real
Sea x un nmero real cualquiera, x 2 R. Se dene jxj, el valor absoluto de x, como
8
< x si x > 0
0 si x = 0
jxj =
:
x si x < 0

de modo que el valor absoluto de x es siempre un nmero positivo o cero que coincide
con el nmero si ste es positivo y es el nmero cambiado de signo cuando es negativo.
Independientemente de que a < b o de que b < a el valor absoluto permite denir la
distancia entre los puntos a y b como d(a; b) = ja bj que es una cantidad positiva o cero
y solo es cero cuando ambos puntos coinciden.
El valor absoluto de un nmero tiene una serie de propiedades elementales que hay que
usar con mucha frecuencia en todo tipo de razonamientos en clculo. stas son:
1. jxj = 0 , x = 0 (el nico nmero real cuyo valor absoluto es 0 es el nmero 0).
2. Para cualquier nmero real x se tiene que jxj = j xj lo que en notacin ms abreviada se escribe: 8x 2 R; jxj = j xj. Lo anterior equivale a decir que 8x; y 2
R; jx yj = jy xj.
3. Si x; y son dos nmeros reales cualesquiera se tiene que jxyj = jxj jyj, o tambin, en
notacin ms abreviada, 8x; y 2 R; jxyj = jxj jyj.
4. Si x; y son dos nmeros reales cualesquiera se tiene que jx + yj
triangular). Demostrada en el libro de Spivak
5. Si x; y son dos nmeros reales cualesquiera se tiene que jx

jxj+jyj (propiedad
yj

jjxj

6. Una desigualdad (que aparece con frecuencia en clculo) del tipo jxj
nmero real positivo es totalmente equivalente a decir que a
x
notacin ms matemtica se escribe como:
jxj

a,

jyjj.
a con a un
a lo que en

La equivalencia sigue siendo cierta cuando se sustituyen los menores o iguales ( )

por menores (<) a ambos lados de la misma.

Nmeros reales

7. Como consecuencia de la equivalencia anterior se tiene que si x; a son dos nmeros

reales cualesquiera (x; a 2 R) y es un nmero real positivo, > 0, entonces se
tiene que:
jx
jx

aj
aj <

,a
,a

x a + , x 2 [a
< x < a + , x 2 (a

;a + ]
;a + )

o, lo que es lo mismo, si a es un punto jado de antemano, decir de un punto x

que jx aj
es lo mismo que decir que su distancia a a es menor o igual que
o que x est dentro del intervalo cerrado de centro el punto a y extremos inferior y
superior a
y a + respectivamente. La misma interpretacin tiene la desigualdad
jx aj < sustituyendo intervalo cerrado por abierto y menor o igual por menor.
Notar que el conjunto de los puntos x que cumplen que jx aj < coincide con el
conjunto de los x tales que x 2 B(a; ).

1.4. Conjuntos acotados: mximo, mnimo, supremo e nmo

Sea A un subconjunto de R, A

R. Se tienen las siguientes deniciones:

1. a 2 A es el mnimo (mximo) de A si cualquier otro elemento de A es mayor o

igual (menor o igual) que a:
a = min(A) , a 2 A y 8x 2 A; x
a = max(A) , a 2 A y 8x 2 A; x

a
a

Es importante el hecho de que para que un elemento a sea el mnimo (mximo) de

un conjunto es condicin necesaria que pertenezca al conjunto.
2. Se dice que a 2 R es una cota superior de A (cota inferior) si es mayor (menor
en el caso de la cota inferior) que cualquier elemento de A:
a cota superior de A , 8x 2 A; x
a cota inferior de A , 8x 2 A; x

a
a

Es claro que las cotas superior e inferior de un conjunto, caso de existir, no son
nicas. Un conjunto se dice que est acotado superiormente cuando existe un a 2 R
que es cota superior y acotado inferiormente cuando existe un a 2 R que es cota
inferior. Si est acotado superior e inferiormente se dice simplemente que est
acotado.
3. Se dice que a 2 R es el supremo de A, a = sup(A), si es la menor de las cotas
superiores de A, es decir, si a es cota superior de A y adems cualquier otra cota
superior b es mayor o igual que a. Se dice que a 2 R es el nmo de A, a = inf(A),
si a es la mayor de las cotas inferiores de A, es decir, a es cota inferior y cualquier
otra cota inferior es menor o igual que a.

Nmeros reales

De las deniciones anteriores se desprenden consecuencias que conviene tener siempre

presentes.
En primer lugar, un subconjunto de R no tiene porqu estar acotado superior o inferiormente. Por ejemplo, de los intervalos que se han denido anteriormente, los cuatro
primeros resulta obvio que estn acotados tanto superior como inferiormente (para todos
ellos el extremo superior o cualquier nmero mayor que el extremo superior es una cota
superior y el extremo inferior o cualquier nmero ms pequeo es una cota inferior). El
quinto y el sexto estn acotados superiormente pero no inferiormente, para el sptimo y
el octavo ocurre lo contrario y el noveno no tiene cotas ni superiores ni inferiores.
Un conjunto que no est acotado superiormente no puede tener mximo porque, si lo
tuviera, el mximo sera una cota superior y lo mismo se aplica para un conjunto que no
tiene cota inferior: no puede tener mnimo. Es ms, si un conjunto tiene mximo entonces
forzosamente el mximo no solo es cota superior sino que adems resulta evidente que
no puede haber otra cota superior menor, de donde se deduce la armacin de que si
un conjunto tiene mximo entonces est acotado superiormente y el mximo
coincide con el supremo del conjunto. Por la misma razn, si A R tiene mnimo
entonces est acotado inferiormente y el mnimo coincide con el nmo de A.
Sin embargo la armacin recproca no es cierta: un conjunto acotado no tiene
porqu tener ni mximo ni mnimo porque la exigencia de que el mximo
o el mnimo, para serlo, tengan que pertenecer al conjunto, es muy restrictiva.
Por ejemplo, el intervalo abierto (a; b) no tiene ni mximo ni mnimo porque aunque b es
mayor que cualquier otro elemento del conjunto (lo que signica que es cota superior) no
pertenece al conjunto y por tanto no es el mximo y no es difcil probar que no hay ningn
elemento del conjunto que sea mayor o igual que todos los dems. Lo mismo ocurre con
a que es cota inferior pero no es el mnimo.
El intervalo [a; b) no tiene mximo pero sin embargo s tiene mnimo que es a porque
a 2 [a; b) y obviamente cualquier elemento del intervalo es mayor o igual que a.
Si se tiene un conjunto A
R y se dene el conjunto A como aquel que se obtiene
cambiando de signo todos los elementos de A, es fcil ver que el supremo y el mximo
de A (caso de existir) estn relacionados con el nmo y el mnimo de A (que entonces
tambin existen) mediante las equivalencias:
sup(A) =

inf( A);

max(A) =

min( A)

(1.4)

Estas igualdades permiten reducir muchas demostraciones de propiedades del nmo de

un conjunto a las correspondientes del supremo y viceversa.
Si se tienen dos subconjuntos A; B
la forma que parece ms obvia,

R y se denen la suma y el producto de ambos de

A + B = f(x + y) 2 R tales que x 2 A; y 2 Bg

AB = fxy 2 R tales que x 2 A; y 2 Bg
es inmediato demostrar que
sup(A + B) = sup(A) + sup(B); inf(A + B) = inf(A) + inf(B)
pero tambin resulta claro que no existe una regla general sencilla en el caso del producto.
Con respecto al supremo y al nmo de un conjunto A
caracterizaciones:

R se tienen las siguientes

Nmeros reales

Proposicin 1.1 (Caracterizacin del supremo). Se dice que a 2 R es el supremo

de A si y solo si se cumplen las dos siguientes condiciones:
1) a es cota superior de A
2) 8" > 0 existe un x 2 A tal que se tiene que a

"<x

y la condicin 2) signica que eligiendo un nmero a " ms pequeo que a pero tan
prximo al punto a como se quiera, siempre existe algn elemento x del conjunto A que
est entre a " y a. Eso es lo mismo que decir que, o bien a 2 A o bien tan prximos
como se quiera al punto a y a su izquierda hay siempre puntos del conjunto A (o bien
ambas cosas).
Demostracin:
Hay que demostrar dos implicaciones: si a es el supremo de A entonces se cumplen las
dos condiciones (a = sup(A) ) condiciones) y si se cumplen las dos condiciones entonces
a es el supremo de A (condiciones ) a = sup(A)).
(a = sup(A)) ) condiciones 1) y 2).
Claramente de la propia denicin de supremo se desprende que si a es el supremo de A
entonces a es una cota superior de A y por tanto (a = sup(A)) ) 1). Por otro lado, si
a = sup(A) y no se cumpliera la condicin 2) existira un nmero a " tal que entre l y
a no hay ningn punto de A. Ello signicara que a " es cota superior de A puesto que
no tiene ningn punto de A a su derecha y, como a " < a, el supremo no sera a sino
a " que es cota superior y ms pequeo que a. Esto va contra la hiptesis de que a es
el supremo y por tanto (a = sup(A)) ) 2.
condiciones 1) y 2) ) (a = sup(A)).
Si se cumple la condicin 1) entonces a es cota superior de A. Lo nico que hace falta
demostrar es que no puede haber otra cota superior ms pequea que a. Pero esto es
evidente de la condicin 2) que asegura que cualquier nmero a " ms pequeo que a,
por muy cerca que est de a, siempre tiene a su derecha algn elemento de A y por tanto
no puede ser cota superior de A. Luego la cota superior ms pequea es a que es lo que
se quera demostrar.
Proposicin 1.2 (Caracterizacin del nmo). Se dice que a 2 R es el nmo de A
si y solo si se cumplen las dos siguientes condiciones:
1) a es cota inferior de A
2) 8" > 0 existe un x 2 A tal que se tiene que a

x<a+"

y la demostracin es idntica a la que se ha hecho para el supremo o se reduce a ella

usando (1.4).
Ya se ha visto que un conjunto A R no necesariamente tiene por qu tener mximo o
mnimo y no necesariamente tiene porqu estar acotado. Ahora bien, si un conjunto est
acotado es siempre posible armar que tiene supremo e nmo? O, lo que es lo mismo, es
posible armar que de entre todas sus cotas superiores existe siempre una que es menor
que cualquier otra y de entre las inferiores existe una que es mayor que todas las dems?
La respuesta a esta pregunta viene dada por un resultado fundamental sobre el que est
construido todo el clculo:

Nmeros reales

10

Existencia del supremo

Si A R es un conjunto de nmeros reales no vaco y acotado
superiormente entonces existe el sup (A)

Y de la misma manera:
Existencia del nmo
Si A
R es un conjunto de nmeros reales no vaco y acotado inferiormente entonces
existe el inf(A)

1.5. Propiedad arquimediana, parte entera de un nmero real y

densidad de los racionales en los reales

Los resultados anteriores permiten obtener otros que se usan con frecuencia en todo tipo
de razonamientos en clculo. Se usan por ejemplo para demostrar un resultado, evidente
intuitivamente, pero que en un planteamiento riguroso es necesario demostrar y que se
conoce con el nombre de la propiedad arquimediana de los nmeros reales:
Proposicin 1.3 (Propiedad arquimediana de los reales). Para todo nmero real
x existe un nmero natural n tal que n es mayor que x.
Los resultados anteriores permiten a su vez demostrar la siguiente armacin:
Proposicin 1.4 (Parte entera de un nmero real). Dado un nmero real x existe
siempre un nico nmero entero n tal que n x < n + 1. Al nmero entero n se le llama
parte entera del nmero real x y se representa n = [x].
Tambin en muchas ocasiones se maneja en clculo el conjunto A
R constituido por
los nmeros racionales 1; 1=2; 1=3; ::::; 1=n; :::: es decir, A = f1=n con n 2 N f0gg y el
hecho de que el nmo de A es el 0, inf(A) = 0.
Esta ltima armacin es consecuencia de que claramente A es un conjunto no vaco y
acotado inferiormente y por tanto tiene nmo y, por otro lado, tan cerca como se quiera
de 0 se pueden encontrar elementos de A de donde se deduce, aplicando la caracterizacin
expuesta ms arriba, que inf(A) = 0.
Por ltimo es posible demostrar otro resultado importante conocido como densidad de Q
en R:
Proposicin 1.5 (Densidad de los nmeros racionales en los reales). En todo intervalo (a; b) no degenerado existen innitos puntos racionales (y de forma similar se puede
demostrar que existen tambin innitos irracionales).
Intervalo degenerado es cualquier conjunto compuesto por un nico elemento (nico nmero real). Algunos autores
incluyen al conjunto vaco en esta definicin. Un intervalo que no es vaco ni est degenerado """se dice que es
correcto""" y tiene elementos infinitos.

Nmeros reales

11

1.6. Ejemplos
Ejemplo 1.1 (Desigualdad de Bernouilli). Demostrar por induccin la desigualdad
de
Bernouilli:
1 se tiene que (1 + x)n

8n 2 N y 8x 2 R con x >

1 + nx

(1.5)

La desigualdad resulta evidente para n = 1. Se trata de demostrar que si se cumple (1.5)

para un n determinado entonces tambin se cumple que
(1 + x)n+1

1 + (n + 1)x

Para ello se tiene, haciendo uso de (1.5), que:

(1 + x)n+1 = (1 + x)n (1 + x) (1 + nx)(1 + x)
= 1 + (n + 1)x + nx2 1 + (n + 1)x
teniendo en cuenta que nx2
0. Luego el principio de
(1.5) es cierto para todo n. Notar que la restriccin x
asegurar que (1 + x) > 0. Si (1 + x) fuera menor que
(1 + x)n (1 + x) (1 + nx)(1 + x) (por ejemplo con x =

induccin permite armar que

> 1 es necesaria para poder
0 entonces no sera cierto que
3; n = 5).

Ejemplo 1.2 (Frmula del binomio). Demostrar por induccin la frmula del binomio
de Newton:
n
X
n j n
8n 2 N y 8a; b 2 R se tiene que (a + b) =
ab
j
j=0
n

(1.6)

Para ello es necesario en primer lugar demostrar la siguiente propiedad de los nmeros
combinatorios:
n
n
n+1
+
=
(1.7)
j
j+1
j+1
(1.7) es cierta porque se tiene que
n
n
+
j
j+1

n!
n!
+
j!(n j)! (j + 1)!(n j 1)!
(j + 1)n!
(n j)n!
=
+
(j + 1)!(n j)! (j + 1)!(n j)!
(n + 1)n!
n+1
=
=
(j + 1)!(n j)!
j+1
=

El mtodo de induccin consiste en comprobar que (1.6) es cierta para n = 1, lo cual

resulta evidente teniendo en cuenta que para cualquier n natural (no solo para n = 1)
n
n

n
0

=1

(1.8)

Nmeros reales

12

y demostrar que si se supone cierta la frmula para un n 2 N cualquiera entonces tambin

es cierta para el siguiente entero n + 1. De modo que se supone que (1.6) es cierta y hay
que demostrar a partir de ah que se cumple que
n+1

(a + b)

n+1
X
n + 1 j n+1
=
ab
j
j=0

Para ello se escribe (a + b)n+1 = (a + b)n (a + b) y se sustituye (a + b)n por su expresin

en (1.6) de modo que se tiene:
n+1

(a + b)

n
X
n j n
= (a + b) (a + b) = (a + b)
ab
j
j=0
n

n
X
n j+1 n
=
a b
j
j=0

n+1
X
q=1

n
q

n
X
n j n+1
+
ab
j
j=0

q n q+1

ab

n
X
n j n+1
+
ab
j
j=0

(1.9)

donde la ltima igualdad se obtiene haciendo en el primer sumatorio el cambio de ndice

j + 1 = q (y por tanto cuando j vale 0 entonces q vale 1 y cuando j vale n, q vale n + 1).
En el primer sumatorio de (1.9) se escribe aparte el sumando q = n + 1 y en el segundo
sumatorio el sumando j = 0 de modo que resulta:
n n+1 0
n n+1 0 X
n
a b +
b a +
aq b n
n
0
q 1
q=1
n

n+1

(a + b)

n n+1 0 X
n n+1 0
a b +
b a +
n
0
j=1
n

n n+1 0
n n+1 0 X n + 1 j n
a b +
b a +
ab
n
0
j
j=1

q+1

n
j

n
X
n j n+1
+
ab
j
j=1

aj b n

j+1

j+1

donde se ha tenido en cuenta la propiedad (1.7). Como por otro lado, segn (1.8):
n
n

n
0

n+1
n+1

n+1
0

=1

se llega a que
n + 1 n+1 0
n + 1 n+1 0 X n + 1 j n
a b +
b a +
ab
n+1
0
j
j=1
n

(a + b)n+1 =

n+1
X
n+1 j n
=
ab
j
j=0

j+1

j+1

que es la frmula que se quera demostrar. Luego el principio de induccin permite armar
que la frmula del binomio es cierta para todo nmero natural n.

Nmeros reales

13

Ejemplo 1.3. Expresar en forma de intervalo o unin de intervalos el conjunto de nmeros

reales x que cumplen la desigualdad
jx

1j + jx + 1j > 2

jx 1j es la distancia de x a 1 y jx + 1j la de x a 1, de modo que jx 1j + jx + 1j > 2

es el conjunto de nmeros x la suma de cuyas distancias a 1 y a 1 es mayor que 2.
Claramente si 1 x 1 la suma de las distancias de x a 1 y a 1 es igual a 2 de modo
que los nmeros entre 1 y 1 no cumplen la desigualdad. En cambio, si x > 1 o x < 1
es claro que la suma de las distancias es mayor que 2. De modo que el conjunto de x que
cumplen la desigualdad es:
x 2 ( 1; 1) [ (1; 1)
Ejemplo 1.4. Expresar en forma de intervalo o unin de intervalos el conjunto de nmeros
reales x que cumplen la desigualdad
x2 + 12x + 35

La desigualdad del enunciado es equivalente a las desigualdades

1

x2 + 12x + 35

de modo que se trata de encontrar los nmeros x que simultnemente cumplen las dos
desigualdades anteriores. De la primera de ellas se tiene que:
1

x2 + 12x + 35 , 0

x2 + 12x + 36

(1.10)

y la solucin de la ecuacin de segundo grado x2 + 12x + 36 = 0 tiene como nica solucin

doble x = 6 y por tanto x2 + 12x + 36 se escribe como (x + 6)2 . Luego 0 x2 + 12x + 36
es equivalente a (x + 6)2 0 que es cierto para todo x 2 R. Por tanto (1.10) no impone
ninguna restriccin. La segunda desigualdad
x2 + 12x + 35

1 es equivalente a x2 + 12x + 34

y la ecuacin x2 + 12x + 34 = 0 tiene como soluciones x =

desigualdad es equivalente a
x+6

x+6+

0
p

2 de modo que la

que se cumple cuando uno p

de los dos factores es positivo o cero
p y el otro negativo o cero,
es decir, cuando x
6 + 2 y al mismo tiempo x
6
2. Luego
h
p i
p
2
x + 12x + 35
1,x2
6
2; 6 + 2

Sucesiones

2.

14

Sucesiones

2.1. Denicin. Sucesiones convergentes y lmite de una sucesin

Una sucesin (an )n2N es una aplicacin de los nmeros naturales N en los reales R:

n 2 N ! a(n) = an 2 R
o, en trminos intuitivos, un conjunto ordenado de innitos nmeros reales a0 ; a1 ; ::::; an ; ::::.
Por ejemplo (an )n2N = (n=(n + 1))n2N que es la sucesin 0; 1=2; 2=3; 3=4; :::; n=(n + 1); :::.
Otro ejemplo importante de sucesin es el de los innitos trminos de una progresin
aritmtica en la que, a partir de un nmero inicial, cada elemento se obtiene del anterior
sumndole un nmero jo. Por ejemplo, 3; 6; 9; 12; ::::; n; n + 3; :::.
En una sucesin (an )n2N a an se le llama el trmino general de la sucesin.
Una sucesin se dice que es montona creciente si 8n 2 N se tiene que an

an+1

Una sucesin se dice que es estrictamente creciente si 8n 2 N se tiene que

an < an+1
Una sucesin se dice que es montona decreciente si 8n 2 N se tiene que an
an+1
Una sucesin se dice que es estrictamente decreciente si 8n 2 N se tiene que
an > an+1
Una sucesin se dice que es constante si 8n 2 N se tiene que an = an+1
Una sucesin se dice que es acotada superiormente si existe un M 2 R tal que
8n 2 N se tiene que an M
Una sucesin se dice que es acotada inferiormente si existe un M 2 R tal que
8n 2 N se tiene que an M
Una sucesin se dice que es acotada si existe un M 2 R tal que 8n 2 N se tiene
que jan j M
La siguiente denicin es fundamental:

Denicin 2.1 (Lmite de una sucesin). Una sucesin fan gn2N

es convergente con lmite l 2 R cuando:
Dado " > 0; existe N0 2 N tal que 8n N0 se cumple que jan lj < "
y habitualmente se escribe que limn!1 an = l o tambin que an ! l cuando n ! 1.
Intuitivamente lo que signica que la sucesin tenga como lmite un nmero real l es que
cuando n se hace grande los trminos de la sucesin se acercan al nmero l tanto como
uno quiera o, en trminos ms precisos, elegido arbitrariamente un " > 0 tan pequeo

Sucesiones

15

como se quiera, siempre debe existir un N0 tal que a partir del trmino N0 en adelante
todos los trminos de la sucesin estn a una distancia de l menor que ". Ello signica
que hay innitos trminos de la sucesin a una distancia de l menor a " aunque esto no
basta para asegurar que la sucesin tenga como lmite l (es una condicin necesaria pero
no suciente para que limn!1 an = l).
Notar que en la denicin de sucesin convergente se puede elegir el valor de " > 0 pero,
como es lgico, el ndice N0 depende del valor de " elegido. Si (an )n2N es convergente con
lmite l se tiene la seguridad de que si escojo un cierto " > 0, hay un ndice N0 tal que
si n
N0 entonces jan lj < ". Si escojo un "0 ms pequeo que el anterior, "0 < ",
entonces seguro que existe un ndice N00 N0 con la propiedad de que si n N00 se tiene
que jan lj < "0 . Es decir, cuanto ms cerca quiera que estn los trminos de la sucesin
del lmite, mayor tendr que ser el valor del ndice a partir del cual se puede asegurar
esta cercana.
Notar tambin que son totalmente equivalentes las siguientes expresiones:
jan

lj < " () l

" < an < l + " () an 2 (l

"; l + ")

de modo que la primera de ellas se hubiera podido sustituir en la denicin por cualquiera
de las otras dos.
En la denicin anterior de sucesin convergente se exige que el lmite l de la sucesin sea
un nmero real. En las dos siguientes deniciones se dice lo que signica que una sucesin
tenga como lmite 1:
Se dice que una sucesin (an )n2N tiene lmite 1 si se cumple que

8M > 0; 9N0 2 N tal que 8n

N0 se cumple que an > M

Se dice que una sucesin (an )n2N tiene lmite

8M > 0; 9N0 2 N tal que 8n

1 si se cumple que

N0 se cumple que an <

Cuando una sucesin tiene lmite 1 los elementos de la sucesin son a partir de uno en
adelante mayores que un nmero elegido de antemano que puede ser tan grande como se
quiera (menores que un nmero elegido arbitrariamente en el caso del lmite 1).
Aunque esta terminologa a veces depende de los autores, se suelen llamar convergentes
a las sucesiones que tienen lmite l distinto de 1 y divergentes a todas las dems.
Dentro de las divergentes estn las que tienen lmite 1 y las que no lo tienen. Por
ejemplo, la sucesin 1; 2; 3; :::; n; ::: es divergente y tiene lmite 1 mientras que la sucesin
1; 1; 1; 1; ::::; ( 1)n ::: no tiene lmite, ni nito, ni 1, ni 1.
Una primera propiedad bsica sobre el lmite de una sucesin convergente:
Proposicin 2.1 (Unicidad del lmite). El lmite de una sucesin convergente (an )n2N
(o que tenga lmite 1) es nico.
Demostracin:
La demostracin es inmediata. Si la sucesin tuviera dos lmites l1 y l2 con l1 =
6 l2 se
podra escoger un " > 0 sucientemente pequeo como para que los intervalos [l1 "; l1 +"]

Sucesiones

16

y [l2 "; l2 + "] fueran disjuntos. Pero por la denicin de lmite, si ambos nmeros son
lmite, a partir de un trmino en adelante los trminos de la sucesin deberan estar
simultneamente en ambos intervalos a la vez lo que es obviamente imposible. En el caso
de que uno de los dos lmites fuera 1 se razonara de la misma manera.
Otra propiedad muy importante que se prueba a partir de la denicin de lmite y usando
el axioma del supremo (todo conjunto no vaco y acotado superiormente tiene supremo)
es:
Teorema 2.2 (Convergencia de las sucesiones montonas acotadas). Toda sucesin de nmeros reales (an )n2N acotada superiormente por una cota M y creciente tiene
lmite l y l M . De hecho l = supn2N (an ).
De la misma manera toda sucesin (an )n2N acotada inferiormente por una cota m y
decreciente tiene lmite l y l = inf n2N (an ).
Demostracin:
En el caso de la sucesin acotada superiormente se razona de la siguiente manera: el
conjunto de los nmeros an est acotado superiormente por hiptesis y es no vaco de
donde se deduce, aplicando el axioma del supremo, que dicho conjunto tiene supremo que
llamamos s. Dado un " > 0 la caracterizacin del supremo en el captulo anterior arma
que existe algn elemento del conjunto a entre s " y s, es decir, s " < a
s. Pero
como la sucesin es creciente todos los elementos posteriores a a son mayores o iguales
que a y adems menores o iguales que s que es cota de todos ellos, y, por tanto, se cumple
que
s " < a ; a +1 ; a +2 ; : : : ; a +n ; : : : s
Esto signica que dado " > 0 existe un ndice a partir del cual todos los elementos de
la sucesin estn a una distancia de s menor que ". En otras palabras, s es el lmite de la
sucesin.
En el caso de que la sucesin sea decreciente y acotada inferiormente el razonamiento es
el mismo.
Otras propiedades que se prueban sin dicultad a partir de la denicin de lmite son:
Proposicin 2.3.
1. El carcter de una sucesin (an )n2N (convergente, con lmite igual a 1, sin lmite)
no cambia si se modican o directamente se suprimen un nmero nito de trminos.
En el caso de que tenga lmite el valor del lmite no vara despus de esta operacin.
2. Toda sucesin (an )n2N convergente es una sucesin acotada.
3. Si se tienen dos sucesiones (an )n2N y (bn )n2N convergentes y para todo nmero
natural n mayor o igual que un cierto N0 2 N se tiene que an
bn entonces el
lmite de (an )n2N es menor o igual que el de (bn )n2N .
4. Si se tienen dos sucesiones (an )n2N y (bn )n2N tales que para todo nmero natural n
mayor o igual que un cierto N0 2 N se tiene que an bn y limn!1 an = 1, entonces
limn!1 bn = 1. De la misma manera, si 0
an
bn y existe limn!1 bn = 0
entonces existe el lmite de an y vale 0.

Sucesiones

17

5. Si (an )n2N cumple que limn!1 an = l > 0 (incluido l = 1) entonces todos los
trminos de la sucesin a partir de uno en adelante son estrictamente positivos.
Viceversa, si (an )n2N es convergente y si todos los trminos de la sucesin a partir
de uno en adelante son estrictamente positivos entonces el lmite es positivo o cero.
6. Si (an )n2N y (bn )n2N son convergentes con el mismo lmite l y se tiene otra sucesin
(cn )n2N tal que si n N0 se cumple que an cn bn , entonces (cn )n2N es tambin
convergente con el mismo lmite.
Demostracin de 2:
Basta razonar de la siguiente manera: si la sucesin tiene lmite l 2 R entonces hay
innitos trminos de la sucesin en un cierto intervalo [l "; l + "] y evidentemente se
pueden acotar tanto por arriba como por abajo (por ejemplo, por l + " como cota superior
y l " como cota inferior). Fuera de este intervalo solo queda un nmero nito de trminos
y un conjunto nito de nmeros reales siempre tiene cota tanto superior M como inferior
m. Luego todos los elementos de la sucesin estn acotados por arriba por el mayor entre
M y l + " y por debajo por el menor entre m y l ".
Demostracin de 6:
El resultado que se conoce con el nombre de teorema de la convergencia intermedia
resulta intuitivamente muy lgico: si tanto los an como los bn se acercan tanto como uno
quiera a l entonces los cn , que estn metidos en una especie de sandwich entre los dos,
tienen forzosamente que hacer lo mismo. De forma ms rigurosa se tiene que, puesto que
tanto (an )n2N como (bn )n2N tienen lmite l, entonces
dado " > 0; 9N00 2 N tal que 8n
dado " > 0; 9N000 2 N tal que 8n

N00 ; l " < an < l + "

N000 ; l " < bn < l + "

Por otro lado, a partir de un N0 en adelante se sabe que an

cn
bn y por tanto
00
0
escogiendo M0 = max(N0 ; N0 ; N0 ) es claro que para todo n M0 se tiene que
l

" < an

cn

bn < l + "

lo que demuestra el resultado.

2.2. Subsucesiones de una sucesin

Sea la sucesin (an )n2N . Una subsucesin (bn )n2N de la sucesin (an )n2N es una aplicacin
f de N en N estrictamente creciente de tal manera que los elementos de la subsucesin
se obtienen como bn = af (n) . En trminos ms intuitivos, si se tienen los elementos de
la sucesin a0 ; a1 ; a2 :::; an ; :::los bn de la subsucesin se obtienen eligiendo innitos an no
obligatoriamente consecutivos (pero sin cambiarlos de orden ni repetir ninguno). Por
ejemplo, b0 = a3 ; b1 = a7 ; b2 = a16 ; b3 = a17 ; b4 = a20 ; ::: y as sucesivamente.
La denicin de subsucesin permite denir de forma precisa lo que se entiende por
sucesin oscilante:
Una sucesin (an )n2N se dice que es una sucesin oscilante si es divergente y tiene al
menos dos subsucesiones con lmites distintos. Por ejemplo, la sucesin que se ha visto
ms arriba 1; 1; 1; 1; ::::; ( 1)n ::: es oscilante porque no tiene lmite ni nito ni 1

Sucesiones

18

pero la subsucesin que se obtiene a partir de ella tomando solo los trminos pares es
la 1; 1; 1; :::; 1; :: que claramente tiene lmite igual a 1 y la subsucesin que se obtiene
tomando los impares es la 1; 1; :::; 1::: que tiene lmite igual a 1.
Propiedades que tienen que ver con las subsucesiones de una sucesin dada son las que se
dan a continuacin. Alguna de ellas como la segunda tiene una demostracin relativamente
laboriosa:
Proposicin 2.4.
1. Si (an )n2N es convergente y limn!1 an = l entonces cualquier subsucesin de (an )n2N
es tambin convergente y tiene el mismo lmite. Viceversa, si (an )n2N es convergente
y tiene una subsucesin cuyo lmite es l, entonces el lmite de la sucesin (an )n2N
tambin es l.
2. Toda sucesin (an )n2N admite siempre una subsucesin montona.
3. Si (an )n2N est acotada entonces tiene siempre al menos una subsucesin convergente.
La tercera propiedad es consecuencia directa de la segunda y del resultado, ya reseado,
de que una sucesin acotada y montona es convergente. En efecto, (an )n2N admite una
subsucesin montona que adems est acotada puesto que (an )n2N lo est. Entonces esta
subsucesin es convergente.

2.3. Sucesiones de Cauchy. Completitud de R

Se dice que una sucesin de nmeros reales (an )n2N es una sucesin de Cauchy si se
cumple que

Dado " > 0; 9N0 2 N tal que 8n; m

N0 se cumple que jan

am j < "

o tambin, de forma totalmente equivalente:

Dado " > 0; 9N0 2 N tal que 8n

N0 y 8p 2 N se tiene jan+p

an j < "

y como se acaba de decir ms arriba no es difcil comprobar que ambos enunciados son
equivalentes.
En principio la denicin de sucesin de Cauchy parece distinta de la de sucesin convergente. En trminos poco precisos se puede decir que una sucesin convergente es una
sucesin en la que sus trminos se acercan, tomando un valor del subndice sucientemente grande, tanto como una quiera a un nmero real l al que se denomina lmite de la
sucesin. En una sucesin de Cauchy, para valores del subndice sucientemente grandes,
los trminos de la sucesin se acercan tanto como uno quiera entre s, sin que se haga
en la denicin mencin alguna a un punto lmite al que se aproximan los puntos de la
sucesin. Sin embargo, en contra de lo que parece a primera vista, las deniciones de
sucesin de nmeros reales convergente y de sucesin de nmeros reales de Cauchy son
totalmente equivalentes. De hecho se tiene el siguiente resultado que se conoce con el
nombre de completitud de R:

Sucesiones

19

Teorema 2.5 (Completitud de los nmeros reales). Toda sucesin de nmeros reales
de Cauchy es convergente y toda sucesin de nmeros reales convergente es de Cauchy.
Se dice que R es un espacio completo.
Demostracin:
Demostrar el teorema signica demostrar que toda sucesin convergente es de Cauchy y
que toda sucesin de Cauchy es convergente y por tanto tiene un cierto lmite real l. Esta
segunda parte es ms laboriosa y se demuestra solo la primera que es ms sencilla. Se
parte de que una sucesin es convergente con lmite l y por tanto se tiene que
dado " > 0; 9N0 2 N tal que 8n; m

N0 se cumple que jan

Luego, teniendo en cuenta las propiedades del valor absoluto:

jan

am j = j(an

l) + (l

am )j

jan

lj + jam

lj

" y jam

lj < "

Propiedad triangular

lj < 2"

lo que signica que a partir del trmino aN0 en adelante dos trminos cualesquiera de
la sucesin estn tan cerca como se quiera uno de otro puesto que 2" se puede hacer
arbitrariamente pequeo.
El esquema de la demostracin de la segunda parte (implicacin contraria) es demostrar
que toda sucesin de Cauchy est acotada (fcil), utilizar el resultado ya enunciado (ms
laborioso de demostrar) de que toda sucesin acotada tiene al menos una subsucesin
convergente y por ltimo demostrar que si una sucesin de Cauchy tiene una subsucesin
convergente con lmite l entonces la sucesin es convergente con lmite l.
Hay que hacer notar que la equivalencia entre sucesiones convergentes y sucesiones de
Cauchy es cierta cuando se habla de sucesiones de nmeros reales (de ah el nombre de
completitud de los nmeros reales) pero no lo es cuando se habla de sucesiones de nmeros
racionales. Si se supone que solo se conocen los nmeros racionales la denicin de sucesin
convergente tiene perfecto sentido siempre que el lmite sea un nmero racional (porque
nos estamos moviendo en Q y no tiene sentido entonces hablar de nmeros irracionales que
ni siquiera se han denido) y tampoco ofrece ninguna dicultad la denicin de sucesin
de Cauchy de nmeros racionales.
El resultado de que si una sucesin es convergente entonces es de Cauchy sigue siendo
cierto cuando se trata de sucesiones de nmeros racionales pero sin embargo la implicacin contraria ahora ya no es cierta. Una sucesin de Cauchy de nmeros racionales no
tiene porqu tener un lmite racional, puede perfectamente tener como lmite un nmero
irracional, y por tanto no es cierto que en Q toda sucesin de Cauchy sea convergente.
En este sentido se dice que R es completo pero Q no lo es.
Por ejemplo, si uno calcula con el algoritmo habitual
la raiz cuadrada de un nmero va
p
obteniendo cada vez ms cifras decimales, para la 3 son 1:73; 1:732; 1:7320; 1:73205; :::que
constituyen una sucesin de nmeros racionales. Se puede comprobar que la sucesin es
de Cauchy (sus trminos se acercan
cada vez ms unos a otros) pero sin embargo su lmite
p
no es un nmero racional, es 3.
En R la doble implicacin sucesin convergente () sucesin de Cauchy signica que en
la prctica a veces resulta provechoso demostrar que una sucesin es convergente comprobando que es de Cauchy, algo que en ocasiones resulta ms sencillo que aplicar la
denicin de sucesin convergente directamente (bsicamente porque en la denicin de
sucesin de Cauchy no interviene el lmite l de la sucesin para nada mientras que s lo
hace en la denicin de sucesin convergente).

Sucesiones

20

2.4. Operaciones elementales con sucesiones

Entre dos sucesiones cualesquiera (an )n2N y (bn )n2N se pueden denir varias operaciones
elementales
1. Suma de dos sucesiones: la suma de (an )n2N y (bn )n2N es otra sucesin (cn )n2N
cuyo trmino general se dene como cn = an + bn .
2. Producto de dos sucesiones: el producto de dos sucesiones (an )n2N y (bn )n2N es
otra sucesin (cn )n2N cuyo trmino general se dene como cn = an bn .
3. Cociente de dos sucesiones: el cociente de dos sucesiones (an )n2N y (bn )n2N
siempre que 8n 2 N se cumpla que bn 6= 0, es otra sucesin (cn )n2N cuyo trmino
general se dene como cn = an =bn .
Notar que la operacin de sumar, multiplicar o dividir una sucesin por una constante es
un caso particular de lo anterior sumando, multiplicando o dividiendo la sucesin por una
sucesin constante.
Una vez denidas las operaciones elementales de ms arriba se comprueba que se comportan bien por lo que respecta a la operacin de tomar lmites. En efecto se tiene que:
Proposicin 2.6. Sean dos sucesiones convergentes (an )n2N y (bn )n2N con lmites l1 y l2
respectivamente. Entonces:
1. Existe lim (an + bn ) = lim an + lim bn = l1 + l2 .
n!1

n!1

2. Existe lim an bn = lim an

n!1

n!1

n!1

lim bn = l1 l2 .

n!1

lim an
l1
an
= n!1
= .
n!1 bn
lim bn
l2

3. Si 8n; bn 6= 0 y l2 6= 0, existe lim

n!1

es decir, el lmite de la suma, producto y cociente de dos sucesiones convergentes es la

suma, producto y cociente de los lmites y la demostracin de estos resultados no ofrece
demasiada dicultad.
Cuando alguna de las dos sucesiones (o las dos) tiene lmite 1 tambin se pueden dar
resultados generales como por ejemplo, en el caso de la suma:
Si lim an = l1 y lim bn =
n!1

Si lim an =
n!1

n!1

1 existe lim (an + bn ) =

1 y lim bn =
n!1

n!1

1.

1 existe lim (an + bn ) =

n!1

1.

Una forma ms sinttica de escribir estos resultados y los correspondientes al producto es

escribirlos en forma de tabla. Para la suma y el producto de dos sucesiones:

Sucesiones

21

bn

1
l1
1
1
1 ?
1 l1 + l2 1
?
1 1

an
1
l2
1

Lmite de la suma an + bn
bn

1
0
1
?
?
0
sgn (l2) 1 0
1
?

an
1
0
l2
1

l1
1
sgn (l1) 1
1
0
?
l1l2
sgn (l2) 1
sgn (l1) 1
1

Lmite del producto anbn

donde sgn (x) signica el signo de x. La primera tabla corresponde a la suma y la segunda
al producto. En cada una de ellas, la primera la es el lmite de la sucesin (an )n2N , la
primera columna el de (bn )n2N y el resto de los recuadros corresponden al lmite de la
suma (en el caso de la primera tabla) y del producto (en el caso de la segunda) para
las distintas combinaciones posibles de los lmites de (an )n2N y (bn )n2N . Notar que hay
casos (por ejemplo, lim an = 1 y lim bn = 1 y en general todos aquellos de las
n!1

n!1

tablas en los que aparece el signo de interrogacin) en los que no hay una regla general
para determinar el lmite de la suma que puede ser una cosa u otra dependiendo de
cada caso concreto. Lo mismo ocurre con el producto para determinadas combinaciones
como lim an = 1 y lim bn = 0 o viceversa. Se dice en estos casos que el lmite de la
n!1
n!1
suma o del producto es indeterminado. Por ejemplo, si an = n y bn = n entonces
lim an = 1; lim bn = 1 y lim (an + bn ) = 0. Sin embargo, si an = 2n y bn = n
n!1

n!1

n!1

entonces lim an = 1; lim bn = 1 y lim (an + bn ) = 1.

n!1
n!1
n!1
En el caso de la suma las indeterminaciones son de la forma 1
caso del producto de la forma 0 1 y 0 ( 1).

1 y en el

En el caso del cociente de dos sucesiones para el lmite de an =bn con bn 6= 0 se puede
escribir una tabla parecida a las dos anteriores:

Sucesiones

22

bn

an
1
0
l2
1

1
?
o 1o@
sgn (l2) 1
?

0
l1
1
0
0
?
? o 1o@ o 1o@
0
l1=l2
sgn (l2) 1
0
0
?

Lmite del cociente an=bn

y ahora hay casos en los que el lmite del cociente puede no existir. Por ejemplo, an =
n; bn = ( 1)n =n; lim an = 1; lim bn = 0 y por tanto an =bn = ( 1)n n2 y no existe el
n!1

n!1

lmite del cociente an =bn . Si, en cambio, an = n; bn = 1=n, entonces lim an =bn = 1.
n!1

Para el cociente las indeterminaciones son de la forma

1=1 y 0=0.

En general, en el caso en el que uno de los dos lmites o los dos no existan, el de la
suma, producto y cociente puede existir o no y lo mejor es obtener el resultado razonando
directamente en cada caso concreto. Casos frecuentes son:
1. La suma de dos sucesiones, una de las cuales tiene lmite nito y la otra no tiene
lmite (ni nito ni 1), no tiene lmite.
2. Si una sucesin no tiene lmite pero est acotada y la otra tiene lmite 1, entonces
la suma tiene lmite 1.
3. Si una sucesin tiene lmite cero y otra no tiene lmite pero est acotada, el producto
tiene lmite cero.

2.5. Otras operaciones con sucesiones

Dada una sucesin (an )n2N con an > 0 para todo n se puede denir otra sucesin (cn )n2N
cuyo trmino general sea el logaritmo de an , cn = ln an , de modo que an = exp(cn ). Con
respecto a la relacin entre los lmites de ambas sucesiones es inmediato comprobar las
equivalencias:
cn = ln an
lim an = l 6= 0 () lim cn = ln l

n!1

n!1

lim an = 0 () lim cn =

n!1

n!1

lim an = 1 () lim cn = 1

n!1

n!1

(2.1)

Dada las sucesiones (an )n2N y (bn )n2N con an > 0 para todo n, se dene la sucesin de
trmino general cn = abnn y de nuevo resulta til calcular el lmite de cn en funcin de
los de an y bn porque aparece con frecuencia en el clculo de lmites de sucesiones (casos
particulares de esta denicin son el de an constante y el de bn constante). En algunos

Sucesiones

23

casos la mejor manera de relacionar los lmites de an ; bn y cn es la de tomar logaritmos en

los dos miembros de cn = abnn con lo cual se tiene que ln cn = bn ln an . Usando entonces
esta igualdad (o bien directamente cn = abnn ), (2.1) y las tablas ya obtenidas para la suma,
el producto y el cociente, se llega a una tabla para el lmite de abnn :

an 0 0 < l1 < 1 l1 = 1 l1 > 1

1
1
1
?
0
l2 < 0 1
l1l2
1
l1l2
l2 = 0
?
1
1
1
l2 > 0
0
l1l2
1
l1l2
1
0
0
?
1

bn

1
0
0
?
1
1

Lmite de abnn
Por ejemplo, si lim an = 1 y lim bn = 0, entonces lim(ln cn ) = lim(bn ) lim(ln an ) =
n!1
n!1
0 1 que es una indeterminacin. Si lim an = l1 con 0 < l1 < 1 y lim bn = 1,
n!1

n!1

entonces lim cn = lim(1=l1 bn ) = 1. Si lim an = 1 y lim bn = 1, entonces lim(ln cn ) =

n!1

n!1

lim(bn ) lim(ln an ) = 1 ln 1 que de nuevo es indeterminado.

Las indeterminaciones son en el caso de abnn de la forma 11 ; 1

; 00 e 10 .

2.6. El nmero e
n

1
es monf0g
n
tona creciente y est acotada y, por tanto, tiene lmite. A ese lmite se le llama el nmero
e y est comprendido entre 2 y 3.
Proposicin 2.7. La sucesin (an )n2N

lim

n!1

de trmino general an =

1+

1
1+
n

=e

Demostracin:
La frmula del binomio de Newton permite desarrollar (1 + 1=n)n :
1
1+
n

n
X
n n
=
1
j
j=0

= 2+
= 2+

n
X
n(n

j=2
n
X
j=2

1
j!

X
X
1
n!
1
n!
1
=
=
1
+
1
+
j
j
n
j!(n j)! n
j!(n j)! nj
j=0
j=2
n

1)(n

1
n

2)
j!
1

(n

2
n

j + 1) 1
nj
1

1
n

(2.2)

Sucesiones

24

La misma expresin para el siguiente trmino en la sucesin se obtiene sin ms que sustituir
en la que se acaba de obtener n por n + 1:
1
1+
n+1

n+1

n+1
X
1
=2+
j!
j=2

1
n+1

2
n+1

j 1
n+1

(2.3)

y demostrar que la sucesin es creciente es demostrar que (2.2) es menor o igual que (2.3).
Para ello basta tener en cuenta que todos los sumandos tanto en (2.2) como en (2.3) son
positivos y adems (2.3) tiene un sumando ms, el j = n + 1. Por ltimo, para cada valor
de j jo entre 2 y n, el correspondiente sumando en (2.3) es mayor que el de (2.2):
1

1
n

2
n

1
n

<

1
n+1

2
n+1

j 1
n+1

porque ambos tienen j 1 factores todos ellos menores que 1 pero los del miembro de la
derecha estn ms prximos a 1 que los del miembro de la izquierda. Todo ello demuestra
que la sucesin es montona creciente.
Para demostrar que la sucesin est acotada hay que demostrar que (2.2) est acotado
para todo n. Teniendo en cuenta que los factores (1 1=n); (1 2=n); :::; (1 (j 1)=n)
son todos ellos menores que 1, es claro que sustituyndolos por 1 se obtiene una expresin
mayor:
n
n
X
1
1
2+
1+
n
j!
j=2
y, por otro lado, con j
1
1+
n

2, j! = 2 3

n
X
1
2+
j!
j=2

j > 2j

y por tanto se tiene que

n
X
1
(1=2)n 1=2
2+
=2+
=2+ 1
2j 1
( 1=2)
j=2

(1=2)n

donde en las ltimas igualdades se ha usado la frmula de la suma de los trminos

de una progresin geomtrica de razn 1=2. Para cualquier valor de n se tiene que
(1 (1=2)n 1 ) < 1 y por tanto (1 + 1=n)n est acotado inferiormente por 2 y superiormente por 3. Del hecho de que los trminos de la sucesin sean crecientes y estn
acotados superiormente se deduce el que la sucesin tiene lmite (teorema 2.2) y las cotas
permiten armar que el lmite es mayor que 2 y menor que 3.
Como consecuencia de la denicin anterior se puede demostrar el siguiente corolario:
Proposicin 2.8. Sea la sucesin de nmeros reales (an )n2N . Si (an )n2N tiene lmite igual
a 1 entonces
lim

n!1

1
1+
an

an

=e

Demostracin:
Si [an ] es la parte entera de an resulta evidente que
1+
1+

1
[an ] + 1

1
[an ] + 1

1+

1
an

[an ]

1+

1
an

1+

1
[an ]

an

1+

y tambin que
1
[an ]

[an ]+1

(2.4)

Sucesiones

25
[a ]

[a ]+1

n
n
1
1
En (2.4) se consideran las sucesiones 1 +
y 1+
. Segn 2 en la
[an ] + 1
[an ]
proposicin 2.4, de cada una de ellas se puede extraer una subsucesin montona creciente
y estas dos subsucesiones montonas crecientes son a su vez subsucesiones respectivamente
n
n+1
1
1
de 1 +
y de 1 +
. Es fcil ver que el lmite de estas dos ltimas es e
n+1
n
porque:

n+1

1
1+
n+1

lim

n!1

lim

n!1

1
1+
n

lim

n!1

n+1

lim

n!1

1
1+
e
n+1
= = e;
1
1
1+
n+1
n
1
1
lim 1 +
1+
=e 1=e
n!1
n
n

pero como toda subsucesin de una sucesin de lmite l tiene el mismo lmite (una de las
propiedades de la proposicin 2.4) se deduce que las dos sucesiones en los extremos del
a
1 n
sandwich en (2.4) tienen lmite e y por tanto la sucesin 1 +
tambin, en virtud
an
de la propiedad 6 de la proposicin 2.3.

2.7. Clculo de lmites de sucesiones

Probablemente uno de los casos que se presenta con ms frecuencia en el clculo de lmites
es el de lmites de expresiones del tipo Pp (n)=Qq (n) donde Pp (n) y Qq (n) son polinomios
en la variable n 2 N con coecientes reales. A este respecto se tiene el siguiente resultado:
Proposicin 2.9. Si se tiene el cociente
Pp (n)
a0 + a1 n + a2 n 2 + : : : + ap n p
=
; a0 ; : : : ; ap ; b0 ; :::bq 2 R; p; q 2 N y ap ; bq > 0
Qq (n)
b0 + b1 n + b2 n 2 + : : : + bq n q
entonces se cumple que:

Caramelos

8
<

ap =bp
Pp (n)
0
lim
=
n!1 Qq (n)
:
+1

Nios chinos

si p = q
si p < q
si p > q

y el caso en el que los coecientes ap y bq no sean los dos positivos se reduce fcilmente a
ste.
Demostracin:
Para calcular el lmite basta dividir numerador y denominador en el cociente por nM
donde M = max(p; q) y se tiene entonces que
Pp (n)
a0 =nM + a1 =nM
= lim
n!1 Qq (n)
n!1 b0 =nM + b1 =nM
lim

Hay que distinguir 3 casos distintos:

+ a2 =nM
1 + b =nM
2

+ : : : + ap =nM
2 + : : : + b =nM
q
2

p
q

Sucesiones

26

1. si p = q entonces M = p = q y todos los sumandos del numerador y del denominador

tienen lmite 0 cuando n ! 1 salvo, ap =nM p = ap y bq =nM q = bq = bp . Entonces
limn!1 Pp (n)=Qq (n) = ap =bp .
2. si p > q entonces M = p y todos los sumandos del numerador y del denominador
tienen lmite 0 cuando n ! 1 salvo, ap =nM p = ap . El lmite del numerador es ap
y el del denominador es 0 y por tanto limn!1 Pp (n)=Qq (n) = +1.
3. si p < q entonces M = q y todos los sumandos del numerador y del denominador
tienen lmite 0 cuando n ! 1 salvo, bq =nM q = bq . El lmite del numerador es 0 y
el del denominador es bq y por tanto limn!1 Pp (n)=Qq (n) = 0.
Existen tambin una serie de criterios, algunos de los cuales se dan a continuacin, que
en ocasiones ayudan al clculo de lmites.
Proposicin 2.10. Sea (an )n2N con an > 0 8n 2 N. Entonces se tiene que:
p
an+1
= l =) 9 lim n an = l
n!1 an
n!1

(2.5)

9 lim

y estn incluidos los casos l = 1 y l = 0.

Proposicin 2.11 (Criterio de la media aritmtica). Sea (an )n2N y sea lim an = l
n!1
donde l tambin puede ser 1. Entonces se tiene que
a1 + a2 + ::: + an
=l
n!1
n

(2.6)

lim

Proposicin 2.12 (Criterio de la media geomtrica). Sea (an )n2N con an 0 8n 2

N y se tiene que lim an = l donde l tambin puede ser 1. Entonces se tiene que
n!1

lim

n!1

p
n

a1 a2

(2.7)

an = l

Proposicin 2.13. Sea (an )n2N con an > 0 8n 2 N y sea lim an+1 =an = l (incluidos los
n!1

casos l = 1 y l = 0). Entonces se tiene que

8
lim an = 0
>
< l < 1 =) n!1
l > 1 =) lim an = 1
n!1
>
:
l=1 ?

(2.8)

Demostracin:
En el caso de que lim an+1 =an = l 6= 1 se tiene que dado " > 0; 9N0 2 N tal que 8n
n!1

N0

se cumple que l " an+1 =an l + ".

Si l > 1 siempre es posible elegir " lo sucientemente pequeo como para que l " > 1.
Fijando este " y el correspondiente N0 e iterando en la desigualdad (l ")an
an+1 se
tiene:
an+1

(l
= (l

(l ")2 an 1
aN 0
")n
= (l
(l ")N0 1

")an

:::
")n B

(l

")n

N0 +1

aN 0

Sucesiones

27

con B un nmero jo. Como l

")n = 1 de donde

" es mayor que 1 es claro que lim (l

n!1

se deduce que lim an = 1 usando la propiedad 4 de la proposicin 2.3 (en el caso de

n!1
que l = 1 se opera de la misma manera a partir de la denicin de lmite 1 y se llega
al mismo resultado).
Por ltimo, si l < 1 siempre es posible elegir " lo sucientemente pequeo como para que
l + " < 1 y entonces jando " y el correspondiente N0 se tiene que
an+1

(l + ")2 an 1 : : : (l + ")n
aN 0
= (l + ")n
= (l + ")n B
(l + ")N0 1
(l + ")an

N0 +1

aN 0

y como l + " es menor que 1 es claro que lim (l + ")n = 0 de donde se deduce que
n!1
lim an = 0 volviendo a usar 4 de la proposicin 2.3.
n!1

La demostracin de (2.8) falla cuando l = 1 y de hecho no es difcil encontrar ejemplos

que demuestran que para l = 1 puede suceder cualquier cosa. Por ejemplo, para las
3 sucesiones de trminos generales an = b 2 R; an = n y an = 1=n se cumple que
lim an+1 =an = 1. Sin embargo en el primer caso el lmite de la sucesin es b, en el
n!1
segundo es 1 y en el tercero es 0.
Los criterios de convergencia que se acaban de enunciar son todos ellos implicaciones en un
sentido. Conviene tener siempre en cuenta que las implicaciones en sentido contrario en
general no son ciertas. Por ejemplo, sea la sucesin de trmino general an = ( 1)n para la
que claramente no existe el lim an . Sin embargo s existe el lim (a1 + a2 + ::: + an )=n. En
n!1
n!1
efecto, si n es par se tiene que claramente el lmite anterior vale 0 porque a1 +a2 +:::+an =
0. Si n es impar el lmite tambin vale 0 porque a1 + a2 + ::: + an = 1 y lim ( 1)=n = 0.
n!1

Luego existe lim (a1 + a2 + ::: + an )=n = 0 pero no existe lim an .

n!1

n!1

En el mismo sentido que el comentario anterior la sucesin de trmino general an = 1=2n

cuando n es impar y an = n=2n cuando n es par es un ejemplo de que la implicacin
contraria a (2.5) no es cierta. En efecto:
an+1
(n + 1)2n
n impar : lim
= lim
= 1;
n!1
n!1 an
2n+1

an+1
2n
n par : lim
= lim n+1 = 0
n!1 an
n!1 2
n

y por tanto no existe el lmite de an+1 =an . Pero en cambio:

p
n

1
1
n impar : lim an = lim p
= ;
n
n
n!1
n!1
2
2
p
y s existe el lmite de n an .

n par : lim

n!1

p
n

p
n
n
1
an = lim p
=
n
n
n!1
2
2

Dos sucesiones (an )n2N y (bn )n2N se dice que son equivalentes si se tiene que
an
= 1 y este hecho se suele representar: an
n!1 bn
lim

bn

como por ejemplo ocurre con an = n2 y bn = n2 + 3n. Cuando dos sucesiones son
equivalentes se pueden sustituir una por otra para calcular el lmite de expresiones ms

Sucesiones

28

complicadas con solo productos y cocientes. Por ejemplo, si an bn y se sabe que existe
y se quiere calcular el lim cn an =dn , multiplicando y dividiendo por bn se tiene que
n!1

lim

n!1

c n an b n
cn bn
an
c n bn
c n an
= lim
= lim
lim
= lim
n!1
n!1
n!1
n!1
dn
dn bn
dn
bn
dn

de modo que en lugar de calcular lim cn an =dn se puede calcular lim cn bn =dn que vale lo
n!1
n!1
mismo. La ventaja es que hay ocasiones en las que resulta ms fcil calcular este segundo
lmite que el primero. Naturalmente la sustitucin de an por bn no es lcita en otras
ocasiones, como por ejemplo cuando se trata de calcular lmites de sumas (en el ejemplo
anterior an an tiene lmite cero pero sin embargo bn an tiene lmite 1), ni an
bn
signica que los lmites de ambas sucesiones existan por separado (an = ( 1)n n; bn =
( 1)n n + 5) aunque, si existen, entonces coinciden (de hecho es fcil probar que si existe
uno de los dos entonces existe el otro y ambos coinciden).
Se pueden demostrar las siguientes equivalencias que resultan tiles para calcular lmites:
8
an sen an arcsen an
>
>
<
an tan an arctg an
si lim an = 0 se tiene que:
an ln(1 + an )
n!1
>
>
:
a2n =2 1 cos an
y otras muchas, algunas de las cuales se pueden deducir de stas.

Sean (an )n2N y (bn )n2N dos sucesiones con limn!1 an = 1 y limn!1 bn =
que bn es un innito de orden mayor o superior al de an cuando
lim

n!1

an
= 0 y este hecho se suele representar: an
bn

1. Se dice

bn

La idea que subyace a la denicin es la de que, aunque ambas sucesiones tienden a 1,

la sucesin bn tiende ms rpidamente de modo que en el cociente an =bn el denominador
crece con n ms deprisa que el numerador y por tanto el cociente tiene lmite 0.
Proposicin 2.14. Se tiene la siguiente jerarqua de innitos:
ln n

an

nn

a > 1;

2 R+

n!
n (n 1) 2 1
n 1n 2
=
=1
n
n
n n
n
n
n

21
nn

n!

con

Demostracin:
n!

nn . Se tiene que
0

1
n

puesto que los factores (n 1)=n; (n 2)=n::: son todos ellos menores que 1. La
sucesin n!=nn tiene entonces como cota inferior la sucesin constante 0 cuyo lmite
es 0 y como cota superior la sucesin 1=n de lmite tambin 0. En virtud de la
propiedad 6 de la proposicin 2.3 se tiene entonces que lim n!=nn = 0.
n!1

Sucesiones

29

an
n!. Sea N0 = [a] + 1 de modo que si n
n N0 se tiene que
0

an
a a
=
n!
nn 1

a
a
N0 N0 1

N0 entonces n > a. Siempre que

aa
a a
=
21
nn 1

a
B
N0

a
B
n

donde B es el producto de los factores a; a=2; :::; a=(N0 1) y es una constante ja

y la ltima desigualdad es cierta porque los factores a=(n 1); :::; a=N0 son todos
ellos menores que 1. La sucesin an =n! queda as acotada por arriba y por debajo
respectivamente por aB=n y la sucesin constante 0, ambas con lmite igual a 0.
Luego por la propiedad 6 de la proposicin 2.3 se tiene entonces que lim an =n! = 0.
n!1

n
an . El cociente n =an est acotado inferiormente por 0 y adems, si se escribe
el trmino n =an en funcin del anterior (n 1) =an 1 , se tiene que:
0

n
(n 1)
=
n
a
an 1

an 1 n
an (n 1)

(n 1)
Bn
an 1

(2.9)

donde Bn es simplemente la expresin entre parntesis del segundo miembro. En Bn

el factor an 1 =an = 1=a es menor que 1 y es una cantidad ja. El factor n =(n 1)
es mayor que 1 pero se acerca tanto a 1 como uno quiera sin ms que hacer n
sucientemente grande y adems es decreciente con n. Como consecuencia de ello
se puede conseguir escogiendo n sucientemente grande, por ejemplo n N0 , que
Bn sea menor que 1 para todo n N0 (y N0 depende solo de a y de ) y adems
BN0 BN0 +1 :::. Si n N0 se tiene entonces que
0

n
(n 1)
(n 2)
(n 3)
=
Bn =
Bn Bn 1 =
Bn Bn 1 Bn
n
n
1
n
2
a
a
a
an 3
(N0 1) n N0 +1
(N0 1)
Bn Bn 1 Bn 2
BN0
BN0
=
N
1
0
a
aN 0 1

n N0 +1
y como BN0 < 1 la sucesin BN
tiene lmite 0 cuando n tiende a 1 y lo mismo
0
le ocurre a la sucesin constante de trmino general 0. Como en los casos anteriores,
aplicando la propiedad 6 de la proposicin 2.3 se tiene entonces que lim n =an = 0.
n!1

ln n
n . El resultado, ln n crece con n ms despacio que cualquier potencia
positiva de n, tiene una demostracin ms complicada que el resto y se deja para
ms adelante. En cualquier caso es cierto no solo para el logaritmo neperiano sino
tambin para el logaritmo en cualquier base c > 1 y resulta bastante evidente.
Basta para ello considerar, por ejemplo, en el caso del logaritmo decimal y =
1, el valor del cociente log n=n para la subsucesin nk = 10k con k = 1; 2; 3; :::.
Claramente log nk =nk = k=10k tiende a 0 muy rpidamente cuando k tiende a 1,
1=10; 2=100; 3=1000; :::.

Lmites y continuidad de funciones

3.

30

Lmites y continuidad de funciones

3.1. Generalidades
Sean A y B dos conjuntos cualesquiera. Una aplicacin f : A ! B es una ley
que a cada elementos de A le hace corresponder uno y solo un elemento
de B. Si x 2 A, la aplicacin relaciona este elemento con un solo elemento de B
que se representa como f (x) 2 B. Notar que en una aplicacin puede darse el caso
de que dos elementos distintos de A, x e y, pueden estar relacionados con el mismo
elemento de B, es decir, puede ocurrir que f (x) = f (y). Tampoco es obligatorio
que todos los elementos de B sean imagen de alguno de A, es decir, puede existir
z 2 B tal que no exista ningn elemento x de A que cumpla que f (x) = z.
Al conjunto A se le llama dominio de la aplicacin. Al conjunto de los elementos
y de B tales que existe algn x 2 A que cumple que f (x) = y se le llama imagen
o recorrido de la aplicacin y se suele representar como f (A) o tambin como
Im f . Evidentemente se cumple que f (A)
B. Al elemento y 2 B se le llama
imagen del elemento x 2 A mediante la aplicacin f .
Una funcin es una aplicacin f : A ! B en la que tanto A como B son
subconjuntos de la recta real R (y se incluye el caso en que bien A bien B o
ambos coincidan con R).
Una aplicacin f : A ! B se dice que es inyectiva si dados dos elementos
cualesquiera x; y de A se cumple que
x 6= y ) f (x) 6= f (y)
es decir, una aplicacin inyectiva transforma elementos distintos de A en elementos
distintos de B.
Una aplicacin f : A ! B se dice que es suprayectiva si cualquier elemento
de B es imagen de alguno de A por la aplicacin f . Es decir, si para todo y 2 B
existe al menos un x 2 A tal que y = f (x) o, en otras palabras, si f (A) = B. Por
tanto si se tiene una aplicacin f : A ! B con f (A) 6= B, siempre se puede denir
una nueva aplicacin g : A ! f (A) que cumpla que g(x) = f (x) para todo x 2 A.
f no es suprayectiva pero en cambio g s lo es por denicin y en realidad ambas
aplicaciones actan de la misma manera sobre los elementos de A y dieren solo en
el conjunto de llegada.
Una aplicacin se dice que es biyectiva cuando es inyectiva y suprayectiva.
Si se tiene una aplicacin f : A ! B y un subconjunto D del dominio de la
aplicacin, D
A, se puede denir una nueva aplicacin g : D ! B que cumpla
g(x) = f (x) para todo x 2 D. Es decir, sobre los elementos de D las aplicaciones f
y g actan de la misma manera pero f tiene un dominio ms amplio que g. Se dice
que g es la restriccin de la aplicacin f al conjunto D o tambin que f es
una prolongacin o extensin de g al conjunto A.
La grca de una funcin f : A R ! B
R es el conjunto de puntos de la
forma (x; f (x)). Es usual representarla en el plano cartesiano.

Lmites y continuidad de funciones

31

Algunas deniciones que conviene tener presentes porque se estn manejando continuamente en un curso de clculo son las que siguen (en todas ellas A y B son subconjuntos
de la recta real o la propia recta real):
Se dice que f : A ! B est acotada superiormente si existe un M 2 R tal
que 8 x 2 A se tiene que f (x)
M . Est acotada inferiormente si existe un
M 2 R tal que 8 x 2 A se tiene que f (x) M . Est acotada si lo est inferior y
superiormente y entonces existe un M 2 R tal que 8 x 2 A se tiene que jf (x)j M .
f : A ! B se dice que es creciente (decreciente) si 8 x; y 2 A se tiene que
(x < y) ) (f (x) f (y)) (decreciente cuando (x < y) ) (f (x) f (y))). Si en las
deniciones anteriores se sustituyen los
y los
por desigualdades estrictas, las
funciones se llaman estrictamente crecientes (estrictamente decrecientes).
Si f : ( a; a) ! B cumple que 8 x 2 ( a; a) se tiene que f (x) = f ( x), se dice que
la funcin es una funcin par. Si por el contrario se tiene que f (x) = f ( x) se
dice que es una funcin impar.
Una funcin f : R !B se dice que es peridica si existe un nmero real P 6= 0 tal
que 8 x 2 R se tiene que f (x) = f (x + P ). Si existe un P positivo mnimo con esta
propiedad, a ese valor de P se le llama el periodo de la funcin. Una funcin
peridica de periodo P viene determinada especicando sus valores en el intervalo
[0; P ) y el resto de los valores de la funcin se obtienen a partir de stos.
3.2. Operaciones elementales con funciones, composicin de fun-

ciones y funcin inversa

Las operaciones elementales con funciones, suma, producto y cociente de dos funciones son
de sobra conocidas. Dadas f; g : A R ! R se denen las funciones suma, producto
y cociente respectivamente como las funciones de dominio A:
(f + g)(x) = f (x) + g(x); (f g)(x) = f (x)g(x); (f =g)(x) =

f (x)
g(x)

donde en el caso del cociente hay que exigir que g(x) 6= 0 para todo x 2 A.
Una operacin que permite construir funciones complicadas a partir de otras ms sencillas
es la composicin de funciones. Se dene de la siguiente manera: sean las funciones
f : A R ! R y g : D R ! R donde para que sea posible la denicin hace falta que
f (A) D. Entonces se dene la funcin h composicin de g y f (o g compuesta con f )
como una funcin h : A ! R tal que, para todo x 2 A se tiene que:
h(x) = (g f )(x) = g(f (x))
Pese a que se escribe g f (es decir, primero la g y despus la f ), en la composicin de
dos funciones primero acta la funcin f sobre un elemento cualquiera de A y despus la
funcin g sobre f (x), la imagen de x mediante f . Por ello es necesario que f (A)
D,
es decir, para poder denir la composicin la funcin g debe saber actuar (debe estar
denida) sobre cualquier elemento de la forma f (x) 2 f (A). De forma ms grca se
puede representar la funcin composicin como:

Lmites y continuidad de funciones

A
?

-f (A)

-R
6

g f

32

-f (x)

-g(f (x))
6

g f

Resulta obvio que la composicin de dos funciones no es una operacin conmutativa. Por
ejemplo, si f (x) = x + 3 y g(x) = x2 , la funcin (g f )(x) = g(f (x)) = g(x + 3) = (x + 3)2
mientras que (f g)(x) = f (g(x)) = f (x2 ) = x2 + 3 que evidentemente es una funcin
distinta de la anterior. Otras veces no se pueden p
componer dos funciones como por ejemplo
f (x) = x + 3 con dominio igual a R y g(x) = x. La funcin g f no existe porque el
recorrido de f es R, f (R) = R, y el dominio de g es R+ [ f0g, de modo que no se cumple
la condicin de que el recorrido de f p
est contenido en el dominio de g. Sin embargo s
est denida la funcin (f g)(x) = x + 3 que tiene como dominio R+ [ f0g y como
recorrido los reales mayores o iguales que 3.
Como ya se ha indicado la composicin de funciones permite construir nuevas funciones a
partir de otras ya conocidas. Se suponen conocidas las funciones elementales exp(x); ln x;
sen x; cos x; tan x;arctg x etc. y a partir de ellas, utilizando la composicin de funciones,
se pueden construir funciones como, por ejemplo, ln f (x); f (x)g(x) ; cos f (x); ::::.
Sea f : A ! B una funcin biyectiva. Se puede entonces denir f
de f , como la funcin f 1 : B ! A que cumple que
8 x 2 A se tiene que f

, la funcin inversa

(f (x)) = x y 8 y 2 B se tiene que f (f

(y)) = y

o, dicho en otras palabras:

f

= idB y f

f = idA

con idA la funcin identidad sobre el conjunto A e idB la funcin identidad sobre el
conjunto B.
Claramente si una funcin f : A ! B no es inyectiva no existe su funcin inversa porque
si f no es inyectiva entonces existen x; y 2 A con x 6= y tales que f (x) = f (y) = z 2 B y
la funcin inversa debera simultneamente cumplir que f 1 (z) = x y f 1 (z) = y lo que
va en contra de la denicin de aplicacin.
Si f : A ! B no es suprayectiva tampoco existe funcin inversa f 1 : B ! A porque f 1
debe saber actuar sobre todos los elementos de su dominio B y, si f no es suprayectiva,
hay al menos un z 2 B que no es imagen de ningn x 2 A de modo que no tiene sentido
hablar de f 1 (z) 2 A. Ahora bien, como ya se ha visto, toda funcin f : A ! f (A) es
suprayectiva por denicin de modo que para que la funcin f : A ! f (A) tenga inversa
f 1 : f (A) ! A solo es necesario que f sea inyectiva porque entonces es automticamente
biyectiva.
Muchas veces se consigue que una funcin sea inyectiva sin ms que restringir adecuadamente su dominio. Por ejemplo, f : R ! R+ [ f0g denida como f (x) = x2 no es
inyectiva porque f (x) = f ( x) = x2 . Sin embargo si se restringe el dominio de la funcin
a R+ [ f0g entonces la funcin f : R+ [ f0g ! R+ [ f0g con
f (x) = x2 es suprayectiva
p
y por tanto tiene funcin inversa denida como f 1 (x) = + x. De manera anloga, la
funcin f : p
R [ f0g ! R+ [ f0g con f (x) = x2 tiene como funcin inversa la funcin
x.
f 1 (x) =

Lmites y continuidad de funciones

33

3.3. Lmite de una funcin en un punto

Sea x0 2 R, una bola reducida B (x0 ; R) y sea una funcin f : B (x0 ; R) ! R (lo que
signica que la funcin est denida en un entorno del punto x0 pero no necesariamente
en el propio x0 ). Como ya ocurra en el caso del lmite de una sucesin, la denicin que
sigue de lmite de una funcin en un punto es fundamental:

Denicin 3.1 (Lmite de una funcin en un punto). Se dice que

existe el lmite de f (x) cuando x tiende a x0 y es igual a l y se escribe
que lim f (x) = l cuando:
x!x0

Dado " > 0 existe > 0 tal que siempre que 0 < jx
que jf (x) lj < "

x0 j <

se cumple

La idea intuitiva de lmite de f (x) en el punto x0 es clara: si existe el limx!x0 f (x) = l se

puede conseguir que los puntos f (x) estn sobre el eje de ordenadas tan prximos como se
quiera del valor l 2 R (a una distancia menor que ") sin ms que tomar en abscisas valores
de x sucientemente prximos a x0 (a una distancia de x0 menor que ). Si para cualquier
" > 0 que se elija, por pequeo que sea, se puede encontrar un valor > 0 de modo que se
cumpla la propiedad anterior, se dice que existe el limx!x0 f (x) = l. Naturalmente el valor
de depende de " de modo que es frecuente escribir (") para indicar esta dependencia.
En la gura 3.1 existe el lmite de la funcin representada cuando x tiende a x0 y vale l.
Si se elige un " como el indicado, es necesario escoger el que aparece tambin all para
garantizar que si jx x0 j < entonces jf (x) lj < ". Un " ms pequeo implica elegir
un tambin ms pequeo pero siempre, sea cual sea el " > 0 elegido, se puede elegir un
> 0 de tal manera que se cumpla la denicin.
Para que exista el lmite anterior solo es necesario que la funcin f est denida en un
entorno del punto x0 (excluido el propio x0 ) tan pequeo como se quiera porque el lmite
es una propiedad local que tiene que ver con el comportamiento de la funcin en las
proximidades de x0 . Ello no signica que la funcin no pueda estar denida en conjuntos
ms amplios pero los valores de f en puntos x alejados de x0 no inuyen para nada en la
existencia del lmite.

f(x )
0

l+

l-
x

Lmites y continuidad de funciones

34
Figura 3.1.

No es necesario que la funcin est denida en x0 y de hecho, en la denicin

anterior, f (x0 ) no aparece para nada y la condicin 0 < jx x0 j en la denicin excluye
el caso x = x0 . Si el lmite existe y vale l, f (x0 ) puede o no estar denido y, caso de que
lo est, no tiene porqu ocurrir que f (x0 ) = l. Es lo que ocurre en la gura 3.1 en la que
la funcin representada toma en el punto x0 el valor indicado por el crculo y claramente
f (x0 ) 6= l. Es un ejemplo un poco articial porque se ha denido deliberadamente f (x0 )
malpara que no coincida con l pero hay casos en los que de forma naturalla funcin
en el punto x0 no est denida. Por ejemplo, en la gura 3.2 se representa la funcin
sen x=x que en x = 0 no est denida (de hecho el programa de dibujo con el que se ha
representado la funcin no la est dibujando en el 0 sino solo hasta puntos muy prximos
por la derecha y por la izquierda). Sin embargo de la gura resulta bastante evidente (y
se demostrar ms adelante) que al acercarse a x = 0 por la derecha y por la izquierda la
funcin se acerca tanto como uno quiera a 1, es decir, se tiene que limx!0 sen x=x = 1.
1
0.8
0.6

sen(x)/x
0.4
0.2
0
-0.2
-0.4
-30

-20

-10

10

20

30

Figura 3.2.
En ocasiones lo que se trata de demostrar es la armacin contraria a limx!x0 f (x) = l,
bien porque no exista el lmite bien porque exista pero no valga l. Conviene tener en
cuenta que en este caso hay que demostrar que
9 " > 0 tal que 8 > 0 9 un x con jx

x0 j <

tal que jf (x)

lj

"

(3.1)

y la idea es sencillamente demostrar que existe un " > 0 tal que, por mucho que nos
aproximemos a x0 , siempre hay puntos x tales que la distancia de f (x) a l es mayor o
igual que ".
Deniciones tambin importantes son las de lmites laterales, lmite de f (x) cuando x
tiende a x0 por la derecha y lmite de f (x) cuando x tiende a x0 por la izquierda.
Se dice que existe el lmite de f (x) cuando x tiende a x0 por la derecha y este lmite
vale l y se escribe limx!x+0 f (x) = l si se cumple que:
Dado " > 0; 9 > 0 tal que siempre que 0 < (x

x0 ) <

se tiene que jf (x)

lj < "

Se dice que existe el lmite de f (x) cuando x tiende a x0 por la izquierda y este
lmite vale l0 y se escribe limx!x0 f (x) = l0 si se cumple que:
Dado " > 0; 9 > 0 tal que siempre que 0 < (x0

x) <

se tiene que jf (x)

l0 j < "

Lmites y continuidad de funciones

35

Las deniciones de lmite por la derecha y por la izquierda son idnticas a las de lmite
salvo por el hecho importante de que para que exista el lmite por la derecha (por la
izquierda) basta que cuando los valores de x se acerquen a x0 por la derecha (por la
izquierda), los correspondientes valores de f (x) se acerquen a l (a l0 en el caso del lmite
por la izquierda). Los lmites por la derecha y por la izquierda pueden existir los dos o
ninguno de ellos, o existir uno y no el otro. Es inmediato comprobar de las deniciones
anteriores que solo cuando ambos lmites (por la derecha y por la izquierda)
existen y coinciden, l = l0 , entonces existe el lmite de la funcin y su valor es
l. En la gura 3.3 en el punto x0 = 1 existe el lmite por la derecha y vale 1:7 y tambin
existe el lmite por la izquierda y vale 1 pero no existe el lmite porque no coinciden.
2.5

1.5

0.5

0.5

1.5

Figura 3.3.
En muchas ocasiones ocurre que cuando x se acerca a x0 los correspondientes valores de
f (x) se hacen cada vez ms grandes y no se pueden acotar en un entorno de x0 . Se dice
entonces que la funcin tiende a 1 cuando x tiende a x0 y si lo que ocurre es que los f (x)
se hacen tan pequeos como uno quiera, que la funcin tiende a 1. Con ms precisin,
se dice que limx!x0 f (x) = +1 y que limx!x0 f (x) = 1 cuando respectivamente:
Dado M > 0; 9 > 0 tal que siempre que 0 < jx
Dado M > 0; 9 > 0 tal que siempre que 0 < jx

x0 j <
x0 j <

entonces f (x) > M

entonces f (x) < M

Notar que en cualquiera de los dos casos la funcin no est denida en el punto x0 pero
ello no es obstculo para que exista el lmite. Por supuesto y como en las deniciones
anteriores, el valor de depende de M de modo que a veces se escribe (M ) para indicar
esta dependencia.
De la misma manera se pueden denir los casos en los que el lmite por la derecha o por
la izquierda es +1 o 1 sin ms que sustituir en las deniciones anteriores jx x0 j por
x x0 (lmite por la derecha) o por x0 x (lmite por la izquierda).
Por ltimo, en una funcin f (x) denida en toda la recta real interesa estudiar su comportamiento cuando x tiende a 1. Se dice que limx!1 f (x) = l y que limx! 1 f (x) = l0
cuando respectivamente:
Dado " > 0, existe M > 0 tal que siempre que x > M entonces jf (x) lj < "
Dado " > 0, existe M > 0 tal que siempre que x < M entonces jf (x) l0 j < "

Lmites y continuidad de funciones

36

lo que signica intuitivamente que, en el primer caso, para todos los valores de x mayores
que M , los valores de la funcin pueden ser mayores o menores que l pero dieren de l en
una cantidad menor que ".
Las deniciones anteriores se generalizan de inmediato al caso en que l o l0 valgan 1.
Por ejemplo, se dice que limx!1 f (x) = 1 cuando:
Dado N > 0, existe M > 0 tal que siempre que x > M entonces f (x) <

La primera propiedad importante del lmite de una funcin en un punto es la unicidad,

equivalente a la que ya se vio en el caso de lmites de sucesiones.
Proposicin 3.1 (Unicidad del lmite de una funcin). Si existe el lmite de f (x)
cuando x tiende a x0 , este lmite es nico.
Demostracin:
La demostracin es por reduccin al absurdo y muy similar a la que ya se hizo en el
caso de las sucesiones. Basta suponer que existen dos lmites distintos l y l0 y llegar a la
contradiccin de que forzosamente l = l0 . En efecto, se empieza por eligir " > 0 de modo
que jl l0 j > 2". Si limx!x0 f (x) = l, dado el " anterior, existe un > 0 tal que siempre
que se cumpla que jx x0 j < con x 6= x0 , se tiene que jf (x) lj < ". Por otro lado, si
limx!x0 f (x) = l0 , elegido el mismo " > 0 existe un 0 > 0 tal que siempre que se cumpla
que jx x0 j < 0 con x 6= x0 , se tiene que jf (x) l0 j < ". Si se toma 00 = min( ; 0 ), para
todos los x 6= x0 tales que jx x0 j < 00 se cumple simultneamente que jf (x) lj < " y
que jf (x) l0 j < ". sto entra en contradiccin con el hecho de que la distancia entre l
y l0 es mayor que 2" y que por tanto no pueden existir puntos f (x) que simultneamente
estn a una distancia menor que " de l y de l0 .
Proposicin 3.2 (Caracterizacin del lmite por sucesiones). Sea una funcin f
denida en un entorno reducido del punto a, f : B (a; R) ! R. Una condicin necesaria y suciente para que exista el limx!a f (x) = l es:
Para toda sucesin (xn )n2N con xn 2 B (a; R) que cumpla que limn!1 xn = a debe
cumplirse que limn!1 f (xn ) = l.
Demostracin:
Demostrar la condicin necesaria signica demostrar que, si se cumple que limx!a f (x) =
l, entonces tambin se cumple la implicacin
lim xn = a ) lim f (xn ) = l

n!1

n!1

Para ello, si limx!a f (x) = l se tiene que

8 " > 0 existe

> 0 tal que si 0 < jx

aj <

entonces jf (x)

lj < "

Por otro lado, limn!1 xn = a signica que

8 > 0 existe N 2 N tal que para todo n

N se cumple que jxn

Tomando el mismo en las dos deniciones es obvio que para todo n

, entonces jf (xn ) lj < ". Luego
dado " > 0 existe N 2 N tal que para todo n

aj <

N , como jxn

N se cumple que jf (xn )

aj <

lj < "

Lmites y continuidad de funciones

37

que es la denicin de que limn!1 f (xn ) = l.

Demostrar la condicin suciente signica demostrar que si para todas las sucesiones
(xn )n2N cuyo lmite es a se cumple que limn!1 f (xn ) = l, entonces se tiene que existe
limx!a f (x) = l. Para ello se razona por reduccin al absurdo. Supngase que se verica
la hiptesis pero que sin embargo limx!a f (x) 6= l. Segn (3.1) eso signica que existe
al menos un " > 0 tal que si se escoge 1 = 1 hay un punto x1 con jx1 aj < 1 y tal
que jf (x1 ) lj > ", si se escoge (con el mismo ") 2 = 1=2 hay un x2 con jx2 aj < 1=2
y tal que jf (x2 ) lj > ", si se escoge 3 = 1=3 hay un x3 con jx3 aj < 1=3 y tal
que jf (x3 ) lj > " y as sucesivamente. Se genera de esta manera una sucesin de
puntos x1 ; x2 ; :::; xn ; ::: que claramente cumple que limn!1 xn = a (puesto que jxn aj <
1=n) pero tal que para cualquier n jf (xn ) lj > ". Ello va contra la hiptesis de que
limn!1 xn = a implica que limn!1 f (xn ) = l.
La proposicin 3.2 es til en la prctica para demostrar que no existe el lmite de una
funcin f en un punto a. Para ello basta encontrar una sucesin de puntos xn con
limn!1 xn = a y tal que limn!1 f (xn ) no exista o, tambin, dos sucesiones de puntos xn
y zn ambas con lmite a pero tales que limn!1 f (xn ) = l y limn!1 f (zn ) = l0 con l 6= l0 .
La proposicin anterior ligeramente modicada tambin es una condicin necesaria y
suciente para la existencia de cualquiera de los lmites laterales, por la derecha o por
la izquierda. Condicin necesaria y suciente para que exista el lmite por la derecha y
valga l, limx!a+ f (x) = l, es que para toda sucesin xn tal que xn > a y que cumpla que
limn!1 xn = a, debe cumplirse que limn!1 f (xn ) = l. Para que exista el lmite por la
izquierda se sustituye xn > a por la condicin xn < a.
Otras propiedades de los lmites de funciones se recogen en la siguiente proposicin. Sus
demostraciones son parecidas a las que se hicieron para propiedades equivalentes de lmites
de sucesiones.
Proposicin 3.3. Sean f; g; h : B (a; R) ! R con R > 0. Se tiene que:
1. Si limx!a f (x) = l entonces existe un entorno reducido de a B (a; )
tal que f est acotada superior e inferiormente en B (a; ).

B (a; R)

2. Si limx!a f (x) = l > 0 (< 0) entonces existe un entorno reducido de a B (a; )

B (a; R) tal que f (x) > 0 (< 0) para todo x 2 B (a; ).
3. Si limx!a f (x) = l y limx!a g(x) = l y la funcin h cumple que f (x)
entonces existe limx!a h(x) = l.

h(x)

g(x)

3.4. Funciones continuas

Sea x0 2 R, sea B(x0 ; R) una bola o entorno del punto x0 y sea una funcin f : B(x0 ; R) !
R.

Denicin 3.2 (Funcin continua en un punto). Se dice que f es continua en el punto x0 cuando cumple la siguiente propiedad:
Dado " > 0, existe > 0 tal que para todo x que cumpla que
jx x0 j < se tiene que jf (x) f (x0 )j < "

Lmites y continuidad de funciones

38

La denicin de continuidad en un punto x0 es similar a la de existencia de lmite de

una funcin en x0 . La diferencia entre ambas deniciones radica en que, como ya se ha
indicado en el apartado anterior, para que exista el limx!x0 f (x) = l no es necesario que
la funcin est denida en el punto x0 y, si lo est, no es necesario que f (x0 ) = l. En
cambio, para que la funcin sea continua en x0 hacen falta dos condiciones: primera, que
exista el limx!x0 f (x) y segunda que este lmite coincida con el valor de la funcin en
x0 , es decir, aparte de existir el lmite, f debe estar denida en x0 y se debe cumplir
que limx!x0 f (x) = f (x0 ). Una funcin que no es continua en un punto se dice que es
discontinua o que tiene una discontinuidad en dicho punto.
Cuando, de las dos condiciones que se acaban de dar se cumple la primera, la existencia del lmite, pero no la segunda, se dice que la funcin f tiene en el punto x0 una
discontinuidad evitable. Es el caso de, por ejemplo, la gura 3.1 en la que existe
limx!x0 f (x) = l pero no coincide con el valor de f (x0 ). A este tipo de discontinuidad se
le llama evitable porque basta con denir una nueva funcin g(x) que coincida con f (x)
en todos los puntos excepto en x0 y tal que g(x0 ) = l. La funcin g(x) ya es continua en
x0 y conserva el resto de las propiedades que tuviera la funcin f (x) (en realidad g(x) y
f (x) son la misma funcin salvo por el hecho de que el valor de f (x0 ) estaba mal asignado
y en g(x) se ha corregido esta asignacin para conseguir que la funcin sea continua en
x0 ).
El mismo tipo de problema se plantea en el caso de la funcin ya mencionada f (x) =
sen x=x de la gura 3.2 que ni siquiera est denida en x = 0 pero para la que existe el
limx!0 sen x=x = 1. Si se quiere conseguir una funcin que esencialmente tenga sus mismas
propiedades pero que est denida y sea continua en x = 0 basta denir la funcin g(x)
de la siguiente manera: g(x) = sen x=x para todo x 6= 0 y g(0) = 1.
La situacin es distinta en el caso de la gura 3.3. La funcin que se representa tiene en
el punto x0 = 1 una discontinuidad que se llama discontinuidad de salto porque en
este caso el problema no radica en cmo est denida la funcin en el punto 1 sino en
que no existe el limx!1 f (x) porque, aunque existen los lmites por la derecha y por la
izquierda, no coinciden. De hecho la discontinuidad de salto en un punto se dene como
la que se tiene cuando existen los dos lmites laterales pero no coinciden. sto se traduce
en el hecho de que la funcin tiene un salto cuando pasa de valores a la izquierda de x = 1
a valores a la derecha de este punto. En este caso la discontinuidad no se puede corregir
redeniendo el valor de la funcin en x = 1 porque tiene que ver con que el lmite no
existe.
Los ejemplos anteriores tienen que ver con discontinuidades evitables o de salto y en un
solo punto. Hay funciones que son discontinuas en todos los puntos en los que estn
denidas y adems los lmites laterales en cualquier punto no existen (y por tanto la
discontinuidad no sera ni evitable ni de salto). Un ejemplo, la funcin f : R ! R que se
conoce con el nombre de funcin de Dirichlet y que se dene como:
8
< 1 si x es racional
f (x) =
:
0 si x es irracional
Esta funcin tiene discontinuidades en todos los puntos de la recta real porque, dado un a
cualquiera, no existe ni limx!a+ f (x) ni limx!a f (x). Sea por ejemplo un a determinado.
Segn la proposicin 1.5 si se elige un intervalo de la forma (a; a + 1), en l hay innitos

Lmites y continuidad de funciones

39

nmeros racionales z y nmeros irracionales y. Se elige un racional cualquiera z1 de

entre ellos y un irracional cualquiera y1 . Se toma ahora un intervalo (a; a + 1=2) y por
la misma razn se eligen z2 racional e y2 irracional tales que z2 ; y2 2 (a; a + 1=2) y as
sucesivamente. Procediendo de esta manera se obtiene una sucesin de nmeros racionales
zn con zn 2 (a; a + 1=n) y una sucesin de nmeros irracionales yn con yn 2 (a; a + 1=n).
Ello signica que limn!1 zn = a y que limn!1 yn = a. Pero, segn la denicin de
la funcin de Dirichlet, f (zn ) = 1 y f (yn ) = 0 para todo n 2 N lo que signica que
limn!1 f (zn ) = 1 y que limn!1 f (yn ) = 0. Luego, segn los comentarios que se hacen
despus de la proposicin 3.2, no existe el limx!a+ f (x). De manera anloga se razona
para demostrar que no existe el limx!a f (x).
1
, que se representa en la gura 3.4 para valores
x
de x > 0 prximos a x = 0 (f es par de modo que tiene la misma representacin para
x < 0), la funcin est denida y es continua en toda la recta real excepto en x = 0 en
donde no est denida.
En el caso de la funcin f (x) = sen

sen(1/x)
0.5

-0.5

-1

10

-1

10

Figura 3.4.
No es una discontinuidad evitable porque no basta con denir el valor de la funcin
en x = 0 para transformarla en una funcin continua en el 0. De hecho no existe el
1
limx!0 sen
porque en cualquier entorno ( ; ) arbitrariamente pequeo de x = 0 la
x
funcin toma todos los valores posibles entre 1 y 1. Ello es debido a que en cualquier
entorno del punto x = 0 f tiene 1 oscilaciones. Dado cualquier nmero l 2 R siempre
se pueden encontrar puntos x arbitrariamente prximos a 0 tales que jf (x) lj > 1=2
1
lo que, segn (3.1), signica que no existe limx!0 sen
= l (razonando de la misma
x
manera se demuestra que tampoco existen los lmites laterales).
3.5. Clculo de lmites de funciones
Los resultados del lmite de una suma, producto y cociente de dos funciones son equivalentes a los que ya se vieron en el caso de sucesiones.

Lmites y continuidad de funciones

40

Proposicin 3.4 (lgebra de lmites). Sean dos funciones f; g : B (a; R) ! R con

R > 0 y tales que existen lim f (x) = l1 y lim g(x) = l2 . Entonces:
x!a

x!a

1. Existe lim (f + g)(x) = lim f (x) + lim g(x) = l1 + l2 .

x!a

x!a

x!a

2. Existe lim (f g)(x) = lim f (x) lim g(x) = l1 l2 .

x!a

x!a

x!a

lim f (x)

3. Si l2 6= 0, existe lim (f =g)(x) =

x!a

x!a

lim g(x)

x!a

l1
.
l2

Es decir, el lmite de una suma y de un producto de funciones es la suma y el producto

de los lmites y el lmite de un cociente es el cociente de los lmites siempre que el lmite
del denominador sea distinto de 0. Exactamente los mismos resultados son aplicables
en el caso de funciones continuas sin ms que sustituir l1 y l2 por f (a) y g(a) y se tiene
entonces que si las funciones f y g son continuas en a entonces la suma, producto
y cociente de ambas es continua en a con la salvedad ya mencionada en el caso
del cociente de que g(a) 6= 0.
Los resultados de la proposicin 3.4 son tambin vlidos cuando a = 1 y cuando l1 o
l2 o ambos son 0 o 1 excluyendo los casos indeterminados (se llaman con frecuencia
indeterminaciones) en los que no es posible decir a priori y en general cul va a ser el
resultado del lmite. Las indeterminaciones por lo que respecta a la suma, el producto y
el cociente son:
l1 + l2 con l1 = +1 y l2 =
l1 l2 con l1 =

1 (o viceversa).

1 y l2 = 0 (o viceversa).

l1 =l2 con l1 = l2 = 0.
l1 =l2 con l1 =

1 y l2 =

1 (con todas las posibles combinaciones de signos).

En estos casos no hay reglas generales para calcular el lmite de la suma, producto o
cociente de las dos funciones f y g y el valor del lmite depende en cada caso concreto de
cules sean esas funciones f y g.
La indeterminacin del tipo 0=0 aparece en un caso que se da con frecuencia,.cuando se
calcula el lmite del cociente de dos funciones polinmicas. Se tiene el siguiente resultado
al respecto:
Proposicin 3.5. Sea el cociente:
ap xp + ap+1 xp+1 + : : : + ap+m xp+m
p(x)
=
q(x)
bq xq + bq+1 xq+1 + : : : + bq+n xq+n
con todos los ai 2 R; ap 6= 0; ap; bq > 0 y p; q; n; m 2 N. Entonces:
8
si p = q
>
> ap =bq
<
p(x)
+1
si p < q y q p par
lim
=
no existe
si p < q y q p impar
x!0 q(x)
>
>
:
0
si p > q

y el caso en el que los coecientes ap y bq no sean los dos positivos se reduce fcilmente a
ste.

Lmites y continuidad de funciones

41

La demostracin es inmediata dividiendo numerador y denominador por xmin(p;q) y tomando

despus el lmite.
En el caso, tambin frecuente, de que se quiera calcular el
a0 + a1 x + : : : + ap x p
p(x)
= lim
;
x!1 q(x)
x!1 b0 + b1 x + : : : + bq xq
lim

el resultado es el de la proposicin 2.9 sin ms que sustituir la variable entera n que

aparece all por la variable real x.
Tambin es habitual que se den las situaciones enumeradas en la siguiente proposicin:
Proposicin 3.6. Sean f; g : B (a; R) ! R con R > 0. Se tiene que:
Si limx!a f (x) = l con l nito y no existe el limx!a g(x) (ni nito ni 1), entonces
no existe el limx!a (f + g)(x).
Si limx!a f (x) = 1 y g(x) est acotada, entonces limx!a (f + g)(x) = 1.
Si limx!a f (x) = 0 y g(x) est acotada, entonces limx!a (f g)(x) = 0.
Si limx!a f (x) = 1 y limx!a g(x) = 0 y en cualquier entorno del punto x = a
hay puntos x tales que g(x) > 0 y puntos z con g(z) < 0, entonces no existe
limx!a (f =g)(x).
Un concepto, que ya se ha estudiado en el caso de sucesiones y que se usa con frecuencia
en el clculo de lmites de productos y cocientes de funciones, es el de innitsimos equivalentes. Si limx!a f (x) = 0 se dice que f es un innitsimo en x = a. Si limx!a f (x) = 0
y limx!a g(x) = 0 se acaba de decir que el lmite del cociente de ambas funciones es una
indeterminacin y depende de cules sean las funciones. Se dice que f y g son innitsimos equivalentes en x = a y se escribe f g en x = a cuando:
lim f (x) = 0;

x!a

lim g(x) = 0;

x!a

f (x)
=1
x!a g(x)
lim

Como ya se coment en el caso de las sucesiones, un innitsimo se puede sustituir por

otro equivalente cuando se estn calculando lmites de productos y de cocientes pero no
de sumas. Por ejemplo, si f g en x = a y se quiere calcular el lim f (x)s(x)=h(x) (que
x!a

se sabe que existe), multiplicando y dividiendo por g(x) se tiene que

f (x)s(x)
s(x)f (x)g(x)
s(x)g(x)
f (x)
s(x)g(x)
= lim
= lim
lim
= lim
x!a
x!a
x!a
h(x)
h(x)g(x)
h(x) x!a g(x) x!a h(x)
lim

f (x)s(x)
g(x)s(x)
se puede calcular lim
que vale lo
x!a
h(x)
h(x)
mismo. La ventaja es que hay ocasiones en las que resulta ms fcil calcular este segundo
lmite que el primero. La sustitucin de f por g no es lcita en otras ocasiones, como
cuando se trata de calcular lmites en los que aparecen sumas. Por ejemplo, f (x) = x y
1
1
g(x) = x + x2 son innitsimos equivalentes en x = 0 pero lim
= 1 y en
x!0
f (x) g(x)
cambio el lmite sale 0 si se sustituye directamente f (x) por g(x).
de modo que en lugar de calcular lim

x!a

A continuacin se da una lista de cocientes de funciones cuyo lmite es 1 cuando x tiende a

0. Por tanto en cada cociente el numerador y el denominador son innitsimos equivalentes
en x = 0:

Lmites y continuidad de funciones

42

sen x
=1
x!0
x
lim

tan x
=1
x
arcsen x
lim
=1
x!0
x
lim

x!0

arctg x
=1
x!0
x
lim

lim

x!0

2 cos x
=1
x2

ln(1 + x)
=1
x!0
x
lim

Todos los lmites excepto el ltimo se pueden calcular a partir del primero de ellos
limx!0 sen x=x. ste se calcula razonando sobre la gura 3.5.
1.6
1.4

1.2
1

0.8

tg x

0.6
0.4

sen x

0.2

x
0

O0

D
0.5

1.5

Figura 3.5.
La circunferencia es de radio unidad de modo que los segmentos AD y BC tienen respectivamente longitudes sen x y tan x donde x es el ngulo que se representa expresado en
radianes. Las reas de los triangulos OAD y OBC son respectivamente (cos x)(sen x)=2
y (tan x)=2 puesto que en el primero la base tiene longitud cos x y en el segundo longitud
igual a 1. El rea del sector circular OAC es igual a R2 x=(2 ) = x=2 teniendo en cuenta
que R = 1. Es claro de la gura que las areas de los dos triangulos acotan inferior y
superiormente el rea del sector, es decir,
cos x sen x
2

x
2

tan x
2

o bien

cos x

x
sen x

tan x
1
=
sen x
cos x

y la segunda cadena de desigualdades se consigue multiplicando todos los miembros

de la primera por 2=sen x. Haciendo ahora x tender a 0 por la derecha, se tiene que
limx!0+ cos x = 1 y por tanto, del tercer enunciado de la proposicin 3.3, se obtiene que
limx!0+ x=sen x = 1 y que limx!0+ sen x=x = 1. Como la funcin sen x=x es par, el lmite
por la derecha coincide con el lmite por la izquierda y por tanto limx!0 sen x=x = 1.
Notar que el razonamiento solo es vlido cuando el ngulo se expresa en radianes (solo
entonces el rea del sector circular es x=2) de modo que el lmite no vale 1 si el ngulo se
expresa en grados.

Lmites y continuidad de funciones

43

En el caso de funciones continuas el siguiente resultado es importante y se usa con frecuencia para estudiar la continuidad de funciones que son composicin de otras continuas
ya conocidas:
Proposicin 3.7 (Composicin de funciones continuas). Se tiene una funcin f :
B(x0 ; R) ! R con R > 0 continua en x0 y una funcin g : B(f (x0 ); R0 ) ! R con R0 > 0
continua en f (x0 ). Entonces se tiene que la funcin g f : B(x0 ; R) ! R es continua en
x0 . Ello signica que existe
lim (g f )(x) = (g f )(x0 ) = g(f (x0 ))

x!x0

Como la continuidad de f signica que lim f (x) = f (x0 ), el resultado anterior se puede
x!x0

escribir:
lim (g f )(x) = lim g(f (x)) = g( lim f (x)) = g(f (x0 ))

x!x0

x!x0

x!x0

es decir, el orden en el que actan el lmite y la funcin g se puede invertir.

En el caso del lim f (x)g(x) con lim f (x) = l1 y lim g(x) = l2 se tiene que lim f (x)g(x) = l1l2 .
x!a
x!a
x!a
x!a
Esto incluye el que l1 o l2 o ambos valgan 1 o 0 excepto en aquellos casos en los que
hay una indeterminacin que son:
l1 = 0; l2 = 0.
l1 = 1; l2 = 0:
l1 = 1; l2 =

1:

Como ya se dijo para las sucesiones, en muchos casos en los que es necesario calcular un lmite de la forma lim f (x)g(x) es ms conveniente calcular el lim ln(f (x)g(x) ) =
x!a

x!a

lim g(x) ln f (x) y el lmite a calcular es el de un producto. Si se obtiene que lim g(x) ln f (x) =

x!a

x!a

l entonces lim f (x)g(x) = el .

x!a

3.6. Propiedades globales de las funciones continuas

Hasta ahora se ha estudiado la continuidad de una funcin f en un punto a que, como el
lmite de una funcin, es una propiedad local que exige solo que la funcin est denida
en un entorno de a. Cuando la funcin es continua en todos los puntos de un subconjunto
A de R se dice que es continua en A y tiene entonces propiedades que se estudian a
continuacin, en especial cuando A es un intervalo cerrado y acotado [a; b]. En este caso,
la continuidad en los puntos extremos del intervalo hay que entenderla como continuidad
por la izquierda en el caso de b y continuidad por la derecha en el de a, es decir, la
existencia de los lmites:
lim f (x) = f (b);

x!b

lim f (x) = f (a)

x!a+

puesto que otra cosa no tendra sentido porque la f no tiene porqu estar denida ni a la
derecha de b ni a la izquierda de a.
El primero de los resultados importantes es el teorema de Bolzano:

Lmites y continuidad de funciones

44

Teorema 3.8 (Teorema de Bolzano). Sea f una funcin continua en un intervalo

compacto (cerrado y acotado) [a; b]:
f : [a; b] ! R

y tal que

f (a)f (b) < 0

es decir, la funcin toma valores de signo distintos en los puntos a y b. Entonces se tiene
que existe al menos un punto c 2 (a; b) en el que la funcin toma el valor 0, f (c) = 0.
Demostracin:
El teorema tiene una demostracin sencilla que responde a la idea intuitiva de que una
funcin continua se puede representar sin levantar el lpiz del papel. Si en a toma un
valor negativo y en b positivo (o viceversa) entonces para pasar de a a b la grca tiene
forzosamente que cortar al menos una vez el eje de abscisas y en el punto de corte la
funcin vale cero.
De forma ms rigurosa, sean a = a0 y b = b0 y supngase que f (a0 ) < 0 y f (b0 ) > 0. Se
toma el punto medio del intervalo [a; b] (a0 + b0 )=2 y se calcula el signo de f ((a0 + b0 )=2).
Si f ((a0 + b0 )=2) > 0 se dene a1 = a0 y b1 = (a0 + b0 )=2 y si f ((a0 + b0 )=2) < 0 entonces
se hace a1 = (a0 + b0 )=2 y b1 = b0 . Es claro que en el nuevo intervalo [a1 ; b1 ] que tiene
la mitad de la longitud de [a; b] ocurre lo mismo que en ste: f (a1 ) < 0 y f (b1 ) > 0, es
decir, la funcin cambia de signo en los extremos del intervalo.
Se vuelve a repetir el proceso pero ahora con el intervalo [a1 ; b1 ]: se elige su punto medio
(a1 + b1 )=2 y se estudia el signo de f ((a1 + b1 )=2). Si f ((a1 + b1 )=2) > 0 se hace a2 = a1 y
b2 = (a1 + b1 )=2 y si f ((a1 + b1 )=2) < 0 entonces se dene a2 = (a1 + b1 )=2 y b2 = b1 . En
el nuevo intervalo [a2 ; b2 ] de longitud [a; b]=4 se repite el proceso y as sucesivamente.
Si en algn momento la funcin f se anula en algn punto medio de la forma (an + bn )=2
ese punto es el que se est buscando y la demostracin termina. Si no, se genera de esta
manera una sucesin fan g que por construccin es creciente y tal que f (an ) < 0 para todo
n y una sucesin fbn g que por construccin es decreciente y que cumple que f (bn ) > 0
para todo n. Como ambas sucesiones son acotadas y montonas resulta que ambas tienen
lmite y como, por otro lado, la longitud del intervalo [an ; bn ] es (b a) =2n , que tiende a
0 cuando n tiende a 1, forzosamente ambos lmites deben coincidir:
lim an = lim bn = c 2 (a; b)

n!1

n!1

Adems, como la funcin es continua en c debe cumplirse que

lim f (an ) = lim f (bn ) = f (c)

n!1

n!1

pero por otro lado, puesto que f (an ) < 0, limn!1 f (an )
0 y puesto que f (bn ) > 0,
limn!1 f (bn ) 0 lo que deja como nica opcin posible que f (c) = 0.
Ejemplo 3.1. Demostrar que la ecuacin no lineal x = cos x tiene solucin en el intervalo
[0; 1] y calcular aproximadamente dicha solucin con un error menor que 1=10.
El teorema de Bolzano es el resultado terico que permite armar que una ecuacin no
lineal como, por ejemplo, x = cos x, tiene solucin en el intervalo [0; 1]. En efecto el
problema es equivalente a demostrar que la funcin continua f (x) = x cos x se anula en
algn punto del intervalo [0; 1] lo cual es cierto porque f (0) = 1 < 0, f (1) = 1 cos 1 > 0
y por tanto segn el teorema existe c 2 [0; 1] tal que c cos c = 0. Este c es adems

Lmites y continuidad de funciones

45

la nica solucin de la ecuacin porque en el intervalo en cuestin x es creciente y cos x

decreciente de modo que solo se pueden cortar una vez. Adems el teorema da un mtodo
constructivo para calcular aproximadamente la solucin procediendo como se procede en
la demostracin. En 1=2, punto medio de [0; 1], f (1=2) = 0:3776. La solucin est
entonces en el intervalo [1=2; 1] puesto que en este intervalo f cambia de signo y por tanto
el teorema de Bolzano asegura que en este intervalo la ecuacin tiene una solucin. Se
calcula ahora el signo de f en 3=4 punto medio de [1=2; 1] y resulta que f (3=4) = 0:0183
y por tanto la solucin est en el intervalo [1=2; 3=4] porque f cambia de signo entre
los extremos del intervalo. En el siguiente paso f (5=8) = 0:186 lo que signica que la
solucin est en [5=8; 3=4] y en el punto medio del intervalo anterior 11=16 se cumple que
f (11=16) = 0:0853 y por tanto la solucin de la ecuacin est en [11=16; 3=4] lo que
determina su valor aproximado con un error menor que 1=10.
Es claro que procediendo de esta manera se puede acotar el valor de la solucin con una
precisin tan grande como se quiera, acotando por arriba y por abajo cada vez con ms
precisin el punto c en donde f (c) = 0. Este mtodo de ir dividiendo cada intervalo en
dos partes de igual longitud y quedndose con el subintervalo en donde la funcin cambia
de signo se llama el mtodo de la biseccin.
Una generalizacin del teorema 3.8 es el siguiente, que responde a la misma idea intuitiva
que el anterior:
Teorema 3.9 (Teorema de los valores intermedios). Sea f una funcin continua en
un intervalo compacto (cerrado y acotado) [a; b], f : [a; b] ! R. Entonces se tiene que
(suponiendo que f (a) < f (b)):
8y tal que f (a)

f (b) existe siempre al menos un c 2 [a; b] tal que f (c) = y:

Es decir, f toma en [a; b] todos los valores intermedios entre f (a) y f (b) (suponiendo que
f (a) < f (b) y viceversa en caso contrario).
La idea que subyace a la demostracin es la misma que en el caso anterior: para pasar
de f (a) a f (b) de forma continua (sin dar saltos) hay que pasar por todos los valores
intermedios.
El siguiente resultado tiene que ver con los valores mximos y mnimos que toma una
funcin continua en su dominio.
Denicin 3.3 (Extremos globales de una funcin). Se dice que una funcin f de
A en R tiene su mximo global (mnimo global) en c 2 A cuando se cumple que
8x 2 A se tiene que f (x)

f (c) (f (x)

f (c) en el caso del mnimo)

(3.2)

y f (c) es el valor mximo (mnimo) de f en A.

Cuando se habla de mximos y mnimos en general sin especicar si son una cosa u otra
se reere uno a ellos como los extremos globales de la funcin. En general f : A ! R
no tiene porqu tener extremos globales. Sin embargo se tiene que:
Teorema 3.10 (Extremos globales de f (x) continua en un compacto). Sea f una
funcin continua denida en un compacto, f : [a; b] ! R. Entonces f alcanza en [a; b]
mximo y mnimo global.

Lmites y continuidad de funciones

46

Demostracin:
En primer lugar se demuestra que f est acotada en [a; b]. Se tiene que:
Si no estuviera acotada superiormente existira una sucesin de nmeros reales f (xn )
con lmite 1 y con los xn todos ellos pertenecientes al intervalo [a; b].
Por tanto la sucesin fxn g est acotada y consiguientemente tiene una subsucesin
convergente fx (n) g con lim x (n) = l 2 [a; b].
n!1

Puesto que la funcin es continua en [a; b] se tiene que lim f (x

n!1

Por otro lado f (x

(n) )

(n) )

= f (l).

es una subsucesin de f (xn ) y por tanto si lim f (xn ) = 1

n!1

tambin debe cumplirse que lim f (x

(n) )

n!1

= 1 en contra del hecho de que este

lmite es f (l).
Notar que el razonamiento falla si, por ejemplo, el dominio de f fuera un abierto (a; b)
porque entonces el lim x (n) podra ser a o b en donde la funcin no est denida. Se
n!1
razona de la misma manera para demostrar que la funcin est acotada inferiormente.
Para demostrar que f tiene mximo global se procede de la siguiente manera:
Como el conjunto de nmeros f (x) con x 2 [a; b] est acotado superiormente, tiene
supremo = sup(f (x)):
Si
= sup(f (x)) entonces existe una sucesin f (xn ) con los xn 2 [a; b] tal que
lim f (xn ) = :
n!1

La sucesin fxn g est acotada y por tanto tiene una subsucesin fx

es decir, lim x (n) = l 2 [a; b].

(n) g

convergente,

n!1

Como f es continua en [a; b] de lim x

n!1

Como lim f (xn ) =

n!1

lim f (x

n!1

(n) )

y fx

(n) g

y por tanto

(n)

= l se deduce que lim f (x

n!1

(n) )

= f (l).

es una subsucesin de fxn g, se tiene que cumplir que

= f (l) y la funcin alcanza su mximo en l 2 [a; b].

Se razona de manera similar para el mnimo.

El teorema 3.10 no es cierto si el intervalo en el que est denida la funcin no es cerrado.
Por ejemplo, la funcin f (x) = 1=x denida en el intervalo abierto (0; 1) es continua en
dicho intervalo y sin embargo no alcanza en l valor mximo puesto que la funcin crece
indenidamente cuando x se aproxima al 0.
A partir del teorema 3.10 es posible demostrar otros dos resultados sobre funciones continuas denidas sobre intervalos:
Teorema 3.11. Sea f una funcin continua denida en un compacto, f : [a; b] ! R.
Entonces el recorrido de f , f ([a; b]), es el intervalo compacto [m; M ] donde m y M son
respectivamente el mnimo y el mximo de f en [a; b].
Demostracin:
Segn el teorema 3.10 f alcanza en un cierto punto x1 su valor mximo, f (x1 ) = M
y en otro punto x2 el mnimo, f (x2 ) = m. Segn el teorema 3.9 alcanza todos los
valores comprendidos entre M y m y por tanto el recorrido de f es el intervalo [m; M ],
f ([a; b]) = [m; M ].
Teorema 3.12. Sea f una funcin continua denida en un intervalo I, f : I ! R.
Entonces el recorrido de f , f (I), es tambin un intervalo.

Lmites y continuidad de funciones

47

En el caso de este teorema no se exige que el dominio de la funcin sea compacto ni se

asegura que el recorrido lo sea. Por ejemplo, la funcin f (x) = 1=x denida en el intervalo
(0; 1] (que no es cerrado) tiene como recorrido el intervalo [1; 1) (que no es acotado).
Resulta evidente que una funcin estrictamente creciente o decreciente es inyectiva. Sin
embargo el resultado recproco no es cierto en general. Por ejemplo, la funcin denida
en [0; 2] como f (x) = x si x 2 [0; 1) y f (x) = 4 x si x 2 [1; 2] no es ni creciente ni
decreciente y es inyectiva. Sin embargo el recproco es cierto cuando se trata de funciones
continuas. Se tiene as el siguiente resultado:
Teorema 3.13. Si f es una funcin continua e inyectiva denida en un intervalo I entonces f es en I estrictamente creciente o estrictamente decreciente.
El ltimo de los teoremas relacionado con las propiedades globales de las funciones continuas tiene que ver con la continuidad de la inversa de una funcin continua.
Teorema 3.14. Sea I un intervalo de R y f : I ! R continua e inyectiva en I. Entonces
existe f 1 que es continua e inyectiva en su dominio f (I).
En realidad la existencia de f 1 est asegurada por la inyectividad de f y la demostracin
del teorema se reduce a probar que f 1 es continua. La inyectividad de f 1 tambin es
clara porque, por el teorema 3.13, si f es inyectiva es estrictamente montona y por tanto
lo mismo le ocurre a f 1 que, al ser estrictamente montona, es inyectiva.

Derivacin

4.

48

Derivacin

4.1. Denicin de derivada de una funcin en un punto e inter-

pretacin geomtrica de la derivada. Derivadas laterales

El clculo diferencial es el estudio de la derivada y la derivacin es el proceso de calcular
derivadas. Al plantearnos la cuestin qu es una derivada? nos encontramos entre otras
con tres posibles respuestas: una derivada es una tasa de variacin, es la pendiente de
una recta y es el lmite de un cociente incremental.
Exploremos con un ejemplo la idea de tasa de variacin instantnea para luego formalizar
el concepto matemtico de derivada.
Ejemplo 4.1 (Velocidad de un punto mvil). Considrese un objeto que se desplaza
con movimiento rectilneo no uniforme. La idea de velocidad media sera el incremento
del espacio por unidad de tiempo. Si s(t) es la posicin del mvil (su distancia al origen)
en cada instante t; la velocidad media vm en un intervalo de tiempo [t0 ; t1 ] se dene
como
s(t1 ) s(t0 )
t1 t0
La velocidad instantnea en un instante t puede aproximarse calculando velocidades medias en intervalos de tiempo cada vez ms cortos. La velocidad media en el intervalo
[t; t + 4t] viene dada por:
vm =

vm =

s(t + 4t)
4t

s(t)

Si el intervalo de tiempo tiende a reducirse a cero, la velocidad media se aproxima a la

velocidad instantnea en t, que en trminos precisos se dene mediante
s(t + 4t)
4t!0
4t

v(t) = lim
si tal lmite existe.

s(t)

En este proceso se ha formado el cociente que expresa la variacin de una cierta variable
espacial s por unidad de variacin de otra temporal t, de la cual depende, y a continuacin
se ha efectuado un paso al lmite. Este valor lmite de las tasas de variacin conduce
a la idea de tasa instantnea de variacin, cuya formalizacin matemtica lleva a la
idea de derivada de una funcin que se expone a continuacin.
Sea una funcin f : (a
como el cociente

denido para 8x 2 (a

; a + ) ! R. Se dene su cociente incremental en el punto a

f (x) f (a)
x a
; a + ) con x 6= a.

Derivacin

49

Denicin 4.1 (Derivada de una funcin). Se dice que una funcin

f denida en un entorno de a, f : (a
; a + ) ! R, es derivable en a si
su cociente incremental tiene lmite nito cuando x ! a y en ese caso su
derivada f 0 (a) en el punto a se dene como:
f (x) f (a)
x!a
x a
En muchas ocasiones se usa para denir f 0 (a) la variable h = x
lugar de la propia variable x y entonces se escribe
f 0 (a) = lim

f (a + h)
h!0
h

f (a)

f 0 (a) = lim

(4.1)
a en

(4.2)

Ejemplo 4.2. Comprobar que la funcin lineal f (x) = mx + n con m; n 2 R tiene por
derivada 8x 2 R; f 0 (x) = m.
El lmite del cociente incremental de f en a es
f (x)
x!a
x

f 0 (a) = lim

f (a)
(mx + n)
= lim
x!a
a
x

(ma + n)
=m
a

Ejemplo 4.3. Comprobar que la funcin potencial f (x) = xn con n 2 N tiene por
derivada para todo x nmero real f 0 (x) = nxn 1 .
En efecto, calculando el cociente de polinomios (xn
f (x)
x!a
x
lim

f (a)
xn
= lim
x!a x
a

an
= lim xn
x!a
a

+ axn

an ) = (x
2

a) :

+ ::: + an

= nan

= f 0 (a)

La notacin f 0 (a) que se ha usado en la denicin para denotar la derivada de una funcin
f en un punto a no es la ms corriente, sobre todo en textos de fsica y de ingeniera.
En muchas ocasiones se usa una notacin que se conoce con el nombre de notacin de
Leibniz y que resalta aspectos importantes de la derivada, fundamentalmente el hecho
de que es el lmite de un cociente incremental.
La notacin tiene en cuenta que una funcin y = f (x) es una relacin de dependencia
entre dos variables, la variable independiente x y la variable dependiente y. A un incremento x = x a de la variable independiente alrededor del punto a le corresponde un
incremento y = f (x) f (a) de la variable dependiente y lo que signica la denicin
de derivada es que cuando x es pequeo se tiene que y f 0 (a) x:
Leibnitz consider incrementos innitamente pequeos de las variables, a los que denot
dx y dy, de manera que se diese una igualdad
dy = f 0 (a)dx

Derivacin

50

y a estos incrementos innitesimales dx y dy los denomin diferenciales de las variables

x e y.
Admitiendo su existencia, la derivada de la funcin se expresa entonces como un cociente
de diferenciales:
dy
f 0 (a) =
dx
y el segundo miembro de la igualdad es la notacin de Leibniz para la derivada.
dy
Esta notacin se usa por diferentes motivos. En primer lugar recuerda que la derivada
;
dx
y
aunque no es un cociente propiamente dicho, es un lmite de cocientes
: En segundo
x
lugar, esta notacin especica la variable independiente, lo que resulta muy til cuando se
emplean otras variables adems de la x. Otras ventajas se pondrn de maniesto cuando
se aborde la regla de la cadena.
Nos planteamos ahora precisar la denicin de recta tangente a la grca de una funcin
en un punto y el mtodo para calcular su pendiente.
Sea y = f (x) una funcin continua. Si f posee recta tangente en el punto Q de coordenadas (a; f (a)); el problema de encontrar la ecuacin de la recta tangente se transforma
en el de determinar la pendiente de dicha recta. Un medio de aproximarla es encontrar
las pendientes de las rectas secantes que pasan por el punto Q y cualquier otro punto P
sobre la grca de f .
Si f es una funcin continua en I = (a
; a + ) y derivable en a 2 I, veamos que la
grca de f; que es la curva Gf = f(x; y) 2 R2 tal que x 2 I; y = f (x)g ; admite tangente
en el punto (a; f (a)) y que la pendiente de la tangente es el valor f 0 (a):
La recta secante determinada por los puntos Q = (a; f (a)) y P = (t; f (t)) tiene por
ecuacin
f (t) f (a)
y = f (a) +
(x a)
t a

P
P

P
2

f(a)

a
Figura 4.1.
Cuando P se acerca a Q; o equivalentemente t tiende hacia a, se observa que las rectas
secantes se acercan cada vez ms a la recta tangente y consiguientemente lo mismo sucede
para las pendientes (en la gura 4.1 las rectas secantes que pasan por los puntos (a; f (a))

Derivacin

51

y P1 ; P2 y P3 se van acercando a la recta tangente a la grca de la funcin en el punto

(a; f (a))).
Por tanto la pendiente de la recta tangente a la grca de f en (a; f (a)) es
f (x)
x!a
x

f (a)
a

f 0 (a) = lim

y la ecuacin de dicha recta tangente es

y (x) = f (a) + f 0 (a)(x

f(a+h)

y(a+h)

a)

(4.3)

f(a)

a+h

Figura 4.2.
Otra interpretacin geomtrica interesante se deduce de (4.3) y la denicin de derivada
de f en el punto a. (4.2) se puede escribir como:
lim

h!0

f (a + h)

f (a)
h

f 0 (a) h

=0

pero segn (4.3) con x = a + h se tiene que y (a + h) = f (a) + f 0 (a) h donde y (a + h) es

el valor de la recta tangente en el punto a + h. Luego el lmite anterior se puede escribir
como:
f (a + h) y(a + h)
lim
=0
(4.4)
h!0
h
y lo que dice (4.4) es que la distancia entre las ordenadas de la recta tangente y la funcin
en el punto a + h (la longitud del segmento AB en la gura 4.2) tiende a 0 cuando h
tiende a 0 ms rpidamente de lo que tiende a 0 el propio valor de h (se dice el numerador
en (4.4) es un innitsimo de orden superior al denominador).
Cualquier recta secante que corte la grca de f en el punto (a; f (a)) y otro punto
cualquiera P tiene como ecuacin s (x) = f (a) + c(x a) con c una constante distinta de
f 0 (a). Para ella es cierto que la diferencia f (a + h) s(a + h) tiende a 0 cuando h tiende
a 0 pero solo en el caso de la recta tangente la diferencia tiende a 0 incluso cuando se la

Derivacin

52

divide por h. En este sentido se dice que la recta tangente es la recta que mejor aproxima
el valor de la funcin f en las proximidades de x = a.

Para que exista cualquier lmite deben existir los lmites por la derecha y por la izquierda
y coincidir y lo mismo le ocurre al lmite del cociente incremental que dene la derivada
de una funcin en un punto. En este sentido se tiene la siguiente denicin:

Denicin 4.2 (Derivadas laterales). La derivada lateral derecha de f en a es:

f (x) f (a)
f (a + h) f (a)
= lim+
x!a
h!0
x a
h
si tal lmite existe y es nito y la derivada lateral izquierda de f en a es:
f+0 (a) = lim+

f 0 (a) = lim
x!a

f (x)
x

f (a)
f (a + h)
= lim
h!0
a
h

f (a)

si el lmite existe y es nito.

Que una funcin sea derivable en un punto equivale a que existan sus derivadas laterales
y coincidan en dicho punto. Por tanto, una funcin puede no ser derivable en un punto
bien porque sus derivadas laterales existan pero no coincidan, bien porque una de ellas, o
ambas, no existan.
Ejemplo 4.4. Probar que la funcin
f (x) =

x2
x

x 0
x>0

es derivable en R f0g :
El cociente incremental de f en el origen es
f (x)
=
x

x
1

x 0
x>0

Por tanto

f (x)
f (x)
= 0 y f 0 (0) = lim
=1
x!0
x!0
x
x
y como las derivadas laterales existen pero son diferentes, la funcin no es derivable en el
origen.
Notar tambin que en cualquier otro punto x 6= 0 la funcin es derivable y se tiene que
f+0 (0) = lim+

f 0 (x) =

2x
1

x<0
x>0

Derivacin

53

4.2. Continuidad y derivabilidad

Proposicin 4.1 (Continuidad de las funciones derivables). Sea f una funcin denida
en un entorno del punto a. Si f es derivable en a entonces f es continua en a.
Demostracin:

f (x) f (a)
:
x a
Comprobemos la continuidad de f en a viendo que limx!a f (x) = f (a):
Tomando lmites en los dos miembros de la igualdad (con x 6= a)
Por hiptesis, existe f 0 (a) = limx!a

f (x)

f (a) = (x

a)

f (x)
x

f (a)
a

se tiene
lim (f (x)

x!a

f (a)) = lim (x

a) lim

x!a

x!a

f (x)
x

f (a)
= 0 f 0 (a) = 0
a

Conviene sealar que un razonamiento en todo similar al que se acaba de hacer demuestra
que la existencia de derivadas laterales de una funcion en un punto garantiza la continuidad
en dicho punto, an en el caso de que las derivadas laterales no coincidan y por tanto
la funcin no sea derivable. En cambio, si las derivadas laterales en un punto no existen
entonces la continuidad no est asegurada automticamente y, dependiendo del ejemplo
de que se trate, la funcin puede ser o no continua en el punto. Los dos ejemplos que
siguen ilustran todo lo dicho.
Ejemplo 4.5. Demostrar que la funcin valor absoluto f (x) = jxj es continua en R pero
no es derivable en el origen.
Que la funcin es continua en todo R excepto quiz en el cero resulta evidente. Para
comprobar la continuidad y la no derivabilidad en el cero basta, segn lo anteriormente
expuesto, comprobar que las derivadas laterales existen pero no son iguales. Se tiene que:
f+0 (0) = lim+

f (x)
x

x!0

f 0 (0) = lim
x!0

f (0)

f (x)

f (0)
x

= lim+
x!0

= lim
x!0

jxj
x
= lim+ = 1
x!0 x
x

jxj
x
= lim
=
x!0
x
x

Ejemplo 4.6. Demostrar que la funcin f (x) denida como

8
1
>
< x sen
x 6= 0
x
f (x) =
>
:
0
x=0

es continua en R pero no es derivable en el origen.

Derivacin

54

De nuevo por lo que respecta a la continuidad es claro que la funcin es continua en todo
R excepto quiz en el cero. Pero tambin es continua en el cero porque
lim x sen

x!0

1
= 0 = f (0)
x

ya que la funcin es producto de una funcin que tiende a cero y una funcin acotada.
Sin embargo en este caso no existen las derivadas laterales porque el
x sen
lim

x!0

1
x

0
0

= lim sen
x!0

1
x

no existe, ni cuando x tiende a cero por la derecha ni cuando tiende a cero por la izquierda.
En ocasiones se puede calcular la derivada de una funcin f (x) en un punto a calculando
los lmites laterales de la funcin derivada f 0 (x) cuando x ! a. El resultado preciso
que relaciona la derivabilidad de f en a con la existencia de los lmites laterales de f 0 en
dicho punto es la siguiente proposicin (cuya demostracin requiere resultados de captulos
posteriores):
Proposicin 4.2. Sea f una funcin continua en a y derivable en todos los puntos del
entorno (a
; a + ) salvo quiz en el propio punto a y sean los lmites laterales de f 0 en
a:
lim+ f 0 (x) = f 0 a+ ;
lim f 0 (x) = f 0 a
x!a

x!a

Se tiene entonces que

si f 0 a+ existe se cumple que f 0 a+
si f 0 a
existe se cumple que f 0 a

= f+0 (a)
= f 0 (a)

es decir, cuando los lmites laterales de la derivada existen, coinciden con las derivadas
laterales. Y de lo anterior se deduce que si los dos lmites laterales existen y coinciden
entonces existe f 0 (a) y coincide con el valor comn de los lmites laterales. Y tambin, si
los dos lmites laterales de la derivada existen pero no coinciden, entonces la funcin no
es derivable en a.
El ejemplo 4.5 ilustra la ltima armacin de la proposicin 4.2. Para la funcin f (x) =
jxj se tiene que f 0 (0+ ) = 1 y que f 0 (0 ) = 1 de donde se deduce que la funcin no es
derivable en el cero (como ya se haba comprobado directamente en el ejemplo).
La proposicin no dice nada con respecto a lo que ocurre en el caso de que los lmites
laterales no existan. De hecho en este caso la derivada en a puede o no existir como se
pone de maniesto en el siguiente ejemplo:
Ejemplo 4.7. En el ejemplo 4.6 la funcin all denida no es derivable en el cero y en
este caso los lmites laterales de la derivada no existen. En efecto:
1
x
1
sen
x

lim+ f 0 (x) = f 0 0+ = lim+ sen

x!0

lim f 0 (x) = f 0 0

x!0

x!0

= lim
x!0

1
1
cos
x
x
1
1
cos
x
x

Derivacin

55

Estos lmites laterales no existen pero de este hecho no se puede deducir que no exista
f 0 (0) (aunque en este ejemplo esta ltima armacin sea cierta). Que la no existencia de
f 0 (0) no es una consecuencia de la no existencia de f 0 (0+ ) y f 0 (0 ) lo prueba la siguiente
funcin:
8
1
>
< x2 sen
x 6= 0
x
g(x) =
>
:
0
x=0
que es derivable en el origen pese a que el lmite lateral de la derivada
lim+ g 0 (x) = g 0 0+ = lim+ 2x sen

x!0

x!0

1
x

cos

1
x

obviamente no existe (y lo mismo ocurre con el otro lmite lateral). Sin embargo s existe
g 0 (0) porque
1
x2 sen
0
x
lim
= 0 = g 0 (0)
x!0
x 0

4.3. Derivadas sucesivas de una funcin

El objetivo de este apartado es denir las derivadas sucesivas (derivada segunda, tercera
y en general derivada de orden n) de una funcin f . Se tiene la siguiente denicin por
lo que respecta a la derivada segunda:
Denicin 4.3 (Derivada segunda de una funcin). Se tiene una funcin
f : (c1 ; c2 ) ! R;

a 2 (c1 ; c2 )

y se supone que existe > 0 tal que para todo x 2 (a

; a + ) existe f 0 (x).
Bajo estas condiciones se dice que f es dos veces derivable en a o, lo que es equivalente,
que tiene derivada segunda en el punto a, si existe el lmite siguiente:
f 0 (x) f 0 (a)
= f 00 (a)
x!a
x a
y, caso de que exista, al valor del lmite se le llama derivada segunda de f en a y se denota
por f 00 (a).
lim

En palabras, la derivada segunda de una funcin en un punto a es la derivada de su

funcin derivada primera en dicho punto a. Es conveniente tener en cuenta que, lo mismo
que para denir f 0 (a) es necesario que exista f (x) para todos los x en un entorno de a,
cuando se trata de denir la derivada segunda f 00 (a) es necesario que exista f 0 (x) para
todos los x en un entorno de a (lo que por otra parte queda claro de la denicin de
f 00 (a)).
La denicin anterior se generaliza al caso de derivadas de orden superior de una funcin
dada f . La notacin que se suele usar es la de designar la derivada de orden n de
f en a (derivada n-sima de f en a) con el smbolo f (n) (a), aunque en el caso de las
derivadas primera y segunda se suele en muchos casos mantener la notacin f 0 (a) y f 00 (a)
respectivamente. Se tiene as la denicin:

Derivacin

56

Denicin 4.4 (Derivada de orden n de una funcin). Se tiene una funcin

f : (c1 ; c2 ) ! R;

a 2 (c1 ; c2 )

y se supone que existe > 0 tal que para todo x 2 (a

; a + ) existe f (n 1) (x).
Bajo estas condiciones se dice que f es n veces derivable en a o, lo que es equivalente,
que tiene derivada n-sima en el punto a, si existe el lmite siguiente:
lim

x!a

f (n

1)

(x)
x

f (n
a

1)

(a)

= f (n) (a)

y, caso de que exista, al valor del lmite se le llama derivada n-sima de f en a y se denota
por f (n) (a).
Aqu es aplicable el mismo comentario que se ha hecho en el caso de la derivada segunda:
para que tenga sentido la denicin de f (n) (a) es necesario que existan las primeras n 1
derivadas de f no solo en a, tambin en todos los puntos x 2 (a
; a + ). Como por
otra parte se sabe que si una funcin es derivable en un punto es tambin continua en
dicho punto, se deduce que, si existe f (n) (a), entonces en un entorno (a
; a + ) existen
todas las derivadas de f hasta el orden n 1 y todas ellas hasta el orden n 2 son
funciones continuas en (a
; a + ). La derivada de orden n 1 solo es derivable y por
tanto continua en a.
Una denicin que exige un poco ms a la funcin que solo la existencia de la derivada
f (n) (a) y que se usa con mucha frecuencia en los cursos de clculo es la que sigue:
Denicin 4.5 (Funciones de clase n). Se dice que una funcin f es de clase p 2 N
con p > 0 en un intervalo (a; b) y se escribe f 2 C p ((a; b)) cuando:
8x 2 (a; b) existen las derivadas f (n) (x) con n = 0; 1; 2; : : : p
La derivada f (p) (x) es una funcin continua en (a; b)
Se adopta el convenio de que f (0) (x) = f (x) y tambin es usual extender la denicin
anterior al caso p = 0 y decir de una funcin continua en (a; b) que es de clase 0 en (a; b),
f 2 C 0 ((a; b)).

Ejemplo 4.8. La derivada n-sima de la funcin f (x) = xm depende de la relacin entre

los valores de n y m; de forma que
8
m!
<
xm n
si n m
m(m 1):::(m n + 1)xm n =
(n)
f (x) =
(m n)!
: 0
si n > m

Derivacin

57

4.4. Reglas de derivacin

El proceso de calcular la derivada de una funcin puede parecer laborioso pues exige recurrir a la denicin de derivada y calcular el correspondiente lmite. Aunque en ocasiones
tal procedimiento es obligado, existen resultados que hacen posible calcular derivadas de
forma mecnica sin ni siquiera necesidad de recurrir a la denicin. Estos resultados son
los que permiten calcular las derivadas de sumas, multiplicaciones, divisiones y composicin de funciones a partir de las derivadas de las funciones que intervienen en cada una
de estas operaciones elementales.
Proposicin 4.3 (Derivadas de f + g; f g; cf; 1=g y f =g en funcin de las de f y g).
Sean f y g funciones derivables en el punto a: Entonces las funciones f + g; f g; cf; 1=g y
f =g son derivables en a (siempre que g (a) 6= 0 en los casos de 1=g y f =g) y se cumple:
(f + g)0 (a) = f 0 (a) + g 0 (a)
(f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a)
(cf )0 (a) = cf 0 (a):
1
g

f
g

g 0 (a)
g 2 (a)

(a) =

(a) =

f 0 (a)g(a) f (a)g 0 (a)

g 2 (a)

Demostracin:
En el caso del producto el cociente incremental de f g en a es:
(f g)(x)
x

(f g)(a)
f (x)g(x)
=
a
x
=

f (x)g(x)

= g(x)

f (x)
x

f (a)g(a)
a
f (a)g(x) + f (a)g(x)
x a
f (a)
g(x)
+ f (a)
a
x

f (a)g(a)

g(a)
a

y pasando al lmite:
(f g)(x)
x!a
x
lim

(f g)(a)
f (x)
= lim g(x) lim
x!a
x!a
a
x

f (a)
g(x)
+ f (a) lim
x!a
a
x

= g(a)f 0 (a) + f (a)g 0 (a)

puesto que f y g son derivables en a.
En el caso de 1=g con g (a) 6= 0 se tiene que:
1=g (x)
lim
x!a
x

1=g (a)
g (a) g (x)
= lim
=
x!a g (x) g (a) (x
a
a)

g 0 (x)
g 2 (a)

g(a)
a

Derivacin

58

teniendo en cuenta la denicin de derivada y la continuidad de g en a. La derivada de

f =g se obtiene de las dos que se acaban de demostrar teniendo en cuenta que f =g es el
producto de f y de 1=g.
La regla de derivacin del producto de dos funciones que se acaba de demostrar se puede
generalizar con facilidad para derivar el producto de n funciones fk con k = 1; 2; :::n que
son todas ellas derivables en a:
(f1 f2

fn )0 (a) = f10 (a)f2 (a) fn (a) + f1 (a)f20 (a)

n
X
Y
=
fk0 (a)
fj (a)
k=1

fn (a) + : : : + f1 (a)f2 (a)

fn0 (a)

j6=k

Las derivadas de las funciones trigonomtricas directas se calculan fcilmente a partir de

las del seno y del coseno.
Proposicin 4.4 (Derivadas del seno y del coseno). Se tiene que:
( sen x)0 = cos x
(cos x)0 =

sen x

Demostracin:
Para la funcin seno se tiene que:
lim

h!0

sen (a + h)
h

sen a

sen a cos h + cos a sen h sen a

h!0
h
sen a (cos h 1) + cos a sen h
= lim
h!0
h
2
2 sen a sen (h=2) + cos a sen h
= lim
= cos a
h!0
h
= lim

teniendo en cuenta que limh!0 ( sen h)=h = 1. En el caso del coseno se opera de forma
similar.
En ocasiones es necesario calcular la derivada n-sima del producto de dos funciones.
Existe una frmula, debida a Leibniz, que facilita este clculo.
Proposicin 4.5 (Frmula de Leibniz: derivada n-sima del producto). Sean f
y g dos funciones n veces derivables en un punto a. Entonces la derivada n-sima de la
funcin producto f g viene dada por:
(n)

(f g)

n
X
n (n
(a) =
f
k
k=0

k)

(a)g (k) (a)

conviniendo en que la derivada de orden cero de una funcin es la propia funcin.

Derivacin

59

Ejemplo 4.9. Sean las funciones f (x) =

x2
y g(x) = sen x. Calcular (f g)(31) (0):
2

Claramente se tiene que f (0) = 0 y f (n) (0) = 0 excepto para la derivada de orden 2, en
cuyo caso se tiene que f (2) (0) = 1.
En cuanto a la funcin g (x), g (0) = 0, las derivadas pares de g(x) en 0 valen todas ellas
0 y las impares van alternando su valor entre 1 y 1 puesto que g (2n+1) (x) = cos x si n es
par y g (2n+1) (x) = cos x si n es impar.
Aplicando la regla de Leibniz se tiene que:
(f g)(31) (0) =

31
X
31 (k)
f (0)g (31
k
k=0

k)

(0)

y el nico sumando distinto de cero es el correspondiente a k = 2. Por tanto:

(f g)(31) (0) =
puesto que 29 = 2

31 (29)
31 30 (29)
g (0) = 465g (29) (0) = 465
g (0) =
2
2

14 + 1 y por tanto se tiene que g (29) (0) = 1.

4.5. Derivada de la composicin de funciones (regla de la cadena)

y derivada de la funcin inversa de una dada

La frmula de derivacin para funciones compuestas se denomina regla de la cadena.
Recurdese que una funcin compuesta se obtiene "insertando" una funcin en otra y la
composicin de f y g se denota por g f y se dene (g f ) (x) = g(f (x)). Utilizando la
notacin de Leibniz se puede hacer una deduccin heurstica de la regla de la cadena de
la siguiente manera:
Si y = f (x) y z = g (x) son dos funciones derivables, componindolas obtenemos la funcin
z = g(f (x)). Diferenciando las funciones f y g se tiene que
dy = f 0 (x)dx dz = g 0 (y)dy
y si operamos algebraicamente con estos elementos diferenciales resulta
dz
dz dy
=
= g 0 (f (x)) f 0 (x)
dx
dy dx
que es precisamente el resultado de la regla de la cadena. De forma rigurosa se tiene el
siguiente teorema:
Teorema 4.6 (Regla de la cadena). Si f es derivable en a y g es derivable en f (a),
entonces la funcion compuesta g f es derivable en a y se cumple:
(g f )0 (a) = g 0 (f (a)) f 0 (a)

Derivacin

60

Demostracin:
Para una funcin h cualquiera derivable en un punto a se puede denir una funcin
la siguiente manera:
8
< h(x) h(a)
h0 (a) si x 6= a
(x) =
x
a
: 0
si x = a

de

que cumple que

h(x)

h(a) = [h0 (a) +

(x)] (x

y, puesto que h es derivable en a, se deduce que

limx!a (x) = 0 = (a).

a)

es continua en x = 0 porque

Aplicando este resultado a la funcin g que es derivable en f (a) resulta que se puede
escribir:
g(y)

g(f (a)) = [g 0 (f (a)) + (y)] (y

f (a)) con

funcin continua y nula en f (a):

Sustituyendo y por f (x) y dividiendo ambos miembros por x

de g f en a es:
g(f (x))
x

g(f (a))
= [g 0 (f (a)) +
a

Por la continuidad de f en a y
g(f (x))
x!a
x
lim

(f (x))]

en f (a) se tiene limx!a

g(f (a))
f (x)
= g 0 (f (a)) lim
x!a
a
x

a, el cociente incremental

f (x)
x

f (a)
a

(f (x)) = 0 y por tanto:

f (a)
= g 0 (f (a)) f 0 (a)
a

puesto que f es derivable en a. El primer miembro no es ms que la derivada de la funcin

compuesta lo que demuestra la regla de la cadena.
El resultado anterior permite calcular derivadas de la composicin de un nmero n arbitrario de funciones. Por ejemplo, si f3 es derivable en a3 , f2 es derivable en a2 = f3 (a3 ) y
f1 es derivable en a1 = f2 (a2 ), se tiene que f = f1 f2 f3 es derivable en a3 y se cumple
que:
f 0 (a3 ) = (f1 f2 f3 )0 (a3 ) = f10 ((f2 f3 ) (a3 )) (f2 f3 )0 (a3 )
= f10 ((f2 f3 ) (a3 )) f20 (f3 (a3 )) f30 (a3 )
= f10 (a1 ) f20 (a2 ) f30 (a3 )
Nos preguntaremos ahora sobre las condiciones que debemos imponer a una funcin f
inyectiva sobre un intervalo I y derivable en a 2 I para que su funcin inversa f 1 sea
derivable en el punto b = f (a):
Si aceptamos que f 1 es derivable en b y aplicamos la regla de la cadena para derivar en
y = b la identidad
(f

)(y) = y

se obtiene la igualdad
f 0 (f

(b))(f

1 0

) (b) = 1

Derivacin

61

Si f 0 (a) 6= 0 se puede despejar y obtener la expresin de la derivada de la inversa

(f

1 0

) (b) =

1
f 0 (f

1 (b))

1
f 0 (a)

Formalicemos estas ideas en el siguiente resultado:

Teorema 4.7 (Derivada de la funcin inversa). Sea f una funcin inyectiva y continua sobre un intervalo I. Si f es derivable en un punto a 2 I y f 0 (a) 6= 0 entonces la
funcin inversa f 1 es derivable en el punto b = f (a): Adems se cumple:
(f

1 0

) (b) =

1
f 0 (a)

1
f 0 (f 1 (b))

Los dos teoremas anteriores permiten calcular derivadas de funciones ms complicadas

que las que se obtienen con las reglas de derivacin del apartado anterior. Como ejemplo
se tiene la siguiente proposicin:
Proposicin 4.8. Se tiene la funcin f : R+ ! R+ denida como f (x) =
p
q; p 2 N y q 6= 0. Entonces se cumple que f 0 (x) = x(p=q) 1 .
q

p
q

xp con

Demostracin:
p
Se calcula en primer lugar la derivada de la funcin g (x) = q x = x1=q con ayuda
del teorema 4.7. La funcin inversa de g es la funcin g 1 (x) = xq cuya derivada es
0
(g 1 ) (x) = qxq 1 . Por tanto, segn el teorema 4.7 se tiene que
g 0 (x) =

(g

1 )0

1
1
1
=
=
0
q
1
1=q
1=q
(g (x))
(g ) (x )
q (x )

1
= x(1=q)
q

La funcin f del enunciado es la composicin de la funcin g que se acaba de denir y la

funcin s (x) = xp , f = g s. Por tanto, teniendo en cuenta que s0 (x) = pxp 1 y aplicando
la regla de la cadena:
f 0 (x) = g 0 (s (x)) s0 (x) =

1 p (1=q)
(x )
q

pxp

p
= x(p=q)
q

p
Ejemplo 4.10. La funcin
h(x)
=
x2 + 1 puede expresarse como la composicin de
p
2
f (x) = x + 1 con g(x) = x y las derivadas de f y g son conocidas. Aplicando la regla
de la cadena a la funcin h(x) = g(f (x)) se tiene que:
x
1
2x = p
h0 (x) = g 0 (f (x))f 0 (x) = p
x2 + 1
2 f (x)

Derivacin

62

Ejemplo 4.11. Estudiar donde la funcin polinmica f (x) = x2

0
derivable y calcular (f 1 ) (0).

2x

3 admite inversa

La funcin es inyectiva 8x 2 [1; 1) al tratarse de una parbola con vrtice en el punto

(1; 4). Por tanto f : [1; 1) ! [ 4; 1) admite funcin inversa f 1 que ser derivable en
( 4; 1) puesto que la derivada f 0 (x) = 2x 2 solo se anula en x = 1 y f (1) = 4.
0
Para calcular el valor de (f 1 ) (0), segn el teorema anterior se tiene que
f

1 0

(0) =

1
f 0 (f 1 (0))

y por tanto hay que calcular el valor de f 1 (0) que viene dado por la nica solucin de la
ecuacin x2 2x 3 = 0 en [1; 1). La ecuacin x2 2x 3 = 0 tiene como soluciones
x = 3 y x = 1 y por tanto f 1 (0) = 3 y:
f

1 0

(0) =

1
1
=
f 0 (3)
4

Teoremas del valor medio

5.

63

Teoremas del valor medio

5.1. Extremos locales. Condicin necesaria de extremo local

Denicin 5.1 (Extremos locales de una funcin). Sea una funcin f : (a; b) ! R
y sea x0 2 (a; b).
Se dice que f alcanza en x0 un mximo o un mnimo local si
9 > 0 tal que 8x 2 (x0

; x0 + ) se cumple que

f (x)
f (x)

f (x0 ) mximo local

f (x0 ) mnimo local
(5.1)

Tanto si la funcin f tiene en x0 un mximo local como si tiene un mnimo local se dice
que tiene en x0 un extremo local.
Se dice que el mximo local es estricto cuando en la denicin anterior se puede
sustituir f (x) f (x0 ) por f (x) < f (x0 ) excepto para x = x0 y que el mnimo local es
estricto cuando se puede sustituir f (x) f (x0 ) por f (x) > f (x0 ) excepto para x = x0 .
Si la funcin f est tambin denida en los extremos del intervalo f : [a; b] ! R se puede
tambin denir lo que signica que f alcance en a o en b un extremo local. Por ejemplo,
se dice que f alcanza en a un mximo o un mnimo local si
9 > 0 tal que 8x 2 [a; a + ) se cumple que

f (x)
f (x)

f (a) mximo local

f (a) mnimo local

(5.2)

y la denicin en el caso de b es obvia.

Las deniciones anteriores deben compararse con las correspondientes de mximo y mnimo global en la denicin (3.2). Es claro que cuando, por ejemplo, se dice que f en (a; b)
tiene un mximo global en x0 se exige que f (x0 ) sea mayor o igual que el valor de f en
cualquier otro punto del conjunto (a; b). En cambio para que f tenga un mximo local en
x0 basta que f (x0 ) sea mayor o igual que el valor de f en todos los puntos de un entorno
de x0 que adems puede ser tan pequeo como uno quiera (al radio del entorno > 0 no
se le exige ningn tamao especial). Por tanto la denicin de extremo local es menos
restrictiva que la de extremo global, es decir:
f tiene un extremo global en x0 ) f tiene un extremo local en x0
y la implicacin contraria no es cierta en general.
En este captulo se estudian condiciones necesarias y sucientes para que una funcin f
tenga un extremo local en un cierto punto x0 . Como se ver a continuacin todas estas
condiciones pasan por estudiar el signo de las derivadas de f en el punto en cuestin x0 ,
razn por la cual solo sirven para detectar extremos locales y nunca extremos globales. No
hay que olvidar que las propiedades de f 0 (x0 ) dan informacin solo sobre lo que le ocurre
a la funcin en un entorno de x0 que es precisamente lo que se necesita para estudiar si
la funcin tiene o no un extremo local en x0 .
El primero de estos resultados es el siguiente teorema:

Teoremas del valor medio

64

Teorema 5.1 (Teorema de Fermat: condicin necesaria de extremo local). Sea

f : (a; b) ! R con x0 2 (a; b) y f derivable en x0 . Entonces se cumple que
f tiene un extremo local en x0 ) f 0 (x0 ) = 0
Demostracin:
Si la funcin f es derivable en x0 entonces existen las derivadas laterales por la derecha y
por la izquierda en x0 y coinciden, es decir, existen los lmites:
lim+

x!x0

f (x)
x

f (x)
f (x0 )
= lim
x0
x
x!x0

f (x0 )
= f 0 (x0 )
x0

Por otro lado, si la funcin tiene, por ejemplo, un mximo local en x0 debe cumplirse para
puntos x sucientemente prximos a x0 que f (x) f (x0 ). En el primero de los lmites
f (x) f (x0 )
se tiene que x > x0 y por tanto, como f (x) f (x0 ), el cociente
0 para
x x0
todos los x sucientemente prximos a x0 y a su derecha. En el segundo de los lmites
f (x) f (x0 )
x < x0 lo que, junto con f (x) f (x0 ), signica que
0 para todos los x
x x0
sucientemente prximos a x0 y a su izquierda. Como ambos lmites deben coincidir y
el primero solo puede ser negativo o cero y el segundo positivo o cero, la nica solucin
posible es que f 0 (x0 ) = 0. En el caso de un mnimo local se razona de manera totalmente
anloga.
Los puntos x en los que f 0 (x) = 0 se llaman puntos estacionarios de la funcin
f de modo que el teorema de Fermat lo que dice es que, si una funcin es derivable, los
puntos en los que f puede alcanzar un extremo local son puntos estacionarios de f (lo que
no signica que f tenga obligatoriamente que alcanzar extremo local en todos los puntos
estacionarios).
Hay que tener tambin en cuenta la hiptesis de derivabilidad del teorema. Nada impide
que la funcin f alcance un extremo local en un punto x0 en el que f no es derivable.

5.2. Teorema de Rolle. Teorema del valor medio

El teorema de Fermat permite demostrar un resultado de importancia conocido con el
nombre de teorema de Rolle, a partir del cual se demuestra una generalizacin que se
conoce como teorema del valor medio. El teorema del valor medio es un resultado de uso
casi inevitable cuando se quiere obtener informacin sobre el comportamiento global de
una funcin f a partir de propiedades de f 0 (x). En captulos posteriores se recurre a l
con mucha frecuencia.
Teorema 5.2 (Teorema de Rolle). Sea una funcin f : [a; b] ! R que cumple las
siguientes propiedades:
f es continua en [a; b]
f es derivable en (a; b)
f (a) = f (b)

Teoremas del valor medio

65

Entonces se cumple que existe al menos un punto x0 2 (a; b) en el que f 0 (x0 ) = 0 (en el
caso de que f (a) = f (b) = 0 el teorema arma que entre cada dos ceros de la funcin al
menos hay un cero de la derivada).
Demostracin:
La demostracin hace uso del teorema 3.10 que arma que una funcin continua en un
compacto [a; b] alcanza en [a; b] mximo y mnimo globales. Supngase que en nuestro
caso f alcanza el mximo M en el extremo inferior del intervalo a y el mnimo global
m en el extremo superior b (o viceversa). Como por hiptesis f (a) = f (b) resulta que
M = m y si el mximo y el mnimo valen lo mismo entonces la funcin es constante en
todo [a; b] y su derivada es nula en todos los puntos del intervalo con lo que el teorema
queda probado.
Otra posibilidad es que el mximo global o el mnimo global o ambos se alcancen en
el interior del intervalo. Supongamos por ejemplo que f alcanza el mximo global en
x0 2 (a; b) (el resto de posibilidades se razona igual). Entonces f alcanza tambin en x0
un mximo local y, por aplicacin del teorema de Fermat (teorema 5.1), se deduce que
f 0 (x0 ) = 0.
El siguiente teorema es una generalizacin del teorema de Rolle.
Teorema 5.3 (Teorema del valor medio). Sea una funcin f : [a; b] ! R que cumple
las siguientes propiedades:
f es continua en [a; b]
f es derivable en (a; b)
Entonces se cumple que existe al menos un punto x0 2 (a; b) en el que
f 0 (x0 ) =

f (b)
b

f (a)
a

Demostracin:
El teorema se demuestra deniendo una funcin
g(x) = f (x)

f (a) + (x

a)

f (b)
b

f (a)
a

que geomtricamente es para cada valor de x jo la distancia vertical entre la grca de

f (x) y la recta que pasa por los puntos del plano (a; f (a)) y (b; f (b)). g(x) es obviamente
continua en [a; b] y derivable en (a; b) porque f (x) y la funcin x lo son y se cumple que
g(a) = g(b) = 0. El teorema de Rolle 5.2 aplicado a la funcin g asegura que existe al
menos un punto x0 2 (a; b) tal que g 0 (x0 ) = 0, de donde se deduce que
g 0 (x0 ) = f 0 (x0 )

f (b)
b

f (a)
=0
a

que es el resultado que se quiere demostrar.

Geomtricamente el teorema signica que, como se muestra en la gura 5.1, existe siempre
un punto x0 en el que la recta tangente a la grca de f (x) es paralela a la recta que pasa
por los puntos (a; f (a)) y (b; f (b)) (de hecho en el caso de la gura existen dos puntos x0
con esa propiedad aunque en la gura solo se ha representado uno de ellos).

Teoremas del valor medio

66

El teorema del valor medio

y0= f(x0)

x0

Figura 5.1.
El teorema de Rolle y su generalizacin, el teorema del valor medio, sirven en ocasiones
para dar informacin sobre los ceros de una funcin a partir de los de su derivada como
se pone de maniesto en el siguiente ejemplo:
Ejemplo 5.1. Calcular el nmero de raices de la ecuacin f (x) = cos x+x sen x x2 = 0.
Es inmediato comprobar que la ecuacin tiene como mnimo dos raices porque f (0) = 1
y limx!1 f (x) = 1 y limx! 1 f (x) = 1. Como f es una funcin continua y pasa
de ser positiva en x = 0 a ser negativa en +1 tiene a la derecha de x = 0 al menos un
cero (teorema de Bolzano) y por la misma razn, como cambia de signo entre 1 y 0,
tiene como mnimo otro cero a la izquierda de x = 0. Del teorema de Bolzano se deduce
por tanto que la funcin tiene como mnimo dos ceros y, consiguientemente, la ecuacin
f (x) = 0 tiene como mnimo dos raices.
Para comprobar que son solo dos basta calcular f 0 (x) = sen x+ sen x + x cos x 2x =
x (cos x 2) de donde se deduce que el nico punto en el que se anula la derivada es
x = 0. El teorema de Rolle permite entonces armar que f solo se puede anular en, a
lo sumo, dos puntos. En efecto, supngase que f se anulara en 3 puntos x0 ; x1 y x2 . El
teorema de Rolle dice que entre cada dos ceros de la funcin hay al menos un cero de la
derivada y por tanto, si f se anulara en 3 puntos, la derivada debera anularse en 2, cosa
que no ocurre.
Por tanto, el teorema de Bolzano arma que f (x) = 0 tiene como mnimo dos raices y el
teorema de Rolle que tiene a lo sumo dos, de donde se deduce que hay dos raices.
Es bien conocido el resultado de que una funcin constante en un intervalo tiene derivada
nula en todos los puntos del intervalo. El resultado contrario tambin es cierto pero la
demostracin no es tan evidente y hace uso del teorema del valor medio.
Proposicin 5.4.
1. Sea una funcin f : [a; b] ! R continua en [a; b] y derivable en (a; b) y tal que
8x 2 (a; b) se cumple que f 0 (x) = 0. Entonces se tiene que f es constante en [a; b].

Teoremas del valor medio

67

2. Sean dos funciones f; g : [a; b] ! R continuas en [a; b] y derivables en (a; b) y tales

que 8x 2 (a; b) se cumple que f 0 (x) = g 0 (x). Entonces se tiene que 8x 2 [a; b] se
cumple que f (x) = g(x) + K donde K es una constante real.
Demostracin:
El primero de los apartados se demuestra tomando dos puntos cualesquiera x0 y x1 del
intervalo [a; b]. El teorema del valor medio aplicado al intervalo [x0 ; x1 ] asegura que existe
f (x1 ) f (x0 )
pero como la derivada de f se anula en
un punto z 2 (x0 ; x1 ) tal que f 0 (z) =
x1 x0
todos los puntos, se anula en particular en z y de f 0 (z) = 0 se obtiene que f (x1 ) = f (x0 ).
Como esto es verdad para cualquier pareja de puntos, se deduce que f es constante en
[a; b].
Para el segundo apartado basta aplicar el teorema del valor medio a la funcin f g y se
llega a la conclusin de que f (x) g(x) es constante para todo x 2 [a; b].
El siguiente resultado es otra consecuencia del teorema del valor medio que caracteriza
las funciones montonas crecientes y decrecientes en trminos del signo de su derivada
primera.
Proposicin 5.5. Sea una funcin f : [a; b] ! R continua en [a; b] y derivable en (a; b).
Se tiene que:
1. f montona creciente en [a; b] , 8x 2 (a; b) ; f 0 (x)
2. f montona decreciente en [a; b] , 8x 2 (a; b) ; f 0 (x)

0.
0.

Demostracin:
Se demuestra la primera de las armaciones porque la segunda se hace de forma totalmente
anloga. Para demostrar la implicacin de izquierda a derecha se tiene en cuenta que como
la funcin es derivable 8x 2 (a; b) se cumple que
lim+

h!0

f (x + h)
h

f (x)

= f 0 (x)

Como por hiptesis se tiene que f es montona creciente en [a; b], entonces f (x+h) f (x)
para todo h > 0 y por tanto v(h) = (f (x + h) f (x)) =h
0 de donde se deduce que
f 0 (x) 0 8x 2 (a; b) porque el lmite de la funcin no negativa v(h) no puede ser negativo.
Para la implicacin contraria (de derecha a izquierda) se toman dos puntos cualesquiera
x0 y x1 del intervalo [a; b] (que en particular pueden ser los puntos a y b). Sea x0 < x1 .
Por el teorema del valor medio aplicado al intervalo [x0 ; x1 ] se tiene que existe un punto
f (x1 ) f (x0 )
z 2 (x0 ; x1 ) tal que se cumple que f 0 (z) =
y como por hiptesis se tiene
x1 x0
0
que f (z) 0, se deduce que f (x1 ) f (x0 ) y por tanto la funcin es montona creciente.
Notar que en la demostracin anterior solo es necesario el teorema del valor medio en el
caso de la implicacin de derecha a izquierda. En la implicacin de izquierda a derecha
solo se usa la denicin de derivada y el hecho de que si v(h)
0 con h > 0 entonces
forzosamente limh!0+ v(h) 0. Precisamente porque las demostraciones de las dos implicaciones son sustancialmente distintas, solo la implicacin de derecha a izquierda en la
parte 1 de la proposicin 5.5 sigue siendo cierta cuando se cambia f montona creciente

Teoremas del valor medio

68

por f estrictamente creciente y se sustituye f 0 (x) 0 por f 0 (x) > 0 (y solo la implicacin
de derecha a izquierda sigue siendo cierta en la parte 2 cuando se cambia f montona
decreciente por f estrictamente decreciente y se sustituye f 0 (x) 0 por f 0 (x) < 0). Es
decir, se tiene el resultado:
Proposicin 5.6. Sea una funcin f : [a; b] ! R continua en [a; b] y derivable en (a; b).
Se tiene que:
1. 8x 2 (a; b) ; f 0 (x) > 0 ) f estrictamente creciente en [a; b].
2. 8x 2 (a; b) ; f 0 (x) < 0 ) f estrictamente decreciente en [a; b].
Demostracin:
La demostracin es idntica a la de la proposicin anterior. En el caso de la parte 1 se
toman dos puntos cualesquiera x0 y x1 del intervalo [a; b] con x0 < x1 . Por el teorema
del valor medio aplicado al intervalo [x0 ; x1 ] se tiene que existe un punto z 2 (x0 ; x1 ) tal
f (x1 ) f (x0 )
que se cumple que f 0 (z) =
y como por hiptesis se tiene que f 0 (z) > 0, se
x1 x0
deduce que f (x1 ) > f (x0 ) y por tanto la funcin es estrictamente creciente.
La implicacin contraria, como se acaba de decir, ahora no es cierta porque si se quisiera
repetir la demostracin de la proposicin 5.5 con desigualdades estrictas se tendra que,
con la v(h) denida en 5.5, si f es estrictamente creciente entonces v(h) > 0 con h > 0.
Pero de ah no se deduce que limh!0+ v(h) > 0 sino solo que limh!0+ v(h) 0. Por tanto
f estrictamente creciente en [a; b] solo garantiza que f 0 (x) 0 pero no que f 0 (x) > 0. Por
ejemplo, la funcin f (x) = x3 es estrictamente creciente en [0; 1] y sin embargo f 0 (0) = 0.
5.3. Existencia local de la funcin inversa
Otro de los resultados tpicos que se obtienen a partir del teorema del valor medio tiene
que ver con una condicin suciente para la existencia local de la funcin inversa. En
primer lugar conviene recordar lo que ya se dijo sobre la existencia de la funcin inversa
de una funcin dada f . Si f es suprayectiva, lo que est automticamente asegurado si se
hace coincidir el espacio de llegada con el recorrido de la funcin, f tiene inversa si y solo
si es inyectiva. Como tambin se ha comentado en el captulo anterior, es relativamente
frecuente que una funcin f : A ! R no sea inyectiva sobre todo su dominio A pero s
lo sea si se dene sobre un subconjunto B
A. sto lleva a denir lo que se entiende
por inversa local de una funcin f en un entorno de un punto x0 : se dice que f tiene
inversa local en un entorno de x0 si existe > 0 tal que f es inyectiva en el
intervalo (x0
; x0 + ). Es decir, la funcin f : (x0
; x0 + ) ! f (x0
; x0 + )
1
tiene inversa local denida como: f : f (x0
; x0 + ) ! (x0
; x0 + ).
La condicin de que f sea inyectiva no es fcil de comprobar en muchas ocasiones. Sin embargo, el siguiente resultado da una condicin suciente de inyectividad local en trminos
de la derivada que resulta ms operativa:
Proposicin 5.7 (Existencia de la funcin inversa local). Sea una funcin f : (a; b) !
R derivable en (a; b) y x0 2 (a; b). Sea f 0 (x0 ) 6= 0 y sea f 0 continua en x0 .
Entonces f admite inversa local en un entorno de x0 .

Teoremas del valor medio

69

Demostracin:
Supongamos que f 0 (x0 ) > 0 (en el caso en que f 0 (x0 ) < 0 se razona de la misma manera).
Como f 0 es continua en x0 eso signica que existe un entorno de radio > 0 en donde la
funcin f 0 es distinta de 0 y tiene el mismo signo que en x0 :
Existe

> 0 tal que para todo x 2 (x0

; x0 + ) se tiene que f 0 (x) > 0

Por aplicacin del resultado 5.6 eso signica que f es estrictamente creciente en (x0
; x0 + )
y, por tanto, inyectiva en (x0
; x0 + ). Luego admite inversa local en dicho intervalo.

5.4. Condiciones sucientes de extremo local

La condicin necesaria de extremo local 5.1 permite demostrar el teorema de Rolle y el
teorema del valor medio. Este ltimo teorema se usa ahora para demostrar condiciones
sucientes de extremo local de primer orden, cuando solo se presupone la existencia de la
derivada primera de la funcin en cuestin y de segundo orden cuando tambin se puede
suponer que existe la derivada segunda.
Proposicin 5.8 (Condicin suciente de extremo local de orden 1). Sea una funcin f : (a; b) ! R derivable en (a; b) y x0 2 (a; b) con f 0 (x0 ) = 0.
Si existe > 0 tal que 8x 2 (x0
; x0 ) se cumple que f 0 (x)
0 (f 0 (x) > 0) y
8x 2 (x0 ; x0 + ) se cumple que f 0 (x)
0 (f 0 (x) < 0) entonces f tiene en x0 un
mximo local (mximo local estricto).
Si existe > 0 tal que 8x 2 (x0
; x0 ) se cumple que f 0 (x)
0 (f 0 (x) < 0) y
0
0
8x 2 (x0 ; x0 + ) se cumple que f (x)
0 (f (x) > 0) entonces f tiene en x0 un
mnimo local (mnimo local estricto).
Demostracin:
En el caso del mximo (para el mnimo se opera de la misma manera) se elige arbitrariamente un punto x 2 (x0
; x0 ) y se considera el intervalo (x; x0 ) en el que se puede
aplicar el teorema del valor medio que dice que existe un punto 2 (x; x0 ) con la propiedad
de que
f (x0 ) f (x)
f 0( ) =
x0 x
0
y como (x0 x) > 0 y por hiptesis f ( ) 0, se deduce que (f (x0 ) f (x)) 0 o bien
f (x0 ) f (x), lo que demuestra que el valor de f en x0 es mayor o igual que el valor de
f en puntos a la izquierda de x0 y sucientemente prximos a l.
Eligiendo arbitrariamente x 2 (x0 ; x0 + ), considerando el intervalo (x0 ; x) y aplicando
el teorema del valor medio, existe un punto 2 (x0 ; x) con la propiedad de que
f 0( ) =

f (x)
x

f (x0 )
x0

y como (x x0 ) > 0 y por hiptesis f 0 ( ) 0, se deduce que (f (x) f (x0 )) 0 o bien

f (x0 ) f (x) para cualquier punto x a la derecha de x0 y sucientemente prximo a l
(Si los menores o iguales en las desigualdades con las derivadas del enunciado se pueden

Teoremas del valor medio

70

sustituir por estrictamente menores y los mayores o iguales por estrictamente mayores se
concluye, razonando de la misma manera, que se tiene un mximo local estricto).
Notar que la hiptesis de que f 0 (x0 ) = 0 en el resultado anterior no se usa para nada
en la demostracin y por tanto podra suponerse que no es necesaria, lo que contradice
el teorema de Fermat 5.1 en el que se demuestra que es condicin necesaria para que
la funcin f tenga en x0 un extremo local. La aparente contradiccin surge del hecho
de que en 5.8 la hiptesis no es necesaria como tal hiptesis porque se puede demostrar
que se deduce directamente de la hiptesis sobre el signo de la derivada a la izquierda
y a la derecha de x0 . En efecto, el teorema del valor medio asegura que los cocientes
incrementales
f (x)
x
f (x)
x

f (x0 )
x0
f (x0 )
x0

0 8x 2 (x0

; x0 )

0 8x 2 (x0 ; x0 + )

y los lmites x ! 0 de ambos cocientes son las derivadas laterales y deben coincidir y ser
iguales a f 0 (x0 ) porque f es derivable en x0 . Luego la nica posibilidad es que f 0 (x0 ) = 0.
Como esta armacin puede no resultar evidente, se preere incluir f 0 (x0 ) = 0 entre las
hiptesis de 5.8 para enfatizar el hecho de que se cumple.
Proposicin 5.9 (Condicin suciente de extremo local de orden 2). Sea una funcin f : (a; b) ! R derivable en (a; b) ; x0 2 (a; b) con f 0 (x0 ) = 0 y existe f 00 (x0 ). Entonces:
Si f 00 (x0 ) < 0 f tiene en x0 un mximo local estricto.
Si f 00 (x0 ) > 0 f tiene en x0 un mnimo local estricto.
Demostracin:
En el caso del mximo se tiene que
lim
x!x0

f 0 (x0 )
x0

f 0 (x)
= f 00 (x0 ) < 0
x

Si el lmite de una funcin g (x) es estrictamente menor que 0, lim g(x) < 0, entonces
x!x0

para valores de x sucientemente prximos a x0 por la izquierda se cumple que g(x) < 0.
Como x0 x > 0; en nuestro caso debe ocurrir que f 0 (x0 ) = 0 < f 0 (x) para todo
x 2 (x0
; x0 ) y por el mismo tipo de razonamiento aplicado al otro lmite lateral se
llega a la conclusin de que f 0 (x0 ) = 0 > f 0 (x) para todo x 2 (x0 ; x0 + ). Aplicando
entonces la proposicin 5.6 se llega a la conclusin de que f es estrictamente creciente
en [x0
; x0 ] y estrictamente decreciente en [x0 ; x0 + ] de donde se deduce que tiene un
mximo estricto en x0 .

Concavidad y convexidad

6.

71

Funciones convexas. La regla de LHospital

6.1. Funciones cncavas y convexas: denicin y propiedades ele-

mentales
Denicin 6.1 (Funciones cncavas y convexas). Sea una funcin f : I
R ! R.
Se dice que f es convexa en I si para todo intervalo [a; b] I y 8x 2 [a; b] se cumple
que:
f (b) f (a)
f (b) f (a)
f (x) f (a) +
(x a) = f (b) +
(x b)
(6.1)
b a
b a
donde la verdadera denicin es la desigualdad y la igualdad no es ms que otra manera
de escribir el segundo miembro.
f es cncava en I si para todo intervalo [a; b] I y 8x 2 [a; b] se cumple que:
f (x)

f (a) +

f (b)
b

f (a)
(x
a

(6.2)

a)

y tambin se puede denir la concavidad diciendo que f es cncava si

f es convexa.

En las deniciones anteriores los valores a y b son dos puntos cualesquiera del intervalo
de denicin de f y la ecuacin
s(x) = f (a) +

f (b)
b

f (a)
(x
a

a)

es la ecuacin de la recta que pasa por los puntos del plano (a; f (a)) y (b; f (b)). Las
ecuaciones anteriores (6.1) y (6.2) se escriben como f (x) s(x) y f (x) s(x) y expresan
la propiedad geomtrica de que la grca de la funcin f entre a y b queda por
debajo de la recta secante a la grca en a y b en el caso de que f sea convexa
y por encima en el caso de que sea cncava (gura 6.1).

funcin cncava

funcin convexa

Figura 6.1.

Concavidad y convexidad

72

Otra interpretacin geomtrica se obtiene si se escribe (6.1) como

f (x)
x

f (a)
a

f (b)
b

f (a)
a

o bien como

f (b)
b

f (x)
x

f (b)
b

f (a)
a

(6.3)

y se consideran los tres puntos a < x < b. En primer lugar, teniendo en cuenta que el
cociente (f (b) f (a)) = (b a) es el mismo en ambas desigualdades, de ellas se deduce que
cualquier recta secante que pase por (a; f (a)) y por (x; f (x)) con a < x tiene pendiente
menor o igual que cualquier recta secante que pase por (b; f (b)) y por (x; f (x)) con x < b.
Si en la primera desigualdad en (6.3) se considera a jo y x y b dos puntos a su derecha,
la desigualdad dice que las recta secante a f en a y un punto c a su derecha tiene una
pendiente que disminuye cuando c ! a+ .
Si en la segunda desigualdad en (6.3) se considera b jo y x y a dos puntos a su izquierda,
la desigualdad dice que las recta secante a f en b y un punto c a su izquierda tiene una
pendiente que aumenta cuando c ! b .
De todo ello se deduce que si f es convexa y si x0 < x1 < x2 <
xn , las rectas que
cortan la grca de f en x = a jo y x = xj tienen pendientes que aumentan
cuando el ndice j aumenta. Si f es cncava ocurre lo contrario (gura 6.1).
Es muy corriente usar en lugar de la variable x en (6.1) y (6.2) la variable t denida como
x a
b x
t=
con t 2 [0; 1] cuando x 2 [a; b]. Entonces 1 t =
y x = a + t (b a) =
b a
b a
(1 t) a + tb y las deniciones anteriores en funcin de t se transforman en:
f ((1
f ((1

t) a + tb)
t) a + tb)

(1
(1

t) f (a) + tf (b)
t) f (a) + tf (b)

funciones convexas
funciones cncavas

(6.4)
(6.5)

con t 2 [0; 1].

Las deniciones anteriores no exigen nada sobre la derivabilidad de la funcin. En el caso
de que f sea derivable en un punto se pueden estudiar los casos lmite de (6.3). Si f es
derivable en a, tomando el lmite x ! a+ en la primera de las ecuaciones (6.3) se tiene
que
f (x) f (a)
f (b) f (a)
lim+
= f 0 (a)
(6.6)
x!a
x a
b a
y si f es derivable en b, tomando el lmite x ! b en la segunda:
lim

x!b

f (b)
b

f (x)
= f 0 (b)
x

f (b)
b

f (a)
a

(6.7)

En el caso de que f sea cncava basta cambiar el menor o igual por mayor o igual y
viceversa. De (6.6) y (6.7) se obtiene fcilmente que si f es convexa y derivable en
un punto x0 entonces la recta t(x) tangente a f en x0 est por debajo de la
grca de f :
t(x) = f (x0 ) + f 0 (x0 ) (x
Lo contrario ocurre si f es cncava.

x0 )

f (x)

Concavidad y convexidad

73

rectas tangentes a la grfica

de una funcin convexa

Figura 6.2.
Otras propiedades tiles de las funciones cncavas y convexas son los dos siguientes resultados, el segundo de los cules es una caracterizacin que permite comprobar en la
prctica si una funcin derivable es cncava o convexa:
Proposicin 6.1. Sea f : (a; b) ! R una funcin convexa o cncava en (a; b). Entonces
se tiene que 8x 2 (a; b) existen las derivadas laterales f 0 (x) y f+0 (x) y por tanto 8x 2
(a; b) ; f (x) es continua. Adems, si la funcin es convexa f 0 (x) f+0 (x) y si es cncava
ocurre lo contrario.

Proposicin 6.2 (Caracterizacin de las funciones cncavas y convexas). Sea una

funcin f : (a; b) ! R derivable en (a; b). Entonces se tiene que:
f convexa en (a; b) , f 0 montona creciente en (a; b)
f cncava en (a; b) , f 0 montona decreciente en (a; b)
Como consecuencia de estas dobles implicaciones, si para todo x 2 (a; b) existe f 00 (x), se
tiene que:
f convexa en (a; b) , 8x 2 (a; b) ; f 00 (x)
f cncava en (a; b) , 8x 2 (a; b) ; f 00 (x)

0
0

Demostracin:
Se demuestra la doble implicacin para funciones convexas y la de las funciones cncavas es
totalmente equivalente. Para la implicacin de izquierda a derecha se deduce directamente
de (6.6) y (6.7) que si a < b entonces f 0 (a) f 0 (b).
Para la implicacin contraria, sean tres puntos a < x < b. El teorema del valor medio
asegura que existen un 2 (a; x) y un 2 (x; b) tales que:
f (x)
x

f (a)
= f0 ( ) ;
a

f (b)
b

f (x)
= f0 ( )
x

Concavidad y convexidad

74

y como la derivada primera es montona creciente se tiene que f 0 ( )

c1 =

f (x)
x

f (a)
a

c2 =

f (b)
b

f 0 ( ) y por tanto

f (x)
x

lo que signica que la recta que pasa por (a; f (a)) y por (x; f (x)) con a < x tiene
pendiente c1 menor que la pendiente c2 de la que pasa por (x; f (x)) y por (b; f (b)) con
x < b. Geomtricamente la pendiente de la recta que pasa por (a; f (a)) y por (b; f (b))
tiene que ser mayor o igual que c1 y menor o igual que c2 y por tanto se tiene que
c1 =

f (x)
x

f (a)
a

f (b)
b

f (a)
a

c2 =

f (b)
b

f (x)
x

que son las desigualdades (6.3).

6.2. Puntos de inexin

Denicin 6.2 (Punto de inexin de la grca de una funcin). Sea una funcin
f : (a; b) R ! R y x0 2 (a; b). Se dice que f tiene un punto de inexin en x0 si
existe > 0 tal que
f (x) es cncava en (x0

; x0 ] y f (x) es convexa en [x0 ; x0 + )

o bien se cumple (como en la gura 6.3) que

f (x) es convexa en (x0

; x0 ] y f (x) es cncava en [x0 ; x0 + )

punto de inflexin en x

Figura 6.3.
En el caso de que la funcin f sea derivable en el punto x0 (como ocurre en la gura 6.3)
la recta tangente a la grca de la funcin en el punto de inexin x0 est por debajo de
la grca a la derecha de x0 y por encima a la izquierda o viceversa.

Concavidad y convexidad

75

Proposicin 6.3 (Condicin necesaria de punto de inexin). Se tiene una funcin f : (a; b) ! R, un punto x0 2 (a; b) y existe f 00 (x0 ). Si f tiene en x0 un punto de
inexin entonces f 00 (x0 ) = 0.
Ejemplo 6.1. Demostrar que la funcin f (x) = x3
en x = 0.

x5 + x=2 tiene un punto de inexin

Como la funcin es un polinomio, es derivable en todo R. Se estudia el crecimiento o

decrecimiento de f 0 (x) en un entorno de x = 0. f 0 (x) = 3x2 5x4 + 1=2 y f 00 (x) =
6x 20x3 = 2x (3 10x2 ) de donde se deduce que en un entorno sucientemente pequeo
del cero se tiene que f 00 (x) > 0 para x > 0 y f 00 (x) < 0 para x < 0. Luego en un entorno
del cero se tiene que f 0 (x) es creciente para x > 0 y es decreciente para x < 0 y por tanto,
segn la proposicin 6.2, la funcin pasa en cero de ser cncava a ser convexa y tiene en
el cero un punto de inexin.

6.3. La regla de LHospital

La regla de LHospital es uno de los resultados ms tiles para calcular lmites indeterminados bien de la forma 0=0 bien del tipo 1=1. La demostracin es laboriosa y no
se da en estas notas pero s existe un resultado similar con hiptesis ms fuertes y cuya
demostracin es sencilla. Es la siguiente:
Proposicin 6.4. Sean f; g : (a; b) ! R y sea x0 2 (a; b). Sean f y g derivables en x0
con f (x0 ) = g (x0 ) = 0 y g 0 (x0 ) 6= 0. Entonces se tiene que:
lim

x!x0

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

Demostracin:
En primer lugar se tiene que al ser g (x0 ) = 0 y g 0 (x0 ) 6= 0, en un entorno de x0 (excluido
el propio x0 ) se tiene que g (x) 6= 0 y por tanto la funcin f (x) =g (x) est bien denida
(excepto en x0 ). Por otro lado y puesto que f (x0 ) = g (x0 ) = 0 es claro que:
f (x)
(f (x)
=
g (x)
(g (x)

f (x0 )) = (x
g (x0 )) = (x

x0 )
x0 )

y tomando el lmite en ambos miembros se llega a:

f (x)
f (x)
x
lim
= lim
x!x0 g (x)
x!x0 g (x)
x

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

puesto que por hiptesis tanto f como g son derivables en x0 .

El punto dbil del resultado radica en que la hiptesis de derivabilidad de f y g en x0 es
demasiado fuerte en el sentido de que la utilidad de un resultado de este tipo para calcular
lmites se pone de maniesto precisamente en muchos casos en los que las funciones f y
g no son derivables en x0 . La generalizacin que permite cubrir todos estos casos es la
regla de LHospital:

Concavidad y convexidad

76

Teorema 6.5 (La regla de LHospital. Caso 0=0). Sean f; g : (a; b) ! R y sea x0 2
(a; b). Se tienen como hiptesis que
lim f (x) = 0 y que

x!x0

existe

> 0 tal que 8x 2 (x0

lim g (x) = 0;

x!x0

; x0 + ) existen f 0 (x) y g 0 (x) excepto quiz en x0

(6.8)

Se cumple entonces que:

Si existe

lim

x!x0

f (x)
f 0 (x)
= l ) existe lim
=l
0
x!x0 g (x)
g (x)

(6.9)

y el resultado incluye tambin el caso l = 1 con las mismas hiptesis.

Asimismo, cambiando la hiptesis (6.8) por la de que f y g sean derivables en un intervalo
de la forma (a; 1), el resultado (6.9) sigue siendo cierto cuando x0 = +1 y si f y g son
derivables en un intervalo de la forma ( 1; a) (6.9) es cierto con x0 = 1. (6.9) es
tambin cierto sustituyendo los lmites por lmites laterales.
La regla se puede demostrar tambin en el caso en el que las funciones f y g tiendan a 1
en lugar de tender a 0. Se tiene as el siguiente resultado cuyo enunciado es totalmente
anlogo al anterior:
Teorema 6.6 (La regla de LHospital. Caso 1=1). Sean f; g : (a; b) ! R y sea
x0 2 (a; b). Se tienen como hiptesis que:
lim f (x) = 1 y que

x!x0

existe

> 0 tal que 8x 2 (x0

lim g (x) = 1;

x!x0

; x0 + ) existen f 0 (x) y g 0 (x) excepto quiz en x0

Se cumple entonces que:

Si existe

lim

x!x0

f 0 (x)
f (x)
=
l
)
existe
lim
=l
x!x0 g (x)
g 0 (x)

y todo lo dicho en el teorema anterior sobre los casos l =

aplicable en este teorema.

1 y x0 =

1 es tambin

La implicacin contraria a la que aparece en (6.9) no es cierta en general: el lmite del

cociente de las funciones puede existir y sin embargo no existir el lmite del cociente de
las derivadas, como pone de maniesto el siguiente contraejemplo:
Ejemplo 6.2. Demostrar que para la funcin f (x) = x2 sen (1=x) si x 6= 0 y f (0) = 0 y
la funcin g (x) = x existe el lmite del cociente f (x) =g (x) cuando x ! 0 pero no existe
el lmite de f 0 (x) =g 0 (x).

Concavidad y convexidad

77

Las derivadas de ambas funciones existen en toda la recta real porque g 0 (x) = 1 y f 0 (x) =
2x sen (1=x) cos (1=x) cuando x 6= 0. En x = 0 la funcin f es derivable y su derivada
vale:
f (x) f (0)
x2 sen (1=x)
f 0 (0) = lim
= lim
=0
x!0
x!0
x 0
x
En cuanto al lmite de los cocientes:
f (x)
= 0;
x!0 g (x)

pero no existe

lim

f 0 (x)
2x sen (1=x)
= lim
0
x!0 g (x)
x!0
1
lim

cos (1=x)

porque el primer sumando tiende a 0 pero no existe el lmite de cos (1=x) cuando x ! 0.
La regla se usa con frecuencia para calcular lmites indeterminados que no son de la forma
0=0 o 1=1 pero se pueden reducir a uno de estos dos casos. Ocurre sto en el siguiente
ejemplo:
Ejemplo 6.3. Sea f (x) = (x3

2x + 3)

1=x

. Calcular el limx!1 f (x).

La indeterminacin en este caso es del tipo 10 . Sin embargo se puede calcular el

limx!1 ln f (x) en lugar del limx!1 f (x). Se tiene entonces:
1
ln x3
x!1 x

lim ln f (x) = lim

x!1

2x + 3

y la indeterminacin es ahora del tipo 1=1. Aplicando LHospital:

1
ln x3
x!1 x
lim

3x2 2
=0
x!1 x3
2x + 3

2x + 3 = lim

y entonces se tiene que

lim x3

x!1

2x + 3

1=x

= exp lim ln f (x) = 1

x!1

Frmula de Taylor

7.

78

Frmula de Taylor

7.1. Polinomio de Taylor de orden n: denicin y propiedades

El polinomio de Taylor surge como respuesta a la pregunta de cmo aproximar mediante
un polinomio una funcin f en un entorno de un punto x0 . Una primera respuesta a la
pregunta viene ya dada por la idea de derivada. En efecto, si una funcin f es derivable
en un punto x0 , entonces existe el
lim

x!x0

f (x)
x

f (x0 )
= f 0 (x0 )
x0

Esta denicin se puede escribir de manera totalmente anloga como

lim

f (x)

x!x0

f (x0 )
x

f 0 (x0 ) (x
x0

x0 )

=0

(7.1)

o bien, si se dene el polinomio de primer grado

P1;x0 (x; f ) = f (x0 ) + f 0 (x0 ) (x

x0 )

(7.2)

(7.1) se escribe como

P1;x0 (x; f )
=0
(7.3)
x!x0
x x0
El primer subndice en P1;x0 (x; f ) es el grado del polinomio y el segundo recuerda que
el polinomio est centrado alrededor del punto x0 . x es la variable independiente y la f
detrs de la coma es la funcin a partir de la cual se calculan los coecientes del polinomio.
En muchas ocasiones y con objeto de aligerar la notacin, se suprime la mencin a la f .
A P1;x0 (x; f ) se le llama el polinomio de Taylor de primer orden de la funcin
f en torno al punto x0 .
lim

f (x)

Segn lo que se ha visto en el captulo de derivacin, y = P1;x0 (x; f ) no es ms que la

ecuacin de la recta tangente a f (x) en x0 y (7.3) tiene el signicado intuitivo que ya
se coment all: cuando x ! x0 el denominador en (7.3) tiende a 0 y el hecho de que
el cociente tambin tienda a 0 signica que el numerador tiende a 0 ms rpidamente
que el denominador de modo que el lmite del cociente es 0. Cuando x est en las
proximidades de x0 , P1;x0 (x; f ) es una buena aproximacin de f (x) no solo porque la
diferencia f (x) P1;x0 (x; f ) se hace pequea sino porque incluso cuando se divide esta
diferencia por x x0 el cociente sigue siendo pequeo (de hecho sigue tendiendo a 0
cuando x ! x0 ). En general, para valores de x x0 grandes el cociente en (7.3) ya no
tiene porqu estar prximo a 0 con lo cual para esos valores P1;x0 (x; f ) dejar de ser una
buena aproximacin de f (x).
En todo lo que viene a continuacin conviene usar una terminologa que simplica mucho
la notacin. Si se tiene una cierta variable x y una funcin s ( x), la idea de cmo
se comporta s ( x) cuando x tiende a 0 se expresa bien utilizando un smbolo que se
conoce con el nombre de o pequea de Landau y se dene de la siguiente manera:
Se dice que s ( x) es o pequea cuando x ! 0 y se escribe s ( x) = o ( x) si se cumple
que lim !0 s( x)= x = 0.
La denicin anterior se generaliza de la siguiente manera:

Frmula de Taylor

79

Denicin 7.1. Se dice que s ( x) es opequea de ( x) con

y se escribe s ( x) = o (( x) ) si se cumple que
o(( x) )
s( x)
= lim
= 0 con
x!0 ( x)
x!0 ( x)

lim

0 cuando

x!0

Como caso particular, si s ( x) es o(( x)0 ) entonces se tiene que lim

x!0

s ( x) = 0.

La denicin y todas las propiedades que se dan a continuacinpson vlidas para

0
1=2
(por ejemplo, s ( x) = o(( x) ) signica que lim x!0 s ( x) =
x = 0) pero en todo
lo relacionado con el polinomio de Taylor aparecen y se usan siempre con un nmero
natural.
Cunto mayor sea ms rpidamente tiende a 0 s ( x) cuando x ! 0 porque, para
que el cociente s ( x) = ( x) ! 0, s ( x) debe tender a 0 ms rpidamente que ( x)
y esta ltima tiende a 0 tanto ms deprisa cunto mayor sea .
De todo lo anterior se deduce que la condicin s ( x) = o (( x) ) es tanto ms fuerte
cuanto mayor sea el valor de . De hecho, si > entonces se tiene que s (( x)) =
o (( x) ) ) s ( x) = o ( x) . En efecto, si > entonces
> 0 y se cumple
que:
s ( x) = o (( x) ) , lim

x!0

lim

x!0

s( x)
( x)

Con esta notacin y llamando

(f (x)

s( x)
s( x)
= 0 , lim
x!0
( x)
( x) ( x)

=0

= 0 ) o ( x)

x=x

x0 (7.3) se puede escribir como

P1;x0 (x; f )) = o ( x)

cuando

x!0

(7.4)

es decir, la diferencia entre la funcin y su polinomio de Taylor de orden 1 es o ( x).

La existencia de f 0 (x0 ) permite denir el polinomio de Taylor de primer orden (7.2). De
la misma manera, si existen f 0 (x0 ) ; f 00 (x0 ) ; : : : ; f (n) (x0 ), las derivadas de f en el punto
x0 hasta orden n, se dene el polinomio de Taylor de orden n de la funcin f en
torno al punto x0 :

Denicin 7.2 (Polinomio de Taylor de orden n).

Pn;x0 (x; f ) = f (x0 ) + f 0 (x0 ) (x
1

x0 ) +

f (n 1) (x0 ) (x
(n 1)!
n
X
1 (k)
=
f (x0 ) (x x0 )k
k!
+

k=0

1 00
f (x0 ) (x x0 )2 + : : :
2!
1
x0 )n 1 + f (n) (x0 ) (x x0 )n
n!
(7.5)

Frmula de Taylor

80

donde se usa la notacin de que f (0) (x0 ) = f (x0 ) y efectivamente Pn;x0 (x; f ) es un
polinomio de grado a lo sumo n en la variable x (podra ser de grado menor que n,
por ejemplo n 1, si f (n) (x0 ) se anulara). Notar que la hiptesis de que la funcin f
tenga derivada de orden n en x0 signica que en un entorno de x0 existen las funciones
f (x) ; f 0 (x) ; f 00 (x) ; : : : ; f (n 1) (x) y adems f (n 1) (x) es derivable en x0 .
A veces, cuando el punto x0 = 0, al polinomio de Taylor se le llama de Euler-Maclaurin.
Conviene recordar en todo lo que sigue que un polinomio cualquiera Qn (x) = q0 + q1 x +
: : : + qn xn se puede siempre escribir en potencias de x x0 = x con x0 2 R sin ms que
hacer el cambio de variable x = x0 + x y escribir Qn (x) en funcin de la variable x
ordenado los sumandos en potencias crecientes de x:
Qn (x0 +

x) = q0 + q1 (x0 + x) + : : : + qn (x0 + x)n

= a0 + a1 x + a2 ( x)2 + : : : + an ( x)n

(7.6)
(j)

Notar tambin que, escrito de esta manera, es inmediato comprobar que aj = Qn (x0 ) =j!
de donde se deduce que, si Qn (x) es un polinomio cualquiera de grado n, su polinomio de
Taylor de orden n en torno a cualquier punto x0 coincide con l mismo: Pn;x0 (x; Qn ) =
Qn (x). No solo eso si no que tambin es cierto que Pq;x0 (x; Qn ) = Qn (x) siempre que
q n.
En ocasiones se sabe que un cierto polinomio de grado n, Qn (x) = q0 + q1 x + : : : + qn xn ,
es el polinomio de Taylor de orden n de una funcin f alrededor de un punto x0 , Qn (x) =
Pn;x0 (x; f ). Ello permite calcular las derivadas de la funcin f (x) en x0 a partir de los
coecientes de Qn (x). Basta operar como se ha hecho en (7.6) y escribir Qn (x) en funcin
de la variable x = x x0 :
Qn (x0 +

x) = a0 + a1 x + a2 ( x)2 + : : : + an ( x)n

y de aqu se obtiene sin ms que f (k) (x0 ) = k!ak con k = 0; 1; : : : n.

La propiedad fundamental que caracteriza al polinomio de Taylor de orden 1 es la dada
en (7.4) y ya hemos visto lo que signica: P1;x0 (x; f ) aproxima bien los valores de f en las
proximidades de x0 . Segn todo lo que se ha dicho sobre el smbolo o ( x) intuitivamente
parece que la aproximacin sera mejor si, en lugar de o ( x), en el segundo miembro
de (7.4) apareciera o (( x) ) con > 1 (aunque para justicar de forma rigurosa esta
armacin har falta esperar al ltimo apartado de este tema).
El objetivo de obtener aproximaciones polinmicas o (( x) ) con > 1 se consigue con
los polinomios de Taylor de orden superior a 1 denidos en (7.5). El siguiente resultado
extiende la propiedad (7.4) y demuestra que cunto mayor es el grado n de Pn;x0 (x; f )
mejor aproxima (en el sentido de que es mayor) Pn;x0 (x; f ) los valores de la funcin f
en un entorno del punto x0 . El precio que se paga es que para conseguir aproximaciones
cada vez mejores hay que manejar polinomios de grados cada vez ms grandes con los que
resulta ms engorroso operar.
Proposicin 7.1 (Aproximacin de orden n). Sea una funcin f : (a; b) ! R que
tiene n derivadas en x0 2 (a; b) y sea Pn;x0 (x; f ) el polinomio de Taylor de orden n
denido en (7.5). Entonces se cumple que:
lim

x!x0

f (x) Pn;x0 (x; f )

=0
(x x0 )n

(7.7)

Frmula de Taylor

81

o, escrito de forma equivalente:

f (x) = Pn;x0 (x; f ) + o (( x)n )

cuando

x0 ) ! 0

x = (x

(7.8)

y se dice que Pn;x0 (x; f ) es una aproximacin de orden n de la funcin f (x) en un entorno
de x0 .
Demostracin:
La demostracin se hace por induccin: se comprueba que el resultado es cierto para
n = 1 (armacin que ya est demostrada en (7.4)) y se demuestra que si el resultado
es verdad para un ndice n entonces forzosamente tiene que ser verdad para el siguiente
n + 1. Para no complicar demasiado la notacin, aqu nos limitamos a demostrar que de
(7.4) (que es el resultado con n = 1) se deduce el resultado con n = 2. Lo que hay que
demostrar es (7.7) con n = 2. Entonces se tiene, aplicando la regla de LHospital:
lim

x!x0

f (x) P2;x0 (x; f )

=
(x x0 )2
=
=

lim

f (x)

f (x0 )

f 0 (x0 ) (x x0 ) (1=2) f 00 (x0 ) (x

(x x0 )2

f (x)

f (x0 )
(x

f 0 (x0 ) (x
x0 )2

x!x0

lim

x!x0

lim

x!x0

f 0 (x) f 0 (x0 )
2 (x x0 )

x0 )

x0 )2

(1=2) f 00 (x0 )

(1=2) f 00 (x0 ) = 0

que demuestra que el resultado es cierto para n = 2.

No solo Pn;x0 (x; f ) cumple (7.7) sino que adems es el nico polinomio de grado menor o
igual a n que cumple la propiedad. En este sentido se tiene la siguiente proposicin:
Proposicin 7.2 (Unicidad del polinomio de Taylor de orden n). Sea una funcin
f : (a; b) ! R derivable n veces en x0 2 (a; b) y sea Pn;x0 (x; f ) el polinomio de Taylor de
orden n denido en (7.5). Entonces Pn;x0 (x; f ) es el nico polinomio de grado menor o
igual que n que cumple (7.7).
Demostracin:
Se supone que existe un polinomio Qn (x) = a0 +a1 (x x0 )+: : :+an (x x0 )n que cumple
(7.7) y se demuestra que forzosamente debe coincidir con Pn;x0 (x; f ). En efecto, si tanto
Pn;x0 (x; f ) como Qn (x) cumplen (7.7), entonces tambin se tiene que cumplir que:
lim

x!x0

Qn (x) Pn;x0 (x; f )

=0
(x x0 )n

y segn hemos visto esto implica que

lim

x!x0

Qn (x) Pn;x0 (x; f )

= 0 para todo 0
(x x0 )p

Escribiendo explcitamente los polinomios y haciendo p = 0 en la ecuacin anterior se

tiene que
lim (a0

x!x0

f (x0 )) + (a1

f 0 (x0 )) (x

x 0 ) + : : : + an

f (n) (x0 )=n! (x

x0 )n = 0

Frmula de Taylor

82

y como todos los sumandos tienden a 0 cuando x ! x0 excepto el primero, si el lmite

ha de ser 0 forzosamente esto implica que a0 = f (x0 ). Haciendo el mismo razonamiento
con p = 1 y escribiendo de nuevo explcitamente los polinomios pero ya sin el sumando
(a0 f (x0 )), se tiene que
(a1

lim

f 0 (x0 )) (x

x 0 ) + : : : + an
x x0

x!x0

lim (a1

x!x0

f 0 (x0 )) + : : : + an

x0 )n

f (n) (x0 )=n! (x

f (n) (x0 )=n! (x

x0 )n

=0

de donde se deduce por la misma razn que en el caso anterior que ahora a1 = f 0 (x0 ).
Procediendo de esta manera con valores de p cada vez mayores se va demostrando que
los coecientes ak del polinomio Qn (x) coinciden con los correspondientes de Pn;x0 (x; f )
hasta llegar a que an = f (n) (x0 )=n! . Luego ambos polinomios coinciden.
Ejemplo 7.1. En la gura se representa la funcin f (x) = e2x 10ex y sus polinomios
de Taylor de orden 1; 2 y 3 en torno al punto x = 2. Los polinomios aproximan tanto
mejor la funcin cunto mayor es su grado y cunto ms prximo est el valor de x del
centro del desarrollo x = 2.
250

200

f(x)=e

2x

-10e

150

Pol. de Taylor
de orden 3

100

Pol. de Taylor
de orden 2

50

Pol. de Taylor de
orden 1

-50

-100

1.5

2.5

3.5

Figura 7.1.

7.2. Condicin suciente de extremo local y de punto de inexin

El polinomio de Taylor de una funcin permite generalizar la condicin suciente de
extremo local que se ha dado en la proposicin (5.9). Se tiene la siguiente proposicin:
Proposicin 7.3 (Condicin suciente de extremo local de orden n). Sea una funcin f : (a; b) ! R derivable n veces en x0 2 (a; b) con
f 0 (x0 ) = f 00 (x0 ) = f (3) (x0 ) =

= f (n

1)

(x0 ) = 0

y con

f (n) (x0 ) 6= 0 con n

Frmula de Taylor

83

Entonces se cumple que:

8 (n)
< f (x0 ) > 0 entonces f tiene un mnimo local estricto en x0
Si n es par y
: (n)
f (x0 ) < 0 entonces f tiene un mximo local estricto en x0
Si n es impar f tiene un punto de inexin en x0

En el caso del punto de inexin ni siquiera hace falta que f 0 (x0 ) = 0. Es decir, si
f 0 (x0 ) 6= 0 y la primera derivada en x0 que no se anula despus de la primera tiene un
ndice impar, entonces en x0 hay un punto de inexin.
Demostracin:
Para la demostracin basta escribir (7.8) teniendo en cuenta que en nuestro caso las
n 1 primeras derivadas de f en x0 son nulas y por tanto Pn;x0 (x; f ) = f (x0 ) +
f (n) (x0 ) (x x0 )n :
f (x) = Pn;x0 (x; f ) + o ((x x0 )n )
= f (x0 ) + f (n) (x0 ) (x x0 )n + o ((x
Luego se tiene que:

x0 )n )

o ((x x0 )n )
f (x) f (x0 )
(n)
=
f
(x
)
+
0
(x x0 )n
(x x0 )n

(7.9)

Sea por ejemplo, n par y f (n) (x0 ) < 0. Por denicin de o el segundo sumando del
segundo miembro tiende a 0 cuando x ! x0 lo que signica que existe > 0 tal que
8x 2 (x0
; x0 + ) se puede conseguir que jo ((x x0 )n ) = (x x0 )n j sea menor que
f (n) (x0 ) y por tanto el segundo miembro de (7.9) sea estrictamente negativo. Luego el
primer miembro tambin es estrictamente negativo,
f (x) f (x0 )
<0
(x x0 )n

(7.10)

y, como n es par, el denominador (x x0 )n es siempre positivo y por tanto se llega a que

8x 2 (x0
; x0 + ) ; (f (x) f (x0 )) < 0. Luego f tiene en x0 un mximo local estricto.
En el caso de que n sea par y f (n) (x0 ) > 0 se razona de manera anloga y se llega a la
conclusin de que f tiene en x0 un mnimo local estricto.
Por lo que respecta al punto de inexin supngase ahora que f 0 (x0 ) puede o no anularse
pero que, a partir de ella, todas las derivadas en x0 se anulan hasta la de orden n 1
y f (n) (x0 ) 6= 0 con n impar. Sea, por ejemplo, f (n) (x0 ) < 0. Haciendo exactamente
el mismo razonamiento que lleva a (7.10) pero teniendo en cuenta que ahora f 0 (x0 ) en
general es distinta de cero, se tiene que:
f (x)

Como n es impar, (x
deduce que

f (x0 )
(x

f 0 (x0 ) (x
x0 )n

x0 )n < 0 si x < x0 y (x

x0 )

(7.11)

<0

x0 )n > 0 si x > x0 . Luego de (7.11) se

8x 2 (x0
; x0 ) ; f (x) > f (x0 ) + f 0 (x0 ) (x
8x 2 (x0 ; x0 + ) ; f (x) < f (x0 ) + f 0 (x0 ) (x

x0 )
x0 )

(7.12)

Frmula de Taylor

84

La recta tangente a f (x) en x0 es y = f (x0 ) + f 0 (x0 ) (x x0 ) y segn (7.12) la curva

f (x) queda por encima de la tangente cuando x 2 (x0
; x0 ) y por debajo cuando
x 2 (x0 ; x0 + ). Por tanto en x0 hay un punto de inexin. Se llega a la misma conclusin
cuando n es impar y f (n) (x0 ) > 0 (la nica diferencia es que cuando f (n) (x0 ) > 0, f (x)
queda por debajo de la tangente a la izquierda de x0 y por encima a la derecha).
7.3. Polinomios de Taylor de algunas funciones elementales
Las expresiones generales de los polinomios de Taylor de algunas funciones elementales
muy usuales se obtienen fcilmente y son de mucha ayuda para el clculo de polinomios
de Taylor de funciones ms complicadas. Resulta claro que el polinomio de Taylor de
cualquier funcin f en torno a cualquier punto x0 se puede calcular sin ms que calcular
las derivadas sucesivas de la funcin en x0 pero a veces, sobre todo si el polinomio que
se quiere calcular es de orden alto, obtener las derivadas resulta pesado. En cambio en
ocasiones se puede obtener el polinomio que se busca a partir de algn otro conocido y
sin necesidad de calcular explcitamente las derivadas, con ayuda del resultado 7.2 y de
las propiedades de la o de Landau que se dan en otro apartado.
Algunos polinomios de Taylor de orden n conocidos se dan a continuacin. Cuando no se
especica el punto x0 alrededor del cual se desarrolla se presupone que es x = 0 y en el
desarrollo de ex x = x x0 :
x

f (x) = e ;

Pn (x) =

n
X
xk

k!

k=0

f (x) = ex ; Pn;x0 (x) =

n
X

=1+x+

(x
ex0

k=0

f (x) = ln (1 + x) ;

Pn (x) =

n
X

x2
xn
+ ::: +
2!
n!
"

x0 )k
= ex0 1 +
k!
k+1

( 1)

k=1

f (x) = cos x;

P2n (x) =

n
X

( 1)k

k=0

f (x) = sen x;

P2n+1 (x) =

n
X

f (x) = arctan x;

P2n+1 (x) =

x2k
=1
(2k)!

( 1)k

k=0

n
X

( 1)k

2 R; Pn (x) =

x2k+1
=x
2k + 1

n
X
k=0

x2 x3
+
2
3

x2 x4
+
2!
4!

x2k+1
=x
(2k + 1)!

k=0

f (x) = (1 + x) con

xk
=x
k

( x)2
( x)n
x+
+ ::: +
2!
n!
n+1

: : : + ( 1)

: : : + ( 1)n

x3 x5
+
3! 5!

x2n+1
(2n + 1)!

: : : + ( 1)n
(

xk = 1 + x +

1)
2!

1)

(
n!

xn
n

x2n
n!

: : :+( 1)n

x3 x5
+
3
5

x2n+1
2n + 1

x2 + : : :
n + 1)

xn

y donde en el polinomio de Taylor de (1 + x) el nmero combinatorio generalizado se

dene como
(
1) (
k + 1)
=
con
=1
k
k!
0

Frmula de Taylor

85

Todos los polinomios anteriores excepto el del arctan x se calculan sin ninguna dicultad
calculando las derivadas de las correspondientes funciones que siguen una recurrencia
sencilla de obtener: en el caso de ex todas las derivadas en x0 valen ex0 y en el 0 todas
valen 1, la derivada n-sima de ln (1 + x) en 0 vale ( 1)n+1 (n 1)! Las derivadas de
ndice par del seno en x = 0 valen todas 0 y las de ndice impar (sen x)(2n+1) (0) = ( 1)n
y con el coseno ocurre lo contrario: las derivadas de ndice impar en x = 0 se anulan todas
y para las de ndice par (cos x)(2n) (0) = ( 1)n .
Sea f (x) una funcin par. Para una funcin par las derivadas de orden impar en x = 0
se anulan todas y eso se traduce en que el polinomio de Taylor de orden n en torno a
x = 0 de f solo tiene las potencias pares de x y es por tanto una funcin par (como es el
caso de f (x) = cos x). Adems, como las potencias impares se anulan, para todo n 2 N
P2n+1 (x; f ) = P2n (x; f ) (el polinomio de Taylor de orden impar 2n + 1 coincide con el de
orden par inmediatamente anterior 2n) y como segn (7.8) se tiene que
f (x) = P2n+1;0 (x; f ) + o x2n+1

cuando x ! 0

tambin se cumple que, si f es una funcin par:

f (x) = P2n;0 (x; f ) + o x2n+1

cuando x ! 0

Luego para funciones pares los polinomios de Taylor P2n;0 (x; f ) son una aproximacin de
orden 2n + 1 de la funcin f (x) (en contra de lo que ocurre en el caso general (7.8) en el
que el orden de la aproximacin coincide con el grado del polinomio).
Con un razonamiento en todo similar, para funciones g impares P2n+2 (x; g) = P2n+1 (x; g)
(el polinomio de Taylor de orden par 2n+2 coincide con el de orden impar inmediatamente
anterior 2n + 1) y por tanto, si g es una funcin impar se cumple que:
g(x) = P2n+1;0 (x; g) + o x2n+2

cuando x ! 0

Para funciones g impares, los polinomios de Taylor P2n+1;0 (x; g) son una aproximacin de
orden 2n+2 de la funcin g(x) (tambin ganando una unidad en el orden de aproximacin
con respecto al caso de una funcin sin paridad denida).
Todo lo anterior con respecto a las funciones pares e impares es cierto cuando el polinomio
de Taylor es alrededor del punto x0 = 0. Si se desarrolla alrededor de un x0 6= 0 entonces
ya no es verdad que, por ejemplo, las derivadas de orden par del sen x en x0 6= 0 o las
derivadas de orden impar del cos x sean 0.

7.4. Propiedades bsicas de la o (( x) ) cuando

x!0

Para el clculo de polinomios de Taylor de funciones ms complicadas a partir de los ya

conocidos de funciones elementales conviene manejar con soltura unas cuantas propiedades
de o (( x) ) con > 0. En todas las que siguen se supone que x ! 0. Estas propiedades
son:
f ( x) = o (( x) ) ) f ( x) = o ( x)
( x) = o ( x)

para todo 0 <

siempre que 0

Frmula de Taylor

86

f ( x) = o (( x) ) ) ( x) f ( x) = o ( x)
f ( x)
= o ( x)
( x)
)

f ( x) = o (( x) ) )
f ( x) = o (( x) )
g( x) = o ( x)
f ( x) = o (( x) )
g( x) = o ( x)

para todo 0

para todo 0

) h( x) = f ( x)g( x) = o ( x)

con 0

) s( x) = f ( x) + g( x) = o ( x)min(

; )

con 0
;
y la demostracin de todas ellas es inmediata sin ms que tener en cuenta la denicin
(de hecho la primera ya se ha demostrado anteriormente). Por ejemplo, la que se reere
al producto de las funciones f y g:
lim

x!0

h( x)
( x)

= lim

x!0

f ( x)g( x)
+

( x)

f ( x)
g( x)
lim
=0
x!0 ( x)
x!0 ( x)

= lim

7.5. Operaciones elementales con polinomios de Taylor

Junto con los polinomios de Taylor de algunas funciones elementales del apartado anterior, las siguientes proposiciones facilitan el clculo de otros polinomios de Taylor de
funciones que se obtienen como suma, producto, cociente y composicin de funciones
cuyos polinomios de Taylor son conocidos.
Proposicin 7.4 (Polinomio de Taylor de una suma). Sean funciones f; g : (a; b) !
R derivables n veces en x0 2 (a; b) y cuyos polinomios de Taylor son respectivamente
Pn;x0 (x; f ) y Pn;x0 (x; g) y sean dos constantes ; 2 R. Entonces se tiene que el polinomio de Taylor de orden n de la combinacin lineal f + g es:
Pn;x0 (x; f + g) = Pn;x0 (x; f ) + Pn;x0 (x; g)

Proposicin 7.5 (Polinomio de Taylor de un producto). Sean los polinomios de Taylor de orden n de f y g en torno a x0 :
Pn;x0 (x; f ) =

n
X
k=0

ak ( x)

y Pn;x0 (x; g) =

n
X

bk ( x)k

(7.13)

k=0

con x = x x0 . El polinomio de Taylor de orden n del producto f g es el producto de

los polinomios de orden n de f y g eliminando del producto todos los sumandos de la
forma K ( x)j con j > n y K una constante.

Frmula de Taylor

87

Proposicin 7.6 (Polinomio de Taylor de un cociente). Se consideran dos funciones

f; g : (a; b) ! R derivables n veces en x0 2 (a; b) con g (x0 ) 6= 0 y cuyos polinomios de
Taylor son los de (7.13). El polinomio de Taylor del cociente f =g se obtiene en funcin de
n
X
los de f y g escribiendo Pn;x0 (x; f =g) =
ck ( x)k donde los coecientes ck se calculan
k=0

de la siguiente manera: como f = (f =g) g, segn la proposicin anterior el polinomio de

Taylor de f se puede escribir como el producto de los de f =g y g:
! n
!
n
n
X
X
X
k
n
k
k
ak ( x) + o (( x) ) =
(7.14)
ck ( x)
bk ( x)
k=0

k=0

k=0

En esta ecuacin, se hace el producto del segundo miembro, se desprecian todos los
sumandos de la forma K ( x)j con j > n (todos esos trminos estn incluidos en el
sumando o (( x)n ) en (7.14)), se identican los coecientes de las potencias ( x)j con
j n en ambos miembros y se despejan los ck en funcin de los ak y los bk conocidos.

Ejemplo 7.2. Calcular el polinomio de Taylor de orden 4 en torno a x = 0 de la funcin

1 + x3 + x5
v(x) =
1 + x4
El polinomio de Taylor de orden 4 del polinomio 1 + x3 + x5 es 1 + x3 y el del polinomio
4
X
1 + x4 coincide con l. Si llamamos
ak xk al polinomio de Taylor del cociente que se
k=0

pide, segn (7.14) se tiene que:

1 + x3 + o x4

= a0 + a1 x + a2 x 2 + a3 x 3 + a4 x 4 1 + x 4
= a0 + a1 x + a2 x2 + a3 x3 + (a4 + a0 ) x4 + o x4

donde en el sumando o (x4 ) estn incluidas todas las potencias xj con j > 4 que se han
obtenido al operar en el segundo miembro. Identicando los coecientes de x0 ; x; x2 ; x3 y
x4 en ambos miembros se tiene que:
a0 = 1; a1 = 0; a2 = 0; a3 = 1; (a4 + a0 ) = 0
y por tanto el polinomio de Taylor que se pide es:
P4;0 (x; v) = 1 + x3

x4

y por tanto las derivadas de la funcin v (x) en x = 0 son: v 0 (0) = v 00 (0) = 0; v (3) (0) =
6; v (4) (0) = 24. Notar que ste es un procedimiento bastante ms rpido de calcular las
derivadas que el de derivar cuatro veces en la expresin de v (x).

Ejemplo 7.3. Calcular el polinomio de Taylor de orden 3 en torno a x = de la funcin

4
ex
v(x) =
cos (x
=4)

Frmula de Taylor

88

En primer lugar y puesto que se pide el desarrollo en torno a x =

, conviene que
4
aparezca la variable (x
=4) = x en lugar de la variable x y para ello se escribe
x = (x
=4) + =4 y por tanto ex = e =4 e(x =4) = e =4 e x . El polinomio de Taylor que
se pide P3; =4 (x; v) cumple, segn (7.14):
P3;

=4

(x; ex ) + o ( x)3 = P3;

=4

(x; v) P3;

=4

(x; cos ( x))

donde P3; =4 (x; ex ) y P3; =4 (x; cos ( x)) son conocidos a partir de la lista anterior de
polinomios de Taylor de funciones elementales:
!
( x)2 ( x)3
x
=4
x
=4
+
P3; =4 (x; e ) = e P3; =4 x; e
=e
1+ x+
2!
3!
P3;

=4 (x; cos ( x)) = 1

( x)2
2!

Luego el polinomio de Taylor que se pide es P3;

y cumple que:
e
=

=4

1+

=4

(x; v) = c0 + c1 x + c2 ( x)2 + c3 ( x)3

( x)2 ( x)3
x+
+
2!
3!

c0 + c1 x + c2 ( x) + c3 ( x)

+ o ( x)3
1

( x)2
2!

En el primer miembro el coeciente de ( x)0 es e =4 y en el segundo c0 . Luego c0 = e =4 .

En el primer miembro el coeciente de x es e =4 y en el segundo c1 . Luego c1 = e =4 . En el
primer miembro el coeciente de ( x)2 es e =4 =2 y en el segundo c0 =2!+c2 = e =4 =2+c2 .
Luego, como ambos deben ser iguales, e =4 =2 = e =4 =2 + c2 de donde se deduce que
c2 = e =4 . Por ltimo, en el primer miembro el coeciente de ( x)3 es e =4 =6 y en el
segundo es c1 =2 + c3 de donde se deduce que c3 = 2e =4 =3. Luego el polinomio que se
pide es:
2
P3; =4 (x; v) = e =4 1 + x + ( x)2 + ( x)3
3
de donde se deduce que las derivadas de la funcin v en =4 son: v 0 ( =4) = e
2e =4 y v (3) ( =4) = 4e =4 .

=4

; v 00 ( =4) =

Proposicin 7.7 (Polinomio de Taylor de la composicin de funciones). Sea una

funcin f derivable n veces en x0 y una funcin g derivable n veces en a0 = f (x0 ). Sean
los polinomios de Taylor de orden n de f en torno a x0 y de g en torno a a0 = f (x0 ):
Pn;x0 (x; f ) =
Pn;f (x0 ) (x; g) =

n
X
j=0
n
X

aj (x

x 0 ) = a0 +

n
X

aj (x

x0 )j

j=1

bk (x

y0 )k

k=0

teniendo en cuenta que en el polinomio de Taylor Pn;x0 (x; f ) el primer sumando es a0 =

f (x0 ). El polinomio de Taylor de orden n de la composicin g f en torno al punto x0

Frmula de Taylor

89

viene dado por:

Pn;x0 (x; g f ) + o ((x

x0 )n ) =

n
X

bk (Pn;x0 (x; f )

a0 )k

k=0

n
X

bk

n
X

aj (x

j=1

k=0

x0 )

!k

(7.15)

donde al hacer la operacin del segundo miembro aparecen potencias desde (x x0 )0

hasta (x x0 )2n y para calcular Pn;x0 (x; g f ) basta considerar las (x x0 )p con p n.
El resto de las potencias, (x x0 )p con p > n, no hace falta calcularlas explcitamente y
se incluyen en el sumando o ((x x0 )n ) en el primer miembro de (7.15).
Una aplicacin trivial de la proposicin 7.7 es la obtencin del polinomio de Taylor de
orden n de h(x) = g(x x0 ) en torno a x0 , conocido el de g(x) en torno a cero. h es la
composicin de g y el polinomio x x0 y por tanto se tiene que:
Pn;x0 (x; h) = Pn;0 (x

x0 ; g)

Basta con sustituir en el polinomio de Taylor de g en torno al 0 la variable x por la

variable x x0 = x. Por ejemplo, el polinomio de orden 2 en torno a =4 de la funcin
cos (x
=4) es 1 (x
=4)2 =2!
Ejemplo 7.4. Calcular el polinomio de Taylor de orden 3 en el origen de la funcin
v(x) = ln (cos x)
v (x) se puede escribir como v (x) = ln (1 + (cos x 1)) que es la composicin g f de
las funciones g (x) = ln (1 + x) y f (x) = cos x 1. En este caso la x0 de la proposicin
7.7 es 0 y f (x0 ) = y = cos 0 1 = 0. De la lista de polinomios de Taylor de funciones
elementales se tiene que:
P3 (x; cos x

1) = 1

P3 (x; ln (1 + x)) = x

x2
1=
2!
x2 x3
+
2
3

x2
2!

y por tanto, segn (7.15) el polinomio de Taylor que se pide se obtiene sustituyendo la x
del segundo miembro de P3 (x; ln (1 + x)) por x2 =2! y despreciando todas las potencias
x4 y superiores. Es decir:
2

x =2!

( x2 =2!)
( x2 =2!)
+
=
2
3

y el polinomio de Taylor que se pide es P3 (x; v) =

x2
+ o x2
2

x2 =2.

Ejemplo 7.5. Calcular el polinomio de Taylor de orden 3 en el origen de la funcin

1
v(x) = arctan
1 x

Frmula de Taylor

90
1

y la funcin g (x) = arctan x, v = g f , la x0 de

1 x
la proposicin 7.7 es x0 = 0 y f (x0 ) = 1. g (1) = =4 y las derivadas de g (x) = arctan x
en x = 1 son g 0 (1) = 1=2; g 00 (1) = 1=2 y g (3) (1) = 1=2. Por tanto se tiene que:
v (x) es la composicin de f (x) =

P3;1 (x; arctan x) =

1
(x
2

1)

1
(x
4

1)2 +

1
(x
12

1)3

(7.16)

1 x es su propio polinomio de Taylor de orden 3 en el origen de modo que usando la

proposicin 7.6 y escribiendo
1 = (1

x) a0 + a1 x + a2 x2 + a3 x3

e identicando coecientes se obtiene que

P3;0 x;

1
1

= 1 + x + x2 + x3
1

1 = x+x2 +x3 y despreciando

1 x
todas las potencias superiores a x3 se obtiene el polinomio de Taylor de v (x) en el origen
que se pide:

Sustituyendo en (7.16) el factor (1

x) por P3;0 x;

1
x + x2 + x3
4 2
1
=
+
x + x2 + x3
4 2
+

1
1
2
x + x2 + x3 +
x + x2 + x3
4
12
1 2 1 3
1
x
x + x3 + o x3
4
2
12

y por tanto
P3;1 (x; v (x)) =

1
1
1
+ x + x2 + x3
4 2
4
12

7.6. El polinomio de Taylor con resto de Lagrange

La razn de ser fundamental del polinomio de Taylor de orden n son las ecuaciones (7.7)
y (7.8) en la proposicin 7.1. En (7.8) no se especica la forma funcional del sumando
o (( x)n ), nicamente se dice que su dependencia con x = x x0 es tal que tiende a 0
ms deprisa que ( x)n . Sin embargo el siguiente teorema dice ms sobre este sumando y
permite obtener consecuencias signicativas que sin el teorema no seran posibles:
Teorema 7.8 (Polinomio de Taylor de orden n con resto de Lagrange). Sea una
funcin f : (a; b) ! R; x0 2 (a; b) y sea f de clase C n+1 (I) donde I = (x0
; x0 + ) con
> 0 es un entorno de x0 . Entonces se cumple para todo x 2 I que:

f (x) = Pn;x0 (x; f ) +

1
f (n+1) ( ) (x
(n + 1)!

x0 )n+1

(7.17)

donde es un punto que no se conoce y del que solo se sabe que est entre x y x0 , es
decir, 2 (x; x0 ) si x < x0 y 2 (x0 ; x) si x0 < x. Al segundo sumando del segundo
miembro se le llama resto de Lagrange.

Frmula de Taylor

91

El teorema 7.8 no se demuestra en estas notas pero conviene hacer algn comentario
sobre el resultado. En primer lugar las hiptesis de partida que son un poco ms fuertes
que las que se requeran en la proposicin 7.1. En 7.1 se requera que la funcin f
tuviera n derivadas en x0 lo que signica que en un entorno de x0 existen las funciones
f (x) ; f 0 (x) ; f 00 (x) ; : : : ; f (n 1) (x) y adems existe f (n) (x0 ). En 7.8 la hiptesis es f 2
C n+1 (I), las derivadas hasta orden n + 1 deben existir en I y ser continuas en I, lo que,
en la prctica, no supone una restriccin adicional muy fuerte sobre las hiptesis de 7.1
porque adems, en muchos casos, el teorema se aplica a funciones C 1 (Una funcin C 1
es derivable ilimitadamente).
Es relativamente frecuente en la bibliografa encontrar (7.17) escrito con una notacin
algo distinta: en lugar de la variable x se usa la variable x denida como x = x x0
con lo cual (7.17) se escribe como:
f (x0 +
donde

2 (0; 1) e

x) = Pn;x0 (x0 +

x; f ) +

1
f (n+1) (x0 +
(n + 1)!

x) ( x)n+1

x puede ser mayor, menor o igual a 0.

Para cada valor de n jo Pn;x0 (x; f ) aproxima f (x) en un entorno de x0 y la aproximacin

es tanto mejor cuanto ms pequea sea la diferencia x x0 . ste es el contenido de
(7.8). Es cierto que, cunto mayor sea n, ms rpidamente tiende a 0 la diferencia
f (x) Pn;x0 (x; f ) cuando x ! x0 pero, para un valor de x jo, (7.8) no permite decir
qu valor de n hay que coger para que, por ejemplo, jPn;x0 (x; f ) f (x)j sea menor que
una cantidad pequea " > 0 jada de antemano. Saber que la diferencia es o ((x x0 )n ),
para un valor de x jo puede no dar mucha informacin sobre el tamao de esa diferencia.
103 x4 y x4 son ambas cantidades o (x3 ) pero para x = 1 la primera vale 103 y la segunda
vale 1. En otras palabras, (7.8) contiene informacin sobre lo que ocurre para cada valor
de n con el lim (Pn;x0 (x; f ) f (x)) pero no sobre lo que ocurre para un x jo con el
x!x0

lim (Pn;x0 (x; f )

n!1

f (x)).

La ventaja de la informacin adicional de (7.17) con respecto a (7.8) se pone de maniesto

cuando se plantea la pregunta de, jado un valor de x y un " > 0, a partir de qu
valor de n se cumple que jPn;x0 (x; f ) f (x)j < ". O, dicho en otras palabras, permite
plantearse cundo, jado un valor de x, lim Pn;x0 (x; f ) = f (x). La siguiente proposicin
n!1
da condiciones sucientes para que ello ocurra:
Proposicin 7.9. Sea x0 2 (a; b) y sea f : (a; b) ! R con f 2 C 1 ((a; b)) y tal que
8n 2 N y 8x 2 (a; b) se cumple que

f (n) (x)

M n con M una constante

Entonces, se tiene que:

lim Pn;x0 (x; f ) = f (x)

n!1

Demostracin:
La demostracin es inmediata de (7.17) y de la acotacin de las derivadas en el enunciado
de la proposicin. Se tiene que:
lim jf (x)

n!1

Pn;x0 (x; f )j =

1
f (n+1) ( ) jx x0 jn+1
(n + 1)!
1
lim
M n+1 jx x0 jn+1
n!1 (n + 1)!
lim

n!1

Frmula de Taylor

92

Para cualquier valor de x jo, en el segundo miembro de la desigualdad el trmino (n + 1)!

en el denominador crece con n ms rpidamente que las potencias en el numerador y el
lmite del segundo miembro cuando n ! 1 es 0. Por tanto lo mismo le ocurre al primer
miembro.

Mtodos de integracin

10.

93

Mtodos de integracin

10.1. Primitiva e integral indenida de una funcin

Sea una funcin f : I ! R integrable en I. Se dice que F es una primitiva de f en I
si:
8x 2 I se tiene que F 0 (x) = f (x)

Es claro que si F es una primitiva de f en I entonces F + K, donde K es cualquier

constante real, tambin lo es.
Dada una funcin f : I ! R continua en I se denomina integral indenida de f al
conjunto de todas sus primitivas y se suele representar como:
Z
f (x) dx = F (x) + K

De la propia denicin de integral indenida se deduce que esta ltima igualdad equivale
a decir que F 0 (x) = f (x).

10.2. Integracin por sustitucin (cambios de variable)

Uno de los procedimientos habituales para calcular integrales, sean denidas o indenidas,
es hacer en la integral lo que se suele llamar un cambio de variable, mtodo que tambin
recibe el nombre de procedimiento de sustitucin. Se tiene el siguiente resultado:
Proposicin 10.1 (Cambio de variable I). Sean g : I ! g(I) y f : g(I) ! R funciones continuas en I y g(I) respectivamente y g derivable y con derivada continua en I.
Entonces se tiene que:
Z
Z
8t 2 g(I);
f (t) dt = F (t) + K ) 8x 2 I;
f (g(x))g 0 (x) dx = F (g(x)) + K 0 (10.1)
donde K yK 0 son constantes reales cualesquiera.

Demostracin:
Claramente las integrales en los dos miembros de la Zimplicacin existen porque los integrandos son funciones continuas. Por otro lado T = f (t) dt = F (t) + K es equivalente

a que F 0 (t) = f (t) y por tanto

f (g(x))g 0 (x) = F 0 (g(x))g 0 (x) = (F

luego

f (g(x))g (x) dx =

(F

g)0 (x) dx = (F

g)0 (x)

g)(x) + K 0 = F (g(x)) + K 0

El resultado sirve para calcular las primitivas F (g(x)) de la integral a la derecha de la

implicacin en (10.1) calculando las primitivas F (t) del integrando en T . Notar que en
ningn paso en este resultado es necesario que g sea invertible pero sin embargo en el
siguiente resultado, en el que se demuestra la implicacin contraria de la que aparece en
(10.1), s se exige que 8x 2 I; g 0 (x) 6= 0 (lo que signica que g es estrictamente montona,
por tanto inyectiva y por tanto invertible):

Mtodos de integracin

94

Proposicin 10.2 (Cambio de variable II). Sean g : I ! g(I) y f : g(I) ! R funciones continuas en I y g(I) respectivamente y g derivable, con derivada continua en I y
adems 8x 2 I; g 0 (x) 6= 0. Entonces se tiene que:
Z
Z
8t 2 g(I); f (t) dt = F (t) + K , 8x 2 I; f (g(x))g 0 (x) dx = F (g(x)) + K 0 (10.2)
donde K y K 0 son constantes reales cualesquiera.
Demostracin:
Solo es necesario demostrar la implicacin de derecha a izquierda. Del miembro de la
derecha en (10.2) se tiene que f (g(x))g 0 (x) = F 0 (g(x))g 0 (x) y como 8x 2 I; g 0 (x) 6= 0 se
puede dividir por g 0 (x) en ambos miembros y se obtiene f (g(x)) = F 0 (g(x)). Haciendo
t = g(x) se tiene que 8t 2 g(I) se cumple que f (t) = F 0 (t) que es equivalente a la igualdad
a la izquierda de la implicacin en (10.2).
Habitualmente, en la prctica (10.2) se aplica utilizando como funcin f una funcin
h(g 1 )0 donde h es una cierta funcin continua de g(I) en R y g es la funcin que aparece
en el enunciado. Puesto que g es continua e inyectiva entonces existe g 1 y es continua
y como g 0 (x) 6= 0 entonces existe (g 1 )0 para todo g(x) 2 g(I). Se tiene adems que
(g 1 )0 (g(x)) = 1=g 0 (x) y (g 1 )0 es continua y por tanto h(g 1 )0 : g(I) ! R es continua.
Haciendo en (10.2) la sustitucin f por h(g 1 )0 se tiene que 8t 2 g(I) y 8x 2 I:
Z
Z
1 0
h(t)(g ) (t) dt = F (t) + K , h(g(x))(g 1 )0 (g(x))g 0 (x) dx
Z
= h(g(x)) dx = F (g(x)) + K 0
(10.3)
En el caso de que se trate de una integral denida el resultado es el mismo teniendo solo
en cuenta que el cambio de variable afecta tambin a los lmites de integracin, es decir:
Z

g(b)
1 0

h(t)(g ) (t) dt =

Ejemplo 10.1. Calcular

e2

h(g(x)) dx

g(a)

ln(ln x)
dx
x ln x

Se hace el cambio de variable ln x = t o bien x = et con lo cual se tiene que dx = et dt y

por tanto:
Z

ln(ln x)
dx =
x ln x

Ejemplo 10.2. Calcular

e2

ln t t
e dt =
et t

x3
dx
2 + x8

1
ln t(ln t) dt =
2
0

(ln2 t)0 dt =

ln2 2
2

Mtodos de integracin

95

Se hace el cambio de variable x4 = t con lo cual 4x3 dx = dt y se obtiene:

p
Z
Z
Z
1
1
1
1
2
t
x3
dx =
dt =
arctan p + K
p 2 dt =
8
2
2+x
4
2+t
8
8
2
1 + t= 2
p 4
p
2
2x
=
arctan
+K
2
8

Ejemplo 10.3. Calcular

earcsin x
p
dx
1 x2

p
Se hace el cambio de variable arcsin x = t con lo cual se tiene que dx= 1
tanto:
Z arcsin x
Z
e
p
dx = et dt = et + K = earcsin x + K
1 x2

x2 = dt y por

10.3. Integracin por partes

La integracin por partes es un mtodo de integracin que se obtiene directamente de la
frmula de la derivada de un producto:
(f (x)g(x))0 = f 0 (x)g(x) + f (x)g 0 (x)
Integrando en ambos miembros y teniendo en cuenta que la integral del primer miembro
es simplemente f (x)g(x) (salvo una constante arbitraria) se obtiene que:
Z
Z
0
f (x)g(x) dx = f (x)g(x)
f (x)g 0 (x) dx
(10.4)
que se conoce con el nombre de frmula de integracin por partes. La frmula se
aplica igualmente a integrales denidas sin ms que hacer:
Z b
Z b
b
0
f (x)g(x) dx = f (x)g(x)ja
f (x)g 0 (x) dx
(10.5)
a

donde en el segundo miembro f (x)g(x)jba = f (b)g(b) f (a)g(a). La frmula de integracin

por partes resulta muy til para calcular un gran nmero de integrales elementales siempre
que en (10.4) resulte ms fcil calcular la integral del segundo miembro que la del primero.
Entre otras:
Ejemplo 10.4. Calcular por integracin por partes las integrales siguientes:
Z
Z
Z
ln x dx;
arcsin x dx;
x cos x dx.

Mtodos de integracin

En

96

ln x dx el papel de f 0 (x) en (10.4) lo juega ahora la funcin constante 1 con f (x) = x

y el de g(x) la funcin ln x con g 0 (x) = 1=x de modo que:

Z
Z
1
ln x dx = x ln x
x dx = x(ln x 1) + K
x
Z
En la integral arcsin x dx como en el caso anterior se hace f 0 (x) = 1 y g(x) = arcsin x
con lo cual:
Z
En

arcsin x dx = x arcsin x

x
1

x2

dx = x arcsin x +

x2 + K

x cos x dx se aplica la frmula de integracin por partes con f 0 (x) = cos x y g(x) = x

con lo cual resulta:

Z

x cos x dx = x sin x

sin x dx = x sin x + cos x + K

Ejemplo 10.5. Calcular por integracin por partes la integral

x2 ex dx

En este caso hay que aplicar la frmula de integracin por partes dos veces consecutivas.
En la primera f 0 (x) = ex y g(x) = x2 con lo cual:
Z
Z
2 x
2 x
x e dx = x e
2 xex dx
y en la integral del segundo miembro se vuelve a aplicar la frmula con f 0 (x) = ex y
g(x) = x:
Z
Z
x
x
xe dx = xe
ex dx = xex ex + K
Entonces:
Z
x2 ex dx = x2 ex

xex dx = x2 ex

2(xex

ex ) = ex (x2

2x + 2) + K

10.4. Frmulas de reduccin

Se aplican a integrales del tipo

f n (x) dx en las que el integrando est elevado a un

nmero natural n. En el caso de ciertas funciones f se pueden escribir estas integrales

en trminos de otras iguales o similares pero en las que el ndice n de la potencia de
f (x) es ms pequeo que el de partida (normalmente integrando por partes). Se entiende
por frmula de reduccin al mtodo que consiste en iterar el proceso anterior e ir
reduciendo el ndice n hasta llegar a una integral que se puede calcular fcilmente.

Mtodos de integracin

97

Ejemplo 10.6. Calcular In =

(ln(a + x))n dx con n 2 N; a 2 R

Integrando por partes con f 0 (x) en (10.4) la funcin constante 1, f (x) = x + a y con
g(x) = (ln(a + x))n se tiene que:
Z
n
In = (a+x) (ln(a + x)) n (ln(a + x))n 1 dx = (a+x) (ln(a + x))n nIn 1 = An nIn 1
con An = (a + x) (ln(a + x))n . Repitiendo la operacin sobre In
hasta llegar a I0 = x + K:
In = An
= An
= An

y as sucesivamente

nIn 1 = An n [An 1 (n 1)In 2 ] = An nAn

nAn 1 + n(n 1) [An 2 (n 2)In 3 ]
nAn 1 + n(n 1)An 2 n(n 1)(n 2)In 3
n!
n!
n!
= An
An 1 +
An 2
In 3
(n 1)!
(n 2)!
(n 3)!
n 1
X
n!
=
=
( 1)j
An j + ( 1)n n!x + K
(n j)!
j=0

+ n(n

Este mismo procedimiento se puede usar para calcular integrales del tipo
con n; m 2 N.

Ejemplo 10.7. Calcular una frmula de recurrencia para In =

1)In

xm (ln x)n dx

sinn x dx con n 2 N

Integrando por partes con f 0 (x) = sin x en (10.4) se tiene que:

Z
Z
n 1
n 1
In =
sin x sin
x dx = cos x sin
x + (n 1) cos2 x sinn
Z
n 1
=
cos x sin
x + (n 1) (1 sin2 x) sinn 2 x dx
Z
n 1
=
cos x sin
x + (n 1) sinn 2 x dx (n 1)In

x dx

de donde se obtiene que:

In =

1
cos x sinn
n

x+

1
n

sinn

x dx =

1
cos x sinn
n

x+

1
n

In

que es una frmula de recurrencia que permite reducir el ndice n en In hasta llegar a I0
o I1 que son integrales inmediatas.

Ejemplo 10.8. Calcular una frmula de recurrencia para la integral In =

con n 2 N; a 2 R

xn sin ax dx

Mtodos de integracin

98

Integrando por partes con f 0 (x) = sin ax y g(x) = xn se tiene que:

Z
1 n
n
In =
x cos ax +
xn 1 cos ax dx
a
a
y volviendo a integrar por partes en la integral del segundo miembro:
Z
n 1 n 1
n 1
1 n
In =
x cos ax +
x
sin ax
xn 2 sin ax dx
a
a a
a
n
n(n 1)
1 n
=
x cos ax + 2 xn 1 sin ax
In 2
a
a
a2
que permite calcular In en funcin de In 2 .

Ejemplo 10.9. Calcular una frmula de recurrencia para In =

n2N
Sumando y restando x2 en el numerador:
Z
Z
1 + x2 x2
1
In =
dx
=
dx
(x2 + 1)n
(x2 + 1)n 1

x2
dx = In
(x2 + 1)n

1=(1 + x2 )n dx con

x2
dx
(x2 + 1)n

En esta ltima integral se integra por partes como en (10.4) con f 0 (x) = x=(x2 + 1)n y
1
y se obtiene que:
g(x) = x con lo cual f (x) =
2(n 1)(x2 + 1)n 1
Z
Z
x2
x
1
1
dx =
+
dx
2
n
2
n
1
2
(x + 1)
2(n 1)(x + 1)
2(n 1)
(x + 1)n 1
x
1
=
+
In 1
2
n
1
2(n 1)(x + 1)
2(n 1)
de donde se llega a la recurrencia:
In = In

1
2(n

1)

2(n

x
1)(x2 + 1)n

(10.6)

que se usa con frecuencia al calcular integrales con integrandos racionales.

10.5. Integracin de funciones racionales

Se trata ahora de calcular integrales de la forma
Z
P (x)
dx
Q(x)

(10.7)

donde P y Q son polinomios de coecientes reales en la variable x de grados respectivamente p y n y donde se puede suponer que el grado de P es menor que el de Q (p < n)
porque de no ser as siempre se puede dividir el uno por el otro y se obtiene
P (x)
R(x)
= C(x) +
Q(x)
Q(x)

Mtodos de integracin

99

con C un polinomio y R el resto que se obtiene al efectuar la divisin, de grado menor que
el de Q. La integral del polinomio C(x) no tiene ningn problema. Se supone tambin
que en Q el coeciente del trmino de mayor grado es 1, Q(x) = xn + an 1 xn 1 +
+ a0
(cuando esto ocurre se dice que Q es un polinomio mnico) porque caso de no ocurrir as
siempre se pueden dividir numerador y denominador por este coeciente y conseguir que
efectivamente el polinomio del denominador sea mnico.
El procedimiento habitual para calcular (10.7) es el de descomponer el cociente
P (x)=Q(x) en suma de fracciones simples. Sean 1 ; 2 ; : : : ; k las raices reales de Q
de multiplicidades r1 ; r2 ; : : : ; rk y 1 i 1 ; 2 i 2 ; : : : ; l i l las raices complejas con
multiplicidades s1 ; s2 ; : : : ; sl . (puesto que Q es un polinomio de coecientes reales, si
tiene una raiz compleja 1 + i 1 con una cierta multiplicidad, tiene tambin la compleja
conjugada 1 i 1 con la misma multiplicidad). Q(x) se puede entonces escribir como:
r1
1 ) (x

Q(x) = (x
(x
= (x

r2
2)

rk
(x
k)
s1
(x
1 + i 1)
rk
(x
k ) ((x

i 1 )s1 (x
r2
1 ) (x
2)
1
r1

sl
i l )s1 (x
l + i l)
2 s1
2
((x
1) + 1)
l) +
l
2

2 sl
l)

que se puede tambin escribir, deniendo

j

2
j

2
j;

(10.8)

como:
r1
1 ) (x

Q(x) = (x

r2
2)

(x

rk
2
k ) (x

1x

s1
1)

(x2 +

lx

sl
l)

(10.9)

Se puede demostrar entonces que el cociente P (x)=Q(x) admite una descomposicin en

suma de fracciones simples de la forma:
A11

P (x)
=
Q(x)

x
+
+

A12

2
(x
1)
C11 x + D11
+
x2 + 1 x + 1
Cl1 x + Dl1
+
x2 + l x + l
1

A1r1

r1
(x
1)
C1s x + D1s1
+ 2 1
(x + 1 x + 1 )s1
Cls x + Dlsl
+ 2 l
(x + l x + l )sl

Ak1
x

+
k

Akrk
(x

r
k) k

+
(10.10)

es decir, se pueden encontrar nmeros reales Aij ; Cij ; Dij tales que se cumpla (10.10).
Calcular entonces la integral en (10.7) se reduce a calcular la suma de las integrales de
cada una de las fracciones simples que aparecen en el segundo miembro de (10.10) que
son ms sencillas. De hecho las integrales que van multiplicadas por los factores Aij son
inmediatas:
Z
A
A
dx =
(x a) n+1 + K;
n 6= 1
n
(x
)
1 n
y quedan las que tienen integrandos con Cij x + Dij en el numerador. En el caso ms
sencillo en el denominador aparece x2 + x + que segn (10.8) se puede escribir como
(x
)2 + 2 de modo que, haciendo el cambio de variable t = (x
)= :
Z
Z
Z
Cx + D
Cx + D
1
Cx + D
dx =
dx = 2
dx
2
2
2
x + x+
(x
) +
((x
)= )2 + 1
Z
Z
Z
1
C( t + ) + D
t
C +D
1
=
dt = C
dt +
dt
2
2
2
t +1
t +1
t +1
C
C +D
=
ln t2 + 1 +
arctan t + K
2

Mtodos de integracin

100

y deshaciendo el cambio se obtiene el valor de la integral en funcin de la variable x.

Un caso ms complicado se tiene cuando el denominador x2 + x + est elevado al
cuadrado y entonces la integral a resolver es del tipo de la que aparece en el ejemplo
10.11:
Z
Z
Cx + D
Cx + D
dx
=
dx
(10.11)
(x2 + x + )2
((x
)2 + 2 )2
y, mediante cambios muy similares a los que se han hecho para calcular la integral en el
caso anterior, se llega a que resolver (10.11) se reduce a resolver las integrales:
Z
Z
t
1
dt y
dt
2
2
2
(t + 1)
(t + 1)2

La primera de ellas es inmediata:

Z

(t2

t
dt =
+ 1)2

1 1
+K
2 t2 + 1

y la segunda se calcula mediante la recurrencia (10.6) con n = 2:

Z
Z
1
1
1
t
1
1 t
dt =
dt +
= arctan t + 2
+K
2
2
2
2
(t + 1)
2
t +1
2(t + 1)
2
2t +1

(10.12)

Casos ms engorrosos son aqullos en los que el denominador x2 + x + en lugar de estar

elevado a 2 como en (10.11), aparece elevado a potencias mayores que 2. El mtodo que
se ha seguido para resolver (10.11) sigue siendo aplicable solo que en el caso de potencias
superiores a 2 hay que aplicar (10.6) varias veces consecutivamente, 2 veces si x2 + x +
est elevado al cubo, 3 si est elevado a la cuarta potencia y as sucesivamente. Por
ejemplo, el clculo de
Z
Z
Cx + D
Cx + D
dx =
dx
2
3
(x + x + )
((x
)2 + 2 )3
se reduce mediante un cambio de variable sencillo al clculo de
Z
Z
t
1
dt y de
dt
2
3
2
(t + 1)
(t + 1)3
La primera de estas integrales es inmediata y para resolver la segunda se aplica (10.6) con
n = 3 con lo cual:
Z
Z
1
3
1
1
t
dt =
dt +
2
3
2
2
2
(t + 1)
4
(t + 1)
4 (t + 1)2
Z
Z
1
1
y el clculo de
dt se reduce al de
dt que se ha resuelto en (10.12).
2
3
2
(t + 1)
(t + 1)2

Ejemplo 10.10. Calcular la integral

6x2 + 10x + 12
dx
x3 + x2 + x + 1

Mtodos de integracin
Es inmediato que x =
como

101
1 es una raiz del denominador y por tanto ste se puede factorizar
x3 + x2 + x + 1 = (x + 1)(x2 + 1)

luego las raices son x = 1 y x = i. Segn (10.10) se escribe entonces la descomposicin

en suma de fracciones simples como
A
Bx + C
6x2 + 10x + 12
=
+ 2
3
2
x +x +x+1
x+1
x +1
de donde se obtiene que A + B = 6; A + C = 12 y B + C = 10. Resolviendo este sistema
se llega a que A = 4; C = 8 y B = 2 y por tanto:
Z
Z
Z
Z
4
2x
8
6x2 + 10x + 12
dx =
dx +
dx +
dx
3
2
2
2
x +x +x+1
x+1
x +1
x +1
= 4 ln jx + 1j + ln x2 + 1 + 8 arctan x + K

Ejemplo 10.11. Calcular la integral

(x2

1
dx
+ 2x + 5)2

El polinomio x2 + 2x + 5 tiene los ceros complejos conjugados x = 1 2i y por tanto se

tiene que
x2 + 2x + 5 = (x + 1 2i)(x + 1 + 2i) = (x + 1)2 + 4
y la integral se puede escribir como:
Z
Z
Z
1
1
1
1
dx =
dx =
dx
2
2
2
2
(x + 2x + 5)
((x + 1) + 4)
16
[((x + 1)=2)2 + 1]2
Z
1
1
=
dt
2
8
(t + 1)2
con el cambio de variable en este ltimo paso de t = (x + 1)=2. Utilizando ahora (10.12)
y deshaciendo el cambio de variables:
Z
1
1
x+1
1
x+1
dx =
arctan
+
+K
2
2
(x + 2x + 5)
16
2
32 (x + 1)2 =4 + 1

10.6. Integracin de funciones trigonomtricas

10.6.1. Integrales de la forma
Son integrales de la forma:

R(sin x; cos x) dx

R(sin x; cos x) dx

Mtodos de integracin

102

donde R es una funcin racional de las variables sin x; cos x como por ejemplo (sin x cos x+
cos3 x)=(1 + cos x). Estas integrales se reducen a una integral racional en una nueva
variable t (que ya se han tratado con anterioridad) con el cambio de variable
t = tan

x
2

(10.13)

Teniendo en cuenta que

p
tan(x=2) =
(1 cos x)=(1 + cos x)
p
sin x =
1 cos2 x;

(10.14)

en funcin de la nueva variable t el seno y el coseno de x se expresan como:

sin x =

2 tan(x=2)
2t
=
;
2
1 + tan (x=2)
1 + t2

cos x =

1 tan2 (x=2)
1 t2
=
1 + tan2 (x=2)
1 + t2

(10.15)

de donde resulta evidente que, en efecto, el cambio de variable transforma el integrando

en una funcin racional. Existen sin embargo algunos casos particulares en los que es ms
conveniente hacer otros cambios de variable en lugar del cambio general (10.13). stos
son:
Cuando la funcin racional R es impar en el sin x, es decir, cuando se tiene que
R( sin x; cos x) = R(sin x; cos x) se hace el cambio
t = cos x
Cuando la funcin racional R es impar en el cos x, es decir, si R(sin x;
R(sin x; cos x), se hace el cambio
t = sin x

(10.16)
cos x) =
(10.17)

Cuando la funcin racional R es par en el sin x y el cos x, es decir, cuando se cumple

que R( sin x; cos x) = R(sin x; cos x) se hace el cambio
t = tan x

(10.18)

Con estos cambios la integral se reduce tambin (como con el cambio (10.13)) a una
integral con integrando racional pero normalmente la integral que se obtiene tras el cambio
resulta ms sencilla que la que se obtendra con el cambio general.

Ejemplo 10.12. Calcular la integral

(1= sin x) dx

En este caso el integrando es impar en el seno de x de modo que el cambio de variable

es (10.16) t = cos x depdonde se deduce quepdt = sin x dx y por tanto se tiene que
dx = dt= sin x = dt= 1 t2 y que sin x = 1 t2 . Luego:
Z
Z
Z
Z
1
1
1
A
B
dx =
dt =
dt =
+
dt
2
sin x
1 t
(1 + t)(1 t)
1+t 1 t

Mtodos de integracin

103

e inmediatamente se obtiene que A = 1=2 y que B = 1=2. Por tanto:

Z
Z
Z
1
1
1
1
1
dx =
dt
dt
sin x
2
1+t
2
1 t
1
1
1 j1 tj
=
ln j1 + tj + ln j1 tj + K = ln
+K
2
2
2 j1 + tj
y deshaciendo el cambio de variable t = cos x y teniendo en cuenta (10.14):
Z
1 j1 cos xj
1
x 2
x
1
dx = ln
+ K = ln tan
+ K = ln tan + K
sin x
2 j1 + cos xj
2
2
2

Ejemplo 10.13. Calcular la integral

=2

cos x
dx
3 + sin2 x

En este caso el integrando es impar en cos x de modo que se hace el cambio (10.17)
t = sin x y por tanto dt = cos x dx y cuando x = 0 t vale 0 y cuando x = =2 t = 1.
Luego:
Z

=2

cos x
dx =
3 + sin2 x

1
dt
2
0
0 3+t
p Z p3=3
Z
1 1
1
3
1
p
=
dt =
du
3 0 1 + (t= 3)2
3 0
1 + u2
! p
p
p
p
3
3
3
3
=
arctan
arctan 0 =
=
3
3
3 6
18

Ejemplo 10.14. Calcular la integral

cos x dt
=
3 + t2 cos x

=3
=4

1
dx
sin x cos3 x

Ahora el integrando es par en sin x y cos x de modo que el cambio es t = tan x y por tanto
dt = (tan x)0 dx = dx= cos2 x y sin2 x = t2 =(1 + t2 ) y cos2px = 1=(1 + t2 ). Adems, cuando
x = =4 entonces t = 1 y cuando x = =3 entonces t = 3. Luego:
Z

=3
=4

1
dx =
sin x cos3 x
=

cos2 x
dt =
sin x cos3 x

1
ln jtj + t2
2

Ejemplo 10.15. Calcular la integral

=2

= ln

1 + t2
dt
t

3+

1
dx
sin x + cos x

3
2

p
1
= ln 3 + 1
2

Mtodos de integracin

104

Ninguno de los tres casos particulares es aplicable de modo que se hace el cambio general
(10.13) t = tan(x=2) y entonces 2dt = dx= cos2 (x=2) = 2dx=(1 + cos x). Cuando x =
0; t = 0 y cuando x = =2; t = 1. Se tiene entonces, utilizando (10.15):
Z =2
Z 1
Z 1
1
1 + (cos x)(t)
1 + t2 + 1 t2
dx =
dt =
dt
sin x + cos x
2t + 1 t2
0
0 (sin x)(t) + (cos x)(t)
0
Z 1
Z 1
1
2
p
p dt
=
dt
=
2
t2
1
2)(t 1 + 2)
0 2t + 1
0 (t
p Z 1
2
1
1
p
p
=
dt
2 0
t 1+ 2 t 1
2
p
p
p 1
2
=
ln t 1 + 2
ln t 1
2
2
0
p
p
p
p
2
2
2
2
=
ln p
ln p
2
2
2 1
2 1
!
p
p
p
p
2
2+1
2
=
ln p
=
ln(3 + 2 2)
2
2
2 1
donde la ltima igualdad
se obtiene multiplicando dentro del logaritmo numerador y
p
denominador por 2 + 1.

10.6.2. Frmulas de reduccin para integrales trigonomtricas

En el caso de integrandos que son productos de senos y cosenos de argumentos distintos
muchas integrales se pueden calcular utilizando las frmulas bien conocidas que transforman productos de funciones trigonomtricas en sumas, a saber:
2 sin a sin b = cos(a b) cos(a + b)
2 cos a cos b = cos(a + b) + cos(a b)
2 sin a cos b = sin(a + b) + sin(a b)
y como casos particulares cos 2a = 2 cos2 a
ejemplo se tiene:

Ejemplo 10.16. Calcular la integral

1 o bien cos 2a = 1

2 sin2 a. A ttulo de

(sin nx)(cos px) dx con n; p 2 N y n 6= p

Utilizando la tercera de las frmulas anteriores:

Z
Z
Z
1
1
(sin nx)(cos px) dx =
sin(n + p)x dx +
sin(n p)x dx
2
2
1
1
=
cos(n + p)x
cos(n p)x + K
2(n + p)
2(n p)

Ejemplo 10.17. Calcular la integral

sin4 x dx

Mtodos de integracin

105

Usando las frmulas de reduccin:

Z
Z
Z
2
1 cos 2x
1
4
sin x dx =
dx =
dx +
2
4
Z
x sin 2x 1
x
=
+
cos2 2x dx =
4
4
4
4
x sin 2x x 1 sin 4x
=
+ +
+K =
4
4
8 8 4

Z
1
cos 2x dx
cos 2x dx
2
Z
sin 2x 1
cos 4x + 1
+
dx
4
4
2
3
sin 2x sin 4x
x
+
+K
8
4
32

1
4

10.7. Integracin de funciones irracionales

En general existen integrales de funciones irracionales que no se pueden calcular en trminos de funciones elementales. En los casos en los que s es posible, el procedimento es
habitualmente hacer un cambio de variable que transforme el integrando en una funcin
racional.

10.7.1. Integrales de la forma

Se supone que en

R(x; xr1 ; xr2 ; :::; xrn ) dx

R(x; xr1 ; xr2 ; :::; xrn ) dx

(10.19)

R(u1 ; u2 ; :::; un ) es una funcin racional de las variables uj y los exponentes rj = aj =bj
son nmeros racionales de modo que en general las funciones xrj son irracionales. El
integrando se transforma en uno racional calculando primero el mnimo comn mltiplo
m de los bj de modo que m=bj = dj es
un nmero natural y escribiendo cada rj como
p
m
rj
rj = aj =bj = aj dj =m con lo cual x = xaj dj y la raiz que afecta a todos los trminos xrj
en R(x; xr1 ; xr2 ; :::; xrn ) es lapmisma, una raiz m-sima. Por ltimo, se hace en la integral
el cambio de variable t = m x, dx = mtm 1 dt con lo cual la integral se reduce a una de
integrando racional que se resuelve por el procedimiento dado en un apartado anterior.
Una generalizacin inmediata del procedimiento anterior se tiene en el caso de las integrales:
Z
r
r
r
a + bx 1
a + bx 2
a + bx n
R x;
;
; :::;
dx con ae bc 6= 0
c + ex
c + ex
c + ex
en las que basta hacer primero el cambio a una nueva variable s denida como
s=

a + bx
a sc
bc
; x=
; dx =
c + ex
se b
(se

y en esta nueva variable la integral es del tipo (10.19).

Ejemplo 10.18. Calcular la integral

1
p dx
2 x+3 x
p
3

ae
ds
b)2

Mtodos de integracin

106

p
p
p
6
6
El integrando se escribe como 1=(2 x2 + 3 x3 ) y con el cambio t = 6 x se tiene que:
Z
Z
Z
1
6t3
4 8 1
2
p
p dx =
dt = 2
t2
t+
dt
3
2 + 3t
3
9 9 3t + 2
2 x+3 x
2t3 2t2 8t 16
=
+
ln j3t + 2j + K
3
3
9
27
p
y sustituyendo t por 6 x se obtiene el resultado.

10.7.2. Integrales de funciones con radicandos cuadrticos

Son integrales de la forma
I=

R(x;

ax2 + bx + c) dx

(10.20)

donde R es una funcin racional de sus argumentos. Integrales de este tipo pero cuando
el radicando es un polinomio de grado 3 o 4 en lugar de un polinomio de grado 2 como en
(10.20) son las llamadas integrales elpticas que en general no son resolubles en trminos
de funciones elementales. Existe ms de un mtodo para resolver (10.20). Probablemente
el ms rpido sea el de reducir la integral a uno de los 3 siguientes tipos:
Z
p
R(x; x2 + 1) dx
Z
Z

R(x;

x2

1) dx

R(x;

x2 ) dx

y resolver cada una de estas integrales mediante adecuados cambios de variable. El que a
partir de (10.20) se obtenga una u otra de las 3 integrales de ms arriba depende de los
signos de a y de b2 4ac. Por ejemplo, supngase que a < 0. Entonces se escribe:
p
ax2 + bx + c = (
ax + u)2 + v
y se determinan los valores de las constantes u y v para que se cumpla la igualdad de ms
arriba. Se tiene que:
p
p
ax2 + bx + c = (
ax + u)2 + v = ax2 u2 2u
ax + v
de donde se deduce que
p
2u
a = b; v
u =

u2 = c de donde
b
b2
p ; u2 =
;v = c
4a
2
a

b2
4ac b2
=
4a
4a

(10.21)

Mtodos de integracin

107

En el caso en que 4ac b2 < 0 se tiene que v > 0 y entonces la integral se puede escribir
como:
Z
Z
q p
p
2
I =
R(x; ax + bx + c) dx = R x;
(
ax + u)2 + v dx
1
0
s
r
Z
2
p
a
u
+ 1A dx
=
R @x; v
x+ p
v
v
r
r
Z
p p 2
v
v
u
t + 1 dt
(10.22)
=
R
t p
; v
a
a
v
con el cambio

t=

u
a
x+ p ;
v
v

x=

v
a

u
p
v

dx =

v
dt
a

y donde u; v vienen dados en funcinpde a; b; c en (10.21). (10.22) es la integral de una

funcin racional de las variables t y 1 t2 y por tanto coincide con la tercera de las
integrales de la lista de ms arriba. De manera muy similar y dependiendo de los signos
de a y de b2 4ac se obtienen unas u otras integrales de la lista.
Se pueden utilizar dos procedimiento para resolver estas ltimas, en ambos casos haciendo
desaparecer la raiz mediante adecuados cambios de variable que involucran bien funciones
trigonomtricas bien funciones hiperblicas. En el caso de funciones trigonomtricas se
hacen los siguientes cambios dependiendo del tipo de integral de que se trate:
Z
Z
p
2
R(x; 1 x ) dx =
R(sin t; cos t) cos t dt
con x = sin t
Z
Z
p
sin t 1
1
2
R(x; 1 + x ) dx =
R
;
dt
con x = tan t
cos t cos t cos2 t
Z
Z
p
1 sin t
sin t
1
2
R(x; x
1) dx =
R
;
dt con x =
(10.23)
2
cos t cos t
cos t
cos t
y en la primera de ellas tambin es posible el cambio x = cos t. En las integrales de
los segundos miembros ha desaparecido la raiz y se pueden resolver usando los cambios
(10.13), (10.16)-(10.18).

En dos de las integrales en (10.23) tambin es posible hacer un cambio de variable distinto
que en general resulta ms rpido que los dados en (10.23). Estos cambios son:
Z
Z
p
2
R (sinh t; cosh t) cosh t dt con x = sinh t
R(x; 1 + x ) dx =
Z
Z
p
R(x; x2 1) dx =
R (cosh t; sinh t) sinh t dt con x = cosh t (10.24)

teniendo en cuenta que

cosh t =

et + e t
et e
; sinh t =
2
2

y por tanto:
cosh2 t

sinh2 t = 1; (cosh t)0 = sinh t; (sinh t)0 = cosh t

p
t = (sinh 1 )(x) = ln x + x2 + 1
p
t = (cosh 1 )(x) = ln x + x2 1

Mtodos de integracin

108

donde las funciones inversas hacen falta para deshacer el cambio de variable (la nica
salvedad es que el cosh no es inyectivo, cosh t = cosh( t), de modo que la funcin cosh 1
denida ms arriba para todo x 2 [1; 1) es la inversa del cosh siempre que ste p
se dena
unicamente sobre R+ . Si se dene sobre R entonces la inversa sera ln x
x2 1
denida tambin para todo x 2 [1; 1)).
Las integrales en los segundos miembros de (10.24) son funciones racionales de et y se
transforman en integrales del tipo (10.7) con el cambio de variable et = z; dt = dz=z que
permite aplicar la tcnica de descomposicin en fracciones simples.
Ejemplo 10.19. Calcular la integral

x2
dx
x2 1

Un cambio posible es el dado en (10.24) x = cosh t con lo cual se tiene:

Z

Z
1
cosh2 t
sinh t dt =
(e2t + e 2t + 2) dt
sinh t
4
1 2t 1 2t 1
e
e + t+K
8
8
2
2
p
p
1
1
1
1
x + x2 1
+
ln
x
+
x2
p
8
8 x + x2 1 2 2
2
2
p
p
p
1
1
1
x + x2 1
x
x2 1 + ln x + x2
8
8
2
p
1 p 2
1
x x
1 + ln x + x2 1 + K
2
2

x2
p
dx =
x2 1
=
=
=
=

1 +K
1 +K

sustituyendo t por el (cosh 1 )(x) para deshacer el cambio de variable.

Ejemplo 10.20. Calcular la integral

3=3

1
dx
1 + x2

Un cambio posible es el dado en

p (10.24) x = sinh t con lo cual se tiene, teniendo en cuenta
1
1
que sinh 0 = 0 y que sinh
3=3 = (ln 3)=2:
Z

3=3

1
p
dx =
1 + x2

(ln 3)=2

1
1
cosh t dt = ln 3
cosh t
2

Ejemplo 10.21. Calcular la integral I =

1
x x2
p

dx

Un cambio posible es el dado enp(10.24) x =p

cosh t con lo cual se tiene, teniendo en cuenta
que cosh 1 1 = 0 y que cosh 1 2 = ln(1 + 2):
I =

1
p
x x2

p
ln(1+ 2)

et

dx =

2
+e

dt =

p
ln(1+ 2)

1
sinh t dt =
cosh t sinh t

p
ln(1+ 2)

2e
dt
+1

e2t

p
ln(1+ 2)

1
dt
cosh t

Mtodos de integracin

109

y haciendo en esta ltima integral el cambio z = et ; dt = dz=z:

I =

p
ln(1+ 2)

2et
dt =
e2t + 1

= 2 arctan zj1+
1

Ejemplo 10.22. Calcular la integral I =

p
1+ 2

2z 1
dz
1 + z2 z
1
p
= 2 arctan(1 + 2)
2

x2

1
1

x2

dx

Con
p el cambio de variable x = sin t dado en (10.23) se tiene que dx = (cos t)dt y que
1 x2 = cos t y por tanto:
p
Z
Z
1
1 x2
1
1
p
dx =
dt
=
+
K
=
+K
tan t
x
sin2 t
x2 1 x2
donde la ltima expresin se obtiene deshaciendo el cambio: tan2 t = sin2 t= cos2 t =
x2 =(1 x2 ).

Bibliografa

110

Bibliografa
[1] Riaza R. y Alvarez M. Clculo innitesimal. Sociedad de Amigos de la E.T.S.I
.Industriales U.P.M.
[2] Courant R. y John F. Introduccin al Clculo y al Anlisis Mtemtico. Ed. Limusa.
[3] Spivak M. Calculus. Ed. Revert.
[4] Ruiz J. Cuestiones de Clculo. Varios ejemplares estn a disposicin de los alumnos
en la biblioteca de la E.T.S.I.Industriales U.P.M.
[5] Liashk I.I. et al. Matemtica Superior. Problemas resueltos. Ed. URSS.
[6] Garca Lzaro, P, Riaza Prez, R, Rincn Ortega, A y Tablada
Cruz, M. Problemas de Clculo Innitesimal. Calculo I. Seccin de Publicaciones
E.T.S.I.Industriales U.P.M.
[7] Fernndez de las Heras, L, Garca Lzaro, P, Rincn Ortega, A y
Tablada Cruz, M. Problemas de examen. Calculo I. Seccin de Publicaciones
E.T.S.I.Industriales U.P.M.