Sunteți pe pagina 1din 31

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

LONGITUD DE
ARCO SOBRE UNA
SUPERFICIE
(Geometra Diferencial)

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

INGENIE

MARCO TEORICO
HISTORIA
La historia del origen de la Geometra es muy similar a la de la
Aritmtica, siendo sus conceptos ms antiguos consecuencia de las
actividades prcticas. Los primeros hombres llegaron a formas
geomtricas a partir de la observacin de la naturaleza.
El sabio griego Eudemo de Rodas, atribuy a los egipcios el
descubrimiento de la geometra, ya que, segn l, necesitaban medir
constantemente sus tierras debido a que las inundaciones del Nilo
borraban continuamente sus fronteras. Recordemos que, precisamente,
la palabra geometra significa medida de tierras.
Los egipcios se centraron principalmente en el clculo de reas y
volmenes, encontrando, por ejemplo, para el rea del crculo un valor
aproximado de 3'1605. Sin embargo el desarrollo geomtrico adolece de
falta de teoremas y demostraciones formales. Tambin encontramos
rudimentos de trigonometra y nociones bsicas de semejanza de
tringulos.
Tambin se tienen nociones geomtricas en la civilizacin
mesopotmica, constituyendo los problemas de medida el bloque
central en este campo: rea del cuadrado, del crculo (con una no muy
buena aproximacin de, volmenes de determinados cuerpos,
semejanza de figuras, e incluso hay autores que afirman que esta
civilizacin conoca el teorema de Pitgoras aplicado a problemas
particulares, aunque no, obviamente, como principio general.
No se puede decir que la geometra fuese el punto fuerte de las
culturas china e india, limitndose principalmente a la resolucin de
problemas sobre distancias y semejanzas de cuerpos. Tambin hay quien
afirma que estas dos civilizaciones llegaron a enunciados de algunos
casos particulares del teorema de Pitgoras, e incluso que desarrollaron
algunas ideas sobre la demostracin de este teorema.
En los matemticos de la cultura helnica los problemas prcticos
relacionados con las necesidades de clculos aritmticos, mediciones y
construcciones geomtricas continuaron jugando un gran papel. Sin
embargo, lo novedoso era, que estos problemas poco a poco se
desprendieron en una rama independiente de las matemticas que
obtuvo la denominacin de "logstica". A la logstica fueron atribuidas:
las operaciones con nmeros enteros, la extraccin numrica de races,

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

el clculo con la ayuda de dispositivos auxiliares, clculo con fracciones,


resolucin numrica de problemas que conducen a ecuaciones de 1 er y
2 grado, problemas prcticos de clculo y constructivos de la
arquitectura, geometra, agrimensura, etc.
Al mismo tiempo ya en la escuela de Pitgoras se advierte un proceso de
recopilacin de hechos matemticos abstractos y la unin de ellos en
sistemas tericos. Junto a la demostracin geomtrica del teorema de
Pitgoras fue encontrado el mtodo de hallazgo de la serie ilimitada de
las ternas de nmeros "pitagricos", esto es, ternas de nmeros que
satisfacen la ecuacin a2+b2=c2.
En este tiempo transcurrieron la abstraccin y sistematizacin de las
informaciones geomtricas. En los trabajos geomtricos se introdujeron
y perfeccionaron los mtodos de demostracin geomtrica. Se
consideraron, en particular: el teorema de Pitgoras, los problemas
sobre la cuadratura del crculo, la triseccin de un ngulo, la duplicacin
del cubo, la cuadratura de una serie de reas (en particular las acotadas
por lneas curvas).
.Paralelamente, al ampliarse el nmero de magnitudes medibles, debido
a la aparicin de los nmeros irracionales, se origin una reformulacin
de la geometra, dando lugar al lgebra geomtrica. Esta nueva rama
inclua entre otros conceptos el mtodo de anexin de reas, el conjunto
de proposiciones geomtricas que interpretaban las cantidades
algebraicas, divisin urea, expresin de la arista de un poliedro regular
a travs del dimetro de la circunferencia circunscrita. Sin embargo, el
lgebra geomtrica estaba limitada a objetos de dimensin no mayor
que dos, siendo inaccesibles los problemas que conducan a ecuaciones
de tercer grado o superiores, es decir, se hacan imposibles los
problemas que no admitieran solucin mediante regla y comps. La
historia sobre la resolucin de los tres problemas geomtricos clsicos
(sobre la cuadratura del crculo, la triseccin de un ngulo, la duplicacin
del cubo) est llena de ancdotas, pero lo cierto es que como
consecuencia de ellos surgieron, por ejemplo, las secciones cnicas,
clculo aproximado del nmero pi, el mtodo de exhaucin como
predecesor del clculo de lmites o la introduccin de curvas
trascendentes.
Asimismo, el surgimiento de la irracionalidad condicion la necesidad de
creacin de una teora general de las relaciones, teora cuyo fundamento
inicial lo constituy el algoritmo de Euclides.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Las primeras teoras matemticas que se abstrajeron de los problemas


concretos o de un conjunto de problemas de un mismo tipo, crearon las
condiciones necesarias y suficientes para el reconocimiento de la
autonoma y especificidad de las matemticas.
El carcter abstracto del objeto de las matemticas y los mtodos de
demostracin matemtica establecidos, fueron las principales causas
para que esta ciencia se comenzara a exponer como una ciencia
deductiva, que a partir de unos axiomas, presenta una sucesin lgica
de teoremas. Las obras en las cuales, en aquella poca se exponan los
primeros sistemas matemticos de denominaban "Elementos".
Se encuentran elementos pertenecientes a muchos autores, sin
embargo todos ellos han quedado relegados a un segundo plano tras la
obra matemtica ms impresionante de la historia: Los Elementos de
Euclides. "Los Elementos", como denominaremos a esta obra a partir de
ahora, estn constituidos por trece libros, cada uno de los cuales consta
de una sucesin de teoremas. A veces se aaden otros dos, los libros 14
y 15 que pertenecen a otros autores pero por su contenido, estn
prximos al ltimo libro de Euclides.
En "Los Elementos" de Euclides se recogen una serie de axiomas o
postulados que sirvieron de base para el posterior desarrollo de la
geometra. Es de especial inters, por la controversia que origin en
pocas posteriores el quinto axioma, denominado "el de las paralelas",
segn el cual dos rectas paralelas no se cortan nunca. Durante siglos se
asumi este axioma como irrebatible, hasta que en el siglo XIX surgieron
las llamadas geometras no eucldeas, que rebatieron este postulado.
Con posterioridad a Euclides y Arqumedes, las matemticas cambiaron
fuertemente, tanto en su forma como en su contenido, haciendo el
proceso de formacin de nuevas teoras ms pausado, hasta llegar a
interrumpirse.
Entre las nuevas teoras desarrolladas ocupa el primer lugar la teora de
las secciones cnicas, que surgi de las limitaciones del lgebra
geomtrica. El inters hacia las secciones cnicas creci a medida que
aumentaban la cantidad de problemas resueltos con su ayuda. Sin duda,
la obra ms completa, general y sistemtica de las secciones cnicas se
debe a Apolonio de Perga.
En la poca del dominio romano destacan algunos recetarios en forma
de reglas que permitan el clculo de algunas reas y volmenes; y en

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

especial la conocida frmula de Hern para calcular el rea del tringulo


conocido los tres lados.
Durante el primer siglo del Imperio Musulmn no se produjo ningn
desarrollo cientfico, ya que los rabes, no haban conseguido el impulso
intelectual necesario, mientras que el inters por el saber en el resto del
mundo, haba desaparecido casi completamente. Fue a partir de la
segunda mitad del siglo VIII, cuando comenz el desenfrenado proceso
de traducir al rabe todas las obras griegas conocidas, fundndose
escuelas por todo el Imperio.
Destacaremos como avance anecdtico, pero no por ello carente de
valor, la obtencin del nmero pi con 17 cifras exactas mediante
polgonos inscritos y circunscritos en la circunferencia realizada por
Kashi (s. XV). Despus de ms de 150 aos, en 1593, en Europa, Vite
encontr slo nueve cifras exactas. Hubo que esperar a fines del siglo
XVI y comienzos del XVII para repetir el clculo de Kashi.
El rasgo caracterstico ms importante de las matemticas rabes fue la
formacin de la trigonometra. En relacin con los problemas de
astronoma, confeccionaron tablas de las funciones trigonomtricas con
gran frecuencia y alto grado de exactitud, tanto en trigonometra plana
como esfrica.
Entre las obras geomtricas destacan las de Omar Khayyam (s. XVI) y
Nasir Edin (s. XIII), directamente influenciadas por las obras clsicas,
pero a las que contribuyeron con distintas generalizaciones y estudios
crticos, como los relativos al axioma euclidiano del paralelismo, que
pueden considerarse como estudios precursores de la geometra no
euclidiana.
En el continente europeo, las matemticas no tienen un origen tan
antiguo como en muchos pases del Lejano y Medio Oriente, alcanzando
slo xitos notorios en la poca del Medioevo desarrollado y
especialmente en el Renacimiento.
Podemos considerar la obra de Fibonacci "Practica Geometriae" como el
punto de arranque de la geometra renacentista. Esta obra est
dedicada
a
resolver
determinados
problemas
geomtricos,
especialmente medida de reas de polgonos y volmenes de cuerpos.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Otro contemporneo, aunque no tan excepcionalmente dotado fue


Jordano Nemorarius (1237-?) a quien debemos la primera formulacin
correcta del problema del plano inclinado.
El profesor parisino Nicole Oresmes (1328-1382) lleg a utilizar en una
de sus obras coordenadas rectangulares, aunque de forma rudimentaria,
para la representacin grfica de ciertos fenmenos fsicos.
Ya en el siglo XV, poca de las grandes navegaciones, la trigonometra
fue separada de la astronoma, alzndose como ciencia independiente
de la mano de Regiomontano (1436-1474), que trat de una manera
sistemtica todos los problemas sobre la determinacin de tringulos
planos y esfricos. Asimismo en esta obra se establece un notable
cambio desde el lgebra literal al lgebra simblica.
Fue Franois Vite (1540-1603) quien dio un sistema nico de smbolos
algebraicos consecuentemente organizado, estableciendo en todo
momento, una fuerte conexin entre los trabajos trigonomtricos y
algebraicos, de forma que de igual manera que se le considera el
creador del lgebra lineal, se le podra considerar como uno de los
padres del enfoque analtico de la trigonometra, esto es, la goniometra.
Para hacer ms fciles los clculos, los matemticos desarrollaron
ciertos procedimientos en los que, el papel fundamental lo jugaban
determinadas relaciones trigonomtricas, lo que llev a la confeccin de
numerosas tablas trigonomtricas. En la elaboracin de tablas
trabajaron, por ejemplo, Coprnico (1473-1543) y Kepler (1571,1630).
Semejantes mtodos se utilizaban tan frecuentemente que recibieron el
nombre de "prostaferticos". Ellos fueron utilizados por los matemticos
de Oriente Medio, Vite, Tycho Brahe, Wittich, Brgi y muchos otros.
Estos mtodos siguieron utilizndose incluso despus de la invencin de
los logaritmos a comienzos del siglo XVII, aunque sus fundamentos,
basados en la comparacin entre progresiones aritmticas y
geomtricas, comenzaron a fraguarse mucho antes.
Durante el siglo XVII surgieron casi todas las disciplinas matemticas,
producindose en lo que a la geometra se refiere el nacimiento de la
geometra analtica.
Sin duda los dos grandes en esta materia y poca fueron Ren Descartes
(1596-1650) y Pierrede Fermat (1601-1655). La ltima parte de la
famosa obra de Descartes "Discurso del Mtodo" denominada
"Gometrie", detalla en su comienzo, instrucciones geomtricas para

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

resolver ecuaciones cuadrticas, centrndose seguidamente en la


aplicacin del lgebra a ciertos problemas geomtricos. Analiza tambin
curvas de distintos rdenes, para terminar en el tercer y ltimo libro que
compone la obra, con la construccin de la teora general de ecuaciones,
llegando a la conclusin de que el nmero de races de una ecuacin es
igual al grado de la misma, aunque no pudo demostrarlo. Prcticamente
la totalidad de la Gometrie est dedicada a la interrelacin entre el
lgebra y la geometra con ayuda del sistema de coordenadas.
Simultneamente con Descartes, Pierre de Fermat desarroll un sistema
anlogo al de aqul. Las ideas de la geometra analtica, esto es, la
introduccin de coordenadas rectangulares y la aplicacin a la geometra
de los mtodos algebraicos, se concentran en una pequea obra:
"introduccin a la teora de los lugares planos y espaciales". Aquellos
lugares geomtricos representados por rectas o circunferencias se
denominaban planos y los representados por cnicas, especiales. Fermat
abord la tarea de reconstruir los "Lugares Planos" de Apolonio,
describiendo alrededor de 1636, el principio fundamental de la
geometra analtica: "siempre que en una ecuacin final aparezcan dos
incgnitas, tenemos un lugar geomtrico, al describir el extremo de uno
de ellos una lnea, recta o curva". Utilizando la notacin de Vite,
represent en primer lugar la ecuacin Dx=B, esto es, una recta.
Posteriormente
identific
las
expresiones
xy=k 2;
a2+x2=ky;
x2+y2+2ax+2by=c2; a2-x2=ky2 con la hiprbola, parbola circunferencia
y elipse respectivamente. Para el caso de ecuaciones cuadrticas ms
generales, en las que aparecen varios trminos de segundo grado, aplic
rotaciones de los ejes con objeto de reducirlas a los trminos anteriores.
La extensin de la geometra analtica al
geomtricos espaciales, la realiz por la
interseccin de las superficies espaciales por
coordenadas espaciales tambin en l estn
analtica del espacio qued sin culminar.

estudio de los lugares


va del estudio de la
planos. Sin embargo, las
ausentes y la geometra

Lo que s est totalmente demostrado, es que la introduccin del mtodo


de coordenadas deba atribuirse a Fermat y no a Descartes, sin embargo
su obra no ejerci tanta influencia como la Gometrie de Descartes,
debido a la tardanza de su edicin y al engorroso lenguaje algebraico
utilizado. El desarrollo posterior de la geometra analtica, mostr que
las ideas de Descartes sobre la unificacin del lgebra y geometra no
pudieron realizarse sino que siguieron un camino separado aunque
relacionado. El surgimiento de la geometra analtica, aliger
sustancialmente la formacin del anlisis infinitesimal y se convirti en

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

un elemento imprescindible para la construccin de la mecnica de


Newton, Lagrange y Euler, significando la aparicin de las posibilidades
para la creacin del anlisis de variables.
Ya en el siglo XVIII se complet el conjunto de las disciplinas
geomtricas y, excluyendo slo las geometras no euclidianas y la
apenas iniciada geometra analtica, prcticamente todas las ramas
clsicas de la geometra, se formaron en este siglo. As adems de la
consolidacin de la geometra analtica, surgi la geometra diferencial,
descriptiva y proyectiva, as como numerosos trabajos sobre los
fundamentos de la geometra. Entre los diferentes problemas y mtodos
de la geometra, tuvieron gran significado las aplicaciones geomtricas
del clculo infinitesimal. De ellas surgi y se desarroll la geometra
diferencial, la ciencia que ocup durante el siglo XVIII el lugar central en
al sistema de las disciplinas geomtricas. Estudiemos por separado cada
una de estas ramas:
GEOMETRIA ANALITICA
Bajo esta denominacin se considera aquella parte de la geometra
donde se estudian las figuras y transformaciones geomtricas dadas por
ecuaciones algebraicas. Las puertas a esta rama fueron abiertas, ya en
el siglo XVII por Descartes y Fermat, pero slo incluan problemas planos.
Hubo de ser Newton quien en 1704 diera un paso importante al publicar
la obra, "Enumeracin de las curvas de tercer orden", clasificando las
curvas segn el nmero posible de puntos de interseccin con una recta,
obteniendo un total de 72 tipos de curvas, que se podan representar por
ecuaciones de cuatro tipos. Si designamos ax3+bx2+cx+d=A, entonces
las soluciones indicadas sern: xy2+ey=A ; xy=A ; y2=A ; y=A. Sin
embargo, lo verdaderamente importante de esta obra fue el
descubrimiento de las nuevas posibilidades del mtodo de coordenadas,
definiendo los signos de las funciones en los cuatro cuadrantes.
Con posterioridad a Newton, las curvas de tercer orden fueron
estudiadas por Stirling, Maclaurin, Nicolle, Maupertius, Braikenridge,
Steiner, Salmon, Silvestre, Shall, Clebsch y otros. Fue Euler quien, en
1748, sistematiz la geometra analtica de una manera formal. En
primer lugar expuso el sistema de la geometra analtica en el plano,
introduciendo adems de las coordenadas rectangulares en el espacio,
las oblicuas y polares. En segundo lugar, estudi las transformaciones de
los sistemas de coordenadas. Tambin clasific las curvas segn el grado
de sus ecuaciones, estudiando sus propiedades generales. En otros
apartados de sus obras trat las secciones cnicas, las formas cannicas

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

de las ecuaciones de segundo grado, las ramas infinitas y asintticas de


las secciones cnicas y clasific las curvas de tercer y cuarto orden,
demostrando la inexactitud de la clasificacin newtoniana. Tambin
estudi las tangentes, problemas de curvaturas, dimetros y simetras,
semejanzas y propiedades afines, interseccin de curvas, composicin
de ecuaciones de curvas complejas, curvas trascendentes y la resolucin
general de ecuaciones trigonomtricas. Todo estos aspectos se recogen
en el segundo tomo de la obra "Introduccin al anlisis Matemtico" que
Euler dedic exclusivamente a la geometra analtica.
En la segunda mitad del siglo se introdujeron slo mejoras parciales,
pues en lo fundamental, la geometra analtica ya estaba formada.
Destacaremos entre otros los nombres de G. Monge, Lacroix y Menier.

GEOMETRIA DIFERENCIAL
Esta disciplina matemtica se encarga del estudio de los objetos
geomtricos, o sea, las curvas, superficies etc. Su singularidad consiste
en que partiendo de la geometra analtica utiliza mtodos del clculo
diferencial.
A comienzos de siglo ya haban sido estudiados muchos fenmenos de
las curvas planas por medio del anlisis infinitesimal, para pasar
posteriormente a estudiar las curvas espaciales y las superficies. Este
traspaso de los mtodos de la geometra bidimensional al caso
tridimensional fue realizado por Clairaut. Sin embargo, su obra fue
eclipsada, como casi todo en esta poca, por los trabajos de Euler. La
geometra diferencial utiliza los mtodos del clculo diferencial, por eso
se llama geometra diferencial. La geometra diferencial estudia las
propiedades 'locales' de las curvas y superficies, esto es, estudia las
propiedades de las curvas y superficies en un punto. Los fundadores de
la geometra diferencial son Monge, Euler y Gauss. En la geometra
diferencial se basa en los conceptos de longitud, tangente y curvatura (y
plano osculador y torsin si es una curva en el espacio).
En matemticas, la geometra diferencial de superficies propone
definiciones y mtodos para analizar la geometra de superficies o
variedades diferenciales de dos dimensiones inmersas en variedades de
Riemann y, en particular, en el Espacio Eucldeo. Aqu se tratar de las
superficies en
.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Sea (U, c = (u, v)) una carta de una superficie M de R3 y sea (t) = (c
)(t) = (u(t), v(t)) la correspondiente expresin analtica de una curva :
[a, b] U.
Entonces se tiene la siguiente expresin para la longitud de :

ECUACION PARAMETRICA DE UNA SUPERFICIE

Puesto que una superficie en


es una variedad diferenciable de
dimensin dos, en un entorno V de una superficie las coordenadas de
cualquier punto de V pueden escribirse en funcin de dos parmetros:

Un punto Q = (u0, v0) se llama regular si en l se cumple que:

Esto es equivalente a pedir que el Jacobiano del mapeo r (que va desde


el dominio V en
a
) tiene rango mximo, es decir, es igual a dos.
As se asegura la existencia del espacio tangente en cada punto de la
superficie.
PLANO TANGENTE

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

INGENIE

Dada una superficie de


y un punto
se define
como el nico plano geomtrico de
que contiene al punto
y
(localmente) no interseca a la superficie en ningn otro punto, si la
superficie es de curvatura gaussiana positiva. Si la superficie es de
curvatura negativa o cero la interseca. La ecuacin analtica de este
plano puede expresarse con ayuda de la ecuacin paranfrica de una
superficie:

Ms

sencillamente

conjunto

el

plano

anterior

puede

escribirse

como

el

que satisface la siguiente ecuacin:

Aqu, se ha usado la simplificacin de notacin

,... etc

VECTOR NORMAL A LA SUPERFICIE


Un vector se dice normal a una superficie en un punto si es
perpendicular al plano tangente en dicho punto de la superficie. Esa
propiedad nos dice que un vector normal es perpendicular a cualquier
otro vector contenido en el plano tangente. Si tomamos dos vectores
diferentes y tangentes a la superficie en un punto su producto
vectorial ser perpendicular a ambos y por tanto perpendicular a
cualquier combinacin lineal de ambos, es decir, perpendicular a todo el
plano generado por estos dos vectores. Podemos aprovechar esa
propiedad para calcular el vector normal simplemente como el producto
vectorial de los dos vectores linealmente independientes dados por la
parametrizacin de la superficie. As el vector normal puede calcularse
como:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Si se conoce en cambio la ecuacin de la superficie f(x, y, z) = 0


entonces el vector unitario normal se calcula simplemente como:

PRIMERA FORMA FUNDAMENTAL

La primera forma fundamental I es un tensor 2-covariante, simtrico y


definido sobre el espacio tangente a cada punto de la superficie S. Esta
primera forma fundamental de hecho es el tensor mtrico inducido por la
mtrica eucldea sobre la superficie. De hecho (S, I) constituye
una variedad de Riemann con tensor mtrico I. Gracias a la primera forma
fundamental podemos estimar longitudes de curvas definidas sobre la
superficie, ngulos de interseccin entre curvas y el resto de conceptos
mtricos habituales. Por razones histricas las componentes de la
primera forma fundamental se designan por E, F y G:

Adems la forma cuadrtica anterior es definida positiva, lo que implica


que EG-F2 > 0. La primera forma anterior puede escribirse como
unacombinacin
lineal de
productos
tensoriales
de
las 1formas coordenadas

conforme a:

Estas pueden calcularse explcitamente a partir de la parametrizacin:

LONGITUD DE UNA CURVA

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Dada una curva C contenida totalmente en una


ecuaciones paramtricas podrn expresarse mediante:

INGENIE

superficie S sus

La longitud de esta curva puede expresarse por una integral de las


derivadas de las funciones u y v y las componentes de la primera forma
fundamental:

NGULO ENTRE DOS CURVAS

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

INGENIE

Similarmente dadas dos curvas C1 y C2 que intersecan en un punto P0 y


cuyas ecuaciones paramtricas son:

El ngulo formada por las dos curvas en el punto de interseccin viene


definido por la ecuacin:

Donde
las
derivadas
parmetro t1 y t1 tales que

se

evalan

para

los

valores

de

.
En particular el ngulo formado por las lneas coordenadas asociadas al
sistema de coordenadas (u, v) viene dado por:

En particular el sistema de coordenadas se llama ortogonal si las lneas


coordenadas son ortogonales (perpendiculares) entre s en cada punto,
eso sucede s y solo s F = 0.
REA DE UNA REGIN SOBRE LA SUPERFICIE
Dada una regin contenida en una superficie se define su rea como:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Si la superficie viene dada por la funcin explcita z = f(x, y) entonces lo


anterior se puede escribir sencillamente como:

SEGUNGA FORMA FUNDAMENTAL


La segunda forma fundamental II de una superficie es la proyeccin
sobre el vector normal a la superficie de la derivada co-variante inducida
por el tensor mtrico o primera forma fundamental. Puede probarse, que
esta segunda forma fundamental resulta ser un tensor 2-covariante y
simtrico (es decir, da lugar a una forma bilineal definida sobre el
espacio tangente a la superficie). Por razones histricas las
componentes de la segunda forma fundamental se designan
por L, M y N:

Fijado un entorno de la superficie parametrizado por las variables


la
segunda forma fundamental se escribe tambin, resultando un tensor de
rango dos, como la siguiente combinacin lineal:

de productos tensoriales de las 1-formas coordenadas


. Las
componentes de la segunda forma fundamental pueden calcularse
explcitamente a partir de las coordenadas paramtricas:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

CURVA NORMAL Y GEODESICA


Cuando se tiene una curva sobre una superficie esta puede ser vista
tambin como curva de
a la que les son aplicables tanto las frmulas
de la geometra diferencial de curvas como las de la geometra
diferencial de superficies. Eso permite relacionar la curvatura total de la
curva con la curvatura de la curva vista o medida por un "habitante" de
la superficie. En concreto la curvatura total ( ) de una curva (t) puede
ser descompuesta entre la curvatura medible desde la superficie,
llamada curvatura normal (kn) y la curvatura no medible desde la
superficie, llamada curvatura geodsica (kg), de hecho se cumple que:

Donde la curvatura geodsica y normal puede calcularse a partir del


ngulo que forman el vector normal a la superficie y el vector normal a
la curva (n):

La aceleracin de cualquier punto material puede ser descompuesta en


aceleracin tangencial y aceleracin normal. Si adems el punto se
mueve sobre la superficie, la aceleracin normal puede descomponerse
en aceleracin propiamente normal y aceleracin geodsica (debida al
seguimiento que el punto hace de la superficie):

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Donde
son respectivamente el vector tangente a la curva, el
vector normal a la curva y el vector normal a la superficie. Esa ecuacin
muestra que las lneas geodsicas a la superficie son precisamente
aquellas curvas para las cuales su curvatura total coincide con su
curvatura geodsica. Las curvaturas normal y geodsica de una curva
sobre una superficie puden calcularse fcilmente a partir de los vectores
tangentes al a curva y las normales a la curva y la superficie:

CURVATURAS PRINCIPALES
Si se considera un punto P0 de la superficie y toda una coleccin de
curvas contenidas en la superficie que pasan por P0 se observa que la
curvatura normal kn de cualquiera de estas curvas en P0 vara entre dos
valores extremos k1 < kn < k2. Estos dos valores de hecho son las
soluciones ki de la siguiente ecuacin:

Un punto se llama umbilical si en l k1 = k2. Para un punto no-umbilical


P0 las direcciones tangentes a la superficie para las cuales se alcanza el
mximo y el mnimo de la curvatura normal son siempre ortogonales. En
cada punto estas dos direcciones ortogonales se llaman direcciones
principales de curvatura. Una condicin necesaria y suficiente para que
la direccin dada por un vector sea principal es que si:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Entonces que esa direccin sea direccin principal de curvatura implica


que:

LINEA DE CURVATURA
CURVATURA GAUSSIANA
La curvatura gaussiana de una superficie es un nmero real K(P0) que
mide la curvatura intrnseca en cada punto regular P0 de una superficie.
Esta curvatura puede calcularse a partir de los determinantes de
la primera y segunda formas fundamentales de la superficie:

Esta curvatura gaussiana en general vara de un punto a otro de la


superficie y est relacionada con las curvaturas principales de cada
punto (k1 y k2), mediante la relacin K = k1k2.
Un caso interesante de superficie es la esfera, que tiene la misma
curvatura en todos sus puntos. Calculando la curvatura de Gauss de
una esfera (2-esfera). A partir de la frmula anterior se llega fcilmente
a que para una esfera de radio r, la curvatura gaussiana es igual en
todos los puntos e igual a

.
Si bien observamos que hay superficies que tienen curvatura constante,
la curvatura gaussiana debe verse como una relacin

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

donde
(una funcin diferenciable sobre S) que asigna
a
cada
superficie su funcin
de
curvatura
gaussiana.
La manera actual de definir la curvatura gaussiana es mediante
el operador de forma (del ingls shape operator) de la superficie S:

, definido mediante

Donde
son los vectores tangentes coordenados y estn siendo
evaluados en la posicin p.
Con la derivada (jacobiano) del operador de forma

uno
obtiene
una transformacin
lineal
auto-adjunta llamada transformacin de Weingarten- y as, la curvatura gaussiana
es determinante de L, i.e.

Es relativamente fcil verificar que coincide con la definicin dada


arriba.
En trminos de los componentes del tensor de curvatura de
Riemann para las 2-variedad diferenciables, uno encuentra la relacin

GEOMETRIA DIFERENCIAL DE CURVAS


LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

INGENIE

En matemticas, la geometra diferencial de curvas propone definiciones


y mtodos para analizar curvas simples en Variedades de Riemann, y en
particular, en el Espacio Eucldeo.
Dada una curva suficientemente suave (diferenciable y de clase

),

en
y dado
parmetro t;

el

su

vector

de

posicin

expresado

mediante

se define el llamado parmetro de arco s como:

La cual se puede expresar tambin de la siguiente forma en la cual


resulta ms fcil de recordar

Lo cual permite re-parametrizar la curva de la siguiente manera:

donde

son las relaciones entre las dos parametrizaciones.

VECTORES TANGENTE, NORMAL Y BINORMAL: TRIEDRO


DE FRNET-SERRET
Dada una curva parametrizada r(t) segn un parmetro cualquiera t se
define el llamado vector tangente, normal y binormal como:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

bien

bien

bien

Estos tres vectores son unitarios y perpendiculares entre s, juntos


configuran un sistema de referencia mvil conocido como Triedro de
Frnet-Serret a raiz del estudio de Jean Frenet y Joseph Serret. Es
interesante que para una partcula fsica desplazndose en el espacio, el
vector tangente es paralelo a la velocidad, mientras que el vector
normal da el cambio direccin por unidad de tiempo de la velocidad
o aceleracin normal.
Si la curva est parametrizada segn la longitud de arco, como se
explic en la seccin anterior las frmulas anteriores pueden
simplificarse notablemente:

Donde la curvatura y la torsin son precisamente los parmetros y


anteriores.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

La curvatura es

una

medida

del

cambio de direccin del

vector tangente a una curva, cuanto ms rpido cambia ste a medida


que nos desplazamos a lo largo de la curva, se dice, que ms grande es
la curvatura. Para una curva parametrizada cualquiera la curvatura es
igual a:

Si la curva est parametrizada por el parmetro de longitud de arco, la


anterior ecuacin se reducen a:

Adems de la curvatura se suele definir el llamado radio de curvatura,


como el inverso de la curvatura.

La torsin es una medida del cambio de direccin del vector binormal:


cuanto ms rpido cambia, ms rpido gira el vector binormal alrededor
del vector tangente y ms retorcida aparece la curva. Por lo tanto, para
una curva totalmente contenida en el plano la torsin es nula ya que el
vector binormal es constantemente perpendicular al plano que la
contiene. Para el caso general la torsin viene dada por:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Si la curva est parametrizada por el parmetro de longitud de arco, la


anterior ecuacin se reduce simplemente a:

PLANO OSCULADOR

El plano osculador es el plano que contiene en cada punto de la curva a


su vector tangente y a su vector normal. Para una partcula
desplazndose en el espacio el plano osculador coincide con el plano
que en cada instante contiene a la aceleracin y la velocidad. La
ecuacin de este plano viene dada por:

Donde:
, el punto de la trayectoria.
, el vector velocidad en el punto considerado.
, las coordenadas de un punto genrico del plano osculador.

CENTRO DE CURVATURA

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

En un entorno de un punto de una curva puede ser aproximado por un


crculo, llamado crculo osculador por estar contenido en el plano
osculador. El radio del crculo osculador coincide con el radio de
curvatura (inverso de la curvatura). El centro de dicho crculo puede
buscarse como:

O ms sencillamente en funcin del parmetro de arco como:

TEORIA FUNDAMENTAL DE LAS CURVAS


El teorema fundamental de curvas que enunciamos a continuacin nos
dice que conocido un punto de una curva y su vector tangente, la curva
queda totalmente especificada si se conoce la funcin de curvatura y de
torsin. Su enunciado es el siguiente:
Sea
un intervalo. Dadas dos funciones continuas y de a
y
dado un sistema de referencia fijo (ortonormal) de
, {x0; e1,e2, e3},
entonces existe una nica curva parametrizada de
,
y
tales que:
1. La curva pasa por x0, y el vector tangente T a la curva en ese punto
coincide con e1.
2. A lo largo de la curva pueden definirse tres campos vectoriales T(s), N(s)
y B(s) llamados respectivamente vector tangente, normal y binormal,

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

perpendiculares entre s y tales que en el punto inicial coinciden


con e1, e2, e3 (es decir, T(0) = e1, N(0) = e2, B(0) = e3).
3. Se cumplen las siguientes ecuaciones:

O bien escrito matricialmente

Donde el punto es la derivada con respecto al arco parmetros.


Esto tiene implicaciones fsicas interesantes, por ejemplo, la trayectoria
de una partcula queda especificada si se conocen la posicin inicial, la
velocidad inicial y la variacin en el tiempo de las derivadas segundas
(que estn relacionadas con la curvatura y la torsin). Es por eso por lo
que las leyes de Newton o las ecuaciones de Euler-Lagrange se expresan
en trminos de derivadas de segundo orden (que es necesario
complementar con la posicin y velocidades iniciales).
PLANO EUCLIDIANO

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Una curva en el espacio euclideano


diferenciable es decir si

INGENIE

es un mapeo

que es

entonces la derivada

existe para cada eleccin de t en dominio .


Por ejemplo si

entonces

Otro ejemplo, si:


entonces
.
Respectivamente estos mapeos son parametrizaciones de un crculo de
radio uno en el plano cartesiano
y una hlice en el espacio . Aqu
-crculo- es como en el ingls circle o francs cercle o alemn Kreis. Las
derivadas son vectores tangente a la posicin.
Arco-parametrizar una parametrizacin c, consiste en reemplazar el
parmetro t por otro que satisface;
.
Sabiendo que la longitud de una curva est dada por la frmula

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

INGENIE

Entonces cuando c est arco-parametrizada la longitud l es igual a la


longitud del intervalo . Dicho de otra manera el arco-parmetro al
mismo tiempo que indica la posicin , dice que la curva tiene
longitud
desde la posicin
hasta
, cuando el intervalo
es
.
En
el
ejemplo
de
la
curva
helicoidal
su
derivada
es
y cuyo mdulo es
. Esto indica
que d(t) no es una parametrizacin por longitud de arco. Para
parametrizar por longitud de arco usamos el cambio de variable

Que proviene del clculo de la longitud de arco

Y convenir que la letra s indique el arco-parmetro en vez de l.


Otro ejemplo, una elipse se puede parametrizar as:

Representa una elipse plana, en el plano


tangente

. Derivando, tenemos

Con mdulo

De donde el arco-parmetro se obtiene de despejar

TRIEDRO MOVIL

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Teniendo una curva

arco-pametrizada tendremos un vector tangente

Talque:
i unitario que llamaremos
El mdulo de la segunda derivada
por k(a).

.
define la curvatura de C en a,

El vector:

es un vector perpendicular a T(a) y unitario.


Por lo que junto a

tenemos un marco tridimensional

Para cada posicin

CURVATURA GEODESICA
Curvatura geodsica:
Sea : I M una curva diferenciable sobre la superficie M orientada por el vector
unitario normal , y sea Supngase que est parame rizada por el arco, es decir |0|
= 1. Entonces

Es para cada t un vector tangente a M, y ortogonal a y 00, por tanto podemos


escribir:

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

se denomina entonces a g curvatura geodsica de y representa (salvo el signo) la


longitud de la proyeccin del vector de curvatura 00 sobre el plano tangente. Si
denotamos (t) es la curvatura normal en 0(t), se tiene: de forma que si = |00| es
la curvatura de se verifica la identidad:

BIBLIOGRAFIA

http://www.taringa.net/
http://www.google.com.pe/imgres
http://matematica.wikia.com
http://www.um.es/
http://biblioteca.universia.net
Geometra diferencial de curvas y superficies en el espacio
Euclideo. (JAVIER LAFUENTE LPEZ) Revisin Enero de

2010
http://www.elprisma.com/apuntes

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

GLOSARIO
Longitud.
Si nos pidiesen que midamos la longitud de una curva, seguramente lo hariamos
utilizando segmentos de recta. Esta es la forma que utiliza la geometra diferencial:
Sustituye la curva por una linea poligonal, en la que los vrtices se aproximan
infinitamente a la curva

Tangente.
Imaginmonos que unimos con una recta dos puntos A y B situados sobre la curva y
que hacemos que el punto B se aproxime al A. La recta que une A y B cuando B est
infinitamente prximo a A, es la tangente.

Curvatura.
La curvatura mide la rapidez con la que la curva abandona la tangente.

Plano osculador.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

UNIVERSIDAD NACIONAL DEL CENTRO DEL PER

Este concepto slo se utiliza con curvas no contenidas en un plano. Dado un punto en
una curva, el plano osculador es el plano ms prximo a la curva que pasa por ese
punto. Por lo tanto una curva tiene infinitos planos osculadores.

Torsin
Este concepto slo se utiliza con curvas no contenidas en un plano. La torsin mide la
variacin de la direccin del plano osculador.

LONGITUD DE ARCO SOBRE UNA SUPERFICIE

INGENIE

S-ar putea să vă placă și