Demuestra que existe tal que
, siendo
Menciona los resultados teóricos empleados y justifica su uso.
Solución:
Comenzamos calculando el dominio de f por trozos.
Calculamos las raíces del polinomio de segundo grado:
Observamos que este polinomio no tiene raíces reales. Es siempre positivo ya que las funciones polinómicas son continuas en y para x=0 su valor es positivo. Luego
está definido en
(los logaritmos se definen para valores positivos).
La base completa también está definido en
.
La raíz cúbica (impar) también está definida en
(afecta a una función polinómica).
Al tratarse de operaciones elementales de funciones elementales definidas todas ellas en podemos concluir que
es continua y derivable en
.
Utilizando el teorema del valor medio de Lagrange, tomamos a=-1 y b=3. Dado que f es continua en [-1,3] y derivable en (-1,3) vamos a calcular:
Sustituyendo en:
tenemos:
Luego, dado que se cumplen las condiciones del teorema del valor medio de Lagrange, podemos asegurar que existe un tal que
.
♦