3.

6 Límites: un enfoque formal 123

45. y  ƒ(x) y senta un n-gono regular inscrito en un círculo de

radio r. Use trigonometría para demostrar que el área
A(n) del n-gono está dada por

r sen a b.
x
n 2 2p
A(n)
2 n
b) Tiene sentido afirmar que el área A(n) tiende al área
FIGURA 3.5.16 Gráfica para el problema 45 del círculo a medida que aumenta el número de lados
46. y del n-gono. Use una calculadora para obtener A(100)
y A(1 000).
y  ƒ(x)
c) Sea x ⫽ 2p>n en A(n) y observe que cuando n S q
entonces x S 0. Use (10) de la sección 3.4 para
x demostrar que lím A(n) ⫽ pr 2.
nSq
y

FIGURA 3.5.17 Gráfica para el problema 46 r

n
En los problemas 47-50, trace una gráfica de una función f x
que satisface las condiciones dadas.
47. lím f(x) q , lím f(x) q , f(2) 0, lím f(x) 0
xS1 xS1 q xS

48. f(0) 1, límq f(x) 3, límq f(x) 2 FIGURA 3.5.18 n-gono inscrito para
xS xS el problema 56
49. lím f(x) q , lím f(x) q , lím f(x) 1
xS2 xSq xSq
Piense en ello
50. lím f(x) 2, lím f(x) q , f A 32 B 0, f(3) 0, 57. a) Suponga que f(x) ⫽ x 2>(x ⫹ 1) y g(x) ⫽ x ⫺ 1.
xS1 xS1

lím f(x) 0, límq f(x) 0 Demuestre que

xS q xS
límq [ f (x) g(x)] 0.
51. Use una sustitución idónea para evaluar xS

3 b) ¿Qué indica el resultado del inciso a) respecto a las

gráficas de f y g, donde 0x 0 es grande?
lím x sen .
xS q x
52. Según la teoría de la relatividad de Einstein, la ma- c) De ser posible, asigne un nombre a la función g.
sa m de un cuerpo que se mueve con velocidad y es 58. Muy a menudo los estudiantes e incluso los profesores
m ⫽ m0> 21 ⫺ y 2>c 2, donde m0 es la masa inicial y c trazan incorrectamente gráficas desplazadas vertical-
es la velocidad de la luz. ¿Qué ocurre a m cuando mente. Por ejemplo, las gráficas de y ⫽ x 2 y y ⫽ x 2 ⫹ 1
y S c⫺? están dibujadas incorrectamente en la FIGURA 3.5.19a) pero
lo están correctamente en la figura 3.5.19b). Demuestre
Problemas con calculadora/SAC que la figura 3.5.19b) es correcta al mostrar que la dis-
En los problemas 53 y 54, use una calculadora o SAC para tancia horizontal entre los dos puntos P y Q en la figura
investigar el límite dado. Conjeture su valor. tiende a 0 cuando x S q .
54. límq acos b
2 1 x
53. límq x 2 sen 2 y y
xS x xS x
55. Use una calculadora o un SAC para obtener la gráfica
de f(x) ⫽ (1 ⫹ x)1>x. Use la gráfica para conjeturar los P Q
valores de f(x) cuando
Recta
a) x S ⫺1 ⫹ , b) x S 0 y c) x S q . horizontal
56. a) Un n-gono regular es un polígono regular de n lados x x
inscrito en un círculo; el polígono está formado por a) Incorrecto b) Correcto
n puntos equidistantes sobre el círculo. Suponga que FIGURA 3.5.19 Gráficas para el problema 58
el polígono que se muestra en la FIGURA 3.5.18 repre-

3.6 Límites: un enfoque formal

Introducción En el análisis que se presenta a continuación se considerará un enfoque alterno
a la idea de límite, que se basa en conceptos analíticos más que en conceptos intuitivos. Una
demostración de la existencia de un límite jamás debe estar basada en la habilidad para ela-
borar gráficas o en tablas de valores numéricos. Aunque una buena comprensión intuitiva de
124 UNIDAD 3 Límite de una función

