Ejercicio 2. Demostrar que la torsión τ (s) de α viene dada por
0 00 000 α (s) ∧ α (s) · α (s) τ (s) = − kk(s)k2 Solución: Antes que nada, para ser económicos con las notaciones, cada vez que cal- culemos la derivada de una función x respecto a la longitud de arco s lo denotaremos por ẋ, la segunda derivada por ẍ, etc. y kk(s)k = k. Proposición auxiliar: En cualquier punto de una curva α = α(s), con ... k(s) 6= 0, se cumple α = k̇N − kτ B − k 2 T . En efecto, por la fórmula F(1) de Frenet se tiene α̈ = Ṫ = kN , luego deri- vando respecto a s se sigue que ... d d α = (kN ) = k̇N + k Ṅ = k̇N + k (B × T ) = k̇N + k[Ḃ × T + B × Ṫ ] ds ds
pero por definición Ḃ = τ N , esto lo reemplazamos en la última igualdad
para tener ... α = k̇N + k[τ N × T + B × kN ] = k̇N + kτ N × T + k 2 B × N como N × T = −B y B × N = −T llegamos, finalmente a ... α = k̇N − kτ B − k 2 T N
Para resolver el ejercicio 2, consideremos el producto vectorial
... ... α̈ × α = Ṫ × α = kN × [k̇N − kτ B − k 2 T ] = −k 2 τ N × B − k 3 N × T = −k 2 τ T + k 3 B luego al hacer el producto punto (·) con α̇ se sigue que ... α̇ · (α̈ × α) = α̇[−k 2 τ T + k 3 B] = T [−k 2 τ T + k 3 B] = −k 2 τ y despejando τ se concluye que ... α̇ · (α̈ × α) τ =− k2