Vol.

XVI, No 1, Junio (2008)

Matemticas: 1122

Matemticas:
Enseanza Universitaria

c
Escuela
Regional de Matemticas
Universidad del Valle - Colombia

Algunas aplicaciones de las curvas de Bertrand

Antonio Gonzlez Herrera

Juan Nez Valds

Universidad de Sevilla

Universidad de Sevilla

Recibido Abr. 18, 2007

Aceptado Dic. 14, 2007

Abstract
This paper deals with Bertrand curves. Some proofs of its main properties simplifying the
habitual ones are shown. Some concepts of previous papers by several authors, relating Bertrand
curves with other different types of curves and with some surfaces, are also improved.
Keywords: Bertrand curves, Ruled surfaces, Minimal Surfaces.
MSC(2000): 53A04, 53A05, 53A10.
Resumen
El estudio de las curvas de Bertrand constituye el objetivo principal del presente trabajo. En el
mismo, se dan demostraciones de algunas de sus propiedades, que simplifican a las ya existentes,
y se continan trabajos previos de otros autores, que relacionan este tipo de curvas con otros
tipos diferentes de curvas, particularmente las hlices, y con otras superficies, particularmente
las regladas.
Palabras y frases claves: Curvas de Bertrand, Superficies regladas, Superficies mnimas.

Introduccin
El problema de encontrar una curva cuyas rectas normales principales fueran tambin las rectas normales principales de otra curva diferente fue, al menos, aparentemente, propuesto por el matemtico francs Adhmar Jean Claude Barr de
Saint-Venant (Seine-et-Marne, 1797 - Loir-et-Cher, 1886), aunque fue finalmente
resuelto por el tambin matemtico francs Joseph Louis Franois Bertrand (Pars 1822 - Pars 1900), en 1850, en su libro titulado Trait lmentaire dalgbre,
destinado curiosamente a alumnos de enseanza secundaria. Por esta razn, a
estas curvas se les denomina actualmente como curvas de Bertrand, precisamente
en honor de este ltimo.
No obstante, estas curvas no suelen estar suficientemente tratadas en los textos
usuales de Geometra Diferencial, a pesar de tener, como se ver en lo que sigue,
una profunda relacin tanto con otros tipos de curvas como con determinadas
superficies. Por otra parte, no son tampoco muy abundantes las aportaciones que
existen en la literatura que traten sobre ellas. El objetivo principal de este trabajo
que se presenta es entonces intentar paliar, al menos parcialmente, esta situacin.
Para ello, en la primera seccin del mismo se recuerdan y se demuestran las
principales propiedades de estas curvas, presentndose en algunos casos demostraciones diferentes de las habituales, que simplifican el procedimiento. Es conveniente indicar al respecto, que no es usual encontrar las demostraciones de estas

12

A. Gonzlez y J. Nez

propiedades en los textos ms conocidos de Geometra Diferencial, en los que,

en su mayora, nicamente aparece la definicin de estas curvas, mientras que
sus propiedades nicamente aparecen como ejercicios a resolver por el lector, no
resultando estas resoluciones, por lo general, triviales.
En la segunda seccin se comenta un mtodo de construccin de este tipo de
curvas a partir de las curvas esfricas, utilizndose para ello la base de Sabban
tampoco excesivamente habitual en los textos de esa disciplina. Esta construccin
est basada en un trabajo previo de Kasap (vanse [5, 6]) y en otros trabajos
previos de varios autores, como pueden ser Izumiya y Takeuchi, y Osman, Handan y Mahmut. Los dos primeros relacionan este tipo de curvas con otros tipos
diferentes, como las curvas esfricas, las hlices, las curvas paralelas, las evolutas
y las evolventes (vase [4]) y con las superficies regladas (vase [3]). Los tres ltimos citados trabajan sobre superficies regladas en el espacio tridimensional de
Minkowski (vase [7]).
Finalmente, se utilizan en la ltima seccin algunas propiedades de estas curvas, en particular su relacin con las hlices circulares, para probar que el helicoide
recto es, adems del plano, la nica superficie mnima, que es adems reglada.
En el trabajo se hace uso de las definiciones y resultados propios de un conocimiento elemental de la Geometra Diferencial de Curvas y Superficies. Para una
visin completa de los mismos, el lector puede consultar [2] o [1], por ejemplo.
1