lím f (x) es suficiente para continuar con el estudio del cálculo en este texto, en general una
x Sa
comprensión intuitiva es algo muy vago como para usarlo en la demostración de teoremas. Para
presentar una demostración rigurosa de la existencia de un límite, o para demostrar los impor-
tantes teoremas de la sección 3.2, es necesario empezar con una definición precisa de límite.
Límite de una función Se intentará demostrar que lím (2x ⫹ 6) ⫽ 10 al trabajar la siguiente
x S2
idea: “Si f(x) ⫽ 2x ⫹ 6 puede hacerse arbitrariamente próximo a 10 al tomar x suficientemente
próximo a 2, por ambos lados pero diferente de 2, entonces lím f (x) ⫽ 10.” Es necesario pre-
x S2
cisar los conceptos arbitrariamente próximo y suficientemente próximo. Para establecer una
norma de proximidad arbitraria, se pedirá que la distancia entre los números f(x) y 10 sea
menor que 0.1; es decir,
0 f(x) 10 0 6 0.1 o 9.9 6 f(x) 6 10.1. (1)
Así, ¿cuán próximo a 2 debe estar x para satisfacer (1)? Para averiguarlo, es posible usar álge-
bra normal para volver a escribir la desigualdad
9.9 6 2x ⫹ 6 6 10.1
cuando 1.95 6 x 6 2.05. Al sumar ⫺2 a ambos miembros de esta desigualdad simultánea se
obtiene
⫺0.05 6 x ⫺ 2 6 0.05.
Al usar valores absolutos y recordar que x ⫽ 2, la última desigualdad puede escribirse como
0 6 0x ⫺ 2 0 6 0.05. Así, para una cercanía arbitrariamente próxima a 10 de 0.1, suficiente-
mente próximo a 2 significa a menos de 0.05. En otras palabras, si x es un número diferente
de 2 tal que su distancia a 2 satisface 0x ⫺ 2 0 6 0.05, entonces se garantiza que la distancia de
f(x) a 10 satisface 0 f(x) ⫺ 10 0 6 0.1. Al expresarlo de otra manera, cuando x es un número
diferente de 2, pero que está en el intervalo abierto (1.95, 2.05) sobre el eje x, entonces f(x)
está en el intervalo (9.9, 10.1) sobre el eje y.
Se intentará generalizar usando el mismo ejemplo. Suponga que e (la letra griega épsilon)
y y  2x  6
denota un número positivo arbitrario que constituye la medida de la proximidad arbitraria al
10  número 10. Si se pide que
0 f(x) 10 0 6 e
ƒ(x)
10 o 10 e 6 f(x) 6 10 e, (2)
10 
entonces por 10 ⫺ e 6 2x ⫹ 6 6 10 ⫹ e y por álgebra, se encuentra que
e e e e
2 6 x 6 2 o 6 x 2 6 . (3)
2 2 2 2
De nuevo, al usar valores absolutos y al recordar que x ⫽ 2, la última desigualdad en (3) puede
escribirse como
0 6 0 x ⫺ 20 6 .
e
(4)
2
Si e>2 se denota por el nuevo símbolo d (la letra griega delta), (2) y (4) pueden escribirse como
0 f(x) ⫺ 10 0 6 e siempre que 0 6 0 x ⫺ 2 0 6 d.
Así, para un nuevo valor para e, por ejemplo e ⫽ 0.001, d ⫽ e>2 ⫽ 0.0005 establece la pro-
x
ximidad correspondiente a 2. Para cualquier número x diferente de 2 en (1.9995, 2.0005),*
x puede tenerse la certeza de que f(x) está en (9.999, 10.001). Vea la FIGURA 3.6.1.
2 2 2
FIGURA 3.6.1 f(x) está en Una definición El análisis anterior conduce a la definición e-d de límite.
(10 ⫺ e, 10 ⫹ e) siempre que x
esté en (2 ⫺ d, 2 ⫹ d), x ⫽ 2
Definición 3.6.1 Definición de límite
Suponga que una función f está definida en todas partes sobre un intervalo abierto, excepto
quizás en un número a en el intervalo. Entonces
lím f(x) ⫽ L
x Sa

significa que para todo e 7 0, existe un número d 7 0 tal que

0 f(x) ⫺ L 0 6 e siempre que 0 6 0 x ⫺ a 0 6 d.

