Universidad T

ecnica Federico Santa Mara

Departamento de Matem
atica

Ayudanta 4 Mate 4
6 de abril, 2015
Profesor: Pablo Gonzalez Lever / Ayudante: Vctor Valdebenito Silva

1. Hallar los vectores del triedro de Frenet en cada punto de la curva

r (t) = (et cos t, et sin t, et ).
Ademas, comprobar que la curva esta contenida en un cono de revolucion de eje OZ, que

su vector tangente t forma un angulo constante con el eje del cono y que su vector normal
principal es siempre perpendicular a dicho eje.
Sol:
Tenemos que
r0 (t) = et (cos t sin t, cos t + sin t, 1)
r00 (t) = et (2 sin t, 2 cos t, 1)
Luego, el vector tangente viene dado por
r0 (t)
||r0 (t)||
et (cos t sin t, cos t + sin t, 1)

=
3et

3
(cos t sin t, cos t + sin t, 1)
=
3

T (t) =

El vector binormal viene dado por

r0 (t) r00 (t)
||r0 (t) r00 (t)||
e2t (sin t cos t, sin t cos t, 2)

=
6e2t

6
=
(sin t cos t, sin t cos t, 2)
6

B(t) =

Por u
ltimo, el vector normal es
N (t) = B(t) T (t)

2
=
( cos t sin t, cos t sin t, 0)
2
Para comprobar que la curva se encuentra dentro de un cono, podemos observar que e2t cos2 t+
e2t sin2 t = e2t , que dentro de la curva es la relacion entre las componentes x2 + y 2 = z 2 , que
es, en efecto, la ecuacion de un cono de 45 con respecto a la vertical.

MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Para verificar que el vector tangente forma un angulo constante con el eje z se puede hacer el
producto punto entre el vector unitario (0, 0, 1) y el tangente. Esto resulta

3
T (t) (0, 0, 1) =
3
3
cos =
3

3
1
= cos
3
Por u
ltimo, se tiene que
N (t) (0, 0, 1) = 0
Por tanto, el vector normal es siempre perpendicular al eje del cono.
2. Sea r(s) = (x(s), y(s), 0) una curva plana parametrizada con respecto a su longitud de arco
con curvatura k > 0 constante y tal que
r(0) = (0, 0, 0),

T (0) = (0, 1, 0),

N (0) = (1, 0, 0)

a) Demostrar, utilizando las formulas de Frenet, que

d2 T
+ k 2 T = 0.
ds2
Sol:
Por Frenet, se tiene que
d2 T
dN
dT
= kN 2 = k
ds
ds
ds
Por otra parte
dN
= kT (t) + B(t)
ds
Esto implica que
d2 T
= k(kT (t) + B(t))
ds2
Pero como la curva es plana, es decir, su torsion es nula, se tiene que
d2 T
= k 2 T (t)
ds2
d2 T
2 + k 2 T (t) = 0
ds
b) Determinar r(s) explcitamente.
Sol:

MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Para determinar r(s), debemos primero resolver la ecuacion diferencial que acabamos de demostrar. El polinomio caracterstico de esta ecuacion es
m2 + k 2 = 0

m = k2
Como se nos dice que la curvatura es constante y siempre positiva, tendremos que
T (s) = A sin ks + B cos ks
donde A, B R3 .
Luego, como T 0 (s) = kN
T (0) = (0, 1, 0) = j = B
T 0 (0) = kN (0) = k(1, 0, 0) = ki = kA
De aqu tendremos que A = i y B = j. De esta manera, el vector tangente sera T (s) =
( sin ks, cos ks, 0). Debido a que r(s) es de arco - parametro se tiene que r0 (s) = T (s), por
tanto, tendremos que integrar este vector por componentes.
1
cos ks + x0
k
1
y(s) = sin ks + y0
k

x(s) =

Y para resolver las constantes usamos la condicion r(0) = (0, 0, 0)

x0 =

1
k

y0 = 0
1
r(s) = (cos ks 1, sin ks, 0)
k
3. Una partcula se mueve sobre el manto del cilindro de ecuacion x2 + y 2 = 1 de forma tal que
z() es la solucion de la ecuacion diferencial
d2 z
=z
d2
z(0) = 1

dz
(0) = 0
d

donde (r, , z) son las coordenadas cilndricas.

