Está en la página 1de 12

En las matemticas del siglo XVII, junto a los mtodos integrales, dieron sus primeros pasos tambin los

mtodos diferenciales en la resolucin de problemas. Tales problemas eran, en aquella poca, de tres tipos: determinacin de las tangentes a las curvas, bsqueda de mximos y mnimos de funciones, y bsqueda de las condiciones de existencia de races mltiples de las ecuaciones algebraicas. Un extenso lugar en las obras sobre historia de las matemticas del siglo XVII est marcado por la disputa por la prioridad del descubrimiento del clculo diferencial e integral, entre Newton y Leibniz; descubrimiento que, como se ha demostrado, tuvo lugar de forma simultnea e independiente.

Guillaume Francois Antoine, marqus de LHpital


(Francia, 1661-1704)

LHpital sirvi como oficial de caballera pero tuvo que retirarse a causa de que era corto de vista. Desde entonces dirigi su atencin hacia las matemticas. LHpital aprendi clculo de su maestro Johann Bernoulli, en 1691. Era un competente matemtico, cuya fama est basada en su libro Analyse des infiniment petits pour lintelligence des lignes courbes (1696), el cual, aunque estuvo influido por las lecturas que realiz de sus profesores Johann Bernoulli, Jacob Bernoulli y Leibniz, fue el primer libro de texto escrito sobre clculo diferencial. En ese libro cre la regla que ahora se conoce como regla de L'Hpital para encontrar el lmite de una funcin racional cuyo numerador y denominador tienden a cero.

Isaac Newton (Inglaterra, 1643-1727)

Gottfried Leibniz (Alemania, 1646-1716)

En 1696 apareci el primer manual de clculo diferencial y sus aplicaciones a la geometra: Analyse des infiniment petits pour l'intelligence des lignes courbes, de G. F. LHpital.

274

GUSTAVO A. DUFFOUR

12
TEOREMAS SOBRE FUNCIONES CONTINUAS Y DERIVABLES

Dadme un punto de apoyo y mover el mundo.


Arqumedes (Italia,
287-212 a. C.)

TEOREMA DE ROLLE
Si una funcin f es continua en el intervalo cerrado [a, b] y derivable en el intervalo abierto (a, b), y se cumple que f(a) = f(b), entonces existe por lo menos un punto c (a, b) tal que: f(c) = 0

Hiptesis: Tesis:

f es continua en [a, b]

f es derivable en (a, b)

f(a) = f(b)

Existe c (a, b) tal que f(c) = 0

Para la demostracin se aplica el teorema de Weierstrass, segn el cual, al cumplirse la hiptesis de que la funcin f es continua en el intervalo cerrado [a, b], presenta en ese intervalo un mximo M o un mnimo m absolutos.
f(x)

Caso a
f(a) = f(b)

Si la funcin presenta estos valores de mximo y mnimo en los extremos del intervalo y siendo por hiptesis f(a) = f(b), resulta M = m = f(a) = f(b) y la funcin es una constante f: f(x) = k para todo x perteneciente al intervalo. Como la derivada de una constante vale cero, (f: f(x) = 0), el teorema se cumple para todo x perteneciente al intervalo.

MATEMTICA DE SEXTO

275

f(x)

Caso b Sea ahora m M (se supone m < M). Uno de los dos ser distinto de f(a) y f(b). Sea m f(a), por lo cual el mnimo se presenta en el interior de (a, b). Si se llama c al punto de (a, b) a < c < b en que f(c) = m, siempre se puede encontrar un entorno de c (c , c + ) interior al intervalo [a, b] donde para todo x E(c, ), f(x) > f(c). Luego, en c no slo existe un mnimo sino que este es tambin un mnimo relativo.

f(a) = f(b)

Y dado que la funcin es derivable en

(a, b), por condicin necesaria de existencia


del extremo relativo, la derivada primera vale cero f(c) = 0, que es la tesis. (Francia, 1652-1719)