* Por esta razón se usa 0 6 0 x ⫺ 2 0 6 d en lugar de 0 x ⫺ 2 0 6 d. Al considerar lím f (x), no olvide que f en 2 carece
xS2
de importancia.
 3.6 Límites: un enfoque formal 125

Sea lím f(x) = L y suponga que d 7 0 es el número que “funciona” en el sentido de la

xS a
definición 3.6.1 para un e 7 0 dado. Como se muestra en la FIGURA 3.6.2a), toda x en
(a ⫺ d, a ⫹ d), con la posible excepción de a mismo, tendrá entonces una imagen f(x)
en (L ⫺ e, L ⫹ e). Además, en la figura 3.6.2b), una elección d1 6 d para la misma e tam-
bién “funciona” en el sentido de que toda x diferente a a en (a ⫺ d1, a ⫹ d1) proporciona f(x)
en (L ⫺ e, L ⫹ e). No obstante, la figura 3.6.2c) muestra que al escoger un e1, 0 6 e1 6 e,
más pequeño, demanda encontrar un nuevo valor de d. Observe en la figura 3.6.2c) que x está
en (a ⫺ d, a ⫹ d) pero no en (a ⫺ d1, a ⫹ d1), de modo que f(x) no necesariamente está en
(L ⫺ e1, L ⫹ e1).

y y y
L L L
L  1
L L L
L  1
ƒ(x) ƒ(x)
L L L

x x x
x x
a a a a a a a a a
a  1 a  1 a  1 a  1

a) Un  que funciona para un  dado b) Un 1 más pequeño también funciona c) Un 1 más pequeño requiere un 1 .
para el mismo  Para x en (a  , a  ), f (x) no
necesariamente está en (L  1, L  1)
FIGURA 3.6.2 f(x) está en (L ⫺ e, L ⫹ e) siempre que x esté en (a ⫺ d, a ⫹ d), x ⫽ a

EJEMPLO 1 Uso de la definición 3.6.1

Demuestre que lím
xS3
(5x ⫹ 2) ⫽ 17.

Solución Para cualquier e 7 0, arbitrario sin importar cuán pequeño sea, se quiere encon-
trar un d de modo que
0(5x ⫹ 2) ⫺ 17 0 6 e siempre que 0 6 0x ⫺ 3 0 6 d.
Para hacer lo anterior, considere
0(5x ⫹ 2) ⫺ 17 0 ⫽ 05x ⫺ 15 0 ⫽ 5 0x ⫺ 3 0 .
Así, para hacer 0(5x ⫹ 2) ⫺ 17 0 ⫽ 5 0x ⫺ 3 0 6 e, sólo es necesario hacer 0 6 0 x ⫺ 3 0 6 e>5;
es decir, se escoge d ⫽ e>5.
Verificación Si 0 6 0x ⫺ 3 0 6 e>5, entonces 5 0x ⫺ 3 0 6 e implica
05x 15 0 6 e o bien, 0(5x 2) 17 0 6 e o bien, 0 f (x) 17 0 6 e.

EJEMPLO 2 Uso de la definición 3.6.1

16 x 2
Demuestre que lím 8.
xS 4 4 x Este límite se analizó en (1) y
(2) de la sección 3.1.
Solución Para x ⫽ ⫺4,

` ⫺ 8 ` ⫽ 04 ⫺ x ⫺ 8 0 ⫽ 0⫺x ⫺ 4 0 ⫽ 0x ⫹ 4 0 ⫽ 0x ⫺ (⫺4) 0
16 ⫺ x 2
4⫹x

` ⫺ 8 ` ⫽ 0x ⫺ (⫺4) 0 6 e
16 ⫺ x 2
Así,
4⫹x
siempre que se tiene 0 6 0x ⫺ (⫺4) 0 6 e; es decir, se escoge d ⫽ e.

EJEMPLO 3 Un límite que no existe

Considere la función

f(x) ⫽ e
0, xⱕ1
2, x 7 1.
126 UNIDAD 3 Límite de una función

y En la FIGURA 3.6.3 se reconoce que f tiene una discontinuidad de tipo salto en 1, de modo que
lím f (x) no existe. No obstante, para demostrar este último hecho, se procederá indirectamente.
x S1
Suponga que el límite existe; a saber, lím f (x) ⫽ L. Luego, por la definición 3.6.1 sabemos
x S1