a) Encontrar una parametrizacion de la curva descrita por la partcula usando como parametro.
Sol:
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Una parametrizacion de la curva en funcion de es () = (cos , sin , z(). Para determinar

z() resolvemos la ecuacion que nos dan. El polinomio caracterstico de esta ecuacion es
m2 = 1 m = 1
Por tanto, la solucion general viene dada por
z() = Ae + Be
Ahora, imponiendo las condiciones de borde
z(0) = 1 A + B = 1
z 0 (0) = 0 A B = 0
por lo tanto
1
z() = (e + e ) = cosh
2
Por lo que parametrizacion de la curva sera
() = (cos , sin , cosh ) [0, )
b) Hallar la longitud de si [0, 2].
Sol:
Tenemos 0 () = ( sin , sin , sinh ).
La norma del vector tangente viene dada por
|| 0 ()|| =

p
1 + sinh2

Luego, la longitud de arco de 0 a 2 es

Z 2 p
1 + sinh2 d
l=
Z0 2
=
cosh d
0

= sinh 2
c) Calcular el vector tangente, normal y binormal asociado a as como su curvatura y torsion.
Sol:
En resumen, tenemos
() = (cos , sin , cosh )
0 () = ( sin , cos , sinh )
00 () = ( cos , sin , cosh )
000 () = (sin , cos , sinh )
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Entonces, el vector tangente viene dado por

0 ()
||()||
1
( sin , cos , sinh )
=
cosh

T () =

El vector binormal viene dado por

0 () 00 ()
|| 0 () 00 ()||
1
=
(cosh cos + sinh sin , cosh sin sinh cos , 1)
2 cosh

B() =

El vector normal viene dado por

N () = B() T ()
!

2 sin e2 + 1 + cos e2 1
2 cos e2 + 1 sin e2 1
2
,
,
=
2 (e2 + 1)
2 (e2 + 1)
2 cosh

Por su parte, la curvatura corresponde a

|| 0 () 00 ()||
|| 0 ()||3

2
=
cosh2

k() =

Y por u
ltimo, la tosion es
( 0 () 00 ()) 000 ()
|| 0 () 00 ()||2
2 sinh
=
2 cosh

= 2 tanh

() =

4. Sea (s) una curva en R3 con arco - parametro y torsion constante . Si {T , N , B } es su

triedro movil se define una curva por
Z t
1
(t) = N (t) +
B (s)ds.

0
Calcular la curvatura y la torsion de .
Sol:
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Derivando la curva y ocupando las formulas de Frenet tenemos:

1
1
k
0 = N0 + B = (kT + B ) + B = T

0
2
k
k
00 = T + N

0
00
kk
2k 0 k
k3
k
N +
N T + k 2 B
000 = T +

00
3
0
k k
3kk
=
T +
N + k 2 B

entonces, calculando lo necesario para obtener curvatura y torsion tendremos

k3
|| 0 00 ||
|| || = 3 k =
=

|| 0 ||3

k3
= 2 B ,

00

0 3

y por tanto
( 0 00 ) 000 =

( 0 00 ) 000
2
k5

=
=

2
|| 0 ||2
k

5. Sea (s) una curva parametrizada por longitud de arco tal que su curvatura k(s) y su torsion

(s) no se anulan, llamaremos a la curva (s) una helice de eje el vector unitario
y angulo
, si los vectores tangentes a (s) forman un angulo con
~ . Probar que si (s) es una tal
~
helice, entonces
~ es una combinacion lineal de T~ (s) y B(s)
y hallar los coeficientes de esta
combinacion linea.
Sol:
T~ (s)
~ = ||T~ (s)||||~ || cos , al ser T~ (s) y
~ unitarios, tendremos
T~ (s)
~ = cos
Derivando esta igualdad respecto de s, se obtiene:
dT~ (s)

~ =0
ds
Ahora, usando la formula de Frenet

dT~ (s)
ds

~ (s) se obtiene
= k(s)N

