Intuición detrás de la fórmula de longitud de arco

Entiendo que la fórmula de la longitud del arco se deriva de sumar las distancias entre una serie de puntos en la curva y usar el teorema del valor medio para obtener:

L = a b 1 + ( F ( X ) ) 2 d X

¿Pero hay una intuición aquí que me estoy perdiendo? Algo acerca de tomar la integral de la derivada parece que debería significar algo...

Respuestas (2)

Divide el intervalo en norte a partes iguales, a = X 0 < X 1 < < X norte = b , con X i + 1 = X i + Δ X i .

Suponga que desea aproximar la curva entre ( X i , F ( X i ) ) y ( X i + Δ X , F ( X i + Δ X ) ) . Simplemente podría aproximarlo con la línea recta entre los dos puntos, cuya longitud es

( F ( X i + Δ X ) F ( X i ) ) 2 + ( Δ X ) 2 .
En la imagen de abajo, la línea negra es el gráfico. y = F ( X ) , y la línea verde es la línea que une ( X i , F ( X i ) ) en la parte inferior izquierda y ( X 1 + Δ X , F ( X 1 + Δ X ) ) en la parte superior derecha. ingrese la descripción de la imagen aquíEntonces tendrías que la longitud del arco se aproxima por la suma de las longitudes
Longitud de arco i = 1 norte ( F ( X i + Δ X ) F ( X i ) ) ) 2 + ( Δ X ) 2
y tome el límite como norte . Desafortunadamente, la expresión en la suma no tiene la forma necesaria para verla como una suma de Riemann, por lo que no puede convertir ese límite en un límite de las sumas de Riemann, y de ahí en una integral.

Así que tomamos un enfoque ligeramente diferente. En lugar de aproximar la longitud de la curva de ( X i , F ( X i ) ) a ( X i + Δ X , F ( X i + Δ X ) ) con la recta entre los dos puntos, la aproximaremos con la recta tangente a la gráfica de F en X i , de ( X i , F ( X i ) ) al punto X i + Δ X . Esta es la línea azul en la imagen de arriba.

Si Δ X es pequeña, entonces sabemos que la línea tangente es una muy buena aproximación para la curva en [ X i , X i + Δ X ] , por lo que la línea será una buena aproximación a la longitud de la curva.

Ahora, la recta tangente a y = F ( X ) a través del punto X i es dado por

y = F ( X i ) + F ( X i ) ( X X i ) .
En X i + Δ X , la línea pasa F ( X i ) + F ( X i ) Δ X . Así que esta línea tangente va desde ( X i , F ( X i ) ) a ( X i + Δ X , F ( X i ) + F ( X i ) Δ X ) . La longitud de la línea entre esos dos puntos es
( ( X i + Δ X ) X i ) 2 + ( ( F ( X i ) + F ( X i ) Δ X ) F ( X i ) ) 2   = ( Δ X ) 2 + ( F ( X i ) Δ X ) 2   = ( 1 + ( F ( X i ) ) 2 ) Δ X 2 = ( 1 + ( F ( X i ) ) 2 ) Δ X .

Sumando todo esto, obtenemos una aproximación a la longitud del arco:

Longitud de arco i = 1 norte ( 1 + ( F ( X i ) ) 2 ) Δ X .
Ahora, estos pueden verse como sumas de Riemann. Entonces, si tomamos el límite como norte , la aproximación es cada vez mejor (porque la tangente se acerca cada vez más a la curva, dando una mejor aproximación). En el límite, obtenemos la longitud de arco exacta y el límite de las sumas de Riemann se convierte en la integral. Entonces
Longitud de arco = límite norte i = 1 norte ( 1 + ( F ( X i ) ) 2 ) Δ X   = a b 1 + ( F ( X ) ) 2 d X .

Me encantaría agregar una imagen simple tanto del intento ingenuo como del que usa la tangente, pero lo "mejor" que puedo hacer localmente es usar Paint, y los resultados son horribles; ¿alguna recomendación?
Me encanta Paint.NET . Picnik , si estás en movimiento.
bright.org/wiki/arc-length tiene algunas fotos muy bonitas de ambos intentos... ¿quizás podrías agregarlas?
@joshuaronis: Agregué la imagen que quería después de mi comentario, que fue hace más de nueve años.
@ArturoMagidin whoops: ¡no me había dado cuenta de que esa era la imagen a la que te referías (pensé que te referías a algo como lo que tienen en Brilliant, con las pequeñas líneas cortadas)! De todos modos, una respuesta increíble: ¡gracias por estar presente en este sitio!

En cambio, podría ayudar pensar en nuestra función como una curva parametrizada en el plano. En otras palabras, considere la curva ( X ( t ) , y ( t ) ) para t [ a , b ] . Entonces está claro que el diferencial d s que se encuentra a lo largo de la curva está dada por d s = d X 2 + d y 2 .

Ahora integramos d s con respecto a t y la integral se convierte en a b ( d X d t ) 2 + ( d y d t ) 2 d t .

Su fórmula sigue estableciendo X ( t ) = t , y y ( t ) = F ( t ) .

la fórmula pitagórica infinitesimal!
Lo que me encanta de esto es que se acerca a una comprensión intuitiva del 1 dentro del radical. Otros métodos generalmente llegan al 1 a través de la manipulación de símbolos, pero el hecho de que aparezca se siente como magia.