x
que para la elección e ⫽ 12 debe existir un d 7 0 tal que
1
0 f(x) ⫺ L 0 6 0 6 0 x ⫺ 1 0 6 d.
1
FIGURA 3.6.3 El límite de f no siempre que
2
existe cuando x tiende a 1 en el
ejemplo 3 Luego, a la derecha de 1 se escoge x ⫽ 1 ⫹ d>2. Puesto que

0 6 `1 ⫹ ⫺1` ⫽ ` ` 6 d
d d
2 2
debe tenerse

` f a1 ⫹ b ⫺ L ` ⫽ 0 2 ⫺ L 0 6 .
d 1
(5)
2 2
A la izquierda de 1, se escoge x ⫽ 1 ⫺ d>2. Pero

0 6 `1 ⫺ ⫺ 1 ` ⫽ `⫺ ` 6 d
d d
2 2

` f a1 ⫺ b ⫺ L ` ⫽ 0 0 ⫺ L 0 ⫽ 0 L 0 6 .
d 1
implica (6)
2 2
Al resolver las desigualdades en valor absoluto (5) y (6) se obtiene, respectivamente,
3 5 1 1
6 L 6 y 6 L 6 .
2 2 2 2
Puesto que ningún número L puede satisfacer estas dos desigualdades, concluimos que
lím f (x) no debe existir.
x S1

En el siguiente ejemplo se considera el límite de una función cuadrática. Veremos que en

este caso encontrar la d requiere un poco más de ingenio que en los ejemplos 1 y 2.

EJEMPLO 4 Uso de la definición 3.6.1

Este límite se analizó en el Demuestre que lím
x S4
(⫺x2 ⫹ 2x ⫹ 2) ⫽ ⫺6.
ejemplo 1 de la sección 3.1.
Solución Para un e 7 0 arbitrario es necesario encontrar un d 7 0 tal que
0 x2 2x 2 ( 6) 0 6 e siempre que 0 6 0x 4 0 6 d.
Luego,
0⫺x 2 ⫹ 2x ⫹ 2 ⫺ (⫺6) 0 ⫽ 0(⫺1)(x 2 ⫺ 2x ⫺ 8) 0
⫽ 0 (x ⫹ 2)(x ⫺ 4) 0
⫽ 0 x ⫹ 2 0 0x ⫺ 4 0 . (7)
En otras palabras, se quiere hacer 0x ⫹ 2 0 0 x ⫺ 4 0 6 e. Pero puesto que hemos acordado exa-
minar valores de x cerca de 4, sólo se consideran aquellos valores para los cuales 0 x ⫺ 4 0 6 1.
Esta última desigualdad da 3 6 x 6 5 o, de manera equivalente, 5 6 x ⫹ 2 6 7. En conse-
cuencia, podemos escribir 0 x ⫹ 2 0 6 7. Entonces, por (7),
0 6 0x ⫺ 40 6 1 implica 0 ⫺x 2 ⫹ 2x ⫹ 2 ⫺ (⫺6) 0 6 7 0 x ⫺ 4 0 .
Si ahora d se escoge como el mínimo de los dos números 1 y e>7, escrito d = mín{1, e> 7}
se tiene
0 6 0x ⫺ 4 0 6 d 0⫺x 2 ⫹ 2x ⫹ 2 ⫺ (⫺6) 0 6 7 0 x ⫺ 4 0 6 7 . ⫽ e.
e
implica
7
El razonamiento en el ejemplo 4 es sutil. En consecuencia, merece la pena dedicar unos
minutos para volver a leer el análisis que está inmediatamente después de la definición 3.6.1,
 3.6 Límites: un enfoque formal 127

volver a examinar la figura 3.3.2b) y luego volver a pensar en por qué d = mín{1, e> 7} es el
d que “funciona” en el ejemplo. Recuerde que el valor de e puede escogerse arbitrariamente;
considere d para, por ejemplo, e = 8, e = 6 y e ⫽ 0.01.

Límites laterales A continuación se presentan las definiciones de los límites laterales,

lím
⫺
f (x) y lím f (x).
⫹
x Sa xS a

Definición 3.6.2 Límite por la izquierda

