Ensayo de proactividad

En matemáticas, un teorema de existencia es un teorema con un enunciado que comienza 'existe(n)...', o más generalmente 'para todo x, y, ...existe(n) ...'. Esto es, en términos más formales de lógica simbólica, es un teorema con un enunciado involucrando el cuantificador existencial. Muchos teoremas no lo hacen explícitamente, como es usual en el lenguaje matemático estándar, por ejemplo, elenunciado de que la función seno es una continua, o cualquier teorema escrito en la notación O.
Una controversia que data del temprano siglo XX concierne el tema de teoremas de existencia puros, y la acusación relacionada de que al admitirlos las matemáticas traicionan sus responsabilidades de aplicación concreta (ver demostración no constructiva). El punto de vista matemático es que los métodosabstractos tienen un gran alcance, mayor que el del análisis numérico
Sea una función real y = f (x), que es continua en un intervalo [a , b]. Entonces se puede afirmar que existe al menos un punto c perteneciente a dicho intervalo, para el que se verifica:
El valor f © se conoce como el valor medio de la función f (x) en el intervalo [a,b].
Quizá sea interesante hacer varias observaciones:
1)El punto c puede no ser único. El teorema asegura la existencia de por lo menos un punto con esa propiedad.
2) El valor medio de la función f (x) no se refiere a la tasa de variación media en el intervalo considerado. Se trata de un concepto diferente.
3) El cálculo de dicho valor medio y el del punto c en el que se alcanza presupone el cálculo de una integral definida. Dicho cálculo puedehacerse por la Regla de Barrow (que se supone conocida) o bien, en el caso de funciones complicadas, utilizando métodos numéricos, como la Regla de Simpson por ejemplo. En esta unidad utilizaremos funciones de integración sencilla.

2. EL TEOREMA APLICADO A UNA FUNCIÓN DETERMINADA Vamos a estudiar la aplicación del teorema a una función concreta. Para una primera aproximación vamos a escoger unafunción que sea continua en cualquier intervalo de la recta real, para que tengamos la seguridad de que se cumple la hipótesis de nuestro teorema.
La función objeto de nuestro estudio va a ser la siguiente:
Los controles a y b son los extremos del intervalo. Al cambiar sus valores se puede observar como varía el valor medio de la función y el punto, o puntos, en que se alcanzadicho valor. La función con la que estamos trabajando es simétrica y eso provoca que en algunos intervalos el punto c no sea único.
El trazo azul indica el conjunto de valores que toma la función en el intervalo [a,b], cuyo valor medio queremos calcular. Ten en cuenta que el extremo del intervalo a debe ser más pequeño que el extremo b. En cualquier caso, si te equivocases, aparecería un mensajede error.

3. EL TEOREMA APLICADO A UN TIPO DIFERENTE DE FUNCIONES
Vamos a considerar ahora la aplicación del teorema a un tipo diferente de funciones. Aquí el punto en el que se alcanza el valor medio es único ya que la familia de funciones exponenciales que estudiamos, también con dominio en todos los números reales y fácilmente integrables, se caracteriza por su monotonía. El conjunto defunciones que representamos responde a la ecuación general
en la que k puede tomar diversos valores reales en el intervalo [−0.5 , 0.5], lo que hace que la función pueda ser una exponencial creciente o decreciente. En el caso K = 0, al tratarse de una función constante el teorema carece de interés.
En la escena anterior la función era definida positiva y por tanto también lo era su valor medio.Ahora las funciones pueden tomar valores positivos y negativos según los intervalos, lo que afecta al valor medio obtenido.
El control k permite variar la función exponencial considerada. Los controles a y b representan, como en la escena anterior, los extremos del intervalo. Puedes estudiar diferentes intervalos en cada función que representes

Propiedad definida

La integral de la suma...