¿Por qué las curvas parametrizadas de longitud de arco tienen un vector unitario tangente?

Estoy estudiando que si tenemos una curva suave parametrizada r ( t ) , podemos repararmetrizarlo según su longitud de arco para que la derivada siempre tenga módulo 1 . ¿Hay una prueba?

¿Podría aclarar: está haciendo la pregunta (no trivial) "¿Por qué una curva regular tiene una parametrización de longitud de arco?" (que John Hughes ha respondido), o la pregunta del título, "¿Por qué una curva parametrizada de longitud de arco tiene un vector unitario tangente?" (Si se refería a la primera pregunta, considere editar el título).
Hola, no, sé que la pregunta es básica, pero significa exactamente lo que escribí. ¡Gracias por intentar ayudar!

Respuestas (3)

Sí, siempre que su curva tenga un vector tangente distinto de cero en todos los puntos.

Supongamos que su curva es α : [ a , b ] R 2 . Para t [ a , b ] , definir

q ( t ) = a t a ( s ) d s .
Puedes ver eso q ( t ) representa "cuánto tiempo es α de a hasta t ".

¿Qué puedes decir sobre la función? q ?

  1. q ( a ) = 0 .

  2. q ( t ) = α ( t ) > 0 para cada t ( a , b ) , por el teorema fundamental del cálculo.

Definir L = q ( b ) ser la longitud de toda la curva.

Ahora: q : [ a , b ] [ 0 , L ] es una función continua creciente sobre su codominio; por lo tanto tiene una función inversa tu : [ 0 , L ] [ a , b ] . Es posible que no podamos escribir fácilmente el inverso, pero está ahí. y la derivada de tu en un punto está (por el teorema de la función inversa) dado por:

tu ( t ) = 1 q ( q 1 ( t ) ) = 1 q ( tu ( t ) ) = 1 a ( tu ( t ) ) .

Sostenga ese pensamiento.

Ahora deja

β : [ 0 , L ] R 2 : t α ( tu ( t ) ) .
Claramente β recorre el mismo camino que α . pero que es β ( t ) ? Es, por la regla de la cadena,
β ( t ) = α ( tu ( t ) ) tu ( t ) = α ( tu ( t ) ) 1 α ( tu ( t ) ) ,
que es un vector unitario. QED.

Gracias por la respuesta, se me ocurrió la solución por mi cuenta, pero siempre es bueno ver una explicación más detallada.

podemos descomponer el vector de posición r ( s ) , parametrizado por longitud de arco (s) en sus componentes en coordenadas cartesianas:

r ( s ) = X ( s ) i ^ + y ( s ) j ^ + z ( s ) k ^

ahora diferencie ambos lados con respecto a la longitud del arco s.

d r ( s ) d s = d X ( s ) d s i ^ + d y ( s ) d s j ^ + d z ( s ) d s k ^

Ahora encuentra la magnitud:

d r ( s ) d s 2 = ( d X ( s ) d s ) 2 + ( d y ( s ) d s ) 2 + ( d z ( s ) d s ) 2

d r ( s ) d s 2 = 1 d s 2 [ d X 2 + d y 2 + d z 2 ]

dado que s es la longitud del arco, podemos sustituir la fórmula para diferencial de longitud de arco en la ecuación ( d s 2 = d X 2 + d y 2 + d z 2 ), de este modo:

d r ( s ) d s 2 = 1 d X 2 + d y 2 + d z 2 [ d X 2 + d y 2 + d z 2 ]

d r ( s ) d s 2 = 1

d r ( s ) d s = 1

de esto concluimos que si la función se parametriza usando la longitud de arco de la curva, entonces la derivada es un vector unitario. Además, todas las derivadas son vectores tangentes, por lo tanto, es un vector unitario tangente.

Brillante explicación, gracias.

Pista: si r : [ a , b ] R norte y

s ( t ) = a t r
entonces r s 1 está parametrizado por arclengh. Ahora, aplica la regla de la cadena.

Es posible que desee limitarse al caso en el que r ( t ) es nunca 0 , o s no será necesariamente invertible.
@JohnHughes, cierto, pero mi respuesta es solo una pista. La condición aparece haciendo los cálculos (omitidos).
Sí, pero sin esa condición, la declaración que dio como pista es falsa (como estoy seguro de que sabe). Si bien estoy de acuerdo con el espíritu de dar pistas, trato de evitar este tipo de cosas.
Gracias por tu respuesta. tenías razón, ¡era la regla de la cadena simple!