Archivo de la etiqueta: máximo

Cálculo Diferencial e Integral II: Teorema del valor medio para la integral

Por Moisés Morales Déciga

Deja un comentario

Introducción

En una entrada anterior, presentamos un ejemplo de integración por punto medio que sirve como introducción al tema del teorema del valor medio para la integral. En dicho ejemplo, aproximamos la integral mediante sumas de áreas de rectángulos cuyas bases eran todas iguales, y cuya altura estaba dada por la evaluación de una función en el punto medio de cada intervalo.

Esta manera de aproximar una integral usando algún punto arbitrario dentro de cada intervalo de una partición, y haciendo la suma de Riemann correspondiente, será el punto de partida para entender primero a la integral como un promedio, y luego para llevar ese entendimiento más allá y enunciar el teorema del valor medio para la integral. Lo que nos dirá este teorema es que cuando una integral de una función continua exista, entonces dicha integral siempre puede calcularse como la longitud del intervalo de integración, por la evaluación de la función en algún punto del intervalo.

A continuación formalizamos estas ideas.

Función promedio e intuición del teorema del valor medio

Quizás recuerdes la siguiente definición de tu educación básica.

Definición. Sean $z_1,\ldots,z_n$ números reales. Su promedio o media aritmética es el número

$$\frac{z_1 + z_2 + … + z_n}{n}.$$

De manera similar, si tomamos $x_1,\ldots,x_n$ números en un cierto intervalo $[a,b]$ y $f:[a,b]\to \mathbb{R}$, entonces podemos considerar a los valores $f(x_1),\ldots,f(x_n)$ y obtener su promedio:

$$\frac{f(x_1) + f(x_2) + … + f(x_n)}{n} .$$

A esto le llamamos el valor promedio de la función en $x_1,\ldots,x_n$.

Pensemos que tomamos una partición en $n$ partes del intervalo $[a,b]$. La longitud de cada celda sería $\Delta x_i = (b-a)/n$. Si tomamos a los puntos $x_1,\ldots,x_n$, uno en cada celda de dicha partición, entonces tendríamos que

\begin{align*}
\frac{f(x_1) + f(x_2) + … + f(x_n)}{n}&=\frac{b-a}{b-a} \sum_{i=1} ^n \frac{f(x_i)}{n}\\
&=\frac{1}{b-a} \sum_{i=1}^n f(x_i) \Delta x_i.
\end{align*}

A la derecha nos queda una suma de Riemann. Si la función fuera integrable en $[a,b]$, dicha suma convergería a $\frac{1}{b-a}\int_a^b f(x)\, dx$ conforme $n\to \infty$ (como recordatorio, revisa la entrada de definición de la Integral). Y el lado izquierdo, conforme $n$ crece, se vuelve el promedio de más y más puntos distribuidos homogéneamente en $[a,b]$. De aquí sale la siguiente intuición: «la integral entre $b-a$ es el valor promedio de la función en todo el intervalo».

Esta intuición es buena y conviene formalizarla con un nombre apropiado.

Definición. Sea $f:\mathbb{R}\to \mathbb{R}$ una función acotada e integrable en un intervalo $[a,b]$, con $a<b$ reales. Definimos el promedio de $f$ en $[a,b]$ como el número $$\frac{1}{b-a}\int_a^b f(x)\, dx.$$

Observa que podemos poner a esta expresión como un cociente de integrales:

$$\frac{1}{b-a} \int \limits_{a}^{b} f(x) \ dx = \frac{ \int \limits_{a}^{b} f(x) \ dx }{ \int \limits_{a}^{b} 1 \ dx }.$$

Teorema del valor medio para la integral

El teorema del valor medio establece una relación muy importante entre una función continua y promedio en cierto intervalo $[a,b]$.

Teorema. Sea $f:\mathbb{R}\to \mathbb{R}$ una función que es continua en el intervalo $[a,b]$, con $a\leq b$ reales. Entonces, siempre existe $\xi\in[a,b]$ tal que

$$ \int \limits_{a}^{b} f(x) dx = f(\xi)(b-a).$$

Si $b>a$, podemos dividir entre $b-a$ y esto quiere decir que siempre podemos encontrar un valor $\xi\in [a,b]$ tal que $f(\xi)$ es igual al promedio de $f$ en $[a,b]$.