NOTA
A igual resultado se llega si se considera que el mximo M es interior al intervalo (a, b).

Matemtico francs, en gran parte autodidacta. Trabaj el lgebra, la geometra y el anlisis diofntico. En 1685 fue elegido miembro, y en 1699 pensionnaire gometre, de la Academia Real de Ciencias de Pars.

EJEMPLO:
2 Investigar si la funcin f: f(x) = (x 2) + 1 verifica las hiptesis del teorema de Rolle en el intervalo [1, 3].

La funcin f es continua para todo x perteneciente a los reales. Su derivada existe para todo x f: f(x) = 2(x 2) perteneciente a los reales. Y adems se cumple que f(1) = f(3) = 2. Se concluye que se verifica el teorema de Rolle. El punto c de Rolle es el cero de la x=2 derivada primera

En 1690 public su Trait dAlgebre, donde demuestra, en lenguaje muy diferente al actual, una versin polinmica del famoso teorema que lleva su nombre.

276

GUSTAVO A. DUFFOUR

NOTA
La continuidad de la funcin f en [a, b] y la derivabilidad en (a, b) son imprescindibles.
f(x) f(x)

f(a) = f(b)

f(a) = f(b)

f es continua en [a, b] pero no es derivable en (a, b) y no existe c(a, b) tal que f(c) = 0

f no es continua en [a, b] y no existe c(a, b) tal que f(c) = 0

2 TEOREMA DEL VALOR MEDIO O DE LAGRANGE


Si una funcin f es continua en el intervalo [a, b] y derivable en el intervalo (a, b), existe un punto c interior al intervalo donde se cumple: f(b) f(a) f(c) = ba Significado geomtrico
f(x)

f(b) f(a) A

f(b) f(a) es el ba coeficiente angular de la recta secante a la representacin grfica de f en los puntos de coordenadas (a, f(a)) y (b, f(b)). f(c) es el coeficiente angular de la tangente a la representacin grfica de f en el punto de abscisa c. El teorema expresa que en todo arco de curva continua hay por lo menos un punto de abscisa c perteneciente al intervalo, donde la tangente (no vertical) es paralela a la recta secante por A y B (o sea, tienen igual los coeficientes angulares). La expresin:

En el enunciado del teorema de Lagrange se dice: por lo menos un punto, pues puede haber varios puntos que cumplan la tesis.

Hiptesis: Tesis:

f es continua en [a, b]

f es derivable en (a, b) f(b) f(a) Existe c (a, b) tal que f(c) = ba

Para la demostracin del teorema se considera una funcin auxiliar g: g(x), diferencia entre las ordenadas de la funcin y de una recta que la corta y que pasa por los puntos de coordenadas (a, f(a)) y (b, f(b)).

MATEMTICA DE SEXTO

277

f(b) f(a) g: g(x) = f(x) ( x a) + f(a) ba La funcin auxiliar g cumple con las hiptesis del teorema de Rolle: al ser f continua en [a, b] por hiptesis, y la ecuacin de la recta tambin lo es, por ser una funcin polinmica. Resulta que, por diferencia de funciones continuas, g es continua en [a, b]. ii) al ser f derivable en (a, b) por hiptesis, y la ecuacin de la recta tambin lo es, por ser una funcin polinmica. Resulta que, por diferencia de funciones derivables, g es derivable en (a, b). iii) g(a) = g(b) (lo cual debe comprobar el estudiante haciendo las sustituciones correspondientes). Entonces existe un punto c (a, b) tal que g(c) = 0. Efectuando la derivada de g se obtiene:
i)

g : g( x ) = f( x ) g(c) = 0

f(b) f(a) ba f(b) f(a) ba


= 0

Se aplica que:

g(c) = f(c)

De donde se despeja f(c) y se obtiene la tesis de Lagrange:

f(c) =

f(b) f(a) ba

