FORMULAS DE FRENET-SERRET Y EL VECTOR TORSION

El triedro de Frenet es una referencia ortonormal para todo punto en una curva
parametrizada por longitud de arco. En geometra diferencial se consideran
definiciones ms generales, sin embargo intuitivamente, en R3, se puede pensar
al triedro de Frenet simplemente como un "carrito" de vectores ortonormales que
se desplazan a lo largo de una curva. Aqu utilizar la notacin T,N,B para
referirme

al

vector

tangente,

normal

binormal

unitarios.

Las frmulas de Frenet-Serret describen este triedro empleando precisamente el

cambio de ste respecto al arco de la curva (o la parametrizacin elegida), y
adems de ello ayudan a definir efectiva e intuitivamente el concepto de curvatura
y torsin.
Aqu comparto una demostracin de las frmulas de Frenet-Serret para el caso
particular en R3, donde se lee:
Sea :IR3 una curva regular de clase C3, parametrizada por longitud de arco,
entonces:
TNB=N=BT=N(1)(2)(3)
donde , (escalares) son la curvatura y la torsin respectivamente. Empleo la
notacin x como la derivada de x respecto al parmetro longitud de arco,
esperando no incomode al lector.
He aqu una demostracin de estas relaciones:
Tmese en cuenta que, por ser ortonormales, y de modo que sean un sistema de
mano derecha (slo es necesario definir una de estas relaciones, usualmente 6 y
las

otras

dos

se

siguen

naturalmente T y N=TT ya
T=NBN=BTB=TN(4)(5)(6)
Primero, por definicin
N=TT=TT=N(7)

de

ah
estn

usando

producto

cruz;

definidos), T,N,B satisfacen

 Vase ahora que NN=1, entonces NN=0, asi que N es paralelo al plano
definido por B,T y puede ser escrito como una combinacin lineal de B y T, i.e.
N=1B+2T(8)
As entonces, al derivar B de la definicin (6),
B=TN+TN=NN+T(1B+2T)=1(TB)=1N(9)
y con esto tambin, al derivar N de la definicin (5),
N=BT+BT=1NT+BN=1BT(10)
por

tanto

en

la

combinacin

lineal

propuesta

se

identifica,

1=2=(11)
con

lo

que

Finalmente

se

obtienen

tambin

se

finalmente
encuentra,

las
a

ecuaciones

partir

de B=N,

(1,2,3).
que

=NB(12)
A menudo la gente expresa las ecuaciones de Frenet-Serret en forma matricial
TNB=00000TNB(13)
que resulta interesante al estar formada por una matriz antisimtrica.

FORMULAS
Cada uno de estos vectores satisface lo siguiente
(2)
puesto que
Por otro lado, cada uno de estos vectores en (1) deben ser combinacin lineal
de la base (base que a menudo se llama triedro de Frenet), esto es

(3)
A partir de estas hiptesis vamos a probar las llamadas frmulas de Frenet, que
son las siguientes

(4)
donde los valores k y t son funciones del parmetro s.
Veamos la demostracin de las frmulas en (4), que no es nada ms que
encontrar los valores de aij del sistema de ecuaciones en (3).
Sabemos que

es decir

lo que se deduce, observando la primera ecuacin de (3), que a11 = a13 = 0, y

adems

A este coeficiente le llamaremos coeficiente de curvatura o

simplemente curvatura. De tal modo que

Ahora vamos a demostrar las dos ltimas frmulas de (4).

Multipliquemos por el producto punto las dos ltimas ecuaciones de (4) por el
vector normal y binormal, respectivamente. Obtenemos que

de modo que a22 = a33 = 0. Ahora derivemos respecto de s la igualdad

y obtenemos

Al coeficiente a23 le llamaremos coeficiente de torsin y lo denotaremos

por a23 = t( s ), y de paso, en virtud de la tercera ecuacin en (3), hemos
encontrado que a31 = 0 y a32 = - a23 = -t( s ). Con esto hemos demostrado la
tercera frmula de Frenet.
Notemos que solo nos falta determinar el coeficiente a21. Vamos a derivar
respecto de s la igualdad
entonces

Por lo tanto a21 = - k( s ). De tal modo que, en virtud de la segunda ecuacin de

(3), nos queda que

y con esto hemos demostrado la segunda frmula de Frenet.

EJEMPLOS FISICOS

http://ciclolimite.blogspot.mx/2012/02/frenet-serret-y-el-triedro-movil.html
http://www.uantof.cl/facultades/csbasicas/Matematicas/academicos/emartine
z/calculo3/frenet/frenet.html