Demostración. Si $a=b$, entonces no hay nada que hacer, pues en ambos lados de la igualdad tenemos cero. Así, sean $a<b$ números reales y $f:\mathbb{R}\to \mathbb{R}$ función continua dentro del intervalo $[a,b]$.

Las funciones continuas tienen valor máximo y mínimo en intervalos cerrados y acotados. Así, existen $x_0$ y $y_0$ en $[a,b]$ tales que $f(x_0) = m$ es el mínimo de la función en el intervalo y, $f(y_0) = M$ es el máximo de la función en el intervalo. Como las funciones constantes son integrables y la integral respeta desigualdades, tenemos que:

\begin{align*}
m(b \ – \ a) &= f(x_0) (b \ – \ a)\\
&=\int_a^b f(x_0)\, dx\\
&\leq \int_a^b f(x)\, dx\\
&\leq \int_a^b f(y_0)\, dx\\
&=f(y_0) (b-a)\\
&=M (b-a).
\end{align*}

Nos importa recuperar de esta cadena de desigualdades que $$m(b-a)\leq \int_a^b f(x)\, dx \leq M(b-a),$$ y por lo tanto $$m\leq \frac{1}{b-a} \int_a^b f(x)\, dx \leq M.$$

De esta manera, $\frac{1}{b-a} \int_a^b f(x)$ es un valor entre $f(x_0)$ y $f(y_0)$. Pero por el teorema del valor intermedio, si una función continua toma dos valores, entonces toma cualquier valor entre ellos. Así, existe $\xi$ entre $x_0$ y $y_0$ tal que $$f(\xi)=\frac{1}{b-a} \int_a^b f(x)\, dx.$$

Multiplicando por $b-a$, obtenemos la igualdad deseada.

$ \square$

Para entender un poco mejor el teorema del valor medio para la integral, veamos un ejemplo.

Ejemplo. Veamos el teorema del valor medio en acción para la función $f(x)=x$ en el intervalo $[3,4]$.

Ya habíamos encontrado el valor de esta integral en la entrada «Definición de la Integral Definida». Dicho valor fue $\frac{7}{2}=3.5$.

Lo que nos diría el teorema del valor medio es que podemos encontrar un punto $\xi \in[3,4]$ tal que Sustituyendo en la expresión encontrada por el teorema, se tiene lo siguiente.

$$f(\xi)(4 \ – \ 3) = \int \limits_{3}^{4} f(x) dx=3.5,$$

es decir, tal que $f(\xi)=3.5$. Y en efecto, dicho punto es justamente $3.5$, pues $f(3.5)=3.5$. Notemos que, tal como se quería, tenemos que $3.5\in [3,4]$. Por lo tanto, el punto $\xi = 3.5 $ dentro del intervalo $[3,4]$ es tal que al evaluarlo en la función, da por resultado el promedio de $f$ en $[3,4]$.

$\triangle$

Teorema del valor medio generalizado para la integral

Hay otra versión del teorema del valor medio que generaliza la noción de promedio. Quizás en tu educación básica cursaste una materia en donde el $30\%$ de tu calificación eran tareas, el $20\%$ era participaciones y el $50\%$ el examen. En este caso, si sacaste $x,y,z$ en las tareas, participaciones y examen respectivamente, entonces tu calificación final era $0.3 x + 0.2 y + 0.5 z$. Este tipo de promedios en donde distintos números tienen distinto valor quedan reflejados en la siguiente definición.

Definición. Sean $z_1,\ldots,z_n$ números reales y $p_1,\ldots,p_n$ números positivos. La media aritmética ponderada con dichos pesos es el número real $$\frac{p_1z_1+p_2z_2+\ldots+p_nz_n}{p_1+p_2+\ldots+p_n}.$$

El promedio se recupera eligiendo todos los pesos $p_i$ iguales a $1$, es decir, dando la misma ponderación para todos los valores que tenemos dentro del conjunto, independientemente del valor que hayan tenido. Las medias aritméticas son importantes pues aparecen en las aplicaciones. Por ejemplo, en física podemos pensar que los $p_i$ son pesos de partículas localizadas en los puntos $z_i$. En este caso la media aritmética ponderada representará el centro de gravedad de dichos objetos.