Curvas de Bertrand

En esta seccin se recuerda la definicin de curvas de Bertrand y se prueban sus

propiedades ms importantes. Algunas de las demostraciones que se muestran
simplifican bastante las que en escasas ocasiones, por lo general, aparecen en
algunos textos de Geometra Diferencial.
Definicin 1.1. Una curva parametrizada regular (no necesariamente por la longitud de arco) : I R3 , = (t), con k(t) 6= 0 y (t) 6= 0, t I, se dice
curva de Bertrand si existe una curva regular : I R3 , = (t), de forma
que las normales de y en t I son iguales. En este caso, se dice que es
una representacin de Bertrand (o curva asociada) de , y se puede escribir:
(t) = (t) + u n (t).
Las propiedades ms conocidas de estas curvas de Bertrand son las siguientes:
Proposicin 1.2. La distancia entre puntos homlogos de dos curvas de Bertrand
es constante.
Demostracin. Sea : I R3 , = (s) una curva alabeada regular que supondremos parametrizada naturalmente. Si es de Bertrand, existe para cada s I
el homlogo del punto (s), que designaremos por (s). Como (s) pertenece a
la normal principal a en (s), tenemos que:
(s) = (s) + u(s) n (s)

(1)

Algunas aplicaciones de las curvas de Bertrand

13

donde u(s) denota, en valor absoluto, la distancia entre puntos homlogos. Tenemos as que es una curva asociada a .
Para probar que la distancia entre puntos homlogos es constante veremos que
la funcin u(s) es constante, para ello comprobaremos que u0 (s) = 0 s I.
Derivando en (1) y teniendo en cuenta las Ecuaciones de Frenet, se tienen:
0 (s) = t (s) + u0 (s)n (s) + u(s)n (s)
= t (s) + u0 (s)n (s) + u(s)[ (s)t (s) + (s)b (s)]
= [1 u(s) (s)]t (s) + u0 (s)n (s) + (s)u(s)b (s)

(2)

Multiplicando ahora la expresin (2) por n (s) y teniendo en cuenta que dicho
vector es proporcional a n (s), y por tanto ortogonal a 0 (s), obtenemos:
0 = u0 (s) = u(s) constante.

Ntese que es necesario exigir la condicin de ser una curva alabeada (es
decir, (t) 6= 0 con t I) en la Definicin 1 para que se garantice la dependencia
continua de puntos homlogos, ya que en caso de no contemplarse esta exigencia,
la proposicin anterior no sera vlida. Como ejemplo de esto que decimos, bastara
tomar como curva media circunferencia centrada en el origen y como curva
una curva conexa que fuese la unin de varios trozos de circunferencias centradas
tambin en el origen, cada uno de esos trozos con diferente radio, y de otras curvas
que conectasen entre s esos trozos.
Proposicin 1.3. El ngulo que forman las tangentes en puntos homlogos de
dos curvas de Bertrand es constante.
Demostracin. Sea : I R3 , = (s) una curva alabeada regular parametrizada naturalmente (en adelante, CARPN). Si suponemos que es de Bertrand,
tenemos que existe otra curva : I 0 R3 , = () (que tambin supondremos parametrizada naturalmente) verificando que para cada s I existe I 0
tal que n (s) = n (). Sean (s0 ) y (0 ) dos puntos homlogos. Se probar
que el ngulo que forman los vectores t (s0 ) y t (0 ) es constante viendo que el
producto escalar de dichos vectores es constante, y ello se har probando que la
derivada de tal producto es nula:
dt (0 )
dt (s0 )
t (0 ) + t (s0 )
ds
ds
 
dt (0 ) d
= (s0 )n (s0 )t (0 ) + t (so )
d
ds =0
 
d
= (s0 )n (s0 )t (0 ) +
(0 )t (s0 )n (0 )
ds =0

d
(t (s0 ) t (0 )) =
ds

14

