Está en la página 1de 19

DEFINICIONES Y METODOS FORMALES

Existen tres niveles de entender una prueba. El ms bajo es el sentimiento placentero de haber a entendido la argumentacin; el segundo es la hao bilidad de repetirla; y el tercero o el nivel superior es el de ser capaz de rebatirla. Karl Popper

. La demostracin en las matemticas es una de sus dimensiones ms o a a importantes. Esto signica, esencialmente, la necesidad de realizar la prueba de las proposiciones y teoremas matemticos a partir de una serie a de premisas y criterios y usando la deduccin lgica. Antes de los griegos, o o por ejemplo, se sab muchos resultados, como el Teorema de Pitgoras. an a Pero se trataba de ejemplos particulares y no de una prueba general y universalmente vlida (para todos los tringulos rectngulos). Los a a a griegos denieron criterios y procedimientos (construcciones con regla y comps) y, usando siempre la deduccin lgica, ofrecieron pruebas de a o o muchos resultados conocidos antes, y de muchos pero much simos ms. a Esto fue una gran conquista intelectual.

w .M

at

em

at

ic

a1

.c

om

La demostracin o matemtica es impora tante

Para qu la demostracin? e o
La demostracin permite asegurar que el teorema o proposicin consideo o rado no sea incorrecto y, tambin, ofrece a la comunidad matemtica el e a medio para que sta decida si un teorema o proposicin se acepta o no. e o Cuando un matemtico publica un resultado, rpidamente varios otros a a matemticos revisan si se han respetado la lgica y los criterios (o si hay a o inconsistencias, errores, etc.). Un matemtico suele llegar a un resultado por caminos muy diversos a

Los criterios para establecer una demostracin son dados o por la comunidad matemtica, cambian a con la historia

Cauchy y Weierstrass
w
Los dos matemticos ms relevantes en la historia de la a a rigorizacin fueron el francs Augustin Louis Cauchy o e (17891857) y el alemn Karl Weierstrass (18151881). El a tratamiento nalmente establecido para las nociones de l mite, continuidad, derivada, integral, convergencia, plenamente desgeometrizado, as como la aritmetizacin del o Clculo, o el Anlisis, fue dado por Weierstrass. Un ejemplo, a a la denicin de l o mite dada por Weierstrass: Si, dado cualquier , existe un 0 tal que para 0 < < 0 , la diferencia f (x0 ) L es menor en valor absoluto que , entonces se dice que L es el l mite de f (x) para x = x0 .

Agustin Cauchy
Como se puede ver, aqu ya no hay referencia a cantidades que se mueven o que se hacen innitamente pequeas. Nada de f n sica ni de geometr a. Debe decirse que Bernhard Bolzano (17811848) tambin hab elabe a orado un enfoque similar al de Weierstrass y, tambin, que Cauchy en e buena parte tiene la misma aproximacin. o Hasta el momento, en este libro, hemos puesto el nfasis en los cone

.M

at

em

at

(intuitivos, constructivos, etc.), pero una vez que llega a ste debe dee mostrar su resultado y expresarlo (escribirlo) de acuerdo con los criterios aceptados por la comunidad matemtica. a Si los criterios aceptados dependen de la comunidad matemtica, esa tos criterios usualmente cambian con el desarrollo histrico. Por ejemo plo, en un momento fue vlido denir las curvas solo por construcciones a geomtricas (en la Grecia Antigua), pero en otro momento era tambin e e vlido denir curvas por medio de ecuaciones algebraicas (despus de a e Descartes y Fermat). Para Newton, Leibniz, Euler y muchos matemticos de los siglos a XVII y XVIII la geometr e incluso la f a, sica, era buen criterio para desarrollar el Clculo (y as lo hicieron con mucho xito). Esto, por a e diversas razones, cambiar a. En el siglo XIX uno de los criterios que introdujo la comunidad matemtica en sus demostraciones alrededor del Clculo fue establecer a a que stas descansaran exclusivamente en la lgica, el algebra y la are o itmtica, y no en la geometr (y mucho menos en la f e a sica). Debe reconocerse que, a pesar del gran xito en resultados y aplicae ciones que se logr en el siglo XVIII, se hab ltrado una gran cantidad o a de inconsistencias lgicas y errores, situacin que demandaba la realo o izacin de un proceso de fundamentacin y mayor rigor en el Clculo. o o a Esta fundamentacin se realiz asumiendo como nuevo criterio la arito o metizacin y la desgeometrizacin. o o