Estas ideas pueden llevarse al contexto continuo. Se pueden pensar en las ideas del teorema del valor medio, pero donde ahora en cada punto ponderaremos de acuerdo a una función peso. Esto hará que ahora distintos puntos tengan distinta preferencia, y que a su vez ya no se tenga una media aritmética, sino una media aritmética ponderada.

Definición. Sea $f:\mathbb{R}\to \mathbb{R}$ una función integrable en $[a,b]$ y sea $p:\mathbb{R}\to \mathbb{R}$ una función integrable en $[a,b]$ y no negativa, con integral positiva. Definimos el promedio ponderado de $f$ como el número

$$\frac{\int_a^b f(x) p(x) \, dx}{\int_a^b p(x)\, dx}.$$

Se puede demostrar el siguiente teorema, que generaliza al teorema del valor medio para la integral.

Teorema. Sea $f:\mathbb{R}\to \mathbb{R}$ una función continua en $[a,b]$ y sea $p:\mathbb{R}\to \mathbb{R}$ una función continua en $[a,b]$ y no negativa, con integral positiva. Entonces existe un valor $\xi\in [a,b]$ tal que:

$$\int \limits_{a}^{b} f(x) \ p(x) \ dx = f(\xi) \ \int \limits_{a}^{b} p(x) \ dx .$$

Observación. Si $p(x)$ es la función constante $1$, recuperamos el teorema del valor medio para la integral.

Ya tienes todas las herramientas para probar esta generalización. ¡Te espera en los problemas!

Más adelante…

A partir de la definición de la integral mediante sumas se obtienen teoremas y propiedades que nos permiten simplificar el cálculo de la integral y tener herramientas para resolver problemas mediante diferentes métodos.

Este teorema nos permite calcular la integral a partir del punto medio del intervalo, simplificando el proceso ya que no es necesario determinar el ínfimo o el supremo de cada partición.

Un poco después veremos algunas aplicaciones de este teorema. Será de suma importancia cuando enunciemos y mostremos los teoremas fundamentales del cálculo.

Tarea moral

  1. Encuentra el valor promedio la función dada, en el intervalo dado. Luego, encuentra un valor $\xi$ en el intervalo dado tal que $f(\xi)$ sea la integral que encontraste.
    • $f(x)=1 + x^2$ en $[-1,2]$.
    • $f(x)=\sqrt x$ en el intervalo $[0,4]$.
    • $f(x)=1+2x-x^2$ en el intervalo $[-2,2]$.
  2. Determina el valor promedio ponderado de las siguientes funciones, usando la función ponderación dada.
    • $f(x)=1+x^2$ en $[-1,2]$, con función ponderación $p(x)=x+1$.
    • $f(x)=4x^2 – 2x$ en $[1,4]$, con función ponderación $p(x)=3$.
    • $f(x)=(x-3)^2$ en en $[2,5]$, con función ponderación $p(x)=x-2$.
  3. Demuestra el teorema del valor medio generalizado para la integral.
  4. El teorema del valor medio es falso en general si la función no es continua. Considera la siguiente función $$f(x)=\begin{cases} 0 & \text{si $x\in [0,1]$}\\ 1 & \text{si $x\in[1,3].$}\end{cases}$$
    • Demuestra que esta función es integrable en $[0,3]$.
    • Encuentra explícitamente el valor de esa integral mediante la definición.
    • Muestra que no existe ningún $\xi\in [0,3]$ tal que $f(\xi)=\frac{1}{3-0} \int_a^b f(x)\, dx.$
  5. Sea $f:\mathbb{R}\to\mathbb{R}$ una función continua y tal que $f(x)\geq 3$ para todo $x$ en cierto intervalo $[a,b]$. Demuestra que si el promedio de $f$ en $[a,b]$ es $3$, entonces $f(x)=3$ para todo $x\in [a,b]$. ¿Fue importante que el número fuera $3$? Enuncia y demuestra una generalización.

Entradas relacionadas

Cálculo Diferencial e Integral I: Cota superior e inferior de un conjunto

Por Karen González Cárdenas

2 respuestas

Introducción