A. Gonzlez y J. Nez

Ahora bien, por ser (s0 ) y (0 ) puntos homlogos, los vectores n (s0 ) y n (0 )
son proporcionales, y por ello t (s0 ) n (s0 ) kn (0 ) y lo mismo para t (0 ), de
donde si sigue el resultado.
Corolario 1.4. Dadas dos curvas de Bertrand (asociadas), el ngulo que forman
los planos osculadores en puntos homlogos es constante.
Demostracin. Por la proposicin anterior, sabemos que el ngulo que forman los
vectores tangentes a las curvas en puntos homlogos es constante, pero adems,
por la definicin de curva de Bertrand, sabemos que el ngulo que forman los vectores normales principales tambin es constante, pudiendo valer 0 o (n = n ).
Como el vector binormal viene determinado unvocamente por los vectores tangente y normal principal, tenemos que los vectores binormales, en puntos homlogos,
forman un ngulo constante, por lo que los planos osculadores (caracterizados por
dicho vector) forman un ngulo constante.
Teorema 1.5 (Teorema de Caracterizacin de curvas de Bertrand). Una curva
con funciones de torsin y curvatura no nulas en cada punto es de Bertrand si y
slo si existe una relacin lineal entre dichas funciones.
Demostracin de la condicin necesaria. Sea : I R3 , = (s) una CARPN
que, por hiptesis, suponemos de Bertrand. Como vimos en la demostracin de
la proposicin 1, una curva asociada a es de la forma (s) = (s) + un (s). Si
es el parmetro natural de , tenemos que:
t ()t (s) =

d()
d(s) ds
ds
t (s) =
t (s) =
(1 u (s)) = cos
d
ds d
d

que es constante para ciertos s y .

Por otra parte
| sen | = |t () t (s)|

 

 ds
  ds




=  [(1 u (s))t (s) u (s)b (s)] t (s)] =  u (s)
d
d

Como suponemos 6= 0, llamando A =

relaciones anteriores que:
1 u (s)
A
=
u (s)
u

1u (s)
u (s)

cte, obtenemos de las dos

= u (s) + A (s) = 1.

Obtenemos as, una relacin lineal entre torsin y curvartura.

Demostracin de la condicin suficiente. Dada la curva : I R3 , = (s)
CARPN, suponemos que existe una relacin lineal entre sus funciones de curvatura
y torsin:
A (s) + B (s) = 1.

15

Algunas aplicaciones de las curvas de Bertrand

Sea : I R3 , = (s) dada por la expresin (s) = (s) + An (s). Veremos

que esta curva es asociada a y que por tanto es de Bertrand. Para ello
ser suficiente ver que el vector n (s) es proporcional a n (s). Se trata pues de
comprobar que n (s) es ortogonal a los vectores 0 (s) y 0 (s) 00 (s). Puesto que
el vector 0 (s) viene dado por:
0 (s) = [1 A (s)]t (s) + A (s)b (s)
es obvio que ste es perpendicular a n (s). Si adems usamos la relacin de la
que partimos por hiptesis, obtenemos:
0 (s) = (s)[Bt (s) + Ab (s)]
y por derivacin:
00 (s) = 0 (s)[Bt (s) + Ab (s)] + (s)[B (s) A (s)]n (s).
Para ver que n (s) ( 0 (s) 00 (s)) observamos que:


0
1
0

0
00

0
(s)A
(n (s) ) =  (s)B
 0 (s)B (s)[B (s) A (s)] A 0 (s)

lo que prueba el aserto.




 = 0,



Corolario 1.6. Sea una curva con torsin y curvatura no nulas. Son equivalentes:
a) es una hlice circular.
b) posee infinitas curvas asociadas.
c)
posee dos curvas asociadas.
Demostracin. a = b Suponemos que la curva = (s) es una hlice circular,
por lo que (s) = 0 y (s) = 0 . Para cada u que tomemos existe un B 6= 0
tal que u0 + B0 = 1. Por tanto, el teorema de caracterizacin nos asegura la
existencia de infinitas curvas asociadas a .
b = c Trivial.
c = a Supongamos que existen dos curvas distintas asociadas a dadas por:
(s) = (s) + un (s),