En el siglo XIX se fundamenta las matemticas a Menos f sica y geometr a, y ms a lgebra, aritmtica y a e lgica para fundameno tar las matemticas a

ic a

1.

co

ceptos (la mayor de las veces intuitivamente), y sus aplicaciones, y a alguna que otra prueba bastante informal. Creemos que esto es lo ms a adecuado para un curso introductorio de Clculo. En lo que sigue de a este cap tulo vamos, sin embargo, a usar un tratamiento ms formal y a a realizar algunas demostraciones. Esto con el objetivo de familiarizar al lector con el lenguaje, procedimientos y criterios (algunos), que se usan en la comunidad matemtica para expresar y aceptar sus resultados ina telectuales.

Un nfasis conceptual e

10.1

EL CONCEPTO DE L IMITE

En esta seccin daremos la denicin formal de l o o mite, tal como modernamente se acepta, y la utilizaremos para demostrar algunos de los resultados sobre l mites que se dieron en el Cap tulo 2.

Se proporciona en esta seccin el concepto formal o de l mite y de l mite al innito y l mite innito. Se utilizan para demostrar algunos l mites espec cos y para probar algunas propiedades de los l mites

Denicin 10.1. o

Denicin de l o mite

Se denota por:

Lo anterior signica que no importa cun pequeo sea el intervalo a n alrededor de L, siempre podemos conseguir un intervalo alrededor de c de manera que todas las imgenes de los elementos en este intervalo a quedan atrapadas en el intervalo alrededor de L. De esta manera se traduce el concepto de cercan que se indic en la denicin informal a o o que dimos en el Cap tulo 2 (vea la gura 10.1).
y y = f (x)

6
L+ L L c

c x

c+

Figura 10.1.

w w

.M

Sea f una funcin que est denida en todo elemento de un intervalo abierto que contiene a c, excepto o a tal vez en c. Se dice que el l mite de f (x) cuando x tiende a c es igual a L si para todo > 0 existe un > 0 tal que: si 0 < |x c| < , entonces |f (x) L| < . lim f (x) = L.

xc

at em

at ic a1 .c

om

Demostrando un l mite con el uso de la denicin o Demostrar que lim (3x + 1) = 7.


x2

Ejemplo 41.

Solucin: o

Aqu tenemos que f (x) = 3x + 1, c=2 y L = 7.

Siguiendo la denicin para este caso particular debemos demostrar que o para todo > 0, existe > 0 tal que:
.c om

si

0 < |x 2| <

entonces
em at ic a1

|f (x) 7| < . 1

|(3x + 1) 7| |3x 6| 3|x 2| |x 2|

.M

Usualmente se trata de tener una idea de la forma en que se debe elegir y para eso se estudia la desigualdad en que interviene . Tenemos:
at

< < < <

2 3

(10.1) (10.2) (10.3) (10.4) (10.5)

|3(x 2)| < 4 5 6 3

La ultima de estas desigualdades da una idea: si tomamos = 3 , en tonces si 0 < |x 2| <

entonces la desigualdad (6) anterior ser satisfecha y como todas las a desigualdades (5), (4), (3) y (2) son equivalentes entonces la primera (1) tambin se satisface. De esta manera hemos probado lo que se pide. e

Ejemplo 42. Sea f (x) = Solucin: o

Usamos la denicin para demostrar que un o l mite no existe

|x| . Demostrar que lim f (x) no existe. x0 x Si x > 0 entonces f (x) = |x| x = = 1. x x

Es decir, a la derecha del eje y la grca coincide con la recta y = 1. a Para x < 0 tenemos que x |x| = = 1 x x y entonces a la izquierda del eje y la funcin coincide con la recta y = 1. o Supongamos que s existe L tal que

Lo anterior dir entonces que a

.M at

1 L 1.

em

at

ic a

1.

co

x0

lim f (x) = L.

