Teorema de la cuerda universal

Consideremos el teorema de Rolle en el intervalo por simplicidad. Este nos afirma que, bajo ciertas hipótesis de regularidad (diferenciabilidad, etc.), una función que cumple   tiene un punto donde la recta tangente a la gráfica tiene pendiente nula, i.e., tal que .

La recta tangente puede pensarse como un caso degenerado de una recta secante a la curva (i.e. una recta que pasa por dos puntos de la recta), donde esos dos puntos se confunden (esta imagen es de hecho la que sugiere la propia definición de derivada).

Podemos entonces hacernos una pregunta más general: dado un real , existe algún punto tal que ? Es decir, nos estamos preguntando si dado existe algún par de puntos cuyas abscisas distan , de tal manera que la secante a la gráfica por esos dos puntos tiene pendiente nula; es decir, si existe alguna cuerda horizontal de largo .

Observar que ya no precisamos la diferenciabilidad para hacernos esta pregunta (y tampoco para resolverla): a partir de ahora, es una función continua tal que .

Hagámonos la pregunta primero para el caso . En este caso el problema se resuelve fácilmente aplicando el teorema de Bolzano. Definimos como . Si evaluamos en 0,

,

y si evaluamos en 1/2,

Entonces cambia de signo, y es continua: por el teorema de Bolzano existe un tal que , es el punto buscado.

Observar que estamos usando fuertemente que : es el que cumple que . Esta prueba no marcha si .

Sin embargo, en el caso en el que para algún , siendo astutos se puede también usar el teorema de Bolzano para demostrarlo:

Teorema: si es un entero mayor que 1, entonces tiene una cuerda horizontal de largo .

Demostración: Supongamos por absurdo que no la tiene, es decir, que la función definida por no se anula. Al ser continua, el teorema de Bolzano nos garantiza que no cambia de signo. Supongamos que es positiva. Entonces:

Por definición de , esto nos da que

Si sumamos estas desigualdades, obtenemos del lado izquierdo de la desigualdad una suma telescópica, y entonces obtenemos , lo cual es absurdo.

Análogamente si es negativa.

Esto es interesante y divertido. El lector tomará lápiz y papel para rellenar este post con los  dibujos pertinentes, que mi pereza incompetencia me impide realizar.

Pero lo más interesante no es esto. Lo que hace que este resultado sea realmente interesante, es que estos valores son los únicos valores reales positivos para los que tiene una cuerda de largo en general. Es decir, que dado que no es de esa forma, existe una función tal que pero no hay una cuerda de largo , es decir, no existe ningún tal que .

Explícitamente, un contraejemplo está dado por la función . Automáticamente se ve que , y una cuenta a cargo del lector prueba que , que es distinto de cero, pues al ser para todo , ese seno no puede ser anularse.

El teorema y el contraejemplo son debidos a Lévy, en Sur une Généralisation du Théorème de Rolle, C. R. Acad. Sci., Paris, 198 (1934) 424-425.

Otro ejemplo de ejercicio divertido para cálculo 1 🙂

(Fuente)

Anuncio publicitario