Quiero demostrar que no podemos encontrar límites efectivos en el punto que el Teorema del Valor Medio demuestra que existe. Para demostrar esta afirmación suelta, me dirigí a la afirmación un poco más específica:
Para cada número real $M$ y cada número real $\xi$ que se encuentra estrictamente entre $0$ y $1$ construye una función $f$ tal que $$f(0)=0,\; f(1)=M,\;f\text{ is continuous on }[0,1],\; f\text{ is differentiable on }(0,1),\;\text{ and }\xi\text{ is the unique point strictly between 0 and 1 such that}\;f'(\xi)=M\,.$$
Para el $M\neq 0$ y $\xi\neq 1/e$ podemos demostrar que $$g(x)=\begin{cases} 0&\text{ if }x=0,\\ 1/e&\text{ if }x=1\\ 1&\text{ if }x=\infty,\\ \sqrt[1-x]{x}&\text{ otherwise} \end{cases}$$
es estrictamente creciente y continua en $[0,\infty]$ . Por lo tanto, existe un único positivo $\alpha$ tal que $g(\alpha)=\xi$ . A su vez, podemos definir $f(x)=Mx^\alpha$ que satisfaga la demanda. Para el $M\neq 0$ y $\xi=1/e$ caso, tomar la extensión continua obvia de $f(x)=M(x+x\ln(x))$ .
Para $M=0$ primero elegimos $\alpha\geq 1$ y $\beta\geq 1$ tal que $\frac{\alpha}{\alpha+\beta}=\xi$ . A continuación, definimos $f(x)=x^\alpha(1-x)^\beta$ que satisfaga la demanda.
Sin embargo, mi pregunta es la siguiente:
¿Podemos construir tal $f$ sea un polinomio?
Una prueba existencial no es deseable aquí, ya que espero utilizar esta familia de polinomios como ejemplos. Sería útil demostrar la unicidad de $\xi$ a través del cálculo (pero posiblemente una apelación a la monotonicidad y al Teorema del Valor Intermedio).