Suponga que una función f está definida sobre un intervalo abierto (c, a). Entonces
lím f(x) ⫽ L
x Sa⫺

significa que para todo e 7 0 existe una d 7 0 tal que

0 f(x) ⫺ L 0 6 e siempre que a ⫺ d 6 x 6 a.

Definición 3.6.3 Límite por la derecha

Suponga que una función f está definida sobre un intervalo abierto (a, c). Entonces
lím f(x) ⫽ L
x Sa⫹

significa que para todo e 7 0 existe una d 7 0 tal que

0 f(x) ⫺ L 0 6 e siempre que a 6 x 6 a ⫹ d.

EJEMPLO 5 Uso de la definición 3.6.3

Demuestre que xlím
S0
1x 0.
⫹

Solución Primero, podemos escribir

0 1x ⫺ 0 0 ⫽ 0 1x 0 ⫽ 1x.
Luego, 0 1x ⫺ 0 0 6 e siempre que 0 6 x 6 0 ⫹ e2. En otras palabras, se escoge d ⫽ e2.
Verificación Si 0 6 x 6 e2, entonces 0 6 1x 6 e implica
0 1x 0 6 e o bien, 0 1x ⫺ 0 0 6 e.

Límites que implican el infinito Los dos conceptos de límite infinito

f(x) S q (o bien, q ) cuando xSa
y límite en el infinito
f(x) S L cuando x S q (o bien, q)
se formalizan en las dos secciones siguientes.
Recuerde que un límite infinito es un límite que no existe cuando x S a.

Definición 3.6.4 Límites infinitos

i) lím f(x) ⫽ q significa que para todo M 7 0 existe un d 7 0 tal que f(x) 7 M siempre
que 0 6 0x ⫺ a 0 6 d.
xS a

ii) lím f(x) ⫽ ⫺q significa que para todo M 6 0 existe un d 7 0 tal que f(x) 6 M siem-
pre que 0 6 0 x ⫺ a 0 6 d.
xS a
128 UNIDAD 3 Límite de una función

Los incisos i) y ii) de la definición 3.6.4 se ilustran en la FIGURA 3.6.4a) y en la figura 3.6.4b),
respectivamente. Recuerde, si f (x) S q (o - q) cuando x S a, entonces x ⫽ a es una asín-
tota vertical para la gráfica de f. En el caso en que f(x) S q cuando x S a, entonces f(x)
puede hacerse más grande que cualquier número positivo arbitrario (es decir, f(x) 7 M) al
tomar x suficientemente próximo a a (es decir, 0 6 0 x ⫺ a 0 6 d).

y
y
a a x a
x
ƒ(x)

yM yM

ƒ(x)

x
a x a a

a) Para un M dado, siempre que b) Para un M dado, siempre que

a    x  a  , x  a, a    x  a  , x  a,
se tiene que ƒ(x)  M se tiene que ƒ(x)  M
FIGURA 3.6.4 Límites infinitos cuando x S a

Los cuatro límites infinitos por un lado

f(x) S q cuando x S a , f(x) S q cuando x S a
f(x) S q cuando x S a , f(x) S q cuando x S a
se definen de forma análoga a la proporcionada en las definiciones 3.6.2 y 3.6.3.

Definición 3.6.5 Límites en el infinito

i) lím f (x) ⫽ L si para todo e 7 0, existe un N 7 0 tal que 0 f(x) ⫺ L 0 6 e
x Sq
siempre que x 7 N.
ii ) lím f (x) ⫽ L si para todo e 7 0, existe un N 6 0 tal que 0 f(x) ⫺ L 0 6 e
x S⫺q
siempre que x 6 N.

Los incisos i) y ii) de la definición 3.6.5 se ilustran en la FIGURA 3.6.5a) y en la figura 3.6.5b),
respectivamente. Recuerde, si f(x) S L cuando x S q (o - q), entonces y ⫽ L es una asín-
tota horizontal para la gráfica de f. En el caso en que f(x) S L cuando x S q , entonces la
gráfica de f puede hacerse arbitrariamente próxima a la recta y ⫽ L (es decir, 0 f(x) ⫺ L 0 6 e)
al tomar x suficientemente lejos sobre el eje x positivo (es decir, x 7 N).