NOTA
Un caso particular de este teorema es el teorema de Rolle. En el caso de exigir que f(a) = f(b), se obtiene la tesis de Rolle: f(c) = 0. Geomtricamente, esto significa que la tangente a la representacin grfica de la funcin en el punto de abscisa c es horizontal.

EJEMPLO:

2 Investigar si la funcin f: f(x) = x 9 verifica las hiptesis del teorema de Lagrange en el intervalo [0, 3]. En caso afirmativo, hallar el punto c (0, 3)

S la verifica, pues es continua en [0, 3] y derivable en (0, 3). Para calcular el punto c de Lagrange, se debe calcular la derivada primera y los valores de la funcin en los extremos del intervalo.

f: f(x) = 2x f(a) = f(0) = 9 f(b) = f(3) = 0 2c =


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

0 ( 9) 30

2c = 9 3

c=3 2

278

GUSTAVO A. DUFFOUR

3 TEOREMA DE CAUCHY
El cociente de divisor no nulo de incrementos de dos funciones continuas en un intervalo cerrado y con derivadas nicas en su interior, no simultneamente nulas ni infinitas, es igual al cociente de los valores de las respectivas derivadas en un punto intermedio.

Hiptesis:

f es continua en [a, b] f es derivable en (a, b) g es continua en [a, b] g es derivable en (a, b) g(a) g(b) las derivadas f y g no se anulan en el mismo punto del intervalo. Existe c(a, b) tal que

Tesis:

f (c) = g(c)

f(b) f(a) g(b) g(a)

Para la demostracin se usa una funcin auxiliar: h: h(x) = f(x) k.g(x) h es continua en [a, b] por ser una resta de funciones continuas en [a, b]. h es derivable en (a, b) por ser una resta de funciones derivables en (a, b). El valor de k se determina de tal forma que la funcin auxiliar h cumpla con la tercera condicin de la hiptesis del teorema de Rolle: h(a) = h(b). f(a) k.g(a) = f(b) k.g(b) Despejando k se obtiene: k= f(b) f(a) g(b) g(a)

Aplicando el teorema de Rolle a la funcin auxiliar h se cumple que existe un punto de abscisa c perteneciente al intervalo (a, b) a < c < b tal que h(c) = 0, o sea que: f(c) k.g(c) = 0 (ECUACIN 1). Al sustituir k por su valor, se tendr que: f(c) f(b) f(a) . g'(c) = 0 g(b) g(a) Al despejar resulta la tesis: f (c) = g(c) f(b) f(a) g(b) g(a)

Los denominadores son distintos de cero pues g(b) g(a) por hiptesis, y si g(c) fuese cero, resultara que, en la ECUACIN 1, f(c) = 0, lo que contradira la hiptesis, ya que ambas derivadas no pueden anularse simultneamente.

NOTA
La hiptesis de que las dos derivadas f y g no se anulen en un mismo punto y que g(a) g(b), puede sustituirse por otra hiptesis ms estricta, que es: g(x) 0 t x (a, b). Esta hiptesis comprende a las anteriores, pues si g(x) 0 y x(a, b) ambas derivadas no pueden anularse simultneamente, y tampoco puede ser g(a) = g(b), pues si lo fuese, aplicando el teorema de Rolle a g(x) en [a, b] resultara la existencia de un c (a, b) / g(c) = 0 contra la hiptesis de que g(x) 0 t x (a, b).

MATEMTICA DE SEXTO

279

NOTA
El estudiante debe observar que el teorema de Lagrange es un caso particular del teorema de Cauchy, cuando se toma en el teorema de Cauchy g: g(x) = x pues, en este caso, g(x) = 1 y resulta como tesis: f(b) f(a) f(c) = g(b) g(a) O sea, la conclusin del teorema de Lagrange.

4 TEOREMA DE L'HPITAL
4.1. INTRODUCCIN
Los teoremas sobre clculo de lmites indeterminados dejan sin resolver algunos casos. Un mtodo que muchas veces permite determinarlos es el fundado en las consideraciones de las derivadas. Esta es una aplicacin del teorema de Cauchy, que consiste en teoremas derivados de este mismo teorema, llamados reglas de L'Hpital, referidos a las siguientes formas de indeterminacin.

