Sei sulla pagina 1di 12

Vol.

XVI, N
o
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
Universidad de Sevilla
Juan Nez Valds
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 dierent 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 simplican 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 supercies, particularmente
las regladas.
Palabras y frases claves: Curvas de Bertrand, Supercies regladas, Supercies mnimas.
Introduccin
El problema de encontrar una curva cuyas rectas normales principales fueran tam-
bin las rectas normales principales de otra curva diferente fue, al menos, apa-
rentemente, propuesto por el matemtico francs Adhmar Jean Claude Barr de
Saint-Venant (Seine-et-Marne, 1797 - Loir-et-Cher, 1886), aunque fue nalmente
resuelto por el tambin matemtico francs Joseph Louis Franois Bertrand (Pa-
rs 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 sucientemente 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
supercies. 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 demos-
traciones diferentes de las habituales, que simplican el procedimiento. Es conve-
niente 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 denicin 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, Han-
dan 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 supercies regladas (vase [3]). Los tres l-
timos citados trabajan sobre supercies regladas en el espacio tridimensional de
Minkowski (vase [7]).
Finalmente, se utilizan en la ltima seccin algunas propiedades de estas cur-
vas, en particular su relacin con las hlices circulares, para probar que el helicoide
recto es, adems del plano, la nica supercie mnima, que es adems reglada.
En el trabajo se hace uso de las deniciones y resultados propios de un cono-
cimiento elemental de la Geometra Diferencial de Curvas y Supercies. 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 denicin de curvas de Bertrand y se prueban sus
propiedades ms importantes. Algunas de las demostraciones que se muestran
simplican bastante las que en escasas ocasiones, por lo general, aparecen en
algunos textos de Geometra Diferencial.
Denicin 1.1. Una curva parametrizada regular (no necesariamente por la lon-
gitud de arco) : I R
3
, = (t), con k(t) = 0 y (t) = 0, t I, se dice
curva de Bertrand si existe una curva regular : I R
3
, = (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) +un

(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 R
3
, = (s) una curva alabeada regular que supon-
dremos 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. Tene-
mos 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 u

(s) = 0 s I.
Derivando en (1) y teniendo en cuenta las Ecuaciones de Frenet, se tienen:

(s) = t

(s) +u

(s)n

(s) +u(s) n

(s)
= t

(s) +u

(s)n

(s) +u(s)[

(s)t

(s) +

(s)b

(s)]
= [1 u(s)

(s)]t

(s) +u

(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

(s), obtenemos:
0 = u

(s) = u(s) constante.


Ntese que es necesario exigir la condicin de ser una curva alabeada (es
decir, (t) = 0 con t I) en la Denicin 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 R
3
, = (s) una curva alabeada regular parametri-
zada naturalmente (en adelante, CARPN). Si suponemos que es de Bertrand,
tenemos que existe otra curva : I

R
3
, = () (que tambin supondre-
mos parametrizada naturalmente) vericando que para cada s I existe I

tal que n

(s) = n

(). Sean (s
0
) y (
0
) dos puntos homlogos. Se probar
que el ngulo que forman los vectores t

(s
0
) 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:
d
ds
(t

(s
0
) t

(
0
)) =
dt

(s
0
)
ds
t

(
0
) +t

(s
0
)
dt

(
0
)
ds
=

(s
0
)n

(s
0
)t

(
0
) +t

(s
o
)
dt

(
0
)
d
_
d
ds
_
=
0
=

(s
0
)n

(s
0
)t

(
0
) +
_
d
ds
_
=
0

(
0
)t

(s
0
)n

(
0
)
14 A. Gonzlez y J. Nez
Ahora bien, por ser (s
0
) y (
0
) puntos homlogos, los vectores n

(s
0
) y n

(
0
)
son proporcionales, y por ello t

(s
0
) n

(s
0
) n

(
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 denicin de curva de Bertrand, sabemos que el ngulo que forman los vec-
tores normales principales tambin es constante, pudiendo valer 0 o (n

= n

).
Como el vector binormal viene determinado unvocamente por los vectores tangen-
te 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 R
3
, = (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
t

(s) =
d(s)
ds
ds
d
t

(s) =
ds
d
(1 u

(s)) = cos
que es constante para ciertos s y .
Por otra parte
| sen | = |t

() t

(s)|
=

ds
d
[(1 u

(s))t

(s) u

(s)b

(s)] t

(s)]

ds
d
u

(s)

Como suponemos

= 0, llamando A =
1u(s)
u(s)
cte, obtenemos de las dos
relaciones anteriores que:
1 u

(s)
u

(s)
=
A
u
= u

(s) +A

(s) = 1.
Obtenemos as, una relacin lineal entre torsin y curvartura.
Demostracin de la condicin suciente. Dada la curva : I R
3
, = (s)
CARPN, suponemos que existe una relacin lineal entre sus funciones de curvatura
y torsin:
A

(s) +B

(s) = 1.
Algunas aplicaciones de las curvas de Bertrand 15
Sea : I R
3
, = (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 suciente ver que el vector n

(s) es proporcional a n

(s). Se trata pues de


comprobar que n

(s) es ortogonal a los vectores

(s) y

(s)

(s). Puesto que


el vector

(s) viene dado por:

(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:

(s) =

(s)[Bt

(s) +Ab

(s)]
y por derivacin:

(s) =

(s)[Bt

(s) +Ab

(s)] +

(s)[B

(s) A

(s)]n

(s).
Para ver que n

(s) (

(s)

(s)) observamos que:


(n

(s)

) =

0 1 0

(s)B 0

(s)A

(s)B

(s)[B

(s) A

(s)] A

(s)

= 0,
lo que prueba el aserto.
Corolario 1.6. Sea una curva con torsin y curvatura no nulas. Son equiva-
lentes:
a) es una hlice circular. b) posee innitas 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 = 0
tal que u
0
+ B
0
= 1. Por tanto, el teorema de caracterizacin nos asegura la
existencia de innitas curvas asociadas a .
b =c Trivial.
c =a Supongamos que existen dos curvas distintas asociadas a dadas por:
(s) = (s) +un

(s), (s) = (s) +u

(s)
Por tanto, por el teorema de caracterizacin, tenemos que existen B y B

, unvo-
camente determinados por u y u

respectivamente, que verican:


_
u

(s) +B

(s) = 1,
u

(s) +B

(s) = 1.
Derivando el sistema anterior se obtiene:
_
u

(s) +B

(s) = 1,
u

(s) +B

(s) = 1.
16 A. Gonzlez y J. Nez
Entonces, como (s) es distinta de (s), u = u

y por tanto B = B

, de donde
se deduce que tanto

(s) como

(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 innitas curvas aso-
ciadas.
Demostracin. Procedemos del mismo modo que en la condicin suciente del
teorema de caracterizacin. Dada : I R
3
, = (s) una CARPN cuya
funcin de torsin es nula en todo punto, denimos 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

(s) y a

(s)

(s). Lo primero es obvio, pues

(s) = [1u

(s)]t

(s) por ser

(s) = 0
s I. Si ahora derivamos

(s) tenemos:

(s) = u

(s)t

(s) +

(s)[1 u

(s)]n

(s).
Finalmente, es inmediato comprobar que

(s)

(s) es ortogonal a n

(s) viendo
que el producto mixto (n

(s)

(s)

(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 R
3
, = (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) = 0, ya que en caso contrario el


teorema se verica trivialmente, puesto que

= 0 es constante y no negativo.
Si suponemos

(s) = 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

[Bt

+Ab

],

[Bt

+Ab

] +

[B

]n

= [

(B

)]t

+ [2

3A

+B

]n

+ [A

+
2

(B

)]b

Algunas aplicaciones de las curvas de Bertrand 17

=
2

B[B

]b

A[B

]t

2
=
4

[B

]
2
[B
2
+A
2
]
{

} = {

} =

)
= A
2

(B

)[

(B

)]
= B
2

(B

)[

A
2

(B

)]
Por tanto:

=
{

2
=
A(

(B

A) +B(A

+
2

(B

(B

)(A
2
+B
2
)
=

1
..
(A

+B

)(B

A)

(B

)(A
2
+B
2
)
=
1

1
(A
2
+B
2
)
Por tanto

=
1
A
2
+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 deniciones ya conocidas e introduciendo
otras ms novedosas:
Denicin 2.1. Se denomina curva esfrica a toda curva alabeada contenida
enteramente en una supercie esfrica (que coincide con la esfera osculatriz a la
curva en todo punto).
Normalmente, al tratarse las curvas esfricas de curvas alabeadas, podra usar-
se 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 supercie esfrica
es la unidad, por lo que el vector de posicin de cada punto ser mdulo 1 y or-
togonal al vector tangente. Esta propiedad nos sirve para denir una nueva base
segn:
Denicin 2.2. Sea : I S
2
una curva esfrica paramerizada por la longitud
de arco . Sea t() = () y denamos el vector s() como s() = () t().
Se dene 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, obte-
nindose as unas ecuaciones similares a las de Frenet-Serret para curvas esfricas.
Teorema 2.3. En las condiciones de la denicin anterior, se tienen:
_
_
_
= t,

t = +
g
s,
s =
g
t,
donde
g
denota la curvatura geodsica de en S
2
.
Demostracin. Por una parte, se tienen:
= 1 = = 0
Derivando
= = 1. = 1 = = 0.
g
=
{ , , } = { , , } = ( ) = s.
1) Por denicin, = 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:
=

t = = 1, =

tt = = 0, =

ts = s =
g
.
Por tanto,

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

( t) = t +

t = t t + ( +
g
s) =
g
s =
g
s =
g
t
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 dene la curva segn:
() = a
_

0
()d +a cot
_

0
s()d + c
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.

= a( + cot s)

=
_
a
2
+a
2
cot
2
=
_
a
2
sen
2

= a +a cot s = a(1 cot


g
)t

= a cot
g
t +a(1 cot
g
)( +
g
s)
Algunas aplicaciones de las curvas de Bertrand 19

= a
2
(1 cot
g
)s +a
2
cot
2
(cot 1)

2
= a
4
(1 cot
g
)
2
(1 + cot
2
) =
a
4
(1 cot
g
)
2
sen
2

3
=
a
3
sen
3

donde = 1
{

} =

a 0 a cot
0 a(1 cot
g
) 0
a(1 cot
g
) a cot
g
a(1 cot
g
)
g

= a
3
(1 cot
g
)
2

g
+a
3
(1 cot
g
)
2
cot
= a
3
(1 cot
g
)
2
(
g
+ cot )
Aplicando ahora las frmulas para la curvatura y la torsin en funcin de cualquier
parmetro, se tienen:
=

3
=
sen
2
(1
g
cot )
a
=
{

2
=
sen
2
(
g
+ cot )
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 R
3
, = (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
sen
a
> 0. En base a lo anterior, denimos
entonces la curva esfrica:
(s) = (sen

t(s) cos

b(s)).
Demostraremos que (s) es una curva de Bertrand correspondiente a (s) mediante
el mtodo descrito antes:

(s) = (sen (s) +cos (s)) n(s) =


sen
a
n(s);

(s) =
sen
a
Si denotamos por al parmetro natural de , obtenemos
d
ds
=
sen
a
. Por otra
parte:
a(s)
d
ds
= a(sen

t(s) cos

b(s))
sen
a
= sen (sen

t(s) cos

b(s))
20 A. Gonzlez y J. Nez
a cot (s)
d
d
d
ds
= a cot (sen

t(s) cos

b(s))
sen
a
n(s)
= cos(sen

b(s) +cos

t(s))
Puesto que s =
d
ds
, obtenemos:
a
_

0
()d +a cot
_

0
s()d =
_
s
s
0
sen (sen

t(t) cos

b(t))dt
+
_
s
s
0
cos(sen

b(t) + cos

t(t))dt =
_
s
s
0

t(t)dt = (s) +c
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,
su torsin es nula. Dada la curva esfrica : I S
2
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
a

g

=
sen
2

a

g
Por tanto:
= 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 supercie 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 supercies
regladas. Entre ellos, el que se enuncia y demuestra en el siguiente Lema 1 y el que
arma que la curvatura de Gauss de una supercie 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 supercie 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 T
p
M

n
(Y ) =
1
(p) cos
2
+
2
(p) sen
2
,
siendo =

(X
(1)
, Y ), donde [0, 2). Puesto que las direcciones asintticas
son aquellas con curvatura normal nula

n
(Y ) = 0
n
(Y ) =
1
(p) cos
2
+
2
(p) sen
2


1
(p) +
2
(p) tan
2
= 0
K(p)<0
tan =
_

2
H(p)=0
= tan = 1 =
_

1
=

4

2
= 3

4
Entonces, hemos encontrado dos direcciones asintticas que forman un ngulo

1
y
2
respectivamente con la direccin principal X
(1)
y adems dieren en un
ngulo de

2
, por lo que son ortogonales.
Teorema 3.2. Con excepcin del plano, el helicoide recto es la nica supercie
reglada que es adems, mnima.
Demostracin. Supondremos ya conocido que el helicoide recto es una supercie
reglada y adems mnima, es decir, que H = 0. Se va a demostrar entonces que
es la nica supercie reglada que es adems mnima.
Para ello, supongamos que tenemos una supercie reglada M que es mnima,
siendo M distinta de un plano. Entonces,
1
=
2
, por lo que K =
2
1
0.
De aqu sigue que, como la curvatura de Gauss de una supercie 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 asint-
ticas 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 supercie se caracterizan porque
su vector binormal b es paralelo al vector normal a la supercie 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 armar que son asocia-
das. 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 supercie reglada de las normales
principales de una hlice circular. Como la torsin de stas curvas es constante,
es obvio que toda la supercie es parte de un helicoide recto.
Referencias
[1] Bloch, E.D.: A First Course in Geometric Topology and Dierential Geome-
try. Birkuser, 1997.
[2] Do Carmo, M.P. Geometra Diferencial de Curvas y Supercies. Alianza Edi-
torial, 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 osets of ruled surfaces in R13. Viet-
namese Academy of Science and Technology, Institute of Mathematics. Per-
sonal 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. Geome-
tra y Topologa, Aptdo 1160. 41080-Sevilla (Espaa)
e-mail: jnvaldes@us.es