(s) = (s) + u0 n (s)

Por tanto, por el teorema de caracterizacin, tenemos que existen B y B 0 , unvocamente determinados por u y u0 respectivamente, que verifican:

u (s) + B (s) = 1,
u0 (s) + B 0 (s) = 1.
Derivando el sistema anterior se obtiene:

u0 (s) + B0 (s) = 1,
u0 0 (s) + B 0 0 (s) = 1.

16

A. Gonzlez y J. Nez

Entonces, como (s) es distinta de (s), u 6= u0 y por tanto B 6= B 0 , de donde

se deduce que tanto 0 (s) como 0 (s) son nulos y por tanto (s) y (s) son
constantes, hecho que caracteriza a las hlices circulares.
Proposicin 1.7. Toda curva plana es de Bertrand y posee infinitas curvas asociadas.
Demostracin. Procedemos del mismo modo que en la condicin suficiente del
teorema de caracterizacin. Dada : I R3 , = (s) una CARPN cuya
funcin de torsin es nula en todo punto, definimos la curva = (s) como:
(s) = (s) + un (s)
siendo u constante.
Comprobaremos ahora que para cualquiera que sea el valor de u, la curva
es asociada a . Para ello veremos que el vector n (s) es ortogonal a 0 (s) y a
0 (s) 00 (s). Lo primero es obvio, pues 0 (s) = [1u (s)]t (s) por ser (s) = 0
s I. Si ahora derivamos 0 (s) tenemos:
00 (s) = u0 (s)t (s) + (s)[1 u (s)]n (s).
Finalmente, es inmediato comprobar que 0 (s) 00 (s) es ortogonal a n (s) viendo
que el producto mixto (n (s) 0 (s) 00 (s)) es nulo.
Por tanto, para cada valor de u obtenemos una curva asociada a y por tanto,
sta es de Bertrand.
Teorema 1.8 (Teorema de Schell). El producto de las torsiones de dos curvas de
Bertrand en puntos homlogos, es constante y no negativo.
Demostracin. Sea : I R3 , = (s) una CARPN. Como suponemos que
es de Bertrand, existe un escalar A tal que la curva (s) = (s) + An (s) es
asociada a . Para ver que (s) (s) es constante, calculamos la expresin de
(s).
Podemos suponer desde el principio que (s) 6= 0, ya que en caso contrario el
teorema se verifica trivialmente, puesto que = 0 es constante y no negativo.
Si suponemos (s) 6= 0, podemos aplicar la condicin necesaria del teorema de
caracterizacin, y entonces tenemos la relacin A (s) + B (s) = 1, para un
cierto B no nulo. Busquemos entonces la expresin de :
0 = [Bt + Ab ],

00 = 0 [Bt + Ab ] + [B A ]n

000 = [00 B (B A )]t

+ [20 B 3A 0 + B0 ]n

+ [A00 + 2 (B A )]b

Algunas aplicaciones de las curvas de Bertrand

17

0 00 = 2 B[B A ]b 2 A[B A ]t
k 0 00 k2 = 4 [B A ]2 [B 2 + A2 ]

{ 0 , 00 , 000 } = { 000 , 0 , 00 } = 000 ( 0 00 )

= A2 (B A )[00 B (B A )]
= B2 (B A )[00 A 2 (B A )]

Por tanto:
=

