TALLER

GEOMETRIA DIFERENCIAL
TEORIA LOCAL DE CURVAS

ALI EDUARDO MARTINEZ MU~

NOZ

Universidad de Cartagena
Facultad de Ciencias Exactas y Naturales
Programa de Matematicas
Cartagena de Indias D.T. y C., Colombia
2017
Problemas
Problema 0.1. Suponga que (s) 6= 0 y K 0 (s) 6= 0 para todo s I. Demuestre que una
condicion necesaria y suficiente para que (s) (traza), este contenida en una esfera es
2
R2 + [R0 ] T 2 = cte

donde R = 1
K
, T = 1

y R0 es la derivada de R con respecto a s.
Prueba. Veamos que dado (s) 6= 0 y K 0 (s) 6= 0, suponiendo una esfera de radio a, se tiene
que
2
(s) Sa (c) R2 + [R0 ] T 2 = cte
con R = 1
K
, T = 1

y R0 es la derivada de R con respecto a s.

) Supongamos que (s) Sa (c), esto es

k (s) ck = a ( (s) c) ( (s) c) = a2

20 (s) ( (s) c) = 0 (derivando con respecto a s)
0 (s) ( (s) c) = 0

derivando nuevamente con respecto a s y despejando tenemos

00 (s) ( (s) c) + 0 (s) 0 (s) = 0 (1)

00 (s) ( (s) c) = k0 (s)k (2)

recordemos las ecuaciones de Frenet

T 0 (s) = K (s) N (s) (3)

N 0 (s) = K (s) T (s) (s) B (s) (4)
B 0 (s) = (s) N (s) (5)

luego T (s) = 0 (s) por lo que T 0 (s) = 00 (s), as en virtud de (2) y (3) se tiene

K (s) N (s) ( (s) c) = k0 (s)k

despejando
N (s) 1
0
( (s) c) = (6)
k (s)k K (s)
derivando la expresion anterior con respecto a s obtenemos
 0
1 1
= 0 [N 0 (s) ( (s) c) + N (s) 0 (s)]
K (s) k (s)k
 0
1 1
= 0 [N 0 (s) ( (s) c) + N (s) T (s)]
K (s) k (s)k
 0
1 1
= 0 [N 0 (s) ( (s) c)]
K (s) k (s)k
reemplazando (4) en la expresion anterior
 0
1 1
= [(K (s) T (s) (s) B (s)) ( (s) c)]
K (s) k0 (s)k
 0
1 1
= 0
[K (s) T (s) ( (s) c) + (s) B (s) ( (s) c)]
K (s) k (s)k
 0
1 1
= [K (s) 0 (s) ( (s) c) + (s) B (s) ( (s) c)]
K (s) k0 (s)k

por (2) observamos que

 0
1 1
= [ (s) B (s) ( (s) c)]
K (s) k0 (s)k

de donde  0  
1 1 1
= [B (s) ( (s) c)] (7)
K (s) (s) k0 (s)k
por lo que si elevamos al cuadrado (6) y (7) y los sumamos, tenemos
 2  0 2  2
1 1 1 1  2 2
+ = [N (s) ( (s) c)] + [B (s) ( (s) c)]
K (s) K (s) (s) k0 (s)k2
tomemos  2  0 2  2
1 1 1
(s) = + (8)
K (s) K (s) (s)
y al derivar (s) con respecto a s obtenemos
1
0 (s) = {2N (s) ( (s) c) [N 0 (s) ( (s) c) + N (s) 0 (s)]}
(s)k2k0
1
+ {2B (s) ( (s) c) [B 0 (s) ( (s) c) + B (s) 0 (s)]}
k0 (s)k2
1
0 (s) = 0
{2N (s) ( (s) c) [N 0 (s) ( (s) c)]}
k (s)k2
1
+ 0
{2B (s) ( (s) c) [B 0 (s) ( (s) c)]}
k (s)k2

reemplazando (4) y (5)

1
0 (s) = {2N (s) ( (s) c) [(K (s) T (s) (s) B (s)) ( (s) c)]}
k0
(s)k2
1
+ 0
{2B (s) ( (s) c) [ (s) N (s) ( (s) c)]}
k (s)k2

luego
1
0 (s) = {2N (s) ( (s) c) [ (s) B (s) ( (s) c)]}
k0
(s)k2
1
+ {2B (s) ( (s) c) [ (s) N (s) ( (s) c)]}
k0 (s)k2

3
 as
1
0 (s) = {2N (s) ( (s) c) [ (s) B (s) ( (s) c)]}
k0
(s)k2
1
+ 0
{2N (s) ( (s) c) [ (s) B (s) ( (s) c)]}
k (s)k2

