Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Curvas de Bertrand y Aplicaciones PDF
Curvas de Bertrand y Aplicaciones PDF
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 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 finalmente
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 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 demos-
traciones diferentes de las habituales, que simplifican el procedimiento. Es conve-
niente indicar al respecto, que no es usual encontrar las demostraciones de estas
12 A. Gonzlez y J. Nez
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 lon-
gitud 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 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 u0 (s) = 0 s I.
Derivando en (1) y teniendo en cuenta las Ecuaciones de Frenet, se tienen:
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:
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.
d dt (s0 ) dt (0 )
(t (s0 ) t (0 )) = t (0 ) + t (s0 )
ds 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
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 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.
d() d(s) ds ds
t ()t (s) = 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
1u (s)
Como suponemos 6= 0, llamando A = u (s) cte, obtenemos de las dos
relaciones anteriores que:
1 u (s) A
= = u (s) + A (s) = 1.
u (s) u
y por derivacin:
Proposicin 1.7. Toda curva plana es de Bertrand y posee infinitas curvas aso-
ciadas.
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:
0 = [Bt + Ab ], 00 = 0 [Bt + Ab ] + [B A ]n
0 00 = 2 B[B A ]b 2 A[B A ]t
k 0 00 k2 = 4 [B A ]2 [B 2 + A2 ]
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
= =
(B A )(A + B )
2 2 2 (A + B 2 )
2
Por tanto = 1
A2 +B 2
, que es constante y no negativo.
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 definicin 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:
Derivando
kk = 1 = = 0 = = 1. = 1 =
kk = 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 = (
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
0 00 k
k sen2 (1 g cot ) 0 , 00 , 000 }
{ sen2 (g + cot )
=
= = = .
k 0 k3 a 0 00 k2
k a
+ cot
De las expresiones anteriores se sigue que a( ) = 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.
(s) = (sen t(s) cosb(s)).
d sen
a(s) = a(sen t(s) cosb(s)) = sen (sen t(s) cosb(s))
ds a
20 A. Gonzlez y J. Nez
d d sen
a cot (s) = a cot (sen t(s) cosb(s)) (s)
n
d ds a
= cos(sen b(s) + cost(s))
d
Puesto que s = , obtenemos:
ds
Z Z Z s
a ( )d + a cot s( )d =
sen (sen t(t) cos b(t))dt
0 0 s0
Z s Z s
+ + cos t(t))dt =
cos(sen b(t) t(t)dt = (s) + c
s0 s0
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 parametrizada naturalmen-
2
, }
{,
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:
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.
siendo = (X\ (1) , Y ), donde [0, 2). Puesto que las direcciones asintticas
Teorema 3.2. Con excepcin del plano, el helicoide recto es la nica superficie
reglada que es adems, mnima.
Referencias
[1] Bloch, E.D.: A First Course in Geometric Topology and Differential Geome-
try. Birkuser, 1997.
[6] Kasap, E.; Kuruoglu, N. The Bertrand offsets 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