Está en la página 1de 25

DERIVADA

Histricamente el concepto de derivada es debido a Newton y a Leibnitz. Sus definiciones surgen a raz del concepto de lmite. En geometra, la derivada de una funcin en un punto representa el valor de la pendiente de la recta tangente en dicho punto. La pendiente est dada por la tangente del ngulo que forma la recta tangente a la curva (funcin) con el eje de las abscisas, en ese punto. La derivada de una funcin mide el coeficiente de variacin de dicha funcin. Es decir, provee una formulacin matemtica de la nocin del coeficiente de cambio. El coeficiente de cambio indica lo rpido que crece (o decrece) una funcin en un punto (razn de cambio promedio) respecto del eje de un plano cartesiano de dos dimensiones. La derivada de la funcin en el punto marcado equivale a la pendiente de la recta tangente (la grfica de la funcin est dibujada en negro; la tangente a la curva est dibujada en rojo). El concepto de derivada es uno de los dos conceptos centrales del clculo infinitesimal. El otro concepto es la "anti derivada" o integral; ambos estn relacionados por el teorema fundamental del clculo. A su vez, los dos conceptos centrales del clculo estn basados en el concepto de lmite, el cual separa las matemticas previas, como lgebra, trigonometra o geometra analtica, del clculo. Quiz la derivada es el concepto ms importante del clculo infinitesimal.

La derivada es un concepto que tiene muchas aplicaciones. Se aplica en aquellos casos donde es necesario medir la rapidez con que se produce el cambio de una magnitud o situacin. Es una herramienta de clculo fundamental en los estudios de fsica, qumica y biologa, o en ciencias sociales como la economa y la sociologa. Por ejemplo, cuando se refiere a la grfica de dos dimensiones de f, se considera la derivada como la pendiente de la recta tangente del grfico en el punto x. Se puede aproximar la pendiente de esta tangente como el lmite cuando la distancia entre los dos puntos que determinan una recta secante tiende a cero, es decir, se transforma la recta secante en una recta tangente. Con esta interpretacin, pueden determinarse muchas propiedades geomtricas de los grficos de funciones, tales como concavidad o convexidad. Ejemplo: ( ) ( ( ( ) ( ( ( ) ) ) ( ) ( ) ) ) ( ) ( )

( ) ( ) ( ) ( ) ( )

