Supercies

M. Eugenia Rosado Mara

Departamento de Matemtica Aplicada
Escuela Tcnica Superior de Arquitectura, UPM
Avda. Juan de Herrera 4, 28040-Madrid, Spain
E-mail: eugenia.rosado@upm.es
ndice
1 Representacin analtica de supercies 2
1.1 Representacin explcita o de Monge . . . . . . . . . . . . . . 6
2 Estudio local de una supercie 7
2.1 Plano tangente y recta normal en un punto de una supercie. 7
2.2 Primera forma fundamental . . . . . . . . . . . . . . . . . . . 9
2.2.1 Clculo de la expresin analtica de la primera forma
fundamental . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Segunda forma fundamental . . . . . . . . . . . . . . . . . . . 15
2.4 Curvatura normal . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4.1 Teorema de Meusnier . . . . . . . . . . . . . . . . . . . 19
2.5 Naturaleza de los puntos de una supercie . . . . . . . . . . . 19
2.6 Curvaturas de una supercie . . . . . . . . . . . . . . . . . . . 21
2.6.1 Direcciones principales . . . . . . . . . . . . . . . . . . 21
2.6.2 Curvaturas principales . . . . . . . . . . . . . . . . . . 22
2.6.3 Curvatura de Gauss y curvatura media . . . . . . . . . 23
2.7 Lneas de curvatura y lneas asintticas . . . . . . . . . . . . . 25
2.8 Indicatriz de Dupin . . . . . . . . . . . . . . . . . . . . . . . . 29
2.9 Frmula de Euler . . . . . . . . . . . . . . . . . . . . . . . . . 33
1
3 Supercies regladas 34
3.1 Curvatura total de las supercies regladas . . . . . . . . . . . 36
3.2 Clasicacin de las supercies regladas . . . . . . . . . . . . . 38
3.3 Puntos singulares de una supercie reglada . . . . . . . . . . . 39
3.3.1 Puntos centrales . . . . . . . . . . . . . . . . . . . . . . 40
3.3.2 Arista de retroceso . . . . . . . . . . . . . . . . . . . . 41
3.4 Ejemplos y ejercicios . . . . . . . . . . . . . . . . . . . . . . . 43
4 Bibliografa 47
1 Representacin analtica de supercies
Denicin. Se dice que un subconjunto o R
3
es una supercie parame-
trizada si existe un dominio 1 _ R
2
y una aplicacin
: : 1 _ R
2
R
3
.
:(n. ) = (r(n. ). (n. ). .(n. )) .
tal que Im: = o.
A la aplicacin : la denominamos representacin paramtrica de o.
Denicin. Se dice que un punto 1 o con

C1 = :(n. ), es un punto
regular para la parametrizacin : si se verica: :
&
(n. ) . :

(n. ) ,=

0 para
todo (n. ) 1, siendo
:
&
(n. ) = (r
&
(n. ).
&
(n. ). .
&
(n. )) .
:

(n. ) = (r

(n. ).

(n. ). .

(n. )) .
La notacin que utilizamos es: r
&
(n. ) =
0a
0&
(n. ).
La condicin :
&
(n. ) . :

(n. ) ,=

0 signica que los vectores :
&
(n. ),
:

(n. ) son linealmente independientes; esto es,

rg
_
r
&
(n. )
&
(n. ) .
&
(n. )
r

(n. )

(n. ) .

(n. )
_
= 2.
Si tenemos una aplicacin diferenciable,
: : 1 _ R
2
R
3
.
:(n. ) = (r(n. ). (n. ). .(n. )) .
2
con Im: = o R
3
diremos que un punto 1 o con

C1 = : (n
0
.
0
), es un
punto singular de o si :
&
(n
0
.
0
) .:

(n
0
.
0
) =