y
y
L
L L
L L
ƒ(x) L
ƒ(x)
x x
x x
N N
a) Para un  dado, x  N implica b) Para un  dado, x  N implica
L    f (x)  L   L    f (x)  L  
FIGURA 3.6.5 Límites en el infinito
 3.6 Límites: un enfoque formal 129

EJEMPLO 6 Uso de la definición 3.6.5i )

3x
Demuestre que límq 3.
xS x 1
Solución Por la definición 3.6.5i), para cualquier e 7 0 es necesario encontrar un número
N 7 0 tal que

` ⫺3` 6 e
3x
siempre que x 7 N.
x⫹1
Luego, al considerar x 7 0, tenemos

` ⫺3` ⫽ ` ` ⫽
3x ⫺3 3 3
6 6 e
x⫹1 x⫹1 x⫹1 x
siempre que x 7 3>e. Entonces, se escoge N ⫽ 3>e. Por ejemplo, si e ⫽ 0.01, entonces
N ⫽ 3>(0.01) ⫽ 300 garantiza que 0 f(x) ⫺ 3 0 6 0.01 siempre que x 7 300.

Posdata: Un poco de historia Después de esta sección tal vez esté de acuerdo con el filó-
sofo, predicador, historiador y científico inglés William Whewell (1794-1866), quien escribió
en 1858 que “Un límite es una concepción. . . peculiar”. Durante muchos años después de la
invención del cálculo en el siglo XVII, los matemáticos discutían y debatían acerca de la natu-
raleza de un límite. Había la percepción de que la intuición, las gráficas y ejemplos numéri-
cos de razones de cantidades que desaparecen proporcionan cuando mucho un cimiento ines-
table para tal concepto fundamental. Como se verá al principio de la siguiente unidad, el
concepto de límite juega un papel central en cálculo. El estudio del cálculo pasó por varios
periodos de creciente rigor matemático empezando con el matemático francés Augustin-Louis
Cauchy y luego con el matemático alemán Karl Wilhelm Weierstrass.

Augustin-Louis Cauchy (1789-1857) nació durante una época de convulsión

en la historia de Francia. Cauchy estaba destinado a iniciar una revolución por
sí mismo en matemáticas. Por muchas contribuciones, pero especialmente
debido a sus esfuerzos por clarificar cuestiones matemáticas oscuras, su
demanda incesante por contar con definiciones satisfactorias y demostraciones
rigurosas de teoremas, Cauchy a menudo es denominado “padre del análisis
Cauchy
moderno”. Escritor prolífico cuyo trabajo sólo ha sido superado por unos cuan-
tos, Cauchy produjo casi 800 artículos sobre astronomía, física y matemáticas. Sin embargo,
la misma mentalidad que siempre estaba abierta y preguntaba sobre ciencia y matemáticas tam-
bién era estrecha y no cuestionaba muchas otras áreas. Franca y arrogante, la postura apasio-
nada de Cauchy respecto a asuntos políticos y religiosos a menudo lo alejaron de sus colegas.

Karl Wilhelm Weierstrass (1815-1897) ¡Uno de los analistas matemáticos

más destacados del siglo XIX sin haber tenido ningún grado académico!
Después de especializarse en leyes en la Universidad de Bonn, aunque con-
centrado en esgrima y en beber cerveza durante cuatro años, Weierstrass se
“graduó” en la vida real sin ningún título. Al necesitar trabajo, Weierstrass
aprobó un examen estatal y recibió un certificado para enseñar en 1841.
Weierstrass
Durante 15 años como profesor de enseñanza secundaria, su genio matemático
dormido floreció. Aunque la cantidad de sus investigaciones publicadas era modesta, especial-
mente en comparación con la de Cauchy, la calidad de estos trabajos impresionó tanto a
la comunidad matemática alemana que se le otorgó un doctorado, honoris causa, de la
Universidad de Königsberg, y finalmente fue contratado como profesor en la Universidad de
Berlín. Una vez ahí, Weierstrass obtuvo reconocimiento internacional como matemático y como
maestro de matemáticas. Una de sus estudiantes fue Sonja Kowalewski, la más grande mate-
mática del siglo XIX. Fue Karl Weierstrass quien dotó de sólidos fundamentos al concepto de
límite con la definición e-d.