{ 0 , 00 , 000 }
A(00 B (B A ) + B(A00 + 2 (B A )
=
k 0 00 k2
2 (B A )(A2 + B 2 )
1

z
}|
{
(A + B )(B A )
1
1
=
2
2
2
2
(B A )(A + B )
(A + B 2 )

Por tanto =

1
,
A2 +B 2

que es constante y no negativo.

Corolario 1.9. El signo de las torsiones de dos curvas asociadas es el mismo.

Demostracin. Inmediata, en virtud del Teorema de Schell.
2

Mtodo para construir curvas de Bertrand

El objetivo de este apartado es mostrar un mtodo, ideado por Kasap y Kuruoglu

[6], que permite construir curvas de Bertrand a partir de curvas esfricas, as como
demostrar que toda curva de Bertrand puede obtenerse por este mtodo.
Comenzamos recordando algunas definiciones ya conocidas e introduciendo
otras ms novedosas:
Definicin 2.1. Se denomina curva esfrica a toda curva alabeada contenida
enteramente en una superficie esfrica (que coincide con la esfera osculatriz a la
curva en todo punto).
Normalmente, al tratarse las curvas esfricas de curvas alabeadas, podra usarse la base de Frenet {t, n, b}, Sin embargo, en el caso particular de estas curvas,
puede suponerse sin prdida de generalidad que el radio de la superficie esfrica
es la unidad, por lo que el vector de posicin de cada punto ser mdulo 1 y ortogonal al vector tangente. Esta propiedad nos sirve para definir una nueva base
segn:
Definicin 2.2. Sea : I S 2 una curva esfrica paramerizada por la longitud
de arco . Sea t() = ()

y definamos el vector s() como s() = () t().

Se define la base o triedro de Sabban en cada punto de como {(), t(), s()},
que es claramente ortonormal (vase [8]).

18

A. Gonzlez y J. Nez

Una vez obtenida la base de Sabban podemos derivar sus componentes, obtenindose as unas ecuaciones similares a las de Frenet-Serret para curvas esfricas.
Teorema 2.3. En las condiciones

de la definicin anterior, se tienen:

=
t,
= + g s,
=
g t,

donde g denota la curvatura geodsica de en S 2 .

Demostracin. Por una parte, se tienen:
Derivando
kk = 1 = = 0 =
= 1.

kk
= 1 =
= 0.

g =

{,
, } = {
, , }
= ( )
= s.

1) Por definicin, = t. 2) Como queremos expresar el vector t en funcin de la

base de Sabban, imponemos que t = + t + s y multiplicamos la expresin
por , t y s respectivamente, obtenindose:
= = 1,
= t

= = 0,
= tt

= s = g .
= ts

Por tanto, t = + g s. 3) Por definicin, s = t, por lo que:

t) = t + t = t t + ( + g s) = g s = g s = g t
s = (
Centrndonos ya en nuestro objetivo, vamos a encontrar, dada una curva esfrica,
una curva que sea de Bertrand, y despus probaremos que toda curva de Bertrand
puede hallarse a partir de este procedimiento.
Proposicin 2.4. Sea : I S 2 una CARPN esfrica con parmetro natural
. Se define la curva segn:
Z
Z
() = a
( )d + a cot
s( )d + c
0

donde a y son constantes reales y c es una constante vectorial. Entonces, en

estas condiciones, la curva es de Bertrand.

Demostracin. Probaremos el resultado calculando las funciones de curvatura y

torsin de la curva y comprobando que existe una relacin de dependencia lineal
entre ambas.
r
p
a2
0
0
2
2
2
= a( + cot s) k
k = a + a cot =
sen2
00
= a + a cot s = a(1 cot g )t
000 = a cot g t + a(1 cot g )( + g s)

19

Algunas aplicaciones de las curvas de Bertrand

0 00 = a2 (1 cot g )s + a2 cot2 (cot 1)

k
0 00 k2 = a4 (1 cot g )2 (1 + cot2 ) =
k
0 k3 =

a3
sen3

a4 (1 cot g )2
sen2

donde = 1



a
0
a cot

0 00 000
0
a(1 cot g )
0
{
, , } = 
 a(1 cot g )
a cot g
a(1 cot g )g
= a3 (1 cot g )2 g + a3 (1 cot g )2 cot

= a3 (1 cot g )2 (g + cot )

Aplicando ahora las frmulas para la curvatura y la torsin en funcin de cualquier

parmetro, se tienen:

sen2 (1 g cot )
k
0 00 k
=

k
0 k3
a

sen2 (g + cot )
{
0 , 00 , 000 }
=
.
k
0 00 k2
a

De las expresiones anteriores se sigue que a(

+ cot
) = 1 y por tanto, es una
curva de Bertrand.
Teorema 2.5. Toda curva de Bertrand puede construirse a partir de una curva
esfrica siguiendo el mtodo descrito en la proposicin anterior.
Demostracin. Si : I R3 , = (s) una CARPN es de Bertrand, el teorema
de caracterizacin nos asegura la existencia de dos nmeros reales no nulos A y
B tales que A
(s) + B (s) = 1. Tomamos a = A y cot = B/a. Sabemos, por la
demostracin del teorema de caracterizacin, que A 0, por lo que suponemos
a > 0 y escogemos = 1 tal que sena > 0. En base a lo anterior, definimos
entonces la curva esfrica:

(s) = (sen t(s) cosb(s)).

Demostraremos que (s) es una curva de Bertrand correspondiente a (s) mediante
el mtodo descrito antes:
0 (s) = (sen
(s) + cos
(s))
n(s) =

sen
(s);
n
a

Si denotamos por al parmetro natural de , obtenemos

parte:
a(s)

k 0 (s)k =
d
ds

sen
a

= sena . Por otra

d
sen

= a(sen t(s) cosb(s))

= sen (sen t(s) cosb(s))
ds
a

20

A. Gonzlez y J. Nez

a cot (s)

Puesto que s =
a

d d
d ds

sen

(s)
n
= a cot (sen t(s) cosb(s))

= cos(sen b(s)
+ cost(s))

d
, obtenemos:
ds

( )d + a cot

s( )d =

s0

sen (sen t(t) cos b(t))dt

+ cos t(t))dt =
cos(sen b(t)

s0

t(t)dt = (s) + c

s0

Finalmente, basta despejar (s) para obtener el resultado.

Corolario 2.6. Una curva esfrica es una circunferencia si y slo si sus curvas
de Bertrand correspondientes, segn el mtodo descrito anteriormente, son hlices
circulares.
Demostracin. Una curva esfrica es una circunferencia si y slo es plana, esto es,
2
su torsin es nula. Dada la
... curva esfrica : I S parametrizada naturalmen{,
, }
te, su torsin es = 2 . Por otra parte, g = {, ,
}. Derivando y teniendo
...
en cuenta las propiedades del producto mixto, obtenemos g = {,
, }, por lo
que = 0 si y slo si g = 0.
En la demostracin de la proposicin 4 se obtuvieron unas expresiones de
y
(referentes a ), a partir de las cuales, por derivacin, se llega a:
sen cos

=
g
a
Por tanto:

sen2
=
g
a

= 0 g = 0
= = 0

Y esto ocurre si y slo si es una hlice circular.

3

Una aplicacin de las curvas de Bertrand

En esta seccin se aaden algunas notas aclaratorias a la demostracin que hacen

Izumiya y Takeuchi [3] para probar, por aplicacin de las curvas de Bertrand, que
el helicoide recto es la nica superficie mnima, aparte del plano eucldeo, que es
reglada. Para ello, aparte de la propiedad de estas curvas que caracteriza a las
hlices circulares, se requerirn tambin algunos resultados previos de superficies
regladas. Entre ellos, el que se enuncia y demuestra en el siguiente Lema 1 y el que
afirma que la curvatura de Gauss de una superficie reglada mnima se anula, a lo
sumo, en puntos aislados, cuya demostracin puede ser consultada en la Seccin
3 de [4].

Algunas aplicaciones de las curvas de Bertrand

21

Lema 3.1. Sea M una superficie y p M tal que K(p) < 0 y H(p) = 0, entonces
p admite un par de direcciones asintticas ortogonales.
Demostracin. Dado p M , tenemos por hiptesis que H(p) = 0 y K(p) < 0.
Por el teorema de Euler, dado Y Tp M
n (Y ) = 1 (p) cos2 + 2 (p) sen2 ,
(1) , Y ), donde [0, 2). Puesto que las direcciones asintticas
siendo = (X\
son aquellas con curvatura normal nula

n (Y ) = 0

n (Y ) = 1 (p) cos2 + 2 (p) sen2

H(p)=0

r
1
1 (p) + 2 (p) tan = 0 tan =
2


1 = 4
tan = 1 =
2 = 3 4
K(p)<0

Entonces, hemos encontrado dos direcciones asintticas que forman un ngulo

1 y 2 respectivamente con la direccin principal X (1) y adems difieren en un
ngulo de 2 , por lo que son ortogonales.
Teorema 3.2. Con excepcin del plano, el helicoide recto es la nica superficie
reglada que es adems, mnima.
Demostracin. Supondremos ya conocido que el helicoide recto es una superficie
reglada y adems mnima, es decir, que H = 0. Se va a demostrar entonces que
es la nica superficie reglada que es adems mnima.
Para ello, supongamos que tenemos una superficie reglada M que es mnima,
siendo M distinta de un plano. Entonces, 1 = 2 , por lo que K = 21 0.
De aqu sigue que, como la curvatura de Gauss de una superficie reglada mnima
slo se anula en puntos aislados, podemos encontrar un entorno W de puntos
hiperblicos en M .
Por el Lema 1, el entorno W est recubierto por dos familias de curvas asintticas que se cortan ortogonalmente. Como M es reglada, por cada punto pasar
una recta generatriz que ser una de las dos lneas asintticas que pasen por ese
\
punto, pues por el teorema de Meusnier se tiene n = cos con = (n,
N), y
como la curvatura de una recta es nula, tenemos que su curvatura normal n
tambien es nula. Como las generatrices son lneas asintticas y M no es un plano,
podemos elegir un punto p M tal que la lnea asinttica que no es generatriz
tenga torsin no nula en p.
Recordamos que las lneas asintticas de una superficie se caracterizan porque
su vector binormal b es paralelo al vector normal a la superficie N, por tanto,
el vector normal principal n tendr la direccin de la recta generatriz en cada
punto de W , por ser las lneas asintticas ortogonales. Existe entonces un entorno

22

A. Gonzlez y J. Nez

V W tal que las generatrices de V son normales principales de la familia

de curvas asintticas no rectilneas. Por tanto, las lneas asintticas no rectilneas
comparten las mismas rectas normales, por lo que podemos afirmar que son asociadas. Como vimos anteriormente, una curva que tiene ms de una curva asociada
es necesariamente una hlice circular. Tenemos entonces que V es parte de un
helicoide recto, ya que ste se obtiene como la superficie reglada de las normales
principales de una hlice circular. Como la torsin de stas curvas es constante,
es obvio que toda la superficie es parte de un helicoide recto.
Referencias
[1] Bloch, E.D.: A First Course in Geometric Topology and Differential Geometry. Birkuser, 1997.
[2] Do Carmo, M.P. Geometra Diferencial de Curvas y Superficies. Alianza Editorial, 1990.
[3] Izumiya, S.;Takeuchi, N. Special curves and ruled surfaces Contributions to
Algebra and Geometry 44:1 (2003), 203-212.
[4] Izumiya, S.;Takeuchi, N. Generic properties of Helices and Bertrand curves.
Journal of Geometry 1 y 2 (2002), 97-109.
[5] Kasap, E. A method of the determination of a geodesic curve on ruled surface
with time-like rulings. Novi Sad Journal of Mathematics 35:2 (2005), 103-110.
[6] Kasap, E.; Kuruoglu, N. The Bertrand offsets of ruled surfaces in R13. Vietnamese Academy of Science and Technology, Institute of Mathematics. Personal Communication.
[7] Osman, O.A.; Handan, B.; Mahmut, E.: On the Ruled surfaces in Minkowski
3-space R13. Journal of Zhejiang University SCIENCE A 7:3 (2006), 326-329
[8] website: http://www.uv.es/monterde/pdfs/GDC-cap16.pdf (Sobre la base
de Sabban)
Direccin de los autores
Antonio Gonzlez Herrera Universidad de Sevilla, Facultad de Matemticas, Dpto.
Geometra y Topologa, Aptdo 1160. 41080-Sevilla (Espaa)
e-mail: antgonher@alum.us.es
Juan Nez Valds Universidad de Sevilla, Facultad de Matemticas, Dpto. Geometra y Topologa, Aptdo 1160. 41080-Sevilla (Espaa)
e-mail: jnvaldes@us.es