por lo que
0 (s) = 0
y
(s) = cte
y de (8) se tiene
 2  0 2  2
1 1 1
+ = cte
K (s) K (s) (s)
1 1
tomando R = K
yT =
se puede concluir
2
R2 + [R0 ] T 2 = cte

) Por hipotesis tenemos que R2 + [R0 ]2 T 2 = cte, con R = K1 , T = 1 , (s) 6= 0 y K 0 (s) 6= 0.

Derivando con respecto a s la expresion que se tiene por hipotesis, podemos ver
2
2RR0 + 2R0 R00 T 2 + 2 (R0 ) T T 0 = 0
2RR0 + 2R0 T [R00 T + R0 T 0 ] = 0
0
2RR0 + 2R0 T [R0 T ] = 0
0
2R0 R + T [R0 T ]

= 0

Ahora, tomemos (s) : I R3 de modo que

(s) = (s) + aN (s) + nB (s)

donde de forma particular tomemos a a = R y n = R0 T , as

(s) = (s) + RN (s) R0 T B (s)

derivando (s) se tiene,

0
0 (s) = 0 (s) + R0 N (s) + RN 0 (s) (R0 T ) B (s) R0 T B 0 (s)

pero, por las ecuaciones de Frenet y dada la definicion de las variables R y T se puede
observar que
0
0 (s) = T (s) + R0 N (s) + R [K (s) T (s) (s) B (s)] + (R0 T ) B (s) R0 N (s)
0
= T (s) + R0 N (s) RK (s) T (s) R (s) B (s) (R0 T ) B (s) R0 N (s)
0
= T (s) T (s) R (s) B (s) (R0 T ) B (s)
0
= R (s) B (s) (R0 T ) B (s)
0
R (s) (R0 T ) B (s)
 
=

no obstante,
0
2R0 R + T [R0 T ] = 0


4
 as,
0

(s) 2R0 R + T [R0 T ]

= 0
 
1 0
2R0 R (s) + (s) [R0 T ] = 0
(s)
0
2R0 R (s) + [R0 T ]

= 0

pero
1
R0 = 0
2 K (s)
(K (s))
donde K 0 (s) 6= 0 y por tanto K (s) 6= 0, de lo que se infiere R0 6= 0, luego
0
R (s) + [R0 T ] = 0

de donde
0 (s) = 0
concluyendo (s) = cte, supongamos (s) = c, con c constante.
Ahora,

(s) (s) RN (s) R0 T B (s)

=
(s) (s) R0 T B (s) RN (s)
=
k (s) (s)k kR0 T B (s) RN (s)k
=
k (s) (s)k2 kR0 T B (s) RN (s)k2
=
(R0 T B (s) RN (s)) (R0 T B (s) RN (s))
=
2
(R0 T ) kB (s)k2 2R0 RT B (s) N (s) + R2 kN (s)k2
=
2
(R0 T ) + R2
=
h i 21
2
k (s) (s)k = (R0 T ) + R2

1
pero (s) = c y considerando a = (R0 T )2 + R2 2 tenemos


k (s) ck = a

de lo que se puede concluir

(s) Sa (c)

Problema 0.2. Sea una curva parametrizada por longitud de arco con curvatura constante.
Probar que la curva definida por
Z s
(s) = B () d
0

es una curvatura con torsion constante. B () vector binormal de .

Prueba. Por problema planteado se verifica que dada una curva , la torsion de dicha curva
viene dada por
0 (s) 00 (s) 000 (s)
(s) = . (9)
|K (s)|2

5
Luego, en virtud del teorema fundamental del calculo se tiene

0 (s) = B (s)

00 (s) = B0 (s)
000 (s) = B00 (s)
reemplazando en (9)
B (s) B0 (s) B00 (s)
(s) =
|K (s)|2
as, por propiedades del producto cuna y del producto punto obtenemos

B (s) [B0 (s) B00 (s)]

(s) =
|K (s)|2
B (s) { (s) N (s) [0 (s) N (s) + (s) N0 (s)]}
=
[ (s)]2
B (s) (s) 0 (s) N (s) N (s) + [ (s)]2 N (s) N0 (s)

=
[ (s)]2
B (s) [ (s)]2 N (s) N0 (s)

=
[ (s)]2

= B (s) [N (s) N0 (s)]

= B (s) {N (s) [K (s) T (s) (s) B (s)]}

= B (s) [K (s) N (s) T (s) (s) N (s) B (s)]

= B (s) [K (s) B (s) (s) T (s)]

= K (s) kB (s)k2 + (s) B (s) T (s)

= K (s) kB (s)k2

= K (s)

pero por hipotesis K (s) es constante, de lo que se puede concluir

(s) = cte