~ (s))
~ (s)
~ (s)
(k(s) N
~ = k(s)(N
~) = 0 N
~ =0
~ (s), por tanto,
pues k(s) no se anula, por lo que
~ es perpendicular a N
~ esta en el plano
~
~
generado por T (s) y B(s), luego, existen escalares a y b en R tal que
~
= aT~ (s) + bB(s)
Como T~ (s)~ = cos , tendremos
~
T~ (s) (aT~ (s) + bB(s))
= cos a||T~ (s)||2 = cos a = cos
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Por otra parte

~
~
||~ ||2 = 1
~
~ = 1 (aT~ (s) + bB(s))
(aT~ (s) + bB(s))
=1
de donde
a2 + b2 = 1 b2 = 1 a2 b2 = 1 cos2 = sin2 b = sin

Ejercicios propuestos
6. Sea OA = 2a el diametro de un crculo S 1 y sean OY y AV las tangentes a S 1 en O y
A, respectivamente. Una semi-recta r, que corta a S 1 en C y a la recta AV en B, se traza
desde O. Sobre OB se marca el segmento Op = CB. Si rotamos r alrededor de O, el punto p
describira una curva denominada la cisoide de Diocles.

Figura 1: Cisoide de Diocles

Parametrizar la curva y calcular la curvatura para = /4.
Sol:
Del la Figura 1 podemos definir los lugares geometricos de la circunferencia y de la recta
respectivamente como
(x a)2 + y 2 = a2
y = tan x
Luego, la interseccion de ambas ecuaciones, son las coordenadas del punto C. Obtenemos
(x a)2 + (tan x)2 = a2 x2 2ax + a2 + x2 tan2 = a2
x(1 + tan2 ) = 2a, x 6= 0
2a
x=
1 + tan2
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

Luego, las coordenadas del punto C quedan determinadas por



2a
2a tan
C=
,
1 + tan2 1 + tan2
Notar que p = B C. Definimos B como B = (2a, tan ), por lo que tendremos que el punto
p vendra dado por


2a tan
2a
, 2a tan
p = 2a
1 + tan2
1 + tan2


2a tan2 2a tan3
,
=
1 + tan2 1 + tan
y haciendo t = tan

(t) =


2at2 2at3
,
,0 ,
1 + t2 1 + t2

tR

Luego, para calcular la curvatura tenemos



4at
2at2 (t2 + 3)
0
(t) =
,
,0
(t2 + 1)2 (t2 + 1)2


4a(3t2 1) 4at(t2 3)
00
(t) =
,
,0
(t2 + 1)3
(t2 + 1)3
Luego, se tiene


24a2 t2
(t) (t) = 0, 0, 2
(t + 1)3
0

00

||0 (t) 00 (t)|| =

24a2 t2
(t2 + 1)3

Por lo que la curvatura sera

||0 (t) 00 (t)||
k(t) =
||0 (t)||3
3
= 2
(t + 4)3/2 |at|
Evaluando en =

t = 1 tendremos que

3 5
k(/4) =
25|a|

NOTA: para este problema es mejor evaluar desde un principio en t = 1 para evitar el manejo
de algebra.

MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

7. Considerar los conjuntos:

S1 = {(x, y, z) R3 : (x 1)2 + y 2 + z 2 = 1}
S2 = {(x, y, z) R3 : x2 + (y 1)2 + z 2 = 1}
a) Mostrar que S1 S2 es una curva y parametrizarla.
Sol:
Al intersectar ambos conjuntos obtenemos:
x2 + (y 1)2 + z 2 = (x 1)2 + y 2 + z 2
x=y
Luego, podemos reemplazar en cualquiera de los dos conjuntos y obtendremos
(x 1)2 + x2 + z 2 = 1

2
1
4 x
+ 2z 2 = 1
2
Ahora, podemos tomar la parametrizacion con coordenadas polares


1 + cos t 1 + cos t sin t
f (t) =
,
,
[0, 2]
2
2
2
b) Analizar si es plana, calcular su curvatura y torsion en todos los puntos.
Sol:
Tenemos


sin t sin t cos t
0
,
,
f (t) =
2
2
2


cos t cos t sin t
00
f (t) =
,
,
2
2
2


sin t sin t cos t
f 000 (t) =
,
,
2
2
2

k(t) = 2
(t) = 0
se trata de una curva plana.
c) Calcular el area encerrada por la curva.
Sol:
Como la curvatura es constante, se trata de un crculo. Su radio es el inverso de la curvatura.
Luego, su area es

A=
2
MAT024

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

8. Sea : R R3 una parametrizacion por longitud de arco de una curva de torsion positiva.
Denotemos por T , N y B su triedro de Frenet y defina la curva

Z s
Z s
Z s
Z s
B3, (u)du,
B2, (u)du,
B1, (u)du,
B (u)du =
(s) =
0

