u

Demostraciones . Comencemos haciendo algunas observaciones sobre el valor absoluto.

Valor Absoluto. Primero recordar que si x es un nmero real, el valor absoluto de x es u la distancia desde x a 0 y es escrita como |x|. Dicho de otra forma, podemos denir x si x > 0, 0 si x = 0, |x| = x si x < 0. Por tanto, si k es cualquier nmero real, tenemos u x k si x > k, 0 si x = k, |x k| = k x si x < k,

tal que es natural (y util) pensar en |x k| como la distancia de x a k. Dos equivalencias importantes que involucra el valor absoluto son |x k| < < x k < k < x < k + , donde el s mbolo signica si y slo si. En palabras, estas equivalencias dicen que x o es menor que unidades de k si y slo si la diferencia x k est entre y si y slo si x o a o est en el intervalo (k , k + ). Haz el dibujo! a

La Denicin. o

Denicin (informal). Si f (x) es una funcin denida para todos los valores de x cerca o o de x = k, excepto tal vez en x = k, y si es un nmero real tal que los valores de f (x) se u acercan y ms a como los valores de x son tomados ms cerca y ms cerca de k, entonces a a a decimos que es el l mite de f (x) cuando x se aproxima a k y escribimos
xk

l f (x) = . m

Para transformar esta idea intuitiva hacia una denicin precisa, necesitamos decir exaco tamente qu decimos por f (x) se acerca y ms a como los valores de x son tomados ms e a a cerca y ms cerca de k. La idea principal es notar que si dos cantidades se estn acercando a a y ms, entonces la distancia entre ellas se convierte ms pequea y ms pequea. Esto es, a a n a n la distancia es eventualmente ms pequea que cualquier nmero positivo especicado. a n u Notar que hay una implicacin en esta denicin informal. A saber dice si permitimos a o o x convertirse cercano y ms cercano a k, entonces f (x) se convertir ms cerca y ms cerca a a a a a . Cuando escribimos una demostracin, mostramos que al tomar x sucientemente cercano o a k, hacemos a f (x) arbitrariamente cerca a . Sin embargo, antes podemos demostrar la implicacin en la denicin, necesitamos saber cun cerca a k es sucientemente cerca; eso es o o a que necesitamos encontrar un . Ahora vamos a enunciar la denicin precisa. o Denicin. Suponga que k y son nmeros reales y f (x) es una funcin denida en un o u o intervalo abierto que contiene a k, excepto tal vez en x = k. Si para cualquier nmero positivo u > 0, existe un nmero positivo > 0 (que depende de ) tal que u 0 < |x k| < = |f (x) | < , entonces decimos que es el l mite de f (x) cuando x se aproxima a k y escribimos
xk

l f (x) = . m

Ejemplos. Ahora escribiremos unas pocas demostraciones para guiarte en tu propia escritura. Para enfatizar la estructura lgica de la prueba, no mostraremos cmo hallamos o o nuestro en los primeros dos ejemplos. Ejemplo 1. Mostrar que l (3x 5) = 1. m
x2

Demostracin. Sea > 0 y denamos = . Entonces si 0 < |x 2| < , tenemos o 3 |(3x 5) 1| = |3x 6| = 3|x 2| < 3 3 = . Por tanto hemos mostrado 0 < |x 2| < = |(3x 5) 1| < , que muestra l (3x 5) = 1 por denicin. m o
x2

Ejemplo 2. Mostrar que l (7x 1) = 27. m

x4

Demostracin. Sea > 0 y denamos = . Entonces si 0 < |x 4| < , tenemos o 7 |(7x 1) 27| = |7x 28| = 7|x 4| < 7 7 = . Por tanto hemos mostrado 0 < |x 4| < = |(7x 1) 27| < , que muestra l (7x 1) = 27 por denicin. m o
x4

Cada uno de estos ejemplos es una prueba completa. Sin embargo, la pregunta de cmo o elegimos los valores de no es respondida por la prueba en si misma. De hecho, algo de trabajo desde cero fue realizado antes en la prueba que fue escrita. Vamos a observar al trabajo desde cero ahora. (TDC ser la abreviacin aque adoptaremos.) a o TDC para el Ejemplo 1. Deseamos |(3x 5) 1| < cuando 0 < |x 2| < . Resolvemos la desigualdad |(3x 5) 1| < para |x 2| : |(3x 5) 1| < |3x 6| < 3|x 2| |x 2| < . 3 La ultima desigualdad muestra que deber amos tomar = resolver para |x 2| es reversible. dado que cada paso en 3

TDC para el Ejemplo 2. Queremos |(7x 1) 27| < cuando 0 < |x 4| < . Resolvemos la desigualdad |(7x 1) 27| < para |x 4| : |(7x 1) 27| < |7x 28| < 7|x 4| |x 4| < . 7 La ultima desigualdad muestra que deber amos elegir = para |x 4| es reversible. dado que cada paso en resolver 7