Por lo tanto, si f(x)=5x-3 entonces f`(x)=5

DERIVADAS DE:
Funciones Enteras: son el principal objeto de estudio del Anlisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que adems son complejo-diferenciables en cada punto. Esta condicin es mucho ms fuerte que la diferenciabilidad en caso real e implica que la funcin es infinitamente diferenciable y que puede ser descrita mediante su serie de Taylor. El trmino funcin analtica se usa a menudo en vez del de "funcin holomorfa", aunque el trmino de "analtico" tiene varios otros significados. La frase "holomorfa en un punto a" significa no slo diferenciable en a, sino diferenciable en todo un disco abierto centrado en a, en el plano complejo. Si U es un conjunto abierto de C y f : U -> C es una funcin, decimos que f es complejo-diferenciable en el punto z0 de U si existe el siguiente lmite ( ) ( ) ( )

Este lmite se toma aqu sobre todas las sucesiones de nmeros complejos que se aproximen a z0, y para todas esas sucesiones el cociente de diferencias tiene que dar el mismo nmero f '(z0). Intuitivamente, si f es complejo-diferenciable en z0 y nos aproximamos al punto z0 desde la direccin r, entonces las imgenes se acercarn al punto f(z0) desde la direccin f '(z0) r, donde el ltimo producto es la multiplicacin de nmeros complejos. Este concepto de diferenciabilidad comparte varias

propiedades con la diferenciabilidad en caso real: es lineal y obedece a las reglas de derivacin del producto, del cociente y de la cadena. Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, decimos que f es holomorfa en U. Es claro que, al igual que en el caso real, si f es holomorfa -con inversa continua- entonces f^{-1} es holomorfa y su derivada vale 1/f'. Funciones Racionales: Una funcin racional S(x) definida en un intervalo cerrado [a , b] se puede expresar en la forma: ( ) ( ) ( )

Siendo P(x) y Q(x) dos polinomios primos entre s y de forma que Q(x) no se anula en el intervalo [a , b]. En el caso de que el grado del numerador sea mayor que el del denominador, la funcin puede expresarse como suma de un polinomio G(x) y de una funcin racional cuyo numerador sea de grado inferior que el denominador, es decir: ( ) Ejemplo: F(x)= ( ) ( ) ( )

Funciones Inversas: Previo al estudio de las funciones trigonomtricas inversas, es necesario determinar la derivada de la funcin inversa de una funcin dada. Para ello consideremos el siguiente teorema. Sea f una funcin estrictamente creciente y continua en un intervalo [a,b] y g la funcin inversa de f. Si f`(x) existe y es diferente de cero para x]a,b[, entonces la funcin derivada g`(y) tambin existe y no es nula en el correspondiente "y" donde y=f(x). Adems se tiene que g`(y)=
( )

Note que si y=f(x) entonces x=g(y) corresponde a f-1(y), y Dy f-1 (y)= Funcin Compuesta: La gran mayora de las funciones que se estudian en clculo estn construidas por una composicin de funciones, de aqu la importancia de conocer un mtodo sencillo para diferenciar dichas funciones; el mtodo utilizado para hallar la derivada de una funcin compuesta se conoce como "Regla de la cadena". Si consideramos las ecuaciones y=u3, u=5x2+8 entonces puede escribirse "y" como y=(5x2+8)3. En igual forma, si y= "y" como y= . entonces puede expresarse

En general, si y=f(u), u=g(x) entonces y=f(g(x)).

Las ecuaciones anteriores dan en forma explcita las siguientes funciones: f= {(u,y)/y=f(u)} g= {(u,y)/y=g(u)} h= {(u,y)/y=f(u)} La funcin h para la cual h= y=f (g(x)). Recibe el nombre de funcin compuesta y se escribe h= (f o g) (x)=f (g(x)). Observe que los elementos del dominio de h son los x que pertenecen al dominio de la funcin g, tales que g(x) pertenezca al dominio de f. Ilustraremos lo anterior con el siguiente diagrama:

Teorema Si la funcin g={(x,y)/u=g(x)}es derivable sobre un intervalo S1 y si la funcin f={(u,y)/y=f(u)} es derivable sobre un intervalo f(g) tal que S2={g(x)/ x S2}, entonces la funcin compuesta f(g)= {(x,y)/ y= f(g(x))}es derivable sobre S1 y Dx[f(g(x)).g`(x) = f`(g(x)).g`(x), para x S1. Esta frmula recibe el nombre de regla de la cadena.

DIFERENCIALES
La diferencial de una funcin surgi histricamente del concepto de 'indivisible'. Este concepto, que desde un punto de vista moderno nunca estuvo muy claramente definido, era en su tiempo (en el siglo XVIII) fundamental en el anlisis matemtico. Las ideas referentes a l sufrieron cambios esenciales en el transcurso de varios siglos. Los indivisibles, y ms tarde la diferencial de una funcin, se representaban como verdaderos infinitsimos, como algo de magnitud constante extremadamente pequea, que sin embargo no era cero. La definicin dada en esta seccin es la aceptada en el anlisis moderno. De acuerdo con esta definicin, la diferencial es una magnitud finita para cada incremento Dx, y al mismo tiempo proporcional a Dx. La otra propiedad fundamental de la diferencial, el carcter de su diferencia respecto a Dy, slo puede reconocerse 'en movimiento', por as decirlo: si consideramos un incremento Dx que se aproxima a cero (que sea un infinitsimo), entonces la diferencia entre dy e Dy ser tan pequea como se desee incluso comparada con Dx. Esta sustitucin de los incrementos pequeos de la funcin por la diferencial forma la base de la mayora de las aplicaciones del anlisis infinitesimal al estudio de la naturaleza. El lector ver esto de un modo particularmente claro en el caso de las ecuaciones diferenciales. (Aleksandrov, 1, 152)] [Dada la funcin y = f(x) se define: ( A. dx, ledo diferencial de x, por la relacin dx = Dx. ( B. dy, ledo diferencial de y, por la relacin dy = f'(x)dx.

La diferencial de una variable independiente es, por definicin, el incremento que experimenta; sin embargo, la diferencial de una variable dependiente o funcin no es igual a su incremento.

REGLA DE LA CADENA
Es una frmula para la derivada de la composicin de dos funciones. Tiene aplicaciones en el clculo algebraico de derivadas cuando existe composicin de funciones. Descripcin de la regla: En trminos intuitivos, si una variable y, depende de una segunda variable u, que a la vez depende de una tercera variable x; entonces, la razn de cambio de y con respecto a x puede ser computado como el producto de la razn de cambio de y con respecto a u multiplicado por la razn de cambio de u con respecto a x. En trminos algebraicos, la regla de la cadena (para funciones de una variable) afirma que si f es diferenciable en x y g es una funcin diferenciable en f(x), entonces la funcin compuesta (g o f) (x)=g (f(x)) es diferenciable en x y

)( )

))

( ( ))

( ( ))

( )

Alternativamente, en la notacin de Leibniz, la regla de la cadena puede expresarse como:

Donde

indica que g depende de f como si sta fuera una variable.

FORMULAS DE DERIVADAS
Funcin
y=k y=u+v+w u y = v y = un

Funcin Derivada
y' = 0 y' = u' + v' + w' vu' v'u y' = v2 y' = u'nun1

Funcin
y=x y = uv y = logb u

Funcin Derivada
y' = 1 y' = uv' + u'v u' y' = logb e u u' y' = u y' = u'eu

(*)

y = ln u

y = ku y = sen u y = cos u y = tg u y = arsen u

y' = u'kuln k y' = u'cos u y' = u'sen u y' = u'(1 + tg2 u) u' y' = 1 u2 u' y' = 1 u2 u' y' = 1 + u2

(*)

y = eu y = cosec u y = sec u y= cotg u y = arcosec u

(**)

y = arcos u

y = arsec u

y = artg u

y = arcotg u

y' = u'cosec ucotg u y' = u'sec utg u y' = u'cosec2 u u' y' = |u| u2 1 u' y' = |u| u2 1 u' y' = 1 + u2

y = uv

y' = v'uvln u+vuv1u'

y = f(x) => lny = ln f(x) => (y'/y) = (ln f(x))' => y' = y(ln f(x))' (*) l k = 1/(log e) (**) = u'/(cos2 u) = u'sec2 u ; n k u,v,w son funciones de x ; u' es la derivada de u respecto de x ; k es una cte ; ln es log base e ; n y b son nmeros racionales ; |u| es valor absoluto de u.

QUE ES EL ALGEBRA
lgebra, rama de las matemticas en la que se usan letras para representar relaciones aritmticas. Al igual que en la aritmtica, las operaciones fundamentales del lgebra son adicin, sustraccin, multiplicacin, divisin y clculo de races. La aritmtica, sin embargo, no es capaz de generalizar las relaciones matemticas, como el teorema de Pitgoras, que dice que en un tringulo rectngulo el rea del cuadrado que tiene como lado la hipotenusa es igual a la suma de las reas de los cuadrados cuyos lados son los catetos. La aritmtica slo da casos particulares de esta relacin (por ejemplo, 3, 4 y 5, ya que 32 + 42 = 52). El lgebra, por el contrario, puede dar una generalizacin que cumple las condiciones del teorema: a2 + b2 = c2. La historia del lgebra comenz en el antiguo Egipto y Babilonia, donde fueron capaces de resolver ecuaciones lineales (ax = b) y cuadrticas (ax2 + bx = c), as como ecuaciones indeterminadas como x2 + y2 = z2, con varias incgnitas. Los antiguos babilonios resolvan cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos que hoy se ensean.

ALGEBRA ELEMENTAL
Es una fundamental y relativamente bsica forma de lgebra enseada a los estudiantes que se presumen tienen poco o nada de conocimiento formal de las matemticas ms all de la aritmtica. Mientras que en aritmtica solo ocurren los nmeros y sus operaciones aritmticas elementales (como +, -, , ), en lgebra tambin se utilizan smbolos para denotar nmeros (como x, y, a y b). stos son llamados variables. Esto es til porque:

Permite la generalizacin de ecuaciones aritmticas (y de inecuaciones) para ser indicadas como leyes (por ejemplo a + b = b + a para toda a y b), y es as el primer paso al estudio sistemtico de las propiedades del sistema de los nmeros reales. Permite la referencia a nmeros que no se conocen. En el contexto de un problema, una variable puede representar cierto valor que todava no se conoce, pero que puede ser encontrado con la formulacin y la manipulacin de las ecuaciones. Permite la exploracin de relaciones matemticas entre las cantidades (por ejemplo, si usted vende x boletos, entonces, su beneficio ser 3x - 10 dlares). Estas tres son los hilos principales del lgebra elemental, que deben ser distinguidos del lgebra abstracta, un tema ms avanzado enseado generalmente a los estudiantes universitarios. En lgebra elemental, una expresin puede contener nmeros, variables y operaciones aritmticas. Por convencin, stos generalmente se escriben con los trminos con exponente ms altos a la izquierda (ver polinomio); algunos ejemplos son: X+3 y2+2x-3 z7 +a(b+x3) + 42/y-. En un lgebra ms avanzada, una expresin tambin puede incluir funciones elementales. Una ecuacin es la aseveracin de que dos expresiones son iguales. Algunas ecuaciones son verdades para todos los valores de las variables implicadas (por ejemplo a + b = b + a); tales ecuaciones son llamadas

identidades. Las ecuaciones condicionales son verdades para solamente algunos valores de las variables implicadas: ecuacin.

x2-1=4. Los valores de las

variables que hacen la ecuacin verdadera se llaman las soluciones de la

NMEROS REALES:
Por nmero real llamaremos a un nmero que puede ser racional o irracional, por consiguiente, el conjunto de los nmeros reales es la unin del conjunto de nmeros racionales y el conjunto de nmeros irracionales. El conjunto de los nmeros reales es el conjunto de todos los nmeros que corresponden a los puntos de la recta Al conjunto de los nmeros reales es el conjunto de todos los nmeros que pueden expresarse con decimales infinitos peridicos o no peridicos (en este caso un decimal finito, tal como 1,2 puede considerarse peridico de periodo 0:1,2 = 1,2000. . .).El conjunto de los nmeros reales es denotado por R.

OPERACIONES CON NMEROS REALES:


En el conjunto de los nmeros reales se encuentran definidos dos operaciones bsicas que son: la adicin, la multiplicacin, la sustraccin y la divisin. Adicin de nmeros reales: La adicin de nmeros reales es una operacin que asocia a cada par de nmeros reales a y b, llamados sumandos, un nico nmero real c, llamado suma de a y b- la adicin es una funcin definida as: +:R x R R

(a, b) c = a + b Suma sumandos Sustraccin de nmeros reales: Es la operacin inversa de la adicin. Mientras en la adicin se dan los sumandos y se trata de calcular la suma: a+d=m Sumandos suma en la sustraccin se da la suma, llamada ahora minuendo y un sumando llamado sustraendo y se trata de calcular el otro sumando llamado diferencia: ma=d Minuendo diferencia sustraendo la diferencia d = m a se calcula sumando al minuendo m el opuesto del sustraendo a: d = m a = m + (a) Multiplicacin: La multiplicacin de nmeros reales es una operacin que asocia a cada par de nmeros reales a y b, llamados factores; un nico nmero real c, llamado producto de a y b. La multiplicacin es una funcin definida as: RxRR (a, b) c = a . b Producto factores Divisin de nmeros reales: La divisin es la operacin inversa de la multiplicacin, mientras en la multiplicacin se dan los factores y se trata de calcular el producto: a.b=c

Factores producto en la divisin se da el producto llamado ahora dividendo y un factor llamado ahora divisor y se trata de calcular el otro factor, llamado cociente: ( ) ( )

En la divisin tenemos que:

PROPIEDADES DE LOS NMEROS REALES (EN LA ADICIN):


A. Propiedad conmutativa: en la adicin de nmeros reales, el orden del os sumandos no altera la suma. Es decir, si a y b son los nmeros reales, entonces = a + b = b + a , por lo anterior se dice que la adicin de nmeros reales tiene la propiedad conmutativa. B. Propiedad asociativa: en la adicin de nmeros reales, la forma de agrupar los sumandos no altera la suma. Es decir, si a, b y c son nmeros reales, entonces a + b + c = (a + b) + c = a + (b + c), por lo anterior, se dice, que la adicin de nmeros reales tiene la propiedad asociativa. C. Existencia de elemento neutro: en el conjunto R de los nmeros reales, el nmero real cero (0) es el elemento identidad o neutro para la adicin porque la suma de cualquier nmero a y 0 es 0. es decir, si a es un nmero real, entonces: a + 0 = 0 + a = a. D. Existencia de elementos simtricos opuestos: para cualquier nmero real existe otro nmero real a, llamado opuesto de a, tal que: a + (-a) = 0. As: la suma de un nmero

real y su opuesto es igual a cero (0), el elemento identidad o neutro para la adicin. Por ejemplo: 2 = ( ) = .

CRITERIO DE LA PRIMERA DERIVADA


La primera derivada no slo es til en el trazado de curvas para determinar los extremos relativos, sino, tambin, para determinar los intervalos donde crece y decrece la curva. Al analizar en forma intuitiva el comportamiento de la funcin cuya grfica aparece en la siguiente figura.

1. Entre las abscisas a y b, a medida que nos desplazamos hacia la derecha, , en sentido positivo del eje x, la curva es ascendente, en cuyo caso se dice que la funcin es creciente en el intervalo [a, b], y entre b y c la curva es descendente, en cuyo caso se dice que la funcin es decreciente en el intervalo [b, c]. 2. La pendiente de la recta tangente a la curva en los puntos A, B y C (separan los tramos de crecimiento y de decrecimiento) es cero, o lo que es equivalente, la recta tangente es horizontal.

3. En el punto P que pertenece a un tramo de crecimiento, la pendiente de la recta tangente a la curva es positiva y por lo tanto, su derivada es positiva. En cambio, en el punto Q que pertenece a un tramo decreciente de la curva, la pendiente y por lo tanto, la primera derivada es negativa. 4. El valor o valores obtenidos para la variable, son donde pudiera haber mximos o mnimos en la funcin. 5. se asignan valores prximos (menores y mayores

respectivamente) a la variable independiente y se sustituyen en la derivada. Se observan los resultados; cuando estos pasan de positivos a negativos, se trata de un punto mximo; si pasa de negativo a positivo el punto crtico es mnimo. 6. Cuando existen dos o ms resultados para la variable independiente, debe tener la precaucin de utilizar valores cercanos a cada uno y a la vez distante de los dems, a fin de evitar errores al interpretar los resultados.

MXIMOS Y MNIMOS.
Existen muchos campos del conocimiento (aritmtica, geometra, economa, fsica, biologa, industria, etc.) donde se presentan problemas que se resuelven aplicando los conceptos de mximos y mnimos del clculo diferencial. Para resolver los problemas a partir de los datos existentes, es importante en primer lugar, encontrar la expresin matemtica de la funcin que represente el problema y cuyos valores mximos o mnimos se desean obtener.

Si la expresin matemtica contiene varias variables, deber plantearse en funcin de una sola; las condiciones del problema deben aportar suficientes relaciones entre las variables, para poderse expresar a todas ellas en funcin de una sola variable independiente. Una vez que se tenga la funcin en la forma Y=f(X), se aplican las normas ya estudiadas. En muchos problemas prcticos resulta muy sencillo identificar cuales valores crticos dan mximos o mnimos; y en consecuencia, ya no ser necesario aplicar el procedimiento completo. Es conveniente construir la grafica que represente la funcin en cuestin, a fin de verificar los resultados obtenidos. Mximos de una Funcin. En un punto en el que la derivada se anule y antes sea positiva y despus del punto negativo, se dice que la funcin tiene un mximo relativo. Es decir, que F'(xo) = 0 y en ese punto, la funcin, pase de creciente a decreciente. En x = a la funcin tiene un mximo relativo y se observa que su derivada se anula en ese punto, pasando de positiva a negativa. (se anula y cambia de signo). Mx en (a,f(a)) Mnimos de una Funcin. En un punto en el que la derivada se anule y antes sea negativa y despus del punto positiva, se dice que la funcin tiene un mnimo relativo. Es decir, que F'(xo) = 0 y en ese punto, la funcin, pase de decreciente a creciente. En x = b la funcin tiene un mnimo relativo y se observa que su derivada se anula en ese punto, pasando de negativa a positiva. Mn en

(b,f(b). Para que una funcin tenga mximo o mnimo no es suficiente con que su derivada se anule (debe, adems, cambiar de signo).

DERIVADA ENSIMA
En algunos casos, podemos encontrar una frmula general para cualquiera de las derivadas sucesivas (y para todas ellas). Esta frmula recibe el nombre de derivada ensima, f'n(x). Calcula la derivada ensima de: ( ) ( ) ( ) ( ) ( ) ( )

DERIVADA HIPERBLICA

DERIVADAS DE FUNCIONES TRIGONOMTRICAS


Es el proceso matemtico de encontrar el ritmo al cual una funcin trigonomtrica cambia respecto de la variable independiente; es decir, la derivada de la funcin. Las funciones trigonomtricas ms habituales son las funciones sin(x), cos(x) y tan(x). Por ejemplo, al derivar f(x) = sin(x), se est calculando la funcin f'(x) tal que da el ritmo de cambio del sin(x) en cada punto x.
Funcin sin(x) cos(x) tan(x) cot(x) sec(x) csc(x) Derivada cos(x) sin(x) sec2(x) csc2(x) sec(x)tan(x) csc(x)cot(x

SIGNIFICADO DE LA SEGUNDA DERIVADA


Uno de los rdenes de derivacin es el de la segunda derivada, aunque no es despreciable la utilizacin de las derivadas de orden superior, sobre todo en clculo de errores. Curiosamente las aplicaciones fsicas implican, por lo general, derivadas de segundo orden como podra ser las ecuaciones de movimiento. Puntos de inflexin y nmero de inflexin. Sea f una funcin y a un nmero. Supongamos que existe nmeros b y c tales que b<a<c y adems: a) b) f es una funcin continua en el intervalo abierto (b,c) f es una funcin cncava hacia arriba y cncava hacia abajo en

(a,c), o viceversa. Bajo las condiciones anteriores el punto (a,f(a)) se llama punto de inflexin, y al nmero a se llama nmero de inflexin. Si la segunda derivada f de una funcin f es positiva en un intervalo abierto (a,b) es porque la primera derivada f es creciente en ese intervalo.

CONSTRUCCIN DE CURVAS
El dominio de definicin de una funcin; su crecimiento y decrecimiento; el clculo de mximos, mnimos y puntos de inflexin; el estudio de concavidad y convexidad y el hallazgo de posibles asntotas, permiten construir con tanta precisin como se desee innumerables curvas. A los apartados anteriores conviene aadir el estudio de posibles simetras que, cuando existan, simplificarn notablemente las construcciones de curvas. Simetras Una funcin se dice que es par si f(x) = f(- x). Estas funciones son simtricas respecto al eje de ordenadas. Basta, pues, dibujar la curva situada a la derecha de este eje y complementarla a la izquierda por simetra.

Una funcin f(x) es impar si f(- x) = - f(x). Las grficas de estas funciones tienen al origen de coordenadas por centro de simetra. La ms caracterstica de estas funciones es f(x) = x3. En efecto, f(- x) = (- x)3 = - x3 = - f(x) Pasos a seguir en la construccin de una curva 1. Dominio de definicin de la funcin. 2. Simetras. 3. Puntos de corte con los ejes. 4. Asntotas. 5. Intervalos de crecimiento y decrecimiento. 6. Mximos y mnimos. 7. Concavidad y convexidad. Puntos de inflexin.

CRITERIOS DE LA SEGUNDA DERIVADA PARA MXIMOS Y


MNIMOS RELATIVOS

Sea f una funcin con su primera derivada definida, al menos, en un intervalo abierto conteniendo al nmero a. Si f est definida entonces podemos considerar los siguientes aspectos: a) Si f(a)=0 y f(a)<0 entonces se dice que f tiene un mximo local en a. b) Si f(a)=0 y f(a)>0 entonces se dice que f tiene un mnimo local en a.

TEOREMA DE ROLLE
S: f es una funcin continua definida en un intervalo cerrado [a,b] f es derivable sobre el intervalo abierto [a,b] f (a)=f(b) Entonces: existe un nmero perteneciente al intervalo (a,b) tal que f`(c)=0.

En palabras ms sencillas, si una curva regular sale y llega a la misma altura, en algn punto tendr tangente horizontal. En la figura se ven tres casos distintos. Si la funcin empieza subiendo, tendr luego que bajar para reencontrar su valor inicial, entre la subida y la bajada, hay un punto donde la funcin alcanza un mximo, y en ste, f ' se anula. Lo mismo sucede si la funcin empieza bajando, y f ' es nula en el mnimo de f. El tercer ejemplo muestra que no se garantiza la unicidad de c.

Prueba Gracias a la continuidad de f, la imagen de [a, b], conjunto conexo es un conjunto conexo de R, y por lo tanto es un intervalo, el intervalo imagen. La imagen por una funcin continua de un conjunto compacto es un conjunto compacto, y por lo tanto el intervalo imagen es cerrado y de longitud finita: es de la forma [m, M], con m el valor mnimo de f y M su valor mximo. Si m = M , la funcin es constante, y cualquier punto c de (a, b) conviene. Descartado este caso, m M significa que uno de los dos no es igual a f(a) = f(b). Supongamos que sea M. Entonces M > f(a) = f(b), y por lo tanto el mximo M est alcanzado en el interior del intervalo. Sea c en (a, b) tal que f(c) = M. Por definicin del mximo, M = f(c) f(x) para todo x de [a, b]. Entonces el cociente (f(c) - f(x)) / (c - x) es no negativo cuando x < c (porque su numerador es siempre no negativo y su denominador es positivo no nulo), y es no positivo cuando x > c (el denominador se vuelve negativo no nulo). Pero f '(c) es por definicin el lmite de este cociente cuando x tiende hacia c. El lmite por la izquierda, f '(c-) positivo, tiene que ser igual al lmite por la derecha, f '(c+). Por lo tanto este lmite comn es nulo, o sea f '(c) = 0. La prueba es muy parecida si es el mnimo que est alcanzado en (a, b).

TEOREMA DEL VALOR MEDIO


Si: f es una funcin continua definida en un intervalo [a, b] f es derivable sobre el intervalo abierto (a, b) Entonces: existe un nmero c en el intervalo (a, b) tal que : Es decir que existe un punto en donde la tangente es paralela a la cuerda AB. Su prueba es sencilla, pues utiliza el teorema precedente.

Sea p la pendiente de la cuerda: p = (f(b) - f(a)) / (b - a), y se define la funcin g(x) = f(x) - px. Entonces g(b) - g(a) = f(b) - pb - (f(a) - pa) = f(b) f(a) - p(b - a) = f(b) - f(a) -(f(b) - f(a)) = 0, y g como f, es continua sobre [a, b] y derivable en su interior. Segn el teorema anterior, existe un c en (a, b) tal que g '(c) = 0; pero esto se escribe f ' (c) = p. Este teorema se escribe tambin, con las mismas hiptesis: f(b) = f(a) + f '(c)(b-a) lo que deja entrever el teorema de Taylor-Young: f(b) = f(a) + (b-a)f '(a) + ... + (b-a)n/n! f(n)(c), con f n veces derivable sobre (a, b).