(integral de las componentes). Mostrar que esta parametrizada por longitud de arco y
calcular su triedro, curvatura y torsion.
Sol:
Se tiene que
0 (s) = B (s)
|| 0 (s)|| = ||B (s)|| = 1
Como se trata de una curva con arco - parametro, se tiene
T (s) = 0 (s) = B (s)
T 0 (s) = k(s)N (s) = B0 (s) = (s)N (s)
T 0 (s)
(s)N (s)
N (s) =
=
= N (s)
||T (s)||
(s)
k(s) = (s)
Luego,
B(s) = T (s) N (s)
= B (s) N
= T (s)
Entonces
(s)N (s) = B 0 (s) = T0 (s)
= k (s)N (s)
= k (s)N (s)
(s) = k (s)
9. Escriba las condiciones que ha de cumplir un punto (x, y, z) R3 para que pertenezca al plano
osculador de la curva (t) = (cosh t, sinh t, t), con t R, en el punto (0) = (1, 0, 0).
Sol:
Un puntoP R3 en el plano osculador a la curva en el punto (0) = (1, 0, 0) si cumple que
~
(P (0)) B(0)
= 0.
Esto es, si el vector P (0) es perpendicular al vector binormal a en el punto (0). As que
necesitamos conocer la expresion del vector binormal a la curva en cada punto,
0 (t) 00 (t)
~
B(t)
= 0
|| (t) 00 (t)||
MAT024

10

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

para luego evaluarlo en t = 0. Calculamos las derivadas

0 (t) = (sinh t, cosh t, 1)
00 (t) = (cosh t, sinh t, 0)
0 (t) 00 (t) = ( sinh t, cosh t, 1)
~
Como B(t)
y 0 (t) 00 (t) tienen la misma direccion, no es menester calcular || 0 (t) 00 (t)||.
As
0 (0) 00 (0) = (0, 1, 1)
Luego,
[(x, y, z) (1, 0, 0)] (0, 1 1) = 0
(x 1, y, z) (0, 1, 1) = 0
y=z

10. Sea
(t) : [a, b] R3 la parametrizacion de una curva regular R3 . Denotamos por T (t),
N (t) y B(t) los vectores tangente, normal y binormal respectivamente. Sea k(t) la curvatura
y (t) la torsion. Suponga que la curva es plana y que k(t) 6= 0 para todo t [a, b].
La evoluta 0 de se define como la curva parametrizada por
N (t)

r (t) =
(t) +
k(t)
a) Suponga que k 0 (t) 6= 0t [a, b]. Pruebe que la evoluta es una curva regular y que el vector
tangente a la evoluta en t es paralelo a N (t). Hint: Puede suponer que la curva esta parametrizada por longitud de arco si as lo estima conveniente.
Sol:
derivamos la curva dada, tenemos

0
1 dN (t)
d~
1
d~r
N (t) +
=
+
dt
dt
k(t)
k(t) dt
Luego, por las formulas de Frenet, tenemos que
d~
= T (t)
dt
dN (t)
= k(t)T (t) + (t)B(t)
dt
Reemplazando en la derivada obtenemos
d~r(t)
k 0 (t)
d~r(t)
|k 0 (t)|
= 2 N (t) ||
|| = 2
dt
k (t)
dt
k (t)
Por hipotesis del problema, ni k 0 (t) y k(t) se anulan. Por lo que la norma es mayor que cero
para todo t, por ende es curva regular.
Por u
ltimo, el vector tangente de la evoluta tiene la misma direccion del vector normal de la
curva original, por tanto, son vectores paralelos.
MAT024

11

Universidad T
ecnica Federico Santa Mara
Departamento de Matem
atica

b) Ahora, sea una espiral logartmica de parametrizacion

(t) = (aet cos t, aet sin t) t R

donde a es una constante positiva. Calcule la evoluta 0 de la espiral logartmica Que se
puede decir sobre 0 ?
Sol:
Se tienen las derivadas, normas, triedro y curvatura
0 (t) = aet (cos t sin t, cos t + sin t, 0)
00 (t) = 2aet (sin t, cos t, 0)
0 00 = (0, 0, 2a2 e2t )

|| 0 || = a 2et
|| 0 00 || = 2a2 e2t
1

k(t) =
aet 2
1
T (t) = (cos t sin t, cos t + sin t, 0)
2
B(t) = (0, 0, 1)
1
N (t) = ( cos t sin, cos t sin t, 0)
2
Luego, la evoluta sera
~r(t) = (aet cos t, aet sin t, 0) + aet ( cos t sin, cos t sin t, 0)
= aet ( sin t, cos t, 0)
Observar que la evoluta de la espiral logartmica es tambien una espiral logartmica. El producto punto entre ambas parametrizaciones es 0 t R, por lo que son perpendiculares. Esto
indica que la evoluta de la espiral es la misma espiral pero rotada en 90 .

MAT024

12