Se pueden dejar comentarios y dudas referentes a este hilo en este enlace:
Comentarios al hilo-Interpretación geométrica del Tma. de Cauchy. Generalización
La primera vez que vi la interpretación geométrica del teorema de Rolle y del valor medio de Lagrange, me sorprendió sobre manera la sencillez y claridad de dicha interpretación. Así como que la interpretación del teorema de Lagrange se obtuviese de la de Rolle sin más que girar la gráfica de la función de este un ángulo cualquiera respecto del punto \( (a,f(a)) \)
Para el Teorema generalizado de Cauchy no me dieron ninguna interpretación, excepto la yo vi, bastante clara de que existe un punto \( c \in{}[a,b] \), tal que el cociente de las pendientes medias de las funciones \( g(x) \) y \( f(x) \) en \( [a,b] \) coincide con el cociente de las derivadas en c. Es decir:
\( \displaystyle\frac{\displaystyle\frac{f(b)-f(a)}{b-a}}{\displaystyle\frac{g(b)-g(a)}{b-a}}=\displaystyle\frac{f(b)-f(a)}{g(b)-g(a)}=\displaystyle\frac{f'(c)}{g'(c)} \) , si \( g'(c)\neq{0}\wedge g(a)\neq{}g(b) \)
Volviendo a la idea inicial de la interpretación de Lagrange en la cual existe un punto \( c \), en el intervalo \( (a,b) \) en el que la pendiente coincide con la pendiente media. Se puede enfocar desde un punto de vista algo distinto, de modo más general.
Viendo que si tratamos la curva \( f(x) \) como una curva plana en paramétricas , el vector que va desde \( (a,f(a)) \) hasta \( (b,f(b)) \) debe ser paralelo al vector \( (f'(c),g'(c)) \) en algún punto del intervalo abierto, Más formalmente.
Interpretación geométrica del teorema del valor medio de Cauchy
Sea una parametrización \( (I,\alpha) \) de una curva plana tal que \( \alpha(t):I=[a,b]\longrightarrow{}\mathbb{R^2} \) es de clase \( C^1 \) en \( (a,b) \) , con \( \alpha(t)=(f(t),g(t))=(x,y) \)
Entonces existe un punto \( c\in{(a,b)} \), tal que el vector tangente a la curva en ese punto es paralelo al vector que une los puntos \( A=(f(a),g(a)) \) y \( B=(f(b),g(b)) \), es decir:
El vector \( \alpha '(c)=(f'(c),g'(c)) \) es colineal a \( (f(b)-f(a),g(b)-g(a)) \), por tanto linealmente dependientes.
El determinante siguiente es cero:
\( \left |{\begin{array}{ccc}{f'(c)}&{g'(c)}\\{f(b)-f(a)}&{g(b)-g(a)}\end{array}}\right |=f'(c)[g(b)-g(a)]-g'(c)[f(b)-f(a)]=0 \) , que es el teorema de Cauchy.
La pregunta inmediata es si esta interpretación se puede generalizar a 3 dimensiones, osea a curvas alabeadas. La pregunta sería: ¿existe también un punto en una curva alabeada en la que el vector tangente sea colineal con el vector que une los puntos extremos del intervalo?
La respuesta a poco que se analice, es negativa.
Si tenemos la curva en \( \mathbb{R^3} \) como \( \alpha(t)=(f(t),g(t),h(t))=(x,y,z) \)
Sabemos por El teorema de Cauchy que por separado para \( f(t) \) y \( g(t) \) , \( \exists{}\,c\,:\,\left |{\begin{array}{ccc}{f'(c)}&{g'(c)}\\{f(b)-f(a)}&{g(b)-g(a)}\end{array}}\right |=0 \)
y para \( g(t) \) y \( h(t) \) , \( \exists{}\,c'\,:\,\left |{\begin{array}{ccc}{g'(c')}&{h'(c')}\\{g(b)-g(a)}&{h(b)-h(a)}\end{array}}\right |=0 \)
Pero no podemos concluir que \( c=c' \), que se cumpla el teorema para el mismo punto, si así fuera entonces si podríamos asegurar que el vector tangente será colineal el vector que une los extremos de la curva.
Pues si \( c=c' \) , entonces:
\( ran \left ({\begin{array}{ccc}{f'(c)}&{g'(c)}&{h'(c)}\\{f(b)-f(a)}&{g(b)-g(a)}&{h(b)-h(a)}\end{array}}\right )=1 \)
Debemos ser menos ambiciosos. La carretera que sube de Zahara de la Sierra al puerto de las Palomas ( Grazalema) me dió la solución.
Subiendo desde cerca del pueblo al puerto, en un momento concreto vi que la dirección que llevaba el coche se "alejaba" mucho de la dirección del puerto de montaña, pero pensé que evidentemente si la carretera llega al puerto tarde o temprano se acercara.
Si tomo como referencia el plano formado por los puntos
O=Castillo de Zahara (origen del S.R.) ,
A=comienzo de ruta (centro del pueblo) y
B=fin de la ruta (puerto de las palomas). Estos 3 puntos describen un plano.
Si consideramos la carretera como la curva alabeada, si en su trayectoria, la dirección del coche ( dirección del vector velocidad , colineal a \( \alpha '(t) \)) hace que este se aleje del plano antes definido (
OAB ) , tarde o temprano el coche se tendrá que acercar al plano para llegar al punto
B. En el instante que deja de alejarse para volver a acercarse al plano por fuerza la dirección del vehículo es paralela dicho plano ( ya que la componente de la velocidad normal al plano debe ser cero).
Formalmente lo podemos enunciar:
TEOREMA Sea una parametrización \( (I,\alpha) \) de una curva alabeada tal que \( \alpha(t):I=[a,b]\longrightarrow{}\mathbb{R^3} \) es de clase \( C^1 \) en \( (a,b) \), con \( \alpha(t)=(f(t),g(t),h(t))=(x,y,z) \) y un punto \( O \) (Origen de referencia ) no colineal con \( \alpha(a) \) y \( \alpha(b) \)
Entonces existe un punto \( c\in{(a,b)} \), tal que el vector tangente a la curva en ese punto \( \alpha'(c) \) es paralelo al plano formado por los puntos \( O(0,0,0) \) , \( A=(f(a),g(a),h(a)) \) y \( B=(f(b),g(b),h(b)) \), es decir:
\( \left |{\begin{array}{ccc}{f'(c)}&{g'(c)}&{h'(c)}\\{f(a)}&{g(a)}&{h(a)}\\{f(b)}&{g(b)}&{h(b)}\end{array}}\right |=0 \)
Demostración: Sea
\( F(t)=\left |{\begin{array}{ccc}{f(t)}&{g(t)}&{h(t)}\\{f(a)}&{g(a)}&{h(a)}\\{f(b)}&{g(b)}&{h(b)}\end{array}}\right |=f(t)\left |{\begin{array}{ccc}{g(a)}&{h(a)}\\{g(b)}&{h(b)}\end{array}}\right |-g(t)\left |{\begin{array}{ccc}{f(a)}&{h(a)}\\{f(b)}&{h(b)}\end{array}}\right |+h(t)\left |{\begin{array}{ccc}{f(a)}&{g(a)}\\{f(b)}&{g(b)}\end{array}}\right | \)
\( F(t) \) es una función continua en \( [a,b] \) y derivable en \( (a,b) \) por ser suma de funciones continuas y derivables. Además \( F(a)=F(b)=0 \) por tener en ambos casos dos filas iguales el determinante es nulo.
Por el teorema de Rolle , existe un \( c\in{}(a,b) \) tal que \( F'(c)=0 \)
\( F'(c)=f'(c)\left |{\begin{array}{ccc}{g(a)}&{h(a)}\\{g(b)}&{h(b)}\end{array}}\right |-g'(c)\left |{\begin{array}{ccc}{f(a)}&{h(a)}\\{f(b)}&{h(b)}\end{array}}\right |+h'(c)\left |{\begin{array}{ccc}{f(a)}&{g(a)}\\{f(b)}&{g(b)}\end{array}}\right |=0 \)
\( \left |{\begin{array}{ccc}{f'(c)}&{g'(c)}&{h'(c)}\\{f(a)}&{g(a)}&{h(a)}\\{f(a)}&{g(b)}&{h(b)}\end{array}}\right |=0 \)
Saludos.
P.D.: Disculpad si he sido pesado con la introducción y como lo vi. Por cierto os recomiendo que visitéis tanto Grazalema como Zahara de la Sierra, sitios con mucho encanto.
