Estoy buscando una demostración que no utilice derivadas del teorema elemental dado en el título:
Teorema: Un polinomio $p:\mathbb{R}\to\mathbb{R}$ de grado $n$ no puede tener más de $n-1$ extremos locales.
Por supuesto, la demostración es realmente fácil usando derivadas, pero por razones de enseñanza (y curiosidad) me interesa encontrar una demostración que las evite y use sólo hechos elementales sobre polinomios. He encontrado una que utiliza las derivadas sólo de forma encubierta (ver más abajo), pero me alegraría si alguien tiene una mejor.
Aquí va la prueba. En primer lugar, es posible definir una "derivada formal $p'(x)$ de un polinomio dado $p(x)$ sólo por su acción sobre los monomios, es decir: $a\cdot x^k$ se convierte en $ka\cdot x^{k-1}$ . (Parece que es exactamente lo que hizo Rolle al demostrar la primera versión del Teorema de Rolle en 1691, que es anterior al cálculo y se hizo sólo para polinomios). Entonces, es fácil demostrar que la derivada formal obedece a la regla del producto habitual y que $p'(x)=q'(x)$ si $b\in\mathbb{R}$ y $q(x)=p(x)+b$ . Ahora, observe que $a\in\mathbb{R}$ es un extremo local de $p(x)$ si $(p(x) - p(a)) = (x-a)^2\cdot q(x)$ para algunos $q(x)$ . La razón es que $p(x)-p(a)$ toca pero no cruza el eje horizontal en $a$ por lo que debe ser divisible por $(x-a)^2$ . Por la regla del producto, $p'(a) = 0$ por lo que no hay más que $n-1$ extremos locales ya que $p'(x)$ es de grado $n-1$ .
Aunque no necesitamos definir conceptualmente la derivada para que esta prueba funcione, parece un engaño ad-hoc usarlas de todas formas, y debemos tomarnos el trabajo de probar la regla del producto. Pero tal vez no haya ninguna salida.
0 votos
Se escribe "este extremo es" o "estos extremos son", pero "extremos" no es una forma correcta. (Pero los estudiantes confundidos utilizan muchas formas diferentes para esto). ${}\qquad{}$
2 votos
Gracias, lo corregiré. O estos. (Pero ciertamente no las tesis).
0 votos
Esto no está del todo claro, es sólo una idea que podría llevar a alguna parte pero que necesita una prueba real. Supongamos un polinomio $f$ tiene grado $n$ y tiene $n$ extrema. Cualitativamente, está claro que se puede dibujar una curva, $g$ que pasa por $f$ exactamente $n+1$ veces (a ambos lados de cada extremo) y $g\neq f$ . Entonces $f-g$ es un polinomio de grado (como máximo) $n$ pero tiene $n+1$ raíces distintas, una contradicción
0 votos
¡Buena pregunta! Tendrás que dar sentido de alguna manera a la continuidad y $p$ siendo un polinomio. A mí me parece que la única esperanza es el teorema del valor intermedio en combinación con la versión real del Teorema Fundamental del Álgebra (todo polinomio real puede escribirse como el producto de factores lineales y factores cuadráticos con coeficientes reales). ¿Quizás la inducción sobre el número de factores cuadráticos funcione?
0 votos
@Elliot G : No me queda claro a priori cómo puedes justificar que $g$ puede ser elegido para ser $\not= f$ .
0 votos
@MathieuBaillif de nuevo esperaba que alguien tuviera una idea de cómo demostrarlo pero me cuesta pensar en un contraejemplo.
0 votos
@Mathgemini Me cuesta entender (sin derivadas) cómo los extremos de $p(x)\cdot q(x)$ se comportan con respecto a los de $p(x)$ y $q(x)$ , por lo que no sé cómo utilizar la factorización y la inducción.
0 votos
@Elliot G : Por supuesto, no hay contraejemplo ya que el teorema es verdadero.