Pero para cualquiera que sea L con esa condicin y si > 0, al considerar o cualquier intervalo ] , [ (conteniendo a 0), existen elementos en este intervalo cuyas imgenes estn fuera del intervalo ]L , L + [ (vea la a a gura 10.2). Esto dice que el l mite indicado no existe.

6
y =L+ 1 y =L

c -x

No siempre es tan sencillo demostrar un l mite a partir de la denicin. o En algunos casos se requieren verdaderos malabares para obtener lo que se desea. Pero no es nuestro objetivo profundizar ms en esto. Por a otra parte, la importancia de la denicin no reside en que podamos o Figura 10.2. o no demostrar l mites particulares; de todas maneras el l mite hay que encontrarlo por otros mtodos. Su importancia est en que a travs e a e de ella podemos demostrar propiedades generales de los l mites y luego se pueden usar esas propiedades (como ya lo hicimos en los cap tulos pasados) para encontrar l mites particulares con la certeza de que son vlidos. a En el Cap tulo 2 dimos un par de teoremas sobre l mites (lea la parte correspondiente). Estos teoremas son demostrados precisamente utilizando la denicin. El Teorema 2.1 es una lista de propiedades o de los l mites (en realidad cada propiedad puede considerarse como un teorema por separado). Como ilustracin demostraremos aqu una de o esas propiedades.

c1

Teorema 10.1.

El l mite de una suma es la suma de los l mites

Sean f y g dos funciones que estn denidas en un intervalo abierto que contiene a c, excepto tal vez en a c. Si existen los l mites lim f (x) y lim g(x) entonces tambin existe lim f (x) + g(x) y se tiene que: e
xc xc xc

xc

lim f (x) + g(x) = lim f (x) + lim g(x)


xc xc

Prueba. Supongamos que lim f (x) = L y lim g(x) = M . Entonces tenxc xc emos que para todo > 0 existen 1 y 2 tales que: si y 0 < |x c| < 1 entonces |f (x) L| < 2

signica que 0 < |x c| < 1 y por lo tanto |f (x) L| < . 2 0 < |x c| < signica que 0 < |x c| < 2 y por lo tanto |g(x) M | < y entonces tenemos: |(f (x) + g(x)) (L + M )| < |(f (x) L) + (g(x) M )| |f (x) L| + |g(x) M |
(propiedad del valor absoluto)

Del mismo modo,

+ = 2 2

0 < |x c| <

.M

Como = min{1 , 2 } entonces

at

em

|g(x) M | < . 2 (segn la denicin lo anterior vale para cualquier , por conveniencia u o entonces tomamos 2 ). Tomemos como el menor entre 1 y 2 , simblicamente esto se o escribe = min{1 , 2 }. si 0 < |x c| < 2 entonces

at

ic

a1

.c

om

En resumen tenemos que: si 0 < |x c| < entonces |(f (x) + g(x)) (L + M )| <

y esto, segn la denicin, demuestra lo que se indica: u o


xc

lim (f (x) + g(x)) = lim f (x) + lim g(x)


xc xc

(el l mite de una suma es la suma de los l mites). Tambin se dieron en el Cap e tulo 2 las deniciones informales de l mite por la derecha y l mite por la izquierda; l mites innitos y l mites al innito. A continuacin daremos formalmente algunas de esas denio ciones. Denicin 10.2. o L mite por la derecha

.M

at e

Sea f una funcin que est denida en algn intervalo, ]c, d[. Se dice que el l o a u mite de f (x) cuando x tiende a c por la derecha es igual a L si para todo > 0 existe un > 0 tal que:

at

ic a

Se denota por:
xc+

si 0 < x < c + ,

entonces

lim f (x) = L

Denicin 10.3. o

L mite innito

Sea f una funcin que est denida en un intervalo abierto que contiene a c, excepto tal vez en c. Se dice o a que el l mite de f (x) cuando x tiende a c es + si para todo nmero real M > 0, existe > 0 tal que u si 0 < |x c| < Se denota por:
xc

entonces

1. co
|f (x) L| < . f (x) > M.

lim f (x) = +

Ejemplo 43.

Demostrando un l mite innito 1 Demostrar que lim 2 = + x0 x


y

Solucin: Aqu tenemos que c = 0; tomemos un M cualquiera positivo. o Debemos encontrar > 0 tal que si |x| < entonces f (x) > M . 1 Pero f (x) > M signica que 2 > M , entonces x 1 > M x2 = 1 1 > x2 = x2 < = |x| < M M
1 M

Figura 10.3. f (x) =


1 x2

1 M

Lo anterior signica que si tomamos = deseado.

se tiene el resultado

at e
si x > M Se denota por:

Sea f denida en un intervalo de la forma ]a, +[, decimos que el l mite de f (x) cuando x tiende a + es igual a L si para todo > 0 existe M tal que

at

ic
k

Ejemplo 44.

Demostracin de un l o mite al innito

Demostrar que si k es un nmero entero positivo entonces u 1 =0 x+ xk lim Solucin: o Sea > 0 un nmero jo. La expresin |f (x) L| < u o 1 signica en este caso que k 0 < ; esto es: x 1 1 1 < = < xk = xk > = x > k x Lo anterior signica que si tomamos M = deseado.
k

.M

entonces

x+

lim f (x) = L

se tiene el resultado

a1 .c
1

Denicin 10.4. o

L mite al innito

|f (x) L| < .

om

Actividad: Escriba deniciones formales para los siguientes l mites:


xc

lim f (x) = L,

xc

lim f (x) = ,

lim f (x) = L Se da la denicin de o derivada y dos propiedades de las funciones continuas: la existencia de extremos de la funcin en un intervalo o cerrado y el teorema de los valores intermedios.

10.2

EL CONCEPTO DE CONTINUIDAD

En el Cap tulo 3 se dio la denicin de continuidad en un punto. o Recordemos:

Denicin 10.5. o

Continuidad

Una funcin f es continua en x = c est denida en un intervalo abierto que contiene a c y adems o a a
xc

lim f (x) = f (c).

em

at

ic

a1

.c

om

at

Ejemplo 45.

Continuidad en un punto

x2

lim (3x + 1) = 7

Demostramos en el ejemplo 1 que si f (x) = 3x + 1 entonces


40 27

.M

y adems f (2) = 3(2) + 1 = 7. Concluimos que esta funcin es continua a o en x = 2.

5 3

Las propiedades de continuidad que se dieron en el Teorema 3.3 del Cap tulo 3 provienen directamente de la propiedades correspondientes de los l mites. Proporcionaremos aqu dos teoremas referidos a funciones continuas. Teorema 10.2. Existencia de mximos y m a nimos

Figura 10.4.

Si f es continua en un intervalo cerrado [a, b] entonces f tiene un valor mximo y un valor m a nimo en ese intervalo; esto es, existen valores c y d ambos en [a, b] tales que f (c) f (x) y f (d) f (x) para todo x en [a, b].

Este teorema es conocido con el nombre de Teorema de Weierstrass. Lo usamos en el ejemplo 8 del Cap tulo 8, para asegurarnos la existencia de un mximo y un m a nimo de la funcin. o

Teorema 10.3.

Valor intermedio

Si f es continua en un intervalo cerrado [a, b] y si r es un valor entre f (a) y f (b) entonces existe c en el intervalo ]a, b[ tal que f (c) = r.
y f (b) 6

Observando la gura 10.5 nos podemos convencer de la veracidad del teorema (aunque de ningn modo esto constituye una demostracin). u o Este teorema tambin es conocido con el nombre de Propiedad de Dare boux. Es muy utilizado para vericar la existencia de soluciones de ecuaciones en un intervalo determinado.

r f (a) a c b x

Ejemplo 46.

Vericando la existencia de una ra z x5 + x 1 = 0.

Figura 10.5. Valor intermedio

Considere la ecuacin o Aunque no podemos resolver esta ecuacin s podr o amos determinar una aproximacin tan cerca como quisiramos de alguna solucin. En efecto, o e o la funcin o f (x) = x5 + x 1

f (0) = 1 como 0 est entre 1 y 1, entonces a

f (1) = 1;

existe c ]0, 1[ tal que f (c) = 0. En otras palabras, existe una solucin de la ecuacin en el intervalo o o ]0, 1[. Si consideramos la misma funcin en el intervalo [0, 7, 0, 8], tenemos o que f (0, 7) = 0, 13193 y f (0, 8) = 0, 12768 (use una calculadora para vericar estos resultados); como 0, 13193 < 0 < 0, 12768 entonces existe c ]0, 7, 0, 8[ tal que f (c) = 0. Esto signica que la ecuacin tiene una solucin en ese intervalo. o o Por lo tanto 0, 7 es una solucin aproximada de la ecuacin. o o Podr amos tomar un intervalo an ms pequeo (contenido en el u a n anterior) y obtendr amos una mejor aproximacin (y as hasta donde o usted quiera).
Figura 10.6. f (x) = x5 +x1

.M

es continua en R, en particular es continua en [0, 1]. Adems, a

at

em

at ic

a1

.c

om

Nota: No existen mtodos para resolver una ecuacin de grado 5 o e o mayor, por eso solo algunas de ellas, muy especiales, se pueden resolver expl citamente. Existen mtodos muy ecientes para aproxe imar soluciones con el grado de precisin que se desee. Este es uno o de los aspectos que trata una rama de las matemticas llamada a Anlisis Numrico. a e Aqu se da el concepto de derivada y se prueban algunos teoremas relativos a las funciones derivables.

10.3

EL CONCEPTO DE DERIVADA

Aqu recordaremos la denicin de derivada en un punto y algunos o teoremas importantes en conexin con este concepto. o

Denicin 10.6. o

Derivada en un punto

Sea f denida en un intervalo abierto que contiene a c. Se llama derivada de f en x = c al l mite

En el Cap tulo 5 utilizamos esta denicin para calcular algunos o l mites. Aqu la vamos a usar para demostrar algunas de las propiedades de las derivadas.

Teorema 10.4.

Derivabilidad implica continuidad Si f es derivable en x = c entonces f es continua en x = c.

Prueba. En primer lugar, si f es derivable en c entonces f (c) existe. Por otra parte, existe f (c), es decir existe
xc

lim

f (x) f (c) . xc

Si x est en el dominio de f y x = c, entonces podemos escribir a f (x) = f (c) + f (x) f (c) (x c). xc

f (c) = lim

w .M

f (c + h) f (c) h0 h

at

si es que existe, en cuyo caso se dice que f es derivable en c. Si el l mite no existe se dice que f no es derivable en x = c. Tambin se usa alternativamente, para la derivada: e

em

at

ic

a1

.c

xc

om

f (c) = lim

f (x) f (c) xc

Usando los teoremas sobre l mites tenemos:


xc

lim f (x) =

f (x) f (c) lim (x c) xx xc xc xc = f (c) + f (c) 0 lim f (c) + lim

= f (c) Y esto quiere decir que f es continua en c. Recuerde que hay funciones que son continuas pero no derivables en algunos puntos, tal es el caso de f (x) = |x| (vea el Cap tulo 5 para ms a detalles).

Teorema 10.5.

Derivada de una suma

Si f es derivable en x = c y g es derivable en x = c, entonces f + g es derivable en x = c y se tiene que (f + g) (c) = f (c) + g (c).

(f + g)(c + h) (f + g)(c) = h0 h f (c + h) + g(c + h) f (c) g(c) = lim h0 h [f (c + h) f (c)] + [g(c + h) g(c)] = lim h0 h f (c + h) f (c) g(c + h) g(c) = lim + lim h0 h0 h h = f (c) + g (c) lim Esto signica que (f + g) (c) existe y (f + g) (c) = f (c) + g (c).

Teorema 10.6.

Derivada de un producto

Si f es derivable en x = c y g es derivable en x = c, entonces f g es derivable en x = c y se tiene que (f g) (c) = f (c) g(c) + f (c) g (c).

Prueba. Si f y g son derivables en x = c entonces existen los l mites f (c + h) f (c) h0 h lim y g(c + h) g(c) h0 h lim

w w

.M

Por otra parte tenemos

at

em

f (c + h) f (c) h0 h lim

at

g(c + h) g(c) h0 h lim

ic

a1

.c

om

Prueba. Si f y g son derivables en x = c entonces existen los l mites

Por otra parte tenemos (f g)(c + h) (f g)(c) = h0 h f (c + h)g(c + h) f (c)g(c) = lim h0 h f (c + h) g(c + h) f (c + h)g(c) + f (c + h)g(c) f (c)g(c) = lim h0 h g(c + h) g(c) f (c + h) f (c) = lim f (c + h) + g(c) h0 h h g(c + h) g(c) f (c + h) f (c) = lim f (c + h) lim + g(c) lim h0 h0 h0 h h = f (c) g (c) + g(c) f (c) lim Esto signica que (f g) (c) existe y que (f g) (c) = f (c) g(c) + f (c) g (c).

Teorema 10.7.

Teorema de Rolle

Sea f una funcin continua en un intervalo cerrado [a, b], derivable en ]a, b[ y tal que f (a) = f (b), entonces o existe al menos un nmero c ]a, b[ tal que f (c) = 0. u
y

Prueba. La funcin f tiene que cumplir alguna de las siguientes condio ciones: 1. f (x) = f (a) para todo x en ]a, b[. En este caso f es una funcin o constante y por lo tanto f (x) = 0 para todo x. Es decir, todo c ]a, b[ satisface que f (c) = 0. 2. f (x) > f (a) para algn x ]a, b[. Como f es continua en [a, b] u entonces f alcanza su mximo en ese intervalo (por el teorema de a Weierstrass); al haber algn x (x = a) con f (x) > f (a) y como u f (a) = f (b) entonces ese mximo se alcanza en algn nmero a u u c ]a, b[. Puesto que la derivada existe en todo ]a, b[ entonces necesariamente f (c) = 0. 3. f (x) < f (a) para algn x en ]a, b[. En este caso f tiene un m u nimo en [a, b] y por un razonamiento semejante al del punto anterior se concluye que existe c en ]a, b[ con f (c) = 0.

w w

w .M

at

em at

A continuacin enunciaremos dos teoremas muy importantes en la o teor del Clculo diferencial. Estos no aparecieron expl a a citamente en ninguna parte de los cap tulos anteriores pero son fundamentales en la demostracin de muchos otros teoremas importantes. o

ic

a1 .

co m

f (c) = m = 0

f (a) = f (b) a c b

Figura 10.7. Teorema Rolle

de

114

Elementos de clculo, volumen 2 a


4

f (1) = 0

Bsicamente lo que el teorema establece es que bajo las hiptesis que a o se piden la grca de la funcin debe tener al menos un punto en el cual a o la recta tangente es horizontal.
3

Ejemplo 47.

Aplicando el Teorema de Rolle

f (x) = x2 2x+7 Figura 10.8.

Sea f (x) = Probar que f satisface las hiptesis del Teorema o de Rolle en el intervalo [3, 1] y encontrar el o los nmeros c en ] 3, 1[ u tales que f (c) = 0.

x2 2x+7.

Solucin: En efecto f es continua y derivable en todo R, en particular o en los intervalos deseados. Por otra parte f (3) = 32 2(3) + 7 = 4 y f (1) = 12 2(1) + 7 = 4. De manera que se satisfacen las hiptesis del Teorema de Rolle. o Ahora tenemos f (x) = 2x 2 y resolvemos f (c) = 0, o sea,

es el valor que buscbamos. a

Teorema 10.8.

Teorema del Valor Medio

Sea f una funcin continua en un intervalo cerrado [a, b], derivable en ]a, b[, entonces existe al menos un o nmero c ]a, b[ tal que u f (b) f (a) f (c) = . ba

La demostracin de este teorema es algo larga y no la presentaremos o por completo aqu Consiste en construir otra funcin g a partir de la . o funcin dada f : o g(x) = f (x) f (a) + f (b) f (a) (x a) , ba

que satisface las hiptesis del teorema de Rolle en el intervalo [a, b]. o Como f (b) f (a) , g (x) = f (x) ba

w w

.M

at e

2c 2 = 0 = 2c = 2 = c =

2 = 1 2

at

ic

a1

.c

om

m=

f (b)f (a) ba

115

Elementos de clculo, volumen 2 a

f (a)

y 6  m = f (c)

segn el Teorema de Rolle existe un c ]a, b[ tal que g (c) = 0 o en otras u palabras, tal que f (b) f (a) f (c) =0 ba pero esto signica que f (b) f (a) f (c) = ba tal como quer amos. Observe que si una funcin f es continua en [a, b] y derivable en ]a, b[ o entonces su grca va desde el punto (a, f (a)) hasta el punto (b, f (b)). Si a unimos estos dos puntos mediante una recta L resulta que su pendiente es f (b) f (a) m= . ba Entonces lo que el teorema enuncia es que bajo estas condiciones existe algn punto en la grca de f en el que la tangente es paralela a la recta u a L.

f (b) a c b

Figura 10.9. Teorema del Valor Medio

satisface las hiptesis del teorema del Valor Medio en el intervalo [1, 3] o y determinar el valor c que el teorema predice. Solucin: Puesto que f es un polinomio entonces es continua y derivable o y por lo tanto satisface las hiptesis del teorema en cualquier intervalo. o Por otro lado tenemos que f (x) = 10x 3; para encontrar el c que predice el teorema debemos resolver la siguiente ecuacin: o f (3) f (1) 37 3 f (c) = = = 17. 31 2 Esto es 10c 3 = 17 = 10c = 20 = c = 2 es el valor que buscbamos. a Finalizamos el cap tulo demostrando un teorema, del cual hicimos uso en el Cap tulo 2, referido al crecimiento de las funciones. La demostracin de este teorema se basa en el Teorema del Valor Medio. o
q
y 37 6

f (x) = 5x2 3x + 1

.M

Vericar que la funcin o

at

em

Ejemplo 48.

Aplicando el Teorema del Valor Medio

at ic

a1 .c

om

3 1 2 3

f (x) = 5x2 3x+1 Figura 10.10.

Teorema 10.9.

Crecimiento de la funcin o

Sea f una funcin continua en [a, b] y derivable en ]a, b[, entonces: o 1. Si f (x) > 0 para todo x en ]a, b[ entonces f es creciente en [a, b]. 2. Si f (x) < 0 para todo x en ]a, b[ entonces f es decreciente en [a, b]. Prueba. Para demostrar el punto (1.) supongamos que f (x) > 0 para todo x ]a, b[. Tomemos x1 y x2 en [a, b] tales que x1 < x2 , como queremos f creciente, debemos demostrar que f (x1 ) < f (x2 ). Aplicando el Teorema del Valor Medio en el intervalo [x1 , x2 ] tenemos que existe c en ]x1 , x2 [ tal que f (c) = f (x2 ) f (x1 ) = f (x2 ) f (x1 ) = f (c)(x2 x1 ) x2 x1

El objetivo central de este cap tulo fue dar un rpido recorrido ilusa trativo por algunos de los aspectos formales de los temas que desarrollamos en el resto del libro. Algunos de los teoremas que enunciamos tienen un sentido grco muy claro pero sus demostraciones no a son nada sencillas (tal el caso del teorema de Weierstrass). Desde el punto de vista formal un buen dibujo es una gran ayuda de tipo intuitivo pero de ninguna manera constituye una demostracin de un hecho o general.

w w

.M

at

em

at

Por hiptesis f (c) > 0 y al ser x2 > x1 tambin la diferencia x2 x1 o e es positiva; esto implica que f (c)(x2 x1 ) > 0 y por lo tanto f (x2 ) f (x1 ) > 0. De esto se deduce que f (x2 ) > f (x1 ) tal como quer amos. Pruebe usted el punto (2.) como ejercicio (es muy parecido a lo anterior)

ic

a1

.c

om

10.4

INFINITESIMALES Y ANALISIS NOSTANDARD

Se hace un breve comentario sobre dos enfoques distintos presentes en la historia del Clculo: los innitesimales a y el anlisis nostandard. a

Resulta interesante mencionar que el proceso de rigorizacin y aro itmetizacin que realiz Weierstrass elimin lo que se suele llamar los o o o innitesimales en el Clculo. Muchos matemticos hab consideraa a an do la existencia (matemtica) de nmeros o elementos que eran innitaa u mente pequeos (innitesimales), es decir, ms pequeos que cualquier n a n nmero, pero diferentes de cero. Tambin la existencia de nmeros inu e u nitamente grandes, es decir, ms grandes que cualquier nmero real. a u Estos innitesimales (y estas propiedades) se usaron con xito para loe grar los resultados del Clculo Diferencial e Integral. Leibniz formul a o

Los innitesimales: una teor dominante a en el Clculo hasta a Cauchy

sus diferenciales dx, dy, como innitesimales, y Euler y el mismo Cauchy asumieron plenamente la existencia de estos entes especiales. El enfoque Weierstrassiano, que ha dominado las matemticas hasta a nuestros d sepult la teor de los innitesimales desde el siglo pasado as, o a como carente de sentido, precisin y rigor matemticos. Sin embargo, o a en los aos 1960, Abraham Robinson, un brillante matemtico, den a mostr que la teor que aceptaba los innitesimales, los innitamente o a pequeos y los innitamente grandes, no ten por qu ser carente de n a e rigor matemtico. Construy un sistema matemtico asumiendo estos a o a entes o nmeros especiales que se llama Anlisis No-Standard, y deu a mostr que los resultados del anlisis clsico (Weierstrassiano) se pueden o a a obtener en el anlisis no-standard. a

El Anlisis a No standard reconstruy la teor de o a los innitesimales

La naturaleza de las matemticas a


Como se ve, las teor y resultados matemticos son obra de los individuos La matemticas: cienas a a y de su entorno social. Que sean aceptados como vlidos depende de cia falible, dinmica, a a la comunidad matemtica y sta puede cometer errores, injusticias histrica, humana a e o y, sobre todo, cambiar de criterios. Que un resultado se acepte como verdadero o falso depende de esa comunidad. Por eso las matemticas a no son una coleccin de verdades universales, infalibles, por encima de o la historia y los individuos. Es una ciencia sujeta al error, al cambio, al movimiento. Es una ciencia, al igual que las otras, dinmica e histrica. a o

Imagen construida utilizando un fractal

w w

.M

at

em

at

ic

a1

.c

om

10.5

EJERCICIOS DEL CAPITULO 10

Iterpretacin grca o a
En los ejercicios 1 a 5 se dan grcas de funciones denidas en el intervalo [a, b]. En cada caso diga a si es aplicable (a) el Teorema de Rolle, (b) el Teorema del Valor Medio.
y y y l

6 s b

6s s b

1.

s
a

2.
x

s
a

s b

3.
x

m a

Figura 10.11.
y l

Figura 10.12.

Figura 10.13.

a1 .c
s b

6s

om
6

c s s b

m a

at em

4.

5.
x

at ic
m

s
a

Falso o verdadero
En los ejercicios 6 a 10 diga si la armacin es verdadera o falsa (por qu?). o e

6. Dado que 1 1 lim = , x2 x 2 entonces podemos asegurar que existe > 0 tal que si |x 1| < entonces 2x < 1. x 7. Si
xc

Figura 10.14.

.M

Figura 10.15.

8. Si una funcin f satisface las hiptesis del teoo o rema de Rolle en el intervalo [a, b] entonces tambin satisface las hiptesis del Teorema del e o Valor Medio en [a, b]. 9. Considere dos funciones f y g denidas en un intervalo [a, b] tales que cumplen las siguientes condiciones: f es positiva, creciente y derivable en [a, b]; g es negativa, decreciente y derivable en [a, b], entonces la funcin h(x) = o f (x)g(x) es creciente en [a, b].

lim f (x) = +

entonces podemos asegurar que existe M tal que f (x) M para todo x en el dominio de f.

10. Si f es continua en c, entonces podemos asegurar que el siguiente l mite existe: f (x) f (c) . xc xc lim

Problemas y preguntas de desarrollo


11. Use la denicin para probar que o
x2

14. D un ejemplo de un nmero tal que e u |x2 4| < 1 si |x 2| <

lim (3x + 1) = 5

12. Use la denicin para probar que o lim 1 = |x 1|

15. Dada f (x) = x3 , determine tal que para

x1

ic a

1. co

|x| < 1 1000

se tenga |x3 | <

x+1 =1 x x 1 lim

.M
16. Cules de las siguientes funciones satisfacen a las hiptesis del Teorema de Rolle en el ino tervalo [0, 2]? En cada caso justique su respuesta. (a) f (x) = x2 + 1 (b) f (x) = |x 1| (c) f (x) = x3 4x + 2 (d) f (x) = (x 1)2

at
20. Pruebe que la ecuacin o

13. Use la denicin para probar que o

em

17. Pruebe que la ecuacin o x5 + 3x4 + x 2 = 0 tiene al menos una solucin en el intervalo o [0, 1]. 18. Pruebe que la ecuacin o x5 2x3 + x2 3x + 1 = 0 tiene al menos una solucin en el intervalo o [1, 2].

at

19. Si f (x) = x2 2x en [1, 4], por qu se puede e garantizar la existencia de un valor c tal que f (c) = 5?

2x 3x = 0 tiene una solucin en el intervalo [0, 1]. o