Si la funcin f (x) es un polinomio de grado n > 1, es a menudo necesario condionar dos o veces a . Esto es, cuando se realiza el lgebra involucrada en el TDC, necesitaremos restringir a a x para acotar cualesquiera trminos extraos en nuestras desigualdades. Restringiendo x es e n equivalente a mantenerlo dentro de una cierta distancia de k, que es de nuevo equivalente a elegir un valor para . Vamos a hacer esta situacin ms concreta por la manera de un ejemplo o a espec co. Esta vez, revelaremos el TDC antes que escribamos la demostracin formal. o Ejemplo 3. Mostrar que l x2 = 25. m
x5

TDC. Queremos x2 25 < cuando 0 < |x 5| < . Trataremos de resolver la desigualdad |x2 25| < para |x 5|: x2 25 < |x 5| |x + 5| < |x 5| < . |x + 5| (1)

, pero no |x + 5| podemos dado que que se supone que es un nmero que depende slo de , no una funcin u o o de x. Aqu hay una forma de remover esta dicultad: reemplazaremos |x + 5| en (1) por un nmero que satisface |x + 5| . Al hacerlo, reescribimos (1) como u Esta situacin diere de los Ejemplos 1 y 2 en que deseamos denir = o x2 25 < |x 5| |x + 5| < |x 5| < |x 5| < y proceder como antes tomando = , (2)

. Hay un problema aqu tambin. A saber, no hay e nmero que satisface |x + 5| para todos los nmeros reales x. Pero no estamos u u interesados en todos los nmeros reales x, slo esos cerca a k = 5. Qu tan cerca? Bueno, u o e no importa! Solamente queremos acotar |x + 5| restringiendo a x cerca de 5, y cualquier restriccin lo har. Por ejemplo, si requerimos 0 < |x 5| < 1 (eso es x deber ser menor o a a que 1 unidad lejos de 5 o, equivalentemente = 1), entonces tenemos |x 5| < 1 1 < x 5 < 1 9 < x + 5 < 11, tal que podamos tomar = 11. Ahora volviendo a (2), deber amos hacer = . Recordar que 11 tambin necesitamos |x 5| < 1 tal que si denimos = m 1, e n , entonces 0 < |x5| < 11 implica |x 5| < 1 y |x 5| < . 11 Ahora podemos escribir la demostracin formal. Notar cun mucha ms explicacin est o a a o a presente en el TDC que en la prueba formal.

Demostracin (del Ejemplo 3). Sea > 0 y denamos = m 1, o n 0 < |x 5| < , tenemos x2 25 = |x + 5| |x 5| < 11 |x 5| < 11 11 = .

. Entonces si 11

Por tanto hemos mostrado 0 < |x 5| < = x2 25 < , que muestra l x2 = 25 por denicin. m o
x5

Aqu hay un ejemplo ms, y esta vez dejaremos el TDC al lector. De hecho, sugerimos a que primero hagas tu propio TDC y escribas tu propia prueba. Despus de esto, compara e tu trabajo con la demostracin abajo. Recordar, es poco probable que dos pruebas se leern o a exactamente de la misma forma, necesitas solamente vericar la implicacin en la denicin o o con tu (deducido) valor de . Ejemplo 4. Mostrar que l 2x2 x + 3 = 31. m
x4

Demostracin. Sea > 0 y denamos = m 1, o n . Entonces si 0 < |x 4| < , 17 tenemos 2x2 x + 3 31 = 2x2 x 28 = |2x + 7| |x 4| < 17 |x 4| < 17 17 = .

Por tanto hemos mostrado 0 < |x 4| < = | 2x2 x + 3 31| < , que muestra l 2x2 x + 3 = 31 por denicin. m o
x4

Nos acercamos en dar un ejemplo que ilustra el lgebra involucrada cuando se lidia con a una funcin racional. Una vez ms, mostraremos primero nuestro TDC involucrado en hallar o a y entonces escribir la demostracin formal. o 1 1 = . x3 x + 1 4 1 4 < cuando 0 < |x 3| < . Vamos a intentar x+1

Ejemplo 5. Mostrar que l m TDC. Esta vez, queremos resolver la desigualdad

1 4 < para |x 3|: x+1 (3)

4x1 3x |x 3| 1 1 < < < < 4. x+1 4 4(x + 1) 4(x + 1) |x + 1| 4

Justo como en el Ejemplo 3, queremos hallar un nmero tal que u 1 , |x + 1| tal que podamos reemplazar hay tal que 1 4 en (3) con y proceder a tomar = . De nuevo, no |x + 1|

1 para todo x, pero si |x 3| < 1 (en efecto si = 1), entonces |x + 1| 1 1 1 . Por tanto ponemos = y denamos puedes mostrar que 3 < x + 1 < 5 tal que |x + 1| 3 3 = m {1, 12} . Queda escribir la demostracin. n o Demostracin (del Ejemplo 5). Sea > 0 y denamos = m {1, 12} . Entonces si o n 0 < |x 3| < , tenemos 1 1 x+1 4 = = < < = Por tanto hemos mostrado 0 < |x 3| < = que muestra l m 1 1 = por denicin. o x3 x + 1 4 1 1 < , x+1 4 4x1 4(x + 1) |x 3| 4 |x + 1| 1 |x 3| 3 4 1 12 12 .