0.
Los puntos singulares pueden aparecer por la naturaleza de la supercie
o por la eleccin de la parametrizacin.
Ejemplo 1 Consideramos la semiesfera superior de radio : y centrada en
el origen; esto es, la semiesfera de ecuacin cartesiana:
r
2
+
2
+.
2
= :
2
. con . _ 0.
Consideramos la siguiente parametrizacin:
: : [0. 2:) (0. :,2) R
3
.
:(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
donde c mide la longitud y , la latitud. Se tiene:
:
c
(c. ,) = (c sin csin ,. c cos csin ,. 0) .
:
o
(c. ,) = (c cos ccos ,. c sin ccos ,. c sin ,) .
y
:
c
(c. ,) .:
o
(c. ,) =
_
c
2
cos csin
2
,. c
2
sin csin
2
,. c
2
sin , cos ,
_
= c
2
sin , (cos csin ,. sin csin ,. cos ,) .
Por tanto, :
c
(c. ,) . :
o
(c. ,) =

0 si y slo si sin , = 0; esto es, si y slo si
, = 0. Luego, la parametrizacin que tenemos es regular.
Ejemplo 2 Consideramos el semicono circular de ecuacin cartesiana:
r
2
+
2
.
2
= 0. con . _ 0.
Podemos considerar la siguiente parametrizacin:
: : [0. 2:) [0. +) R
3
.
:(c. t) = (t cos c. t sin c. t) .
Se tiene:
:
c
(c. t) = (t sin c. t cos c. 0) .
:
t
(c. t) = (cos c. sin c. 1) .
3
y
:
c
(c. t) .:
t
(c. t) =
_
t cos c. t sin c. t sin
2
c t cos
2
c
_
= (t cos c. t sin c. t) .
Por tanto, :
c
(c. t) .:
t
(c. t) =

0 si y slo si t = 0. En el punto 1 = (0. 0. 0)
es un punto singular y no podemos denir el plano tangente al cono en dicho
punto. Ntese tambin que el punto 1 es un punto mltiple para dicha
parametrizacin ya que:
:(c. 0) =

C1. \c [0. 2:).

Ejemplo 3 Supercie de revolucin. Consideramos la supecie generada
al girar alrededor del eje C2 la curva de ecuacin . = ,(r), donde , es
una funcin continua con derivadas continuas de todo orden, contenida en el
plano = 0.
Primero parametrizamos la curva que tenemos. En este caso una para-
metrizacin de la curva con ecuacin . = ,(r) es: :(n) = (n. 0. ,(n)), con
n R. La matriz del giro de ngulo c alrededor del eje C2 es:
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
.
Al girar la curva dada alrededor del eje C2 obtenemos:
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
_
_
n
0
,(n)
_
_
=
_
_
ncos c
nsin c
,(n)
_
_
, con c [0. 2:).
Por tanto, una representacin paramtrica de dicha supercie viene dada por:
: : (0. +) [0. 2:) R
3
.
:(n. c) = (ncos c. nsin c. ,(n)) .
Se tiene:
:
&
(n. c) = (cos c. sin c. ,
0
(n)) .
:
c
(n. c) = (nsin c. ncos c. 0) .
4
Por tanto,
:
&
(n. c) .:
c
(n. c) = (n,
0
(n) cos c. n,
0
(n) sin c. n) ,=

0
pues n ,= 0. Luego el punto 1 con coordenadas (0. 0. ,(0)) es un punto
singular. Ntese que el punto 1 es un punto mltiple para dicha parame-
trizacin ya que:
:(n. c) = (0. 0. ,(0)) para todo c [0. 2:).
Ejemplo 4 Toro. Supercie generada al girar alrededor del eje C2 una
circunferencia de centro (0. /. 0) y radio c con c < /. Vase la siguiente
gura:
Por ejemplo, consideremos la circunferencia de centro C = (0. 2. 0) y radio 1.
-4 -2 2 4
-4
-2
2
4
y
z
5
Parametrizamos primero dicha circunferencia. Un punto de la circunferencia
es de la forma: (0. 2 + cos c. sin c) con c [0. 2:). Al girarlo alrededor del
eje C2 obtenemos:
_
_
cos , sin , 0
sin , cos , 0
0 0 1
_
_
_
_
0
2 + cos c
sin c
_
_
=
_
_
sin , (cos c + 2)
cos , (cos c + 2)
sin c
_
_
,
con , [0. 2:). Hemos obtenido la siguiente parametrizacin del toro:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = (sin , (cos c + 2) . cos , (cos c + 2) . sin c) .
Esto es,
r(c. ,) = sin , (cos c + 2) .
(c. ,) = cos , (cos c + 2) .
.(c. ,) = sin c.
Teniendo en cuenta: cos c =
_
1 sin
2
c obtenemos:
r
2
+
2
= (cos c + 2)
2
= cos
2
c + 4 cos c + 4
= 1 sin
2
c + 4
_
1 sin
2
c + 4
= 5 .
2
+ 4
_
1 .
2
.
Por tanto,
_
r
2
+
2
+.
2
5
_
2
= 16
_
1 .
2
_
es la ecuacin implcita del toro.
1.1 Representacin explcita o de Monge
Una supercie o puede venir dada por una ecuacin 1(r. . .) = 0 donde 1
es una funcin diferenciable con derivadas parciales continuas de todo orden;
esto es,
o =
_
(r. . .) R
3
[ 1(r. . .) = 0
_
.
Si 1
:
(r
0
.
0
. .
0
) ,= 0 por el Teorema de la funcin implcita sabemos que existe
un entorno del punto 1 = (r
0
.
0
. .
0
) de manera que en ese entorno podemos
6
ver la supercie como la grca de una funcin ,(r. ), con (r. ) 1. Esto
es, tenemos una representacin paramtrica de la supercie de la siguiente
forma:
: : 1 _ R
2
R
3
.
:(r. ) = (r. . ,(r. )) .
Dicha representacin, en la que los parmetros son precisamenta las coorde-
nadas cartesianas, se denomina carta de Monge o representacin explcita de
o.
2 Estudio local de una supercie
Sea una supercie o R
3
con representacin paramtrica regular
:(n. ) = (r(n. ). (n. ). .(n. )) . con (n. ) 1 _ R
2
,
de clase mayor o igual a 3 y sea 1 o con

C1 = :(n. ).
2.1 Plano tangente y recta normal en un punto de una
supercie.
Denicin. Decimos que un vector n R
3
es tangente a la supercie o en
1 si es tangente en 1 a una curva contenida en o.
Sea C una curva contenida en la supercie; C o. Por tanto, una
representacin paramtrica de C es:
(t) = :(n(t). (t)) = (r(n(t). (t)). (n(t). (t)). .(n(t). (t))) .
Utilizando la regla de la cadena obtenemos:

0
(t) = :
&
(n(t). (t))n
0
(t) +:

(n(t). (t))
0
(t).
Por tanto, cualquier vector tangente a la supercie o se escribe como com-
binacin lineal de los vectores :
&
(n. ), :

(n. ).
NOTA: Si el punto 1 es regular los vectores :
&
(n. ), :

(n. ) son lineal-

mente independientes y forman una base del plano tangente a o en 1.
7
Fijados los parmetros =
0
(resp. n = n
0
), a las curvas con parame-
trizaciones
:(n.
0
) = (r(n.
0
). (n.
0
). .(n.
0
)) . n 1.
(resp. :(n
0
. ) = (r(n
0
. ). (n
0
. ). .(n
0
. )) . J),
las denominamos curvas paramtricas o coordenadas.
Denicin. El plano tangente a o en 1 es el plano que contiene a 1 y
est generado por los vectores :
&
(n. ), :

(n. ).
La ecuacin cartesiana del plano tangente a o en 1 es
det(

1A. :
&
(n. ). :

(n. )) = 0.
Denicin. La recta normal a la supercie en 1 es la recta ortogonal al
plano tangente a o en 1.
El vector director de la recta normal en 1 es:
:
&
(n. ) .:

(n. ).
Denicin. Llamamos vector normal unitario a la supercie o en el punto
1 al vector:

`(n. ) =
:
&
(n. ) .:

(n. )
|:
&
(n. ) .:

(n. )|
.
Ntese que la ecuacin cartesiana del plano tangente a o en el punto 1 de
coordenadas (c. /. c) con

`(n. ) = (`
1
. `
2
. `
3
) es
`
1
(r c) +`
2
( /) +`
3
(. c) = 0.
Si la supercie o viene dada por una ecuacin implcita 1(r. . .) = 0,
con 1 C
1
(R
3
), sabemos que el vector gradiente de 1 es ortogonal a las
supercies de nivel de 1; esto es,
\1(r. . .) 1(r. . .) = 0.
Por tanto, el vector \1 es un vector ortogonal al plano tangente de la super-
cie. Por tanto, en este caso, la ecuacin del plano tangente en 1 se puede
escribir como sigue:
0 = \1(c. /. c)

1A
= \1(c. /. c) (r c. /. . c)
= 1
a
(c. /. c) (r c) +1
j
(c. /. c) ( /) +1
:
(c. /. c) (. c) .
8
Ejemplo. Vamos a hallar la ecuacin del plano tangente de la supercie con
ecuacin implcita . = r
2

2
en el punto (1. 1. 0).
El vector gradiente de 1(r. . .) = .,(r. ) es: \1(r. . .) = (2r. 2. .).
Por tanto, la ecuacin del plano tangente a la supercie . = r
2

2
en el
punto (1. 1. 0) es:
0 = \1(1. 1. 0) (r + 1. 1. .)
= (2. 2. 1) (r + 1. 1. .)
= 2(r + 1) + 2( 1) +..
2.2 Primera forma fundamental
Denicin. Llamamos primera forma fundamental de o en 1 a la forma
bilineal simtrica denida positiva 1
1
asociada al producto escalar inducido
en el plano tangente a o en 1 por el producto escalar en R
3
.
2.2.1 Clculo de la expresin analtica de la primera forma fun-
damental
Cualquier vector n 1
1
o se escribe de la siguiente manera:
n = /(n. ) :
&
(n. ) +/(n. ) :

(n. ).
siendo /. / C
1
(1). Por simplicidad, escribiremos: n = / :
&
+/ :

.
Tenemos:
n
1
n
2
= (/
1
:
&
+/
1
:

) (/
2
:
&
+/
2
:

)
= /
1
/
2
:
&
:
&
+ (/
1
/
2
+/
2
/
1
):
&
:

+/
1
/
2
:

= (/
1
. /
1
)
_
1 1
1 G
__
/
2
/
2
_
.
donde
1 = :
&
:
&
= r
2
&
+
2
&
+.
2
&
0.
1 = :
&
:

= r
&
r

+
&

+.
&
.

.
G = :

= r
2

+
2

+.
2

0.
Esto es,
1
1
: 1
1
o 1
1
o R.
1
1
( n
1
. n
2
) = (/
1
. /
1
)
_
1 1
1 G
__
/
2
/
2
_
.
9
siendo (/
1
. /
1
) (resp. (/
2
. /
2
)) las coordenadas de n
1
(resp. n
2
) en la base
(:
&
. :

) de 1
1
o. Ntese que 1
1
es denida positiva pues teniendo en cuenta
las expresiones de los vectores :
&
. :

y haciendo algunos clculos se obtiene:

traza
_
1 1
1 G
_
= 1 +G 0.
det
_
1 1
1 G
_
= 1G1
2
= |:
&
.:

|
2
0.
2.2.2 Aplicaciones
1. Clculo de la longitud de una curva contenida en la supercie.
Vamos a calcular la distancia entre dos puntos 1 = :(n
0
.
0
) y Q =
:(n
1
.
1
) de la supercie. Consideramos una curva en la supercie o
con parametrizacin
(t) = :(n(t). (t)) = (r(n(t). (t)). (n(t). (t)). .(n(t). (t)))
tal que en t
0
estemos en el punto 1 y en t
1
estemos en el punto Q, esto
es,
1 = (t
0
) = :(n(t
0
). (t
0
)).
Q = (t
1
) = :(n(t
1
). (t
1
)).
Llamamos 1 la longitud de curva entre los puntos 1 y Q. Se tiene:
1 =
_
t
1
t
0
|
0
(t)| dt.
Como:
|
0
(t)|
2
= (:
&
n
0
(t) +:

0
(t)) (:
&
n
0
(t) +:

0
(t))
= (n
0
(t))
2
:
&
:
&
+ 2n
0
(t)
0
(t):
&
:

+ (
0
(t))
2
:

= 1 (n
0
(t))
2
+ 21n
0
(t)
0
(t) +G(
0
(t))
2
= 1
v(t)
(
0
(t).
0
(t)).
se tiene:
1 =
_
t
1
t
0
_
1
(t)
(
0
(t).
0
(t))
_
12
dt.
10
2. Clculo del ngulo que forman en 1 dos curvas C
1
y C
2
contenidas en
la supercie.
Sea n
1
el vector tangente a C
1
en 1 y sea n
2
el vector tangente a C
2
en 1. El ngulo o que forman las dos curvas C
1
. C
2
es el ngulo que
forman sus respectivos vectores tangentes en 1. Por tanto,
cos o =
n
1
n
2
| n
1
| | n
2
|
=
1
1
( n
1
. n
2
)
1
1
( n
1
. n
1
)
12
1
1
( n
2
. n
2
)
12
.
Las curvas C
1
y C
2
son ortogonales si o = :,2; esto es, si 1
1
( n
1
. n
2
) =
0.
Si C
1
y C
2
son las curvas coordenadas; esto es, n
1
= (1. 0) y n
2
= (0. 1),
entonces,
cos o =
1
_
1G
.
Por tanto, las curvas coordenadas son ortogonales si y slo si 1 = 0.
3. Clculo del rea de una regin de la supercie.
Consideramos la regin de la supercie limitada por las curvas coor-
denadas
:(n
0
. ). :(n
0
+ n. ). :(n.
0
). :(n.
0
+ ).
El incremento de rea de la regin viene dada por el producto de
las longitudes de sus lados por el seno del ngulo que forman, esto es,
= |:
&
(n
0
.
0
)| |:

(n
0
.
0
)| sin cn
= |:
&
(n
0
.
0
) .:

(n
0
.
0
)| n
=
_
1G1
2
n.
Por tanto, el rea de la regin puede calcularse mediante la siguiente
integral:
=
_ _

_
1G1
2
dnd.
11
Ejemplos
1. Esfera. Consideramos la siguiente parametrizacin de la esfera de radio
1 y centro el origen de coordenadas:
:(c. ,) = (cos ccos ,. cos csin ,. sin c) . (c. ,) (:,2. :,2)[0. 2:).
Se pide:
(a) Expresin de la primera forma fundamental.
Se tiene:
:
c
(c. ,) = (sin ccos ,. sin csin ,. cos c) .
:
o
(c. ,) = (cos csin ,. cos ccos ,. 0) .
Por tanto,
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = sin
2
c
_
cos
2
, + sin
2
,
_
+ cos
2
c = 1.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = sin ccos , cos csin , sin csin ccos , cos , = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = cos
2
c
_
sin
2
, + cos
2
,
_
= cos
2
c.
La matriz asociada a la primera forma fundamental en un punto
arbitario 1 = :(c. ,) de la supercie es:
_
1 0
0 cos
2
c
_
Como 1 = 0 las curvas coordenadas :(c
0
. ,) (paralelo) y :(c. ,
0
)
(meridiano) son ortogonales entre si.
(b) La longitud de la curva parmetro , = ,
0
.
La curva parmetro , = ,
0
(meridiano , = ,
0
) tiene la siguiente
parametrizacin:
:(c) = :(c. ,
0
) = (cos ccos ,
0
. cos csin ,
0
. sin c) . c [0. 2:).
Se tiene:
:
0
(c) = :
&
(c. ,
0
) = 1 :
&
(c. ,
0
) + 0 :
o
(c. ,
0
).
12
por tanto (1. 0) son las coordenadas del vector tangente :
0
(c) en
la base :
c
(c. ,
0
). :
o
(c. ,
0
) y
1
v(c)
(:
0
(c). :
0
(c)) = (1. 0)
_
1 0
0 cos
2
c
__
1
0
_
= 1.
Por tanto,
1 =
_
2
2
1dt = :.
(c) La longitud de la curva parmetro c = c
0
.
La curva parmetro c = c
0
(paralelo c = c
0
) tiene la siguiente
parametrizacin:
:(,) = :(c
0
. ,) = (cos c
0
cos ,. cos c
0
sin ,. sin c
0
) . c [:,2. :,2].
Se tiene:
:
0
(,) = :
o
(c
0
. ,) = 0 :
c
(c
0
. ,) + 1 :
o
(c
0
. ,).
por tanto (0. 1) son las coordenadas del vector tangente :
0
(,) en
la base :
c
(c
0
. ,). :
o
(n
0
. ,) y
1
v(o)
(:
0
(,). :
0
(,)) = (0. 1)
_
1 0
0 cos
2
c
0
__
0
1
_
= cos
2
c
0
.
Por tanto,
1 =
_
2
0
cos
2
c
0
dt = 2: cos
2
c
0
.
2. Se considera la supercie formada por las rectas que se apoyan en la
hlice de ecuacin c(n) = (cos n. sin n. n), n _ 0, paralelas al plano
. = 0 y que se apoyan en el eje C2. Vase la siguiente grca:
13
(a) Vamos a hallar una parametrizacin de dicha supercie.
Un punto A de la supercie satisface la siguiente ecuacin:

CA =

C1
0
+`

1
0
1
donde 1
0
es el punto del eje C2 y 1, 1
0
estn en la recta que
se apoya en la hlice y en el eje C2 y que es paralela al plano
. = 0. Por tanto si 1 es el punto de la hlice con coordenadas
(cos n. sin n. n), las coordenadas de 1
0
son (0. 0. n). se tiene:
:(n. `) = (0. 0. n) +`(cos n. sin n. 0)
= (`cos n. `sin n. n) , con n _ 0 y ` [0. 1].
(b) Veamos que :(n. `) es una parametrizacin regular. Se tiene:
:
&
(n. `) = (`sin n. `cos n. 1) .
:
A
(n. `) = (cos n. sin n. 0) .
:
&
(n. `) .:
A
(n. `) = (sin n. cos n. `) .
|:
&
(n. `) .:
A
(n. `)| =
_
1 +`
2
,= 0.
por tanto, la parametrizacin es regular.
(c) Primera forma fundamental. Se tiene:
1(n. `) = :
&
(n. `) :
&
(n. `) = (`sin n. `cos n. 1) (`sin n. `cos n. 1)
= 1 +`.
1(n. `) = :
&
(n. `) :
A
(n. `) = (`sin n. `cos n. 1) (cos n. sin n. 0)
= 0.
G(n. `) = :
A
(n. `) :
A
(n. `) = (`sin n. `cos n. 1) (cos n. sin n. 0)
= `.
Por tanto,
1
1
: 1
1
o 1
1
o R.
1
1
( n
1
. n
2
) = (c
1
. /
1
)
_
1 +` 0
0 `
__
c
2
/
2
_
.
con n
1
= (c
1
. /
1
) y n
2
= (c
2
. /
2
).
14
2.3 Segunda forma fundamental
En el estudio de curvas, la curvatura meda la tasa de variacin de la recta
tangente en el entorno de un punto de la curva. Extendemos esta idea al
estudio de supercies. Vamos a medir la distancia entre la supercie y el
plano tangente a la supercie en un punto 1 o, en puntos de la supercie
prximos al punto 1. Para ello vamos a estudiar cmo vara el campo normal
unitario

` en un entorno del punto 1.
Sea una supercie o R
3
con representacin paramtrica regular
:(n. ) = (r(n. ). (n. ). .(n. )) , con (n. ) 1 _ R
2
,
de clase mayor o igual a 3. El campo normal unitario

` asigna a cada punto
1 de la supercie, con

C1 = :(n. ), su vector normal unitario; esto es,

`: 1 R
3
.

`(n. ) =
:
&
(n. ) .:

(n. )
|:
&
(n. ) .:

(n. )|
.
Usaremos la notacin

`(n. ),

`
1
indistintamente. Y denotaremos 1

`
1
( n)
a la derivada direccional de la aplicacin

` en el punto 1 y en la direccin
del vector unitario n tangente a la supercie en el punto 1.
Derivando la identidad

`
1


`
1
= 1 en la direccin de un vector unitario
n tangente a la supercie en el punto 1, obtenemos:
0 = 21

`
1
( n)

`
1
. con n 1
1
o, | n| = 1.
De donde se concluye que el vector 1

`
1
( n) es ortogonal al vector normal

`
1
, luego,
1

`
1
( n) 1
1
o;
esto es, Im1

`
1
= 1
1
o.
Denicin. Llamamos segunda forma fundamental de o en 1 a la forma
cuadrtica 11
1
denida en 1
1
o de la siguiente manera:
11
1
: 1
1
o R. 11
1
( n) = 1

`
1
( n) n.
Vamos a calcular la expresin analtica de la segunda forma fundamental en
la base :
&
(n. ). :

(n. ) de 1
1
o. Cualquier vector n 1
1
o se escribe de
la siguiente manera:
n = /(n. ) :
&
(n. ) +/(n. ) :

(n. ).
15
y
1

`
1
( n) = \

`
1
n
=
_

`
&
(n. ).

`

(n. )
_
(/(n. ). /(n. ))
= /(n. )

`
&
(n. ) +/(n. )

(n. ).
Por simplicidad, escribiremos: n = / :
&
+ / :

y 1

`
1
( n) = /

`
&
+ /

`

.
Tenemos:
11
1
( n) = 1

`
1
( n) n
=
_
/

`
&
+/

`

_
(/ :
&
+/ :

)
= /
2

`
&
:
&
//
_

`
&
:

+

`

:
&
_
/
2

`

= 1/
2
+ 2`// +`/
2
.
donde
1 = :
&

`
&
= :
&&

`.
2` =
_
:
&

+:

`
&
_
= 2:
&

`.
` = :

= :

`.
Las frmulas anteriores se obtienen teniendo en cuenta: :
&

` = 0 y :

` = 0,
pues :
&
. :

1
1
o. Por tanto, derivando estas igualdades tenemos:
0 =
0
0&
_
:
&

`
_
= :
&&

` +:
&

`
&
0 =
0
0
_
:
&

`
_
= :
&

` +:
&

0 =
0
0&
_
:

`
_
= :
&

` +:

`
&
0 =
0
0
_
:

`
_
= :

` +:

==
:
&

`
&
= :
&&

`.

_
:
&

+:

`
&
_
= 2:
&

`.
:

= :

`.
Ejemplo Hallar la segunda forma fundamental del toro con parametrizacin:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = ((cos c + 2) cos ,. (cos c + 2) sin ,. sin c) .
16
Solucin. Se tiene:
:
c
(c. ,) = (sin ccos ,. sin csin ,. cos c) .
:
o
(c. ,) = ((cos c + 2) sin ,. (cos c + 2) cos ,. 0) .
:
c
(c. ,) .:
o
(c. ,)
= (cos c(cos c + 2) cos ,. cos c(cos c + 2) sin ,. sin c(cos c + 2)) .
|:
c
(c. ,) .:
o
(c. ,)| = cos c + 2.
luego

`(c. ,) =
:
c
(c. ,) .:
o
(c. ,)
|:
c
(c. ,) .:
o
(c. ,)|
= (cos ccos ,. cos csin ,. sin c) .
Y
:
cc
(c. ,) = (cos ccos ,. cos csin ,. sin c) .
:
co
(c. ,) = (sin csin ,. sin ccos ,. 0) .
:
oo
(c. ,) = ((cos c + 2) cos ,. (cos c + 2) sin ,. 0) .
por tanto,
1(c. ,) = :
cc
(c. ,)

`(c. ,) = 1.
`(c. ,) = :
co
(c. ,)

`(c. ,) = 0.
`(c. ,) = :
oo
(c. ,)

`(c. ,) = cos c(cos c + 2) .
Luego,
11
1
(/. /) = /
2
+ cos c(cos c + 2) /
2
.
2.4 Curvatura normal
Sea o una supercie con parametrizacin :(n. ) y sea C una curva contenida
en la supercie con parametrizacin natural:
(:) = :(n(:) . (:)), con : 1 _ R,
y sea 1 un punto arbitrario de la curva; esto es,

C1 = (:).
17
Se tiene:

t(:) =
0
(:).

/(:) =

t
0
(:) = /(:):(:). vector curvatura de C en 1.
Descomponemos el vector curvatura de la siguiente manera:

/(:) =

/
.
(:) +

/
j
(:) donde
_

/
.
(:) =
_

/(:)

`
1
_

`
1
.

/
j
(:) =

/(:)

/
.
(:).
Llamamos vector curvatura normal a la proyeccin del vector curvatura sobre
el vector curvatura normal de la supercie

`
1
; esto es,

/
.
(:) =
_

/(:)

`
1
_

`
1
.
Se denomina curvatura normal en un punto 1 de la supercie en la direccin
de la curva C con parametrizacin :(:) a:
/
.
(:) =

/(:)

`
1
=

t
0
(:)

`
1
.
Y llamamos vector curvatura tangencial o geodsica al vector

/
j
(:). Derivando
la identidad

t(:)

`
1
= 0 obtenemos:
0 =

t
0
(:)

`
1
+

t(:)
d

`
1
d:
= /
.
(:) +

t(:)
d

`
1
d:
.
donde d

`
1
,d: es la derivada del campo

` en el punto 1 en la direccin del
vector :
0
(:); esto es,
d

`
1
d:
= 1

`
1
(
0
(:))
con

0
(:) = :
&
(n(:) . (:))n
0
(:) +:

(n(:) . (:))
0
(:).
Por tanto,
/
.
(:) =
d

`
1
d:

t(:)
= 1

`
1
(
0
(:))
0
(:) = 11
1
(
0
(:)) .
18
Si

c(t) = :(n(t) . (t)), con t J _ R,

es una parametrizacin arbitraria de la curva C, entonces, el vector
0
(t) no
es unitario y se verica la siguiente igualdad:
/
.
(t) =
11
1
_

c
0
(t)
_
1
1
_

c
0
(t).

c
0
(t)
_.
Obsrvese que /
.
(t) slo depende de la direccin del vector tangente a la
curva en el punto 1. Se tiene el siguiente resultado:
2.4.1 Teorema de Meusnier
Todas las curvas sobre la supercie que tienen la misma recta tangente en el
punto 1, tienen la misma curvatura normal en 1.
Se puede hablar de curvatura normal a una supercie en un punto 1 en
la direccin de un vector n 1
1
o; esto es,
/
.
( n) =
11
1
( n)
1
1
( n. n)
.
Nota. Si las coordenadas del vector n 1
1
o en la base :
&
(n. ). :

(n. )
de 1
1
o son (/(n. ). /(n. )) entonces usaremos tambin la notacin:
/
.
(/. /) =
11
1
((/. /))
1
1
((/. /))
.
donde / = /(n. ), / = /(n. ).
2.5 Naturaleza de los puntos de una supercie
Vamos a estudiar la posicin de la supercie con respecto a su plano tangente.
El vector

/
.
(n. ) = /
.
(n. )

`
1
tiene la direccin del vector normal a la
supercie en el punto 1 con

C1 = :(n. ) y su sentido depende del signo de

la curvatura normal. Teniendo en cuenta la primera forma fundamental es
denida positiva, el signo de la curvatura normal depende nicamente de la
segunda forma fundamental. La matriz de la segunda forma fundamental es:
_
1 `
` `
_
19
y su determinante es: = 1` `
2
. Se tiene:
0 Entonces 11
1
es denida (o positiva o negativa). Por lo tanto no hay
ninguna direccin en la que /
.
se anule (todos los autovalores de la
matriz de 11
1
tienen el mismo signo). La curvatura normal tiene signo
constante en un entorno del punto 1. En un entorno de 1 la supercie
est en uno de los semiespacios que determina el plano tangente a o en
1. El punto 1 se dice que es un punto elptico.
= 0 Y suponemos que 1. `. ` no se anulan simultneamente. Por tanto,
= 1` `
2
= 0 nos indica que la matriz de 11
1
tiene un autovalor
` = 0; esto es, existe una direccin a lo largo de la cual /
.
= 0. En
este caso el punto de contacto de la supercie con el plano tangente se
dice que es un punto parablico.
< 0 Entonces 11
1
es indenida. Por lo tanto la matriz de 11
1
tiene un
autovalor positivo y otro negativo; esto es, existe una direccin a lo
largo de la cual /
.
0 y otra a lo largo de la cual /
.
< 0. El plano
tangente a o en 1 interseca a la supercie en dos direcciones. El punto
1 se dice que es un punto hiperblico.
Ejemplo Clasicar los puntos del toro con parametrizacin:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = ((cos c + 2) cos ,. (cos c + 2) sin ,. sin c) .
Solucin. Teniendo en cuenta que la matriz de la segunda forma funda-
mental de o en un punto 1, con

C1 = :(c. ,), es:
_
1 0
0 cos c(cos c + 2)
_
se tiene:
= det
_
1 0
0 cos c(cos c + 2)
_
= cos c(cos c + 2) .
Como cos c + 2 0, el signo de depende del signo de cos c.
Si c [0. :,2) ' (3:,2. 2:], entonces 0 y los puntos son elpticos.
Si c :,2. 3:,2, entonces = 0 y los puntos son parablicos.
Si c (:,2. 3:,2) entonces < 0 y los puntos son hiperblicos.
20
2.6 Curvaturas de una supercie
De todas las direcciones del plano tangente a la supercie o en un punto 1,
es interesante determinar aquellas en las que la curvatura normal en el punto
alcanza sus valores extremos.
2.6.1 Direcciones principales
Denicin. Se llaman direcciones principales de o en 1 a las direcciones del
plano tangente a o en 1 en las que la curvatura normal toma sus valores
extremos. A las curvaturas coorespondientes las denominaremos curvaturas
principales.
Vamos a hallar las direcciones principales de una supercie o en un punto
1 con curvatura normal:
/
.
((/. /)) =
11
1
((/. /))
1
1
((/. /))
=
1/
2
+ 2`// +`/
2
1/
2
+ 21// +G/
2
.
En las direcciones = (/. /) 1
1
o principales se debe cumplir:
0 =
J/
.
J/
(/. /) =
2
1
1
((/. /))
((1/ +`/) /
.
(1/ +1/)) .
0 =
J/
.
J/
(/. /) =
2
1
1
((/. /))
((`/ +`/) /
.
(1/ +G/)) .
Por tanto las direcciones principales (/. /) 1
1
o deben satisfacer el siguiente
sistema de ecuaciones:
_
(1 /
.
1) / + (` /
.
1) / = 0.
(` /
.
1) / + (` /
.
G) / = 0.
(1)
El sistema (1) se puede escribir de la siguiente forma:
_
1/ +`/ = /
.
(1/ +1/) .
`/ +`/ = /
.
(1/ +G/) .
Por tanto,
/
.
=
1/ +`/
1/ +1/
=
`/ +`/
1/ +G/
.
equivalentemente,
0 = (1` G`) /
2
(G1 `1) // + (1` 11) /
2
21
esto es,
0 =

/
2
// /
2
1 1 G
1 ` `

Tomando la direccin (1. ` = /,/) tenemos:

0 = (1` G`) `
2
(G1 `1) ` + (1` 11) .
Si 1` G` ,= 0, las soluciones `
1
. `
2
de esta ecuacin de segundo grado
en ` nos da las dos direcciones principales: (1. `
1
), (1. `
2
). Se demuestra que
los vectores (1. `
1
), (1. `
2
) son ortogonales; esto es,
1
1
((1. `
1
). (1. `
2
)) = 1 +1 (`
1
+`
2
) +G`
1
`
2
= 1 +1
G1 `1
1` G`
+G
1` 11
1` G`
= 0.
Denicin. Un punto 1 o se dice umbilical si las formas fundamentales
en l son proporcionales; equivalentemente, si
/
.
=
1
1
=
`
1
=
`
G
.
En los puntos umbilicales todas las direcciones se pueden considerar princi-
pales. Un caso particular de punto umbilical es un punto plano, en el que
se anula la segunda forma fundamental y, por tanto, /
.
= 0 en cualquier
direccin.
2.6.2 Curvaturas principales
Vamos a hallar las curvaturas principales de una supercie o en un punto 1.
Tomando la direccin (1. `) la ecuacin
/
.
(/. /) =
1/ +`/
1/ +1/
=
`/ +`/
1/ +G/
.
se escribe:
/
.
(1. `) =
1 +``
1 +1`
=
` +``
1 +G`
==
_
(1 +``) /
.
(1 +1`) = 0
(` +``) /
.
(1 +G`) = 0
22
y eliminando ` en el sistema anterior obtenemos:
_
1G1
2
_
/
2
.
(1` +G1 21`) /
.
+1` `
2
= 0
esto es,

1 1
1 G

/
2
.

_

1 `
1 `

1 1
` G

_
/
.
+

1 `
` `

= 0
cuyas soluciones /
1
, /
2
son las curvaturas principales.
El discriminante de la ecuacin anterior es siempre mayor o igual que
cero, y por tanto, las soluciones de dicha ecuacin siempre son reales.
2.6.3 Curvatura de Gauss y curvatura media
Denicin. Se denomina curvatura de Gauss o total de una supercie o en
un punto 1 o al producto de las curvaturas principales; esto es,
1 = /
1
/
2
=
1` `
2
1G1
2
.
Teniendo en cuenta 1G1
2
0 se deduce que el signo de la curvatura total
depende del signo de 1` `
2
. Se tiene:
1. Un punto 1 de la supercie es elptico si y slo si 1 0.
2. Un punto 1 de la supercie es parablico si y slo si 1 = 0.
3. Un punto 1 de la supercie es hiperblico si y slo si 1 < 0.
Denicin. Se denomina curvatura media de una supercie o en un punto
1 o a la media aritmtica de las curvaturas principales; esto es,
/
n
=
/
1
+/
2
2
=
1
2
1` +G1 21`
1G1
2
.
Ejemplo Se considera la siguiente parametrizacin del toro:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = ((cos c + 2) cos ,. (cos c + 2) sin ,. sin c) .
Se pide:
23
1. Curvatura normal en el punto 1 de coordenadas (2. 0. 1).
2. Direcciones principales en el punto 1.
3. Curvaturas principales en el punto 1.
4. Curvatura de Gauss en el punto 1.
5. Curvatura media en el punto 1.
Solucin.
El punto 1 se alcanza para los valores de los parmetros c = :,2 y , = 0.
Tenemos:
:
c
(c. ,) = (sin ccos ,. sin csin ,. cos c) .
:
o
(c. ,) = ((cos c + 2) sin ,. (cos c + 2) cos ,. 0) .
y

`(c. ,) =
:
c
(c. ,) .:
o
(c. ,)
|:
c
(c. ,) .:
o
(c. ,)|
= (cos ccos ,. cos csin ,. sin c) .
Por tanto,
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = 1.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = (cos c + 2)
2
.
y
1(c. ,) = :
cc
(c. ,)

`(c. ,) = 1.
`(c. ,) = :
co
(c. ,)

`(c. ,) = 0.
`(c. ,) = :
oo
(c. ,)

`(c. ,) = cos c(cos c + 2) .
Por tanto, la matriz de la primera forma fundamental de o en un punto
1 es:
_
1 (:,2. 0) 1 (:,2. 0)
1 (:,2. 0) G(:,2. 0)
_
=
_
1 0
0 4
_
y la matriz de la segunda forma fundamental de o en un punto 1 es:
_
1(:,2. 0) ` (:,2. 0)
` (:,2. 0) ` (:,2. 0)
_
=
_
1 0
0 0
_
.
24
La curvatura normal en la direccin del vector n 1
1
o con coordenadas
(/. /) es:
/
.
(/. /) =
11
1
(/. /)
1
1
(/. /)
=
/
2
/
2
+ 4/
2
.
Las direcciones principales (1. `) en 1 son las soluciones de la ecuacin:
0 =

`
2
` 1
1 0 4
1 0 0

= 4` ==` = 0.
Si tomamos el vector de coordenadas (`. 1), entonces la ecuacin se escribe:
0 =

1 ` `
2
1 0 4
1 0 0

= 4` ==` = 0.
Por tanto, las direcciones principales son las de los vectores de coordenadas
(1. 0) y (0. 1).
Las curvaturas principales son:
/
.
(1. 0) =
11
1
(1. 0)
1
1
(1. 0)
= 1.
/
.
(0. 1) =
11
1
(0. 1)
1
1
(0. 1)
= 0.
Si consideramos la ecuacin de las curvaturas principales:

1 0
0 4

/
2
.

_

1 0
0 0

1 0
0 4

_
/
.
+

1 0
0 0

= 0
obtenemos:
4 (/
.
1) /
.
= 0 ==
_
/
.
= 1
/
.
= 0
La curvatura de Gauss es el producto de las curvaturas principales: /
1
/
2
= 0
y la curvatura media es (/
1
+/
2
) ,2 = 1,2.
2.7 Lneas de curvatura y lneas asintticas
Denicin. Una curva C contenida en una supercie o se denomina lnea
de curvatura si la direccin del vector tangente en cada uno de sus puntos
coincide con la direccin principal en ese punto.
25
Vase el siguiente grco en el que se muestran las lneas de curvatura en
el punto (0. 0. 0) de la supercie con ecuacin . = r
2

2
:
Sea o una supercie con parametrizacin :(n. ) y sea C una curva con-
tenida en la supercie con parametrizacin:
(t) = :(n(t) . (t)), con t 1 _ R,
y sea 1 un punto arbitrario de la curva; esto es,

C1 = (t). La curva C es
una lnea de curvatura si las coordenadas (n
0
(t) .
0
(t)) del vector
0
(t) en
la base :
&
(n(t) . (t)), :

(n(t) . (t)) de 1
1
o son solucin de la siguiente
ecuacin diferencial:
0 = (1` G`) (
0
(t))
2
(G1 `1) n
0
(t)
0
(t) + (1` 11) (n
0
(t))
2
esto es,
0 =

(
0
(t))
2
n
0
(t)
0
(t) (n
0
(t))
2
1 1 G
1 ` `

Denicin. Una direccin se denomina asinttica respecto a un punto 1 de

o si se anula en ella la segunda forma fundamental en 1; esto es, la direccin
del vector n = (/. /) es asinttica si
11
1
(/. /) = 0.
Denicin. Una curva C contenida en una supercie o se denomina
lnea asinttica si la direccin del vector tangente en cada uno de sus puntos
coincide con una direccin asinttica.
26
La curva C es una lnea asinttica si las coordenadas (n
0
(t) .
0
(t)) del
vector
0
(t) en la base :
&
(n(t) . (t)), :

(n(t) . (t)) de 1
1
o son solucin
de la siguiente ecuacin diferencial:
0 = 1(n
0
(t))
2
+ 2`n
0
(t)
0
(t) +` (
0
(t))
2
.
Ejemplo Se considera la supercie con parametrizacin:
: : R
2
R
3
. :(n. ) =
_
n. . n
2

2
_
.
Se pide:
1. Clasicar los puntos de la supercie.
2. Curvatura normal y curvaturas principales en el punto 1 de coorde-
nadas (0. 0. 0).
3. Lneas de curvatura en el punto 1.
4. Lneas asintticas en el punto 1.
Solucin. Tenemos:
:
&
(n. ) = (1. 0. 2n) .
:

(n. ) = (0. 1. 2) .

`(n. ) =
:
&
(n. ) .:
&
(n. )
|:
&
(n. ) .:
&
(n. )|
=
1
_
4n
2
+ 4
2
+ 1
(2n. 2. 1)
:
&&
(n. ) = (0. 0. 2) .
:
&
(n. ) = (0. 0. 0) .
:

(n. ) = (0. 0. 2) .
Por tanto,
1(n. ) = :
&
(n. ) :
&
(n. ) = 1 + 4n
2
.
1(n. ) = :
&
(n. ) :

(n. ) = 4n.
G(n. ) = :

(n. ) :

(n. ) = 1 + 4
2
.
1(n. ) = :
&&
(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
`(n. ) = :
&
(n. )

`(n. ) = 0.
`(n. ) = :

(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
27
La matriz de la segunda forma fundamental en un punto arbitrario 1 de la
supercie es:
_
1 + 4n
2
4n
4n 1 + 4
2
_
.
La matriz de la segunda forma fundamental en un punto arbitrario 1 de la
supercie es:
_
2
p
4&
2
+4
2
+1
0
0
2
p
4&
2
+4
2
+1
_
.
El determinante 1(n. )`(n. ) `(n. )
2
< 0, por tanto, todos los puntos
de la supercie son puntos hiperblicos.
La curvatura normal en el punto 1 = :(0. 0) en la direccin de un vector
(/. /) es:
/
.
(/. /) =
2/
2
2/
2
/
2
+/
2
Si suponemos (/. /) = (cos c. sin c) tenemos:
/
.
(cos c. sin c) = 2
_
cos
2
c sin
2
c
_
= 2 cos 2c.
Por tanto, /
.
toma el valor mximo 2 para c = 0. :, en la direccin de los
vectores (1. 0) y (1. 0), y /
.
toma el valor mnimo 2 para c = :,2. 3:,2,
en la direccin de los vectores (0. 1) y (0. 1).
Para c (:,4. :,4) ' (3:,4. 5:,4), la curvatura normal es positiva.
Para c (:,4. 3:,4) ' (5:,4. 7:,4), la curvatura normal es negativa.
Para c = :,4. 3:,4, la curvatura normal es cero. Por tanto, las direc-
ciones asintticas son:
(cos :,4. sin :,4) = (
_
2,2.
_
2,2).
(cos 3:,4. sin 3:,4) = (
_
2,2.
_
2,2).
La ecuacin diferencial de las lneas de curvatura en 1 es:
0 =

(
0
(t))
2
n
0
(t)
0
(t) (n
0
(t))
2
1 0 1
2 0 2

= 4n
0
(t)
0
(t)
Esto es, n
0
(t) = 0
0
(t) = 0. Por tanto, las lneas de curvatura son n(t) = n
0
(t) =
0
, con n
0
y
0
constantes. Como estamos en el punto 1 = :(0. 0),
28
tenemos n(0) = 0 y (0) = 0, por tanto, las lneas de curvatura son:
:(0. ) =
_
0. .
2
_
.
:(n. 0) =
_
n. 0. n
2
_
.
La ecuacin diferencial de las lneas asintticas en 1 es:
0 = 2 (n
0
(t))
2
2 (
0
(t))
2
==0 = n
0
(t) +
0
(t) 0 = n
0
(t)
0
(t)
Integrando obtenemos: n(t) = (t) + /. Como n(0) = (0) = 0, se tiene:
n = . Las lneas asintticas son:
:(n. n) = (n. n. 0)
:(n. n) = (n. n. 0)
2.8 Indicatriz de Dupin
Vamos a estudiar la curvatura normal de una supercie en un punto 1 de
la supercie. Supongamos que en un entorno del punto 1 tenemos una
parametrizacin de Monge de la supercie de la forma:
:(n. ) = (n. . ,(n. )) .
con ,
&
(n. ) = ,

(n. ) = 0. En este caso se tiene:

:
&
(n. ) = (1. 0. 0) .
:

(n. ) = (0. 1. 0) .

`(n. ) = (0. 0. 1) .
Estamos suponiendo que la supercie est situada de manera que el punto 1
sea el origen de coordenadas y el plano tangente a la supercie en el punto
1 sea el plano . = 0. Se tiene: 1 = 1., 1 = 0, G = 0 y
/
.
(/. /) =
1/
2
+ 2`// +`/
2
/
2
+/
2
.
Tomamos /
2
+ /
2
= 1 (la curvatura normal sobre un vector unitario); esto
es, / = cos o, / = sin o, entonces:
/
.
(o) = 1cos
2
o + 2` cos o sin o +` sin
2
o.
29
Tomamos [/
.
(o)[ = 1,:
2
r
1
= : cos o, r
2
= : sin o, entonces:
1 = 1r
2
1
+ 2`r
1
r
2
+`r
2
2
.
La ecuacin anterior determina una seccin cnica en el plano tangente que
se denomina Indicatriz de Dupin.
Si 1 es elptico (1` `
2
0), la indicatriz es una elipse.
Si 1 es hiperblico (1` `
2
< 0), la indicatriz consiste en un par de
hiprbolas conjugadas. A lo largo de una de las hiprbolas /
.
0 y a lo
largo de la otra /
.
< 0. Las asntotas de las hiprbolas corresponden a las
direcciones en las que /
.
= 0.
Si 1 es parablico (1` `
2
= 0, 1
2
+ `
2
+ `
2
,= 0), la indicatriz es un
par de rectas paralelas.
Si la indicatriz existe y no es una circunferencia, entonces /
.
toma sus
valores extremos en dos direcciones ortogonales que son las direcciones de los
ejes de la indicatriz.
En los puntos elpticos en los que /
.
= constante ,= 0, todas las direc-
ciones se dicen principales. En los puntos planos /
.
= 0, tambin todas las
direcciones son principales.
Ejemplo 1 Vamos a calcular la curvatura normal de la esfera de radio : y
centrada en el origen; esto es, la esfera de ecuacin cartesiana:
r
2
+
2
+.
2
= :
2
.
Podemos considerar la siguiente parametrizacin:
: : [0. 2:) (0. :) R
3
.
:(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
Se tiene:
:
c
(c. ,) = (c sin csin ,. c cos csin ,. 0) .
:
o
(c. ,) = (c cos ccos ,. c sin ccos ,. c sin ,) .
y
:
c
(c. ,) .:
o
(c. ,) =
_
c
2
cos csin
2
,. c
2
sin csin
2
,. c
2
sin , cos ,
_
.
|:
c
(c. ,) .:
o
(c. ,)|
2
= c
4
cos
2
csin
4
, +c
4
sin
2
csin
4
, +c
4
sin
2
, cos
2
,
= c
4
sin
4
,
_
cos
2
c + sin
2
c
_
+c
4
sin
2
, cos
2
,
= c
4
sin
4
, +c
4
sin
2
, cos
2
,
= c
4
sin
2
,
_
sin
2
, + cos
2
,
_
= c
4
sin
2
,.
30
Por tanto,

`(c. ,) =
:
c
(c. ,) .:
o
(c. ,)
|:
c
(c. ,) .:
o
(c. ,)|
= (cos csin ,. sin csin ,. cos ,) .
Y
:
cc
(c. ,) = (c cos csin ,. c sin csin ,. 0) .
:
co
(c. ,) = (c sin ccos ,. c cos ccos ,. 0) .
:
oo
(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
luego
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = c
2
sin
2
csin
2
, +c
2
cos
2
csin
2
,
= c
2
sin
2
,.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = c
2
cos
2
ccos
2
, +c
2
sin
2
ccos
2
, +c
2
sin
2
,
= c
2
.
1(c. ,) = :
cc
(c. ,)

`(c. ,) = c cos
2
csin
2
, +c sin
2
csin
2
, = c sin
2
,.
`(c. ,) = :
co
(c. ,)

`(c. ,) = 0.
`(c. ,) = :
oo
(c. ,)

`(c. ,) = c cos
2
csin
2
, +c sin
2
csin
2
, +c cos
2
,
= c sin
2
, +c cos
2
, = c.
Por tanto,
/
.
((/. /)) =
1/
2
+ 2`// +`/
2
1/
2
+ 21// +G/
2
=
c sin
2
,/
2
+c/
2
c
2
sin
2
,/
2
+c
2
/
2
=
1
c
.
Luego la curvatura normal es constante en cada punto de la supercie y en
cada direccin del plano tangente. La indicatriz de Dupin en cada punto de
la esfera es:
c
2
= r
2
+
2
.
Ejemplo 2 Vamos a hallar la indicatriz de Dupin de la supercie con
ecuacin cartesiana . = r
2

2
en el punto 1 de coordenadas (0. 0. 0).
La supercie es:
31
Una parametrizacin de dicha supercie es:
:(n. ) =
_
n. . n
2

2
_
que es una parametrizacin de Monge con ,(n. ) = n
2

2
. Tenemos:
1(n. ) = :
&
(n. ) :
&
(n. ) = 1 + 4n
2
.
1(n. ) = :
&
(n. ) :

(n. ) = 4n.
G(n. ) = :

(n. ) :

(n. ) = 1 + 4
2
.
1(n. ) = :
&&
(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
`(n. ) = :
&
(n. )

`(n. ) = 0.
`(n. ) = :

(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
En el punto 1 tenemos
1(0. 0) = 1. 1(0. 0) = 0. G(0. 0) = 1.
1(0. 0) = 2. `(0. 0) = 0. `(0. 0) = 2.
Por tanto,
/
.
(o) =
2 cos
2
o 2 sin
2
o
cos
2
o + sin
2
o
= 2 cos
2
o 2 sin
2
o.
32
Tomando [/
.
(o) [ = 1,:
2
y r = : cos o y = : sin o entonces la ecuacin
anterior se escribe:
1 = 2r
2
2
2
.
Luego la indicatriz de Dupin es el par de hiprbolas de ecuaciones 1 = 2r
2

2
2
y 1 = 2r
2
2
2
. El valor mximo de la curvatura es /
1
= 2 y se
alcanza en la direccin (cos 0. sin 0) = (1. 0) y el valor mnimo de la curvatura
es /
2
= 2 y se alcanza en la direccin (cos :,2. sin :,2) = (0. 1). Las
direcciones asintticas de la supercie en el punto 1 son las direcciones de
las asntotas de la indicatriz de Dupin; esto es, las direcciones de las rectas
de ecuaciones r = y r = . Las lneas asintticas de la supercie en el
punto 1 son:
:(n. n) = (n. n. 0) .
:(n. n) = (n. n. 0) .
2.9 Frmula de Euler
Vamos a expresar la curvatura normal en una direccin que forme un ngulo
c con respecto a una de las direcciones principales en funcin de ese ngulo
c y de las curvaturas principales.
Consideramos una representacin paramtrica regular en las que las lneas
de curvatura sean las lneas paramtricas; esto es, :(n
0
. ) y :(n.
0
) son las
lneas de curvatura en el punto :(n
0
.
0
). Por tanto, las direcciones (1. 0),
(0. 1) son las direcciones principales. Y las curvaturas principales son:
/
1
=
11
1
((1. 0))
1
1
((1. 0))
=
1
1
. /
1
=
11
1
((0. 1))
11
1
((0. 1))
=
`
G
.
El coeciente 1 = 0 es cero pues las lneas de curvatura son ortogonales.
La ecuacin de las direcciones principales es:
0 =

(
0
(t))
2
n
0
(t)
0
(t) (n
0
(t))
2
1 1 G
1 ` `

.
Como (1. 0) es una direccin principal y 1 = 0, se tiene:
0 =

0 0 1
1 0 G
1 ` `

= 1`
33
y como (0. 1) es una direccin principal y 1 = 0, se tiene:
0 =

1 0 0
1 0 G
1 ` `

= G`
Como G1 ,= 0 pues la primera forma fundamental es denida positiva, en-
tonces de las dos ecuaciones anteriores se deduce: ` = 0. Por tanto, la
curvatura normal en la direccin de un vector (/. /) es:
/
.
(/. /) =
11
1
((/. /))
1
1
((/. /))
=
1/
2
+`/
2
1/
2
+G/
2
=
1
1
1/
2
1/
2
+G/
2
+
`
G
G/
2
1/
2
+G/
2
y teniendo en cuenta que el ngulo c que forma el el vector (/. /) y el vector
(1. 0) satisface:
cos
2
c =
1
1
((/. /). (1. 0))
1
1
((/. /)) 1
1
((1. 0))
=
1/
2
1/
2
+G/
2
.
sin
2
c = 1 cos
2
c =
G/
2
1/
2
+G/
2
.
se deduce:
/
.
(/. /) = /
1
cos
2
c +/
2
sin
2
c
que es la frmula de Euler.
3 Supercies regladas
Denicin. Una supercie o se dice reglada si por cada punto 1 o existe
una recta contenida en la supercie y que contiene al punto 1.
Toda supercie reglada o puede venir determinada por una curva C y un
vector n
1
asociado a cada punto 1 de la curva. La supercie est formada
por las rectas :
1
, con 1 C, que contienen al punto 1 y tienen vector
director n
1
. Por tanto, un punto A de la supercie satisface:

CA =

C1 +t n
1
con 1 C, t R.
34
Si consideramos una parametrizacin (n), n 1, de la curva C, un punto
arbitrario A de la recta que contiene al punto 1 C con

C1 = (n
0
) y
tiene la direccin del vector n
1
se escribe de la siguiente forma:

CA = (n
0
) +t n
1
. t R.
Por tanto, una parametrizacin de la supercie es la siguiente:
:(n. t) = (n) +t n(n). (n. t) 1 R.
Para cada n
0
1 obtenemos una recta con parametrizacin:
:(n
0
. t) = (n
0
) +t n(n
0
). t R.
A dicha recta la llamamos generatriz de la supercie reglada.
Para cada t
0
R obtenemos una curva con parametrizacin:
:(n. t
0
) = (n) +t
0
n(n). n 1.
A dicha curva la llamamos directriz de la supercie reglada.
Ejemplo Vamos a obtener una representacin paramtrica regular de la
supercie formada por las rectas que se apoyan en la elipse de ecuaciones
cartesianas: 4r
2
+2
2
= 3, . = 0 y que son paralelas a la recta de ecuaciones
r + +. = 1 y r 2 = 0.
Una parametrizacin de la elipse es:
(:) =
_
p
3
2
cos :.
p
3
p
2
sin :. 0
_
. : [0. 2:).
La recta de ecuaciones r+ +. = 1 y r2 = 0 tiene la direccin del vector
n = (2. 1. 3). Por tanto, una parametrizacin de dicha supercie es:
:(:. t) = (:) +t n
=
_
p
3
2
cos :.
p
3
p
2
sin :. 0
_
+t (2. 1. 3)
=
_
2t +
p
3
2
cos :. t +
p
3
p
2
sin :. 3t
_
. (:. t) [0. 2:) R.
La ecuacin implcita de la supercie es:
4(r +
2
3
.)
2
+ ( +
1
3
.)
2
= 3.
35
Denicin. Una supercie reglada o se dice desarrollable, si el plano
tangente a la supercie en cada punto de una generatriz es el mismo. En
caso contrario se dice que la supercie o no es desarrollable.
Denicin. Una supercie reglada o se dice que es cnica si todas sus
generatrices contienen a un mismo punto Q al que se denomina vrtice de la
supercie.
Una parametrizacin de una supercie cnica con vrtice Q es:
:(n. t) =

CQ+t
_
(n)

CQ
_
. (n. t) 1 _ R
2
.
siendo (n) una parametrizacin de una curva C contenida en la supercie.
Las generatrices de dicha supercie tienen la direccin del vector n(n) =
(n)

CQ. Se tiene: n
0
(n) =
0
(n).
Denicin. Una supercie reglada o se dice que es cilndrica si el vector
asociado a cada punto 1 de la supercie es proporcional a un vector jo n.
Una parametrizacin de una supercie cilndrica es:
:(n. t) = (n) +t n. (n. t) 1 R
2
.
siendo (n) una parametrizacin de una curva C contenida en la supercie.
Se tiene: n
0
=

0.
Denicin. Una supercie reglada o se dice que es desarrollable tangen-
cial si cada punto de la curva directriz C con representacin paramtrica
(n) tiene asociado el vector tangente a la curva en dicho punto.
Una parametrizacin de una supercie desarrollable tangencial es:
:(n. t) = (n) +t
0
(n). (n. t) 1 R
2
.
siendo (n) una parametrizacin de la curva directriz C.
3.1 Curvatura total de las supercies regladas
Vamos a comprobar que la curvatura de Gauss o total de una supercie
reglada es siempre menor o igual que cero.
Sea o una supercie reglada con parametrizacin:
:(n. t) = (n) +t n(n). (n. t) 1.
36
Supongamos adems que todos los puntos de la supercie son regulares; esto
es, :
&
(n. t) .:
t
(n. t) ,=

0, para todo (n. t) 1. Se tiene:

:
&
(n. t) =
0
(n) +t n
0
(n).
:
t
(n. t) = n(n).

`(n. t) =
1
|:
&
(n. t) .:
t
(n. t)|
:
&
(n. t) .:
t
(n. t)
=
1
|:
&
(n. t) .:
t
(n. t)|
(
0
(n) +t n
0
(n)) . n(n).
:
&&
(n. t) =
00
(n) +t n
00
(n).
:
&t
(n. t) = n
0
(n).
:
tt
(n. t) =

0.
Por tanto, el determinante de la matriz de la segunda forma fundamental en
un punto arbitrario 1 con

C1 = :(n. t) es:

:
&&
(n. t)

`(n. t) :
&t
(n. t)

`(n. t)
:
&t
(n. t)

`(n. t)

0

`(n. t)

=
_
:
&t
(n. t)

`(n. t)
_
2
_ 0.
Teniendo en cuenta las expresiones de :
&t
(n. t) y

`(n. t) obtenemos:
:
&t
(n. t)

`(n. t) = n
0
(n)
1
|:
&
(n. t) .:
t
(n. t)|
((
0
(n) +t n
0
(n)) . n(n))
=
1
|:
&
(n. t) .:
t
(n. t)|
[ n
0
(n).
0
(n) +t n
0
(n). n(n)]
=
1
|:
&
(n. t) .:
t
(n. t)|
[ n
0
(n).
0
(n). n(n)] .
Por tanto,

:
&&
(n. t)

`(n. t) :
&t
(n. t)

`(n. t)
:
&t
(n. t)

`(n. t)

0

`(n. t)

=
[
0
(n). n(n). n
0
(n)]
2
|:
&
(n. t) .:
t
(n. t)|
2
.
Teniendo en cuenta
det
_
1(n. t) 1(n. t)
1(n. t) G(n. t)
_
= |:
&
(n. t) .:
t
(n. t)|
2
.
det
_
1(n. t) `(n. t)
`(n. t) `(n. t)
_
=
[
0
(n). n(n). n
0
(n)]
2
|:
&
(n. t) .:
t
(n. t)|
2
.
37
la curvatura total de una supercie reglada es:
1
T
(n. t) =
[
0
(n). n(n). n
0
(n)]
2
|:
&
(n. t) .:
t
(n. t)|
4
_ 0.
Por tanto, los puntos de las supercies regladas son hiperblicos, parablicos
o planos.
Llamamos parmetro de distribucin y lo denotamos j(n) al valor del
producto mixto:
j(n) = [
0
(n). n(n). n
0
(n)] .
Si j(n) = 0 entonces 1
T
(n. t) = 0 y el punto 1 con

C1 = :(n. t) es un
punto parablico o plano. Una de las curvaturas principales es cero y por
tanto, las lneas asintticas son lneas de curvatura.
Si j(n) ,= 0 entonces 1
T
(n. t) < 0 y el punto 1 con

C1 = :(n. t) es un
punto hiperblico. Una de las curvaturas principales es negativa y la otra es
positiva.
3.2 Clasicacin de las supercies regladas
1. Si j(n) = [
0
(n). n(n). n
0
(n)] = 0 para todo valor del parmetro n
la supercie es desarrollable. Se tienen los siguientes casos:
(a) Si n
0
(n) =

0 entonces n(n) = n es un vector constante y la
supercie es una supercie cilndrica. En este caso, se tiene:
:
&
(n. t) .:
t
(n. t) = (
0
(n) +t n
0
(n)) . n(n)
=
0
(n) . n.
Si
0
(n) . n ,=

0 (esto es, los vectores

0
(n) y n no son paralelos)
entonces el vector normal es

`(n. t) =
:
&
(n. t) .:
t
(n. t)
|:
&
(n. t) .:
t
(n. t)|
=

0
(n) . n
|
0
(n) . n|
.
Ntese que es constante a lo largo de cada generatriz ya que no
depende del parmetro t.
38
(b) Si
0
(n) =

0 entonces (n) es constante; esto es, consiste en un
nico punto. La supercie es una supercie cnica. En este caso,
se tiene:
:
&
(n. t) .:
t
(n. t) = (
0
(n) +t n
0
(n)) . n(n)
= t n
0
(n) . n(n).
Si n
0
(n) . n(n) ,=

0 (esto es, los vectores n
0
(n) y n(n) no son
paralelos) entonces el vector normal es

`(n. t) =
t n
0
(n) . n(n)
|t n
0
(n) . n(n)|
=
n
0
(n) . n(n)
| n
0
(n) . n(n)|
.
Ntese que es constante a lo largo de cada generatriz ya que no
depende del parmetro t.
(c) Si n
0
(n) ,=

0,
0
(n) ,=

0 entonces la condicin j(n) = [

0
(n). n(n). n
0
(n)] =
0 nos indica que los vectores n
0
(n),
0
(n) y n(n) son coplanarios.
Se tiene:
:
&
(n. t) .:
t
(n. t) =
0
(n) . n(n) +t n
0
(n) . n(n).
Como n
0
(n),
0
(n) y n(n) son coplanarios los vectores
0
(n) .
n(n) y n
0
(n) . n(n) son paralelos y por tanto, :
&
(n. t) .:
t
(n. t) es
proporcional al vector n
0
(n). n(n) que no depende del parmetro
t. Luego, el plano tangente es el mismo en todos los puntos de la
generatriz. Veremos ms adelante que en este caso la supercie es
una supercie desarrollable tangencial.
2. Si j(n) ,= 0 para todo valor del parmetro n la supercie es no desar-
rollable o alabeada.
3.3 Puntos singulares de una supercie reglada
Los puntos singulares de una supercie con parametrizacin :(n. t) = (n) +
t n(n) son aquellos puntos 1 con

C1 = :(n. t), que verican:
:
&
(n. t) .:
t
(n. t) = (
0
(n) +t n
0
(n)) . n(n) =

0.
39
Vamos a hallar los valores del parmetro t para los cuales se cumple la condi-
cin anterior. Para ello, multiplicamos escalarmente la expresin anterior
por n
0
(n) . n(n), suponiendo n
0
(n) . n(n) ,=

0. Se tiene:
0 = (:
&
(n. t) .:
t
(n. t)) ( n
0
(n) . n(n))
= ((
0
(n) +t n
0
(n)) . n(n)) ( n
0
(n) . n(n))
= (
0
(n) . n(n)) ( n
0
(n) . n(n)) +t | n
0
(n) . n(n)|
2
.
de donde, se obtiene:
t =
(
0
(n) . n(n)) ( n
0
(n) . n(n))
| n
0
(n) . n(n)|
2
.
Por tanto, los puntos singulares de la supercie se encuentran en la curva
con parametrizacin:

,(n) = (n)
(
0
(n) . n(n)) ( n
0
(n) . n(n))
| n
0
(n) . n(n)|
2
n(n).
que llamamos lnea de estriccin. Llamamos puntos centrales a los puntos
regulares de la lnea de estriccin. Ntese que en la lnea de estriccin adems
de los puntos singulares se encuentran los puntos de la supercie tales que el
vector n
0
(n) . n(n) es ortogonal al vector :
&
(n. t) .:
t
(n. t).
3.3.1 Puntos centrales
Veamos que en una supercie reglada no desarrollable la curvatura de Gauss
alcanza su valor mximo en los puntos centrales. Supongamos j(n) ,= 0,
teniendo en cuenta la expresin de la curvatura de Gauss:
1
T
(n. t) =
[
0
(n). n(n). n
0
(n)]
2
|:
&
(n. t) .:
t
(n. t)|
4
< 0.
se deduce que el valor absoluto de la curvatura de Gauss, [1
T
(n. t)[, es mx-
imo cuando el valor de
|:
&
(n. t) .:
t
(n. t)|
2
es mnimo. Llamamos (n. t) = :
&
(n. t) . :
t
(n. t). Teniendo en cuenta la
siguiente expresin:
:
&
(n. t) .:
t
(n. t) =
0
(n) . n(n) +t n
0
(n) . n(n).
40
se tiene:
0 =
d
dt
|:
&
(n. t) .:
t
(n. t)|
2
=
d
dt
((n. t) (n. t)) = 2
d
dt
(n. t) (n. t)
= 2 ( n
0
(n) . n(n)) (
0
(n) . n(n) +t n
0
(n) . n(n))
= 2
_
( n
0
(n) . n(n)) (
0
(n) . n(n)) +t | n
0
(n) . n(n)|
2
_
.
Por tanto, el valor mximo de |:
&
(n. t) .:
t
(n. t)|
2
se alcanza para el siguiente
valor de t:
t =
( n
0
(n) . n(n)) (
0
(n) . n(n))
| n
0
(n) . n(n)|
2
.
que coincide con el valor del parmetro t de los puntos centrales de la super-
cie. Por tanto, en los puntos centrales el valor absoluto de la curvatura de
Gauss es mximo.
3.3.2 Arista de retroceso
Si la supercie es desarrollable entonces los vectores
0
(n), n(n), n
0
(n) son
coplanarios y el vector n
0
(n). n(n) no es ortogonal al vector :
&
(n. t).:
t
(n. t).
Por tanto, todos los puntos de la lnea de estriccin son puntos singulares y
en este caso, a la curva con parametrizacin:

,(n) = (n)
( n
0
(n) . n(n)) (
0
(n) . n(n))
| n
0
(n) . n(n)|
2
n(n).
la llamaremos arista de retroceso. A lo largo de la arista de retroceso la
supercie se desdobla en dos hojas.
Como n
0
(n),
0
(n) y n(n) son coplanarios, el vector
0
(n) se puede
escribir como combinacin lineal de los vectores n
0
(n) y n(n):

0
(n) = `(n) n(n) +j(n) n
0
(n).
Por tanto,

0
(n) . n(n) = (`(n) n(n) +j(n) n
0
(n)) . n(n)
= j(n) n
0
(n) . n(n).
41
Multiplicando escalarmente la expresin anterior por el vector n
0
(n) . n(n)
obtenemos:
(
0
(n) . n(n)) ( n
0
(n) . n(n)) = j(n) | n
0
(n) . n(n)|
2
.
de donde
j(n) =
(
0
(n) . n(n)) ( n
0
(n) . n(n))
| n
0
(n) . n(n)|
2
.
y la arista de retroceso se puede parametrizar como sigue:

,(n) = (n) j(n) n(n).

Por tanto, (n) =

,(n) + j(n) n(n) y podemos parametrizar la supercie en
funcin de la arista de restroceso como sigue:
:(n. t) =

,(n) +j(n) n(n) +t n(n)
=

,(n) + (j(n) +t) n(n).
Derivando

,(n) = (n)j(n) n(n) y teniendo en cuenta
0
(n) = `(n) n(n)+
j(n) n
0
(n), se tiene:

,
0
(n) =
0
(n) j
0
(n) n(n) j(n) n
0
(n)
= `(n) n(n) +j(n) n
0
(n) j
0
(n) n(n) j(n) n
0
(n)
= (`(n) j
0
(n)) n(n).
Por tanto:
1. Si `(n) = j
0
(n) entonces

,
0
(n) =

0 y la supercie es una supercie
cnica.
2. Si `(n) ,= j
0
(n), el vector n(n) es proporcional a

,
0
(n) y a supercie
es una superce desarrollable tangencial y puede parametrizarse como
sigue:
:(n. t) =

,(n) +
t
`(n) j
0
(n)

,
0
(n). (n. t) 1 R.
en funcin de su arista de retroceso.
42
3.4 Ejemplos y ejercicios
Ejemplo 1 Dar una parametrizacin de la supercie engendrada por
las rectas tangentes a la curva (n) = (c
&
. c
&
. n).
El vector director de la recta generatriz que se apoya en el punto (n) de
la curva directriz es:

0
(n) = (c
&
. c
&
. 1).
Por tanto, una parametrizacin de la supercie es:
:(n. t) = (n) +t
0
(n)
= (c
&
+tc
&
. c
&
tc
&
. n +t).
Dicha supercie es una supercie desarrollable tangencial con arista de retro-
ceso (n).
Ejemplo 2 Vamos a clasicar la supercie con parametrizacin:
:(n. ) =
_
n + cos n. n
2
+ sin n. n
3
_
.
La parametrizacin anterior es lineal en el parmetro . Por tanto, la
podemos escribir como sigue:
:(n. ) =
_
n. n
2
. n
3
_
+ (cos n. sin n. 0)
= (n) + n(n).
con
(n) =
_
n. n
2
. n
3
_
.
n(n) = (cos n. sin n. 0) .
Tenemos:

0
(n) =
_
1. 2n. 3n
2
_
.
n
0
(n) = (sin n. cos n. 0) .
Por tanto, el parmetro de distribucin es:
j(n) = [
0
(n). n(n). n
0
(n)]
= det
_
_
1 2n 3n
2
cos n sin n 0
sin n cos n 0
_
_
= 3n
2
,= 0 si n ,= 0.
43
La supercie es una supercie alabeada.
Los puntos singulares de la supercie son los que satisfacen la siguiente
condicin:

0 = :
&
(n. ) .:

(n. )
=
_
1 sin n. 2n + cos n. 3n
2
_
. (cos n. sin n. 0)
=
_
3n
2
sin n. 3n
2
cos n. sin n 2ncos n
_
;
esto es,
_
_
_
0 = n
2
sin n.
0 = n
2
cos n.
0 = sin n 2ncos n .
==n = 0 y = 0.
El nico punto singular de la supercie es el punto
:(0. 0) = (0. 0. 0) .
Los puntos centrales de la supercie se alcanzan en el siguiente valor del
parmetro :
=
( n
0
(n) . n(n)) (
0
(n) . n(n))
| n
0
(n) . n(n)|
2
.
Teniendo en cuenta:

0
(n) . n(n) =
_
1. 2n. 3n
2
_
. (cos n. sin n. 0)
= (3n
2
sin n. 3n
2
cos n. sin n 2ncos n).
n
0
(n) . n(n) = (sin n. cos n. 0) . (cos n. sin n. 0)
= (0. 0. 1).
obtenemos:
= sin n 2ncos n.
y una paraetrizacin de la lnea de estriccin es:

,(n) = (n) (sin n 2ncos n) n(n)

=
_
n. n
2
. n
3
_
(sin n 2ncos n) (cos n. sin n. 0)
=
_
n (sin n 2ncos n) cos n. n
2
(sin n 2ncos n) sin n. n
3
_
.
Dicha curva contiene al punto singular y a los puntos centrales.
44
Ejemplo 3 Obtener una parametrizacin de la supercie formada por
segmentos que se apoyan en el arco de circunferencia r
2
+
2
= 1, . = 0, del
primer octante y el segmento de la recta r+ = 1, . = 0 del primer octante.
Primero vamos a obtener parametrizaciones del arco de circunferencia y
del segmento respectivamente. El arco de circunferencia lo parametrizamos
como sigue:
c
1
: [0. :,2] R
3
.
c
1
(c) = (cos c. sin c. 0).
Parametrizamos el segmento con el mismo parmetro con el que hemos para-
metrizado el arco de circunferencia. Teniendo en cuenta el siguiente dibujo:
obtenemos:
1 : =
1
cos c + sin c
.
por tanto, podemos parametrizar el segmento como sigue:
c
2
: [0. :,2] R
3
.
c
2
(c) =
_
cos c
cos c + sin c
. 1
cos c
cos c + sin c
. 4
_
.
Consideramos ahora el vector director de la recta que se apoya en el arco de
circunferencia y en el segmento:
n(c) = c
2
(c) c
1
(c)
=
_
cos c
cos c + sin c
cos c. 1
cos c
cos c + sin c
sin c. 4
_
.
Por tanto, una parametrizacin de la supercie considerada es:
:(c. t) = c
1
(c) +tn(c)
= (cos c. sin c. 0) +t
_
cos c
cos c + sin c
cos c. 1
cos c
cos c + sin c
sin c. 4
_
.
con c [0. :,2] y t [0. 1].
45
Ejercicio 1 Parametrizar la supercie formada por rectas forman un
ngulo de 45
c
con el eje C2 y que se apoyan en la elipse de ecuaciones
a
2
4
+
j
2
3
= 1, . = 0 y en la circunferencia contenida en el plano . = 20, de
ecuacin r
2
+
2
= 1. Vase la siguiente gura:
Ejercicio 2 Parametrizar la supercie formada por rectas que se apoyan
en el segmento de ecuacin r+ = 1, contenido en el plano . = 4, y en el arco
de circunferencia del primer cuadrante del plano . = 0, de la circunferencia
centrada en el origen y de radio unidad Vase la siguiente gura:
46
4 Bibliografa
1. A. F. Costa, M. Gamboa, A. M. Porto, Ejercicios de Geometra Difer-
encial de curvas y supercies, Sanz y Torres, 1998.
2. Manfredo P. do Carmo, Dierential geometry of curves and surfaces,
Englewood Clis, New Jersey: Prentice Hall, 1976.
3. Dirk J. Struik, Lectures on Classical Dierential Geometry, Dover Pub-
lications, Inc., N.Y., 1961.
47