Ahora comenzaremos a ver un tema un tanto diferente a los vistos en la entrada anterior. Primero veremos los conceptos de máximo y mínimo de un conjunto, después las definiciones formales para cota superior e inferior, y terminaremos revisando algunos ejemplos donde las aplicaremos.

Máximo y mínimo de un conjunto

Definición: Sean $A\subseteq \r$ no vacíos. Decimos que:

  • $A$ tiene elemento máximo $\Leftrightarrow \exists a_{0} \in A$ tal que $\forall a \in A$ se cumple que: $a \leq a_{0}$
  • $A$ tiene elemento mínimo $\Leftrightarrow \exists b_{0} \in A$ tal que $\forall b \in A$ se cumple que: $b_{0} \leq b$

Para darnos una idea más clara de estas definiciones veamos los siguientes ejemplos:

$$C=(0,1]$$

  1. No tiene mínimo.
  2. Tiene máximo y es 1.

Para probar estas afirmaciones haremos uso de las definiciones anteriores:
Demostración 1 (por contradicción): Supondremos que existe un elemento $c_{0} \in C$ tal que $\forall c \in A$ cumple que $c_{0} \leq c$. Por lo que se sigue que: $0<c_{0}<1$.
Observemos que $\frac{c_{0}}{2} \in C$ ya que $0<\frac{c_{0}}{2}<c_{0}$
$$\Rightarrow c_{0}\leq \frac{c_{0}}{2}<c_{0} \contradiccion$$
Lo cual es una contradicción.

Demostración 2: Veamos que por la definición del conjunto C tenemos:
$$C=\left\{ c\in \r\quad|\quad 0<c \leq 1 \right \}$$
Por lo que $1\in C$ y se cumple que $\forall c\in C, c\leq 1$.

$\square$

Observación:

  • El elemento máximo de un conjunto es único.
  • El elemento mínimo de un conjunto es único.

La demostración de estas afirmaciones se quedará como ejercicios de la Tarea moral.

Cota superior e inferior de un conjunto

Definición: Sea $A \subseteq \r$. Decimos que un número $M \in \r$ es:

  • Cota superior $\Leftrightarrow \forall a \in A$ se cumple que: $a\leq M$.
  • Cota inferior $\Leftrightarrow \forall a \in A$ se cumple que: $a\geq M$.

Observación: Si hay una cota superior $M \Rightarrow \forall a \in A$ ocurre que: $$ a \leq M < M+1<M+2<M+3 \ldots$$ Es decir, hay una infinidad de cotas superiores de $A$.

Antes de continuar con el ejemplo de esta sección, aclaremos la diferencia entre máximos y cotas superiores de un conjunto, así como la diferencia entre mínimos y cotas inferiores. La distinción principal radica en que el máximo es un elemento específico del conjunto, mientras que una cota superior es simplemente un número que es mayor o igual que todos los elementos del conjunto, pero no necesariamente pertenece al mismo. De manera análoga, la diferencia clave es que el mínimo es un elemento específico dentro del conjunto, mientras que una cota inferior es simplemente un número que es menor o igual que todos los elementos del conjunto, pero no necesariamente pertenece a él.


Ejemplo

Consideremos el conjunto:
$$E=(0,2]$$
Vemos que para todo $x\in E$ ocurre que $-2<0<x$
$$\therefore \quad-2 \leq x$$
Por lo que podemos concluir que $-2$ es cota inferior de $E$.

Y además tenemos que $\forall x \in E$ se cumple $ x \leq 2.$
$\therefore \quad 2$ es cota superior de $E$.

Conjuntos acotados

Definición: Consideremos $A \subseteq \r$. Decimos que:

  1. $A$ es acotado superiormente si existe $M$ en $\r$ que es cota superior de $A$. Es decir, si $\exists M\in \r$ tal que $\forall a \in A$, $a \leq M$.
  2. $A$ es acotado inferiormente si existe $m$ en $\r$ que es cota inferior de $A$. Es decir, si $ \exists m\in \r$ tal que $\forall a \in A$, $m \leq a$.
  3. $A$ es acotado si existe $m$ y $M$ en $\r$ donde $m$ es cota inferior de $A$ y $M$ es cota superior de $A$. Es decir, si $\exists m,M \in \r$ tal que $\forall a \in A$: $m \leq a \leq M$.

    Otra manera de definir qué $A$ es acotado es la siguiente:
  4. $A$ es acotado si existe $M$ en $\r$ mayor o igual que el valor absoluto de cualquier elemento $a$ en $A$. Es decir, si $\exists M \in \r$ tal que $\forall a \in A$: $|a| \leq M$.