4.2. INDETERMINACIN CERO DIVIDIDO CERO


Teorema: Si f y g son funciones continuas en x = a, f y g se anulan en x = a, siendo g(x) distinta de cero en un entorno reducido de a, tienen derivadas f y g que ni se anulan ni se hacen infinitas simultneamente en un cierto entorno reducido de ese valor y el cociente de estas derivadas tiene un lmite finito o infinito, para x a se verifica que:

lim x a

f( x ) g( x )

lim x a

f ( x ) g( x )

Hiptesis:

f y g son continuas en x = a g(x) 0 xE*(a, )

f(a) = g(a) = 0 f ( x ) y existe lim g( x ) x a f ( x ) g( x )

Tesis:

lim x a

f( x ) g( x )

lim x a

280

GUSTAVO A. DUFFOUR

Que exista:

lim x a

f ( x ) = b g( x )

significa que: t x E*(a, )

f ( x ) E(b, ) g( x )

Si se toma un valor x E*(a, ), se puede aplicar el teorema de Cauchy al intervalo

(a, x) o (x, a), segn sea x mayor o menor que a. Por lo tanto, existe un c (a, x) o (x, a) tal que:
f (c) = g(c) f( x ) f(a) g( x ) g(a) Por hiptesis f(a) = g(a) = 0 Resulta: f (c) = g(c) f( x ) g( x )

Por hiptesis, t x E*(a, )

f ( x ) E(b, ) para un c E*(a, ), g( x ) = lim x a

f (c) E(b, ) g(c) f ( x ) g( x )

O sea que

f( x ) f( x ) E(b, ) , lo cual significa que: lim g( x ) x a g( x )

4.3. OBSERVACIONES PRCTICAS


i) ii)

Al aplicar la regla de LHpital directamente, debe cuidarse que la indeterminacin sea de la forma cero sobre cero. Si al aplicar la regla se llega a una indeterminacin de la forma cero sobre cero, se puede derivar tantas veces como sea necesario, el numerador y el denominador, hasta levantar la indeterminacin. Es importante observar que la derivacin no se efecta como cociente, sino que es el cociente de derivadas de dos funciones independientes (numerador y denominador).

iii)

EJEMPLO:

Calcular:

lim x 0

sen x x 3 x

Es una indeterminacin cero sobre cero. Basta con derivar el numerador y el denominador por separado, hasta que se levante la indeterminacin.
lim x 0 sen x x 3 x = lim x 0 cos x 1 sen x = lim 2 6x x 0 3x = lim x 0 cos x 6 =1 6

Antes de continuar, es conveniente hacer los ejercicios 312 a 317, de la pgina 285.
MATEMTICA DE SEXTO

281

El que se disponga de una regla simple no quiere decir que esta se aplique en forma indiscriminada. En particular, siempre hay que asegurarse de su aplicabilidad al caso particular. De otro modo, se cometern graves errores. Sobre todo, se debe detener la derivacin tan pronto como el numerador o el denominador tengan lmite no nulo.

Responder verdadero o falso, y justificar la respuesta.

1 cos x sen x cosx 1 = lim = lim = lim 2 2x + 3 x 0 2 2 x 0 x + 3x x 0


Vase el resultado en la pgina 378.

4.4. OTRAS FORMAS INDETERMINADAS EN QUE SE APLICA EL TEOREMA DE LHPITAL


Caso a: indeterminacin cero sobre cero para x Si

lim f( x ) = 0 x

lim g( x ) = 0 , y existe el lmite del cociente de estas x


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

funciones, se cumple que:

La demostracin se reduce al caso directo, con un cambio de variable: Caso b: indeterminacin infinito sobre infinito.

z= 1 x

Si

lim f( x ) = x a

lim g( x ) = , x a

y existe el lmite del cociente de estas

