Teorema del valor mitjà

De la Viquipèdia, l'enciclopèdia lliure
Per a qualsevol funció contínua en [a, b] i derivable en (a, b) hi ha algun c al interval (a, b) tal que la secant que uneix els punts extrems de l'interval [a, b] és paral·lela a latangent al punt c.

Informalment es pot dir que en càlcul, el teorema del valor mitjà estableix, que donat un bocí d'una corba derivable, hi ha un punt dins d'aquest bocí en el qual la tangent a la corba és paral·lela a la recta que uneix el primer punt amb l'últim. O dit d'una altra manera, hi ha un punt en què el pendent (o derivada) de la corba és igual al pendent mitjà (o derivada mitjana) de tota la corba. Aquest teorema es fa servir per a demostrar teoremes que obtenen conclusions globals de funcions a partir d'hipòtesis locals referents als valors que prenen les seves derivades en punts de l'interval.

Aquest teorema es pot entendre aplicant-lo al cas d'un objecte en moviment. Si un cotxe viatja cent quilòmetres en una hora, és a dir, si la seva velocitat mitjana és de 100 km/h, en algun moment, la seva velocitat instantània haurà hagut de ser exactament de 100 km/h.

Definició formal[modifica]

Siga f : [a, b] → R una funció contínua en un interval tancat [a, b], i derivable en l'interval obert (a, b). Llavors, existeix algun c de (a, b) tal que
.

El teorema del valor mitjà és una generalització del teorema de Rolle, el qual suposa que f(a) = f(b), de forma que el costat dret de la igualtat és zero.

El teorema del valor mitjà continua sent vàlid establint-lo d'una manera lleugerament més general. Només cal suposar que f : [a, b] → R és una funció contínua a [a, b], i que per a cada x de (a, b) el límit

existeix com a nombre finit o és igual a .

Demostració[modifica]

Es construeix la funció:

Fixem-nos que aquesta funció té el mateix valor en a que en b:

Per tant, compleix la condició del teorema de Rolle segons el qual hi ha un punt ξ, entre a i b, tal que la seva derivada és zero (o és la funció constant o té almenys un màxim o un mínim dins de l'interval). Però com que:

Al punt ξ:

Per tant:

Que és el que es volia demostrar.

Vegeu també[modifica]