Lema: Vamos a demostrar que las definiciones 3 y 4 son equivalentes.

Demostración:
$\Rightarrow)$ Sean $m_0, M_0 \in \r$ tal que $m_0 \leq a \leq M_0$. Queremos demostrar que existe $M \in \r$ que cumple con:
$$-M \leq a \quad \quad \text{y}\quad \quad a \leq M$$
Proponemos a $M=\max\{|m_0|,|M_0|\}.

Por definición de $m_0$ y $M_0$ vemos que se cumple:
\begin{align*}
a&\geq m_0 \geq -|m_0|\geq -M\\
a&\leq M_0 \leq |M_0| \leq M.
\end{align*}
Por transitividad obtenemos
\begin{align*}
a&\geq -M\\
a&\leq M.
\end{align*}

Concluimos entonces que:
$$-M \leq a \leq M$$
$$\therefore |a|\leq M.$$

$\Leftarrow)$ Como $|a| \leq M$ se sigue que $-M \leq a \leq M$. Como $-M \leq a$ tenemos que $A$ es acotado inferiormente por definición si tomamos $m := -M$:
$$m \leq a$$
Análogamente de $a \leq M$ tenemos que $A$ es acotado superiormente por definición concluimos:
$$\therefore m \leq a \leq M$$

$\square$

Lema: Para cualesquiera $A,B \subseteq \r$. Si $A\subseteq B$ y $B$ es acotado entonces $A$ es acotado.

Demostración: Como tenemos que $B$ es acotado existe $M>0$ tal que para todo $b\in B$:
$$|b|\leq M$$
CASO 1 $A\neq\emptyset$: Como $A \subseteq B$ entonces para todo $a \in A$ existe $b \in B$ tal que $a=b$.
$\therefore a \in A, a=b \Rightarrow |a|=|b|\leq M$
CASO 2 $A= \emptyset$: Sabemos que $A =\emptyset\subseteq B$ por lo que se sigue $A$ es acotado por vacuidad.

$\square$

Ejemplo

Si tenemos: $$A= \left\{\frac{1}{n}: n\in \mathbb{N}\setminus\left\{0\right\} \right\}$$

Observamos que:

  • $A$ es acotado superiormente ya que para todo $n\in \mathbb{N}\setminus\left\{0\right\}$:
    $$1\leq n \Leftrightarrow \frac{1}{n} \leq 1$$
    $\therefore 1$ es cota superior de $A$.
  • $A$ tiene elemento máximo. Tenemos que $\forall n\in \mathbb{N}\setminus\left\{0\right\}: \frac{1}{n} \leq 1$
    Así para $n=1$ ocurre que $\frac{1}{1} \leq 1$.
    $\therefore 1$ es máximo de $A$.
  • El conjunto de cotas superiores de $A$ está dado por:
    $$[1, \infty),$$
    que tiene elemento mínimo y es 1. Esto nos indica que existe una mínima cota superior.
  • $A$ es acotado inferiormente. Vemos que para todo $n\in \mathbb{N}, \frac{1}{n} > 0$ por lo que $0 \notin A$. Concluimos así que $\forall a\in A, 0 < \frac{1}{n}$.
    $\therefore 0$ es cota inferior de $A$
  • El conjunto de cotas inferiores de $A$ esta dado por:
    $$(- \infty, 0],$$
    que tiene elemento máximo y es 0. Esto nos indica que existe una máxima cota inferior.
  • $A$ no tiene elemento mínimo. Si suponemos que existe un elemento $a_{0} \in A$ tal que $\forall n\in \mathbb{N}, a_{0} \leq \frac{1}{n}$. Tenemos que $a_{0}$ sería de la forma
    $a_{0} = \frac{1}{n_{0}} > 0$
    $\Rightarrow 0< \frac{1}{2n_{0}}<\frac{1}{n_{0}}$ con $\frac{1}{2n_{0}} \in A$.
    De lo anterior vemos que $a_{0}$ no es mínimo $\Rightarrow \frac{1}{n_{0}}\leq\frac{1}{2n_{0}} \contradiccion$, lo cual nos lleva a una contradicción.