f( x ) f ( x ) = lim funciones, se cumple que: lim g( x ) g( x ) x a x a La demostracin es similar al caso cero sobre cero, pero considerando lmites infinitos en vez de finitos.
Caso c: indeterminacin cero por infinito.

Sea

lim f( x ).g( x ) donde se cumple: lim f( x ) = 0 x a x a


f( x ) 1 g( x )

lim g( x ) = x a

Se escribe el producto como: f( x ) g( x ) =


indeterminada ya conocida.

y se lleva el lmite a una forma

282

GUSTAVO A. DUFFOUR

5 TEOREMA
Si una funcin tiene derivada nula en un intervalo, es constante en ese intervalo.

Esta formulacin es recproca a la de que la derivada de una funcin constante es cero. t x (a, b) t x (a, b)

Hiptesis: Tesis:

f: f(x) = 0 f: f(x) = k

Si se aplica el teorema de Lagrange en un intervalo cerrado [c, d] interior al f(d) f(c) se tendr que: = f(m) dc

(a, b),

Dado que por hiptesis f(m) = 0, se obtiene que f(d) = f(c), y como c y d son arbitrariamente elegidos en (a, b), resulta que para todo x (a, b) la funcin toma el mismo valor numrico, o sea que f: f(x) = k.

6 TEOREMA FUNDAMENTAL DEL CLCULO INTEGRAL


Dos funciones que tienen derivadas finitas iguales en un intervalo (a, b), difieren en una constante en ese intervalo.

Sea f y g tales que: f(x) = g(x) para todo x (a, b). Si se considera la funcin diferencia u(x) = f(x) g(x), se cumple que u(x) = f(x) g(x) = 0, por lo cual, por el teorema anterior, u(x) = k. Como u(x) = f(x) g(x) = k para todo x (a, b) significa que la diferencia entre los valores de las funciones es una constante, o sea f(x) = g(x) + k.

MATEMTICA DE SEXTO

283

7 ALGUNAS PREGUNTAS SOBRE EL TERICO


1)
i) ii) Enuncie y demuestre el teorema de Rolle.

2 x 1 en los Es aplicable el teorema de Rolle a la funcin f : f( x ) = x intervalos [ 1, 1] o [2, 4]? Justifique su respuesta.

2)

i) ii)

Enuncie los teoremas de Rolle y de Lagrange. Muestre que la funcin arcotangente cumple el teorema de Lagrange en el intervalo [0, 1]

3)

En qu condiciones puede afirmarse que: f(x) f(a) = f(c)(x a)? Determinar esas condiciones, la particularidad que cumple c y demostrarlo.

4)

i)

Es correcto aplicar el teorema de Lagrange en [0, 1]

a la funcin:

f: / f( x ) = 3 x 2 ? Justificar y, en caso afirmativo, hallar el punto correspondiente.


ii)

Enunciar el teorema de Cauchy y explicar por qu el teorema de Lagrange es un caso particular del teorema de Cauchy.

5)

Mostrar que la funcin f: f(x) = arctg x cumple el teorema de Lagrange en [0, 1]. Determinar el valor medio de su derivada y un punto en el que tome ese valor.

6)

i) ii)

Enunciar y demostrar el teorema de Lagrange. Es aplicable el teorema anterior para la funcin f: f(x) = arcsen x en [0, 1]? Justificar y, en caso afirmativo, hallar el punto correspondiente e interpretar grficamente.

284

GUSTAVO A. DUFFOUR

8 EJERCICIOS PROPUESTOS

Vanse los resultados en la pgina 378.

Calcular los siguientes lmites usando la regla de LHpital

312)

lim x 0

2 cos x 1 + x 2 4 x

313) lim

x 0

3 sen x x + x 6 4 x

314)

lim 1 x 0 x

1 sen x

315) lim

x 1

x x Lx

316)

lim x 0

L (cos 3x )
2x 2

317)

lim x 0

2 x sen x x

MATEMTICA DE SEXTO

285