$\square$

Más adelante

Ahora que ya hemos revisado los conceptos de máximo, mínimo y cotas superiores e inferiores de un conjunto en $\r$ tenemos los antecedentes necesarios para comenzar a hablar de supremos e ínfimos.

Tarea moral

  • Demuestra que:
    • El elemento máximo de un conjunto es único.
    • El elemento mínimo de un conjunto es único.
  • Para el conjunto $D=(-\infty, 1)$ demuestra que se cumplen las siguientes afirmaciones:
    • D no tiene elemento mínimo
    • D no tiene elemento máximo
    • D es acotado superiormente
    • D no tiene cotas inferiores

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Seminario de Resolución de Problemas: El teorema del valor extremo

Por Fabian Ferrari

Deja un comentario

Introducción

En una entrada anterior, acerca de funciones continuas, mencionamos dos teoremas fundamentales que estas funciones satisfacen: el teorema del valor intermedio y el teorema del valor extremo. Ya hablamos acerca del teorema del valor intermedio en una entrada anterior. El objetivo de esta entrada es mencionar aplicaciones del teorema del valor extremo.

Como recordatorio, el teorema del valor extremo o teorema de los valores extremos nos dice que si una función $f(x)$ es continua en un intervalo cerrado $[a, b]$, entonces existen valores $c$ y $d$ en $[a, b]$ tales que $f(c) \leq f(x) \leq f(d)$ para toda $x$ en el intervalo $[a, b]$.

En otras palabras, lo que nos dice el teorema es que si una función es continua en un intervalo cerrado, tenemos que la función debe alcanzar un valor máximo y un valor mínimo dentro del intervalo.

Dos teoremas para funciones derivables

Aprovecharemos para mencionar dos teoremas importantes que se ocuparán más adelante. Las demostraciones de dichos teoremas tienen que ver con la aplicación del teorema del valor extremo, estos teoremas son el teorema de Rolle y el teorema del valor medio (no confundir con el teorema del valor intermedio).

Teorema de Rolle. Sean $a<b$ reales y $f:[a,b]\to\mathbb{R}$ una función continua en el intervalo $[a, b]$ y derivable en $(a, b)$. Se tiene que si $f(a)=f(b)$, entonces existe $c$ en $(a, b)$ tal que $f^\prime(c)=0$.

Sugerencia pre-demostración. Por el teorema del valor extremo, la función debe alcanzar un máximo y un mínimo en el intervalo. Divide en casos de acuerdo a dónde están estos valores, si en los extremos o no.

Demostración: Como $f(x)$ es una función continua en $[a, b]$, por el teorema del valor extremo tenemos que $f(x)$ alcanza un valor máximo y un valor mínimo en el intervalo $[a, b]$. Tenemos entonces los siguientes casos.

  • Caso i: Si el valor máximo y mínimo se encuentran en los extremos del intervalo, tenemos que la función $f(x)$ tiene que ser constante dado que $f(a)=f(b)$. y se tiene que $f^\prime(c)=0$ para todo $c$ en $[a, b]$.
  • Caso ii: Si el valor mínimo o máximo no están en los extremos. Sean $c_1$ y $c_2$ en $(a, b)$, los valores en los que la función alcanza su mínimo y máximo respectivamente. Alguno de estos no está en los extremos. Como $f(x)$ es derivable en $(a, b)$, tenemos que también va a ser derivable en alguno de los puntos $c_1$ y $c_2$, teniendo que $f^\prime(c_1)=0$ o $f^\prime(c_2)=0$, así que basta con tomar $c=c_1$ o $c=c_2$.

$\square$

Teorema del valor medio. Sean $a<b$ reales y $f:[a,b]\to\mathbb{R}$ una función continua en $[a, b]$ y diferenciable en $(a, b)$. Entonces existe un número $c$ en $(a, b)$ tal que

$\frac{f(b)-f(a)}{b-a}=f^\prime(c)$.

Demostración: Consideremos la siguiente función auxiliar:

$g(x)=(f(b)-f(a))x-(b-a)f(x)$

Tenemos que $g(x)$ es continua en $[a, b]$ y además es derivable en $(a,b)$. La derivada de $g(x)$ está dada por

$g^\prime(x)=f(b)-f(a)-(b-a)f^\prime(x)$

Como $g(x)$ es continua en $[a, b]$, tenemos que por el teorema del valor extremo, la función alcanza un máximo y un mínimo en el intervalo $[a, b]$. Haciendo las cuentas, $g(a)=g(b)$, de modo que si el máximo y mínimo ocurren en los extremos, entonces $g$ es constante y toda $c\in (a,b)$ satisface $g'(c)=0$

En otro caso, sea $c\in(a, b)$ el valor en donde $g(x)$ alcanza su mínimo o su máximo. Tenemos que $g^\prime(c)=0$.

Así, como $g^\prime(c)=f(b)-f(a)-(b-a)f^\prime(c)$, tenemos que:

$0=f(b)-f(a)-(b-a)f^\prime(c)$

$(b-a)f^\prime(c)=f(b)-f(a)$

$f^\prime(c)=\frac{f(b)-f(a)}{b-a}$

$\square$

Alternativamente, en la función anterior pudimos haber aplicado el teorema de Rolle directamente a la función $g$. En las siguientes entradas veremos aplicaciones de estos resultados a problemas concretos.

Aplicación del teorema del valor extremo a un problema

Problema. Se tiene un circulo de radio $r$, y una tangente $L$ que pasa por un punto $P$ de la circunferencia. De un punto cualquiera $R$ en la circunferencia se traza una paralela a $L$ que corta a la circunferencia en $Q$. Determina el área máxima que puede tener el triángulo $PQR$.

Sugerencia pre-solución. Antes que nada, haz una figura. Usa el teorema del valor extremo para asegurar la existencia del valor máximo. Para ello, necesitarás construir una función continua cuyo valor sea el área buscada. Puedes usar argumentos de simetría para conjeturar cuándo se alcanza el valor máximo.

Solución. Hacemos el siguiente diagrama para entender mejor el problema.

Diagrama del enunciado del problema

Fijémonos que las condiciones de la altura y la base del triángulo $PQR$ se pueden describir mediante la siguiente figura:

Condiciones para la altura y base del triángulo

Notemos que la altura del triángulo está dada por $r+h$, donde $h$ puede variar entre $-r$ y $r$. Este dibujo también nos es de ayuda para determinar el valor de la base. Por el teorema de Pitágoras y sabiendo que la distancia del centro $C$ a los puntos $R$ y $Q$ es igual a $r$, tenemos que la base del triángulo es igual a $2\sqrt{r^2-h^2}$.

Así, el área del triángulo está dada por $(\sqrt{r^2-h^2})(r+h)$, pero como $h$ varía, nos conviene ver el área en función de $h$.

$A(h)=\sqrt{r^2-h^2}(r+h),$

La función $A(h)$ es una función continua en el intervalo $[-r, r]$.

Notemos que cuando $h$ toma los valores de $-r$ y $r$, el valor del área es nulo, es decir que en estos valores alcanza el mínimo, lo cual quiere decir que por el teorema del valor extremo, el valor máximo lo alcanza en algún valor en $(-r, r)$.

Si derivamos la función $A(h)$, tenemos

$A^\prime(h)=\frac{r^2-rh-2h^2}{\sqrt{r^2-h^2}}.$

Como sabemos que hay un máximo en el intervalo $(-r, r)$ y la derivada en este punto máximo debe ser igual a cero, hacemos $A^\prime(h)=0$.

Así,

$\frac{r^2-rh-2h^2}{\sqrt{r^2-h^2}}=0.$

Resolviendo la ecuación tenemos que

$h=\frac{r}{2}.$

Así, el área máxima del triángulo $PQR$ es $$A=\sqrt{r^2-\left(\frac{r}{2}\right)^2}\left(r+\frac{r}{2}\right)=\frac{3\sqrt{3}r^2}{4}.$$

$\square$

Más ejemplos

Se pueden encontrar más problemas de aplicación del teorema del vaalor extremo en la Sección 6.4 del libro Problem Solving through Problems de Loren Larson.