Apndice A

Curvas. Prcticas con Mathematica

A.1. GEOMETRA DIFERENCIAL DE CURVAS PLANAS
A.1.1. La curvatura de una curva plana y la longitud de arco
Prctica A.1. Definir la estructura compleja J en

y escribir un programa

que calcule la curvatura de una curva plana .

J [{ p 1, p 2}]{ p 2, p 1 }
a

Kappa

Prctica A.2. Calcular la curvatura de la figura ocho y representar su grfica.

Obsrvense los mximos, los mnimos y los puntos en los que se anula la
curvatura.

ocho
Kappa [ ocho ][ t ] ; Simplify [ ]
Plot [ Evaluate [ Kappa [ ocho ][ t ] , { t , 0, 8 } ] ]

Prctica A.3. Calcular la curvatura del crculo y representar grficamente dicha

funcin No debera ser constante?

circulo
Kappa [ circulo ] [ t ] ; Simplify [ ]
Plot [ Evaluate [ Kappa [ circulo ] [ t ] , {t ,0, 10 } ] ]

Prctica A.4. Definir la funcin que expresa el mdulo del vector de una curva,
y escribir la funcin longitud de arco como la integral indefinida de dicha
funcin. Finalmente, definir la funcin longitud, entre dos valores del parmetro,
como la integral definida del mdulo del vector velocidad de la curva.

alpha

arcd
alpha

arclength
a, b

alpha

length

Prctica A.5. Calcular la funcin longitud de arco de la parbola semicbica

(t 2 , t 3 ) . Calcular su longitud entre los valores 1 y 2 del parmetro.

t

sc
length [ 1,2 ] [ sc ] o tambin N [ arclength [ sc ][ 2 ] arclength [ sc ][ 1 ] ]
Prctica A. 6. Calcular la longitud de la cicloide desde el valor 0 al valor 2 del
parmetro, as como su funcin de longitud arco.

cicloide
length [ 0,2 Pi ][ cicloide ]
arclength [ cicloide ][ t ]

A.1.2. Representacin grfica de curvas

Prctica A. 7. (Formas explcita y paramtrica). Representar grficamente

la catenaria, la elipse de semiejes 1 y 2, y la circunferencia de radio 1. La
grfica resultante, es la de una circunferencia? Aadir la opcin
AspectRatio->Automatic.

Plot [ cosh [ t ] , {t ,2,2 } ]

ParametricPlot [ { cos [ t ] , 2 sin [ t ] } , {t , 0,2 Pi } ]

ParametricPlot [ { cos [ t ] , sin [ t ] } , { t , 0,2 Pi } ]

ParametricPlot [ { cos [ t ] , sin [ t ] } , { t , 0,2 Pi } , AspectRatio Automatic ]

Prctica A.8. (Visualizacin simultnea de varias grficas). Definir un

cdigo Mathematica una funcin que represente una familia de
circunferencias de centro

( p , q)

y radio a. Dibujar, usando la definicin

anterior, una circunferencia de radio 2 centrada en el punto (1,2). Dibujar,

usando dicha definicin, una circunferencia de radio 3 centrada en el punto
(2,0). Superponer ambos dibujos.

p, q

circunfer
Evaluate [ circunfer [ 2 ] [ 1,2 ] [ t ] , {t ,0,2 Pi } , AspectRatio Automatic ]
ParametricPlot
Evaluate [ circunfer [ 3 ] [ 2,0 ][ t ] , { t , 0,2 Pi } , AspectRatio Automatic ]
ParametricPlot
,
Show

A.1.3. Algunos ejemplos de curvas planas clsicas

Prctica

A.9.

Representar

parametrizacin es

la

llamada

lemniscata

de

Bernoulli,

cuya

( t )=(a cos t /(1+ sen2 t) ,a sen t cos t /(1+ sen2 t)), para t (0,2 ) .

lemn
ParametricPlot [ Evaluate [ lemn [ 1 ] [ t ] ] , { t ,0,2 Pi } , AspectRatio Automatic]

Prctica A.10. Definir la funcin cicloide

la grfica de dicha curva para

( t )=(tsent , 1cost )

y representar

t [0,6 ] .

Cicl
ParametricPlot [ Evaluate [ Cicl [ t ] ] , { t , 0,6 Pi } , AspectRatio Automatic ]
Prctica A.11. De la misma familia que la cicloide nos encontramos con las
llamadas trocoides: un crculo de radio 1 en el plano gira sin deslizarse sobre el
eje x; las figuras descritas por un punto interior (trocoide de tipo 1) y por un
punto exterior (trocoide de tipo 2) del crculo son las curvas trocoides.

troc 1
ParametricPlot [ Evaluate [ troc 1 [ t ] ] , { t , 0,4 Pi } , AspectRatio Automatic , AxesOrigin { 0,0 } ]
t

troc 2
ParametricPlot [ Evaluate [ troc 2 [ t ] ] , { t ,0,6 Pi } , AspectRatio Automatic ]

Prctica A.12. Las epicicloides e hipocicloides se generan de forma similar a la

cicloide, pero ahora, un crculo gira sobre otro crculo gira sobre otro crculo
<<base>> de mayor radio, bien por el exterior (epicicloide), bien por el interior
(hipocicloide).
En la expresin siguiente, a es el radio del crculo base y b el radio del
crculo que genera la curva.

a , b

Epic

{ {6 cos [ t ] ,6 sin [ t ] } , Evaluate [ Epic [ 6,1 ] [ t ] ] } , {t , 0,2 Pi } ,

ParametricPlot
AspectRatio Automatic ]

Modificar el valor del radio de la circunferencia pequea, b, y comprobar la

diferencia entre las curvas que se generan. Probar con los valores b = 0.5, 2, 3,
4. En el ltimo caso, b = 4, el parmetro t debe moverse en un intervalo mayor
(en caso contrario no se llega a definir la curva completa); probar con

t ( 0,5 ) .
a, b

Hipoc

{ {6 cos [ t ] ,6 sin [ t ] } , Evaluate [ Hipoc [ 6,1 ][ t ] ]} , {t ,0,2 Pi } ,

ParametricPlot
AspectRatio Automatic
Existen dos tipos de hipocicloides especialmente importantes: la deltoide y
la astroide. stas se obtienen cuando el cociente a/b vale, respectivamente, 3 y
4.

{ {6 cos [ t ] ,6 sin [ t ] } , Evaluate [ Hipoc [ 6,2 ][ t ] ]} , {t ,0,2 Pi } ,

Deltoide=ParametricPlot

AspectRatio Automatic

{ {8 cos [ t ] ,8 sin [ t ] } , Evaluate [ Hipoc [ 8,2 ][ t ] ]} , {t ,0,2 Pi } ,

Astroide=ParametricPlot

AspectRatio Automatic
Dependiendo del cociente a/b, pueden obtenerse curvas espectaculares.

Prctica A.13. Las epitrocoides e hipotrocoides son la <<mezcla>> de las

trocoides con las epicicloides y las hipocicloides: el crculo de radio 1 gira sobre
otro crculo <<base>> de radio mayor, bien por el exterior (lo que generar la
epitrocoide), bien por el interior (lo que generar la hipotrocoide); las figuras
descritas por un punto interior (epitrocoide o hipotrocoide de tipo 1) y por un
punto exterior (epitrocoide o hipotrocoide de tipo 2) del crculo son las curvas
buscadas.
En la expresin siguiente, a representa el radio de la circunferencia base, b
el radio de la que gira y h es la distancia del punto (exterior o interior) que
genera la curva propiamente dicha, al centro de la circunferencia pequea.

a, b , h

Htroc

{ {5 cos [ t ] , 5 sin [ t ] } , Evaluate [ Htroc [ 5,1,2 ][ t ] ]} , {t ,0,2 Pi } ,

ParametricPlot
AspectRatio Automatic , Axes False

a, b , h

Etroc

{ {5 cos [ t ] , 5 sin [ t ] } , Evaluate [ Etroc [ 5,1,2 ] [ t ] ] } , {t , 0,2 Pi } ,

ParametricPlot

AspectRatio Automatic
<

Prctica A.14. Representar la cisoide de Diocles,

( t )=(2t /(1+t ) , 2t /(1+t ))

cisoide
ParametricPlot [ Evaluate [ Cisoide [ t ] ] , { t ,2,2 } , AspectRatio Automatic ]

Prctica A.15. Representar la curva tractriz.

tract
ParametricPlot [ Evaluate [ tract [ t ] ] , { t , 0, Pi } , AspectRatio Automatic ]

Prctica A.16. Definir una funcin que represente una familia de elipses
centradas en el origen de coordenadas y de semiejes a y b. Representar,
usando dicha definicin, la elipse de semiejes 3 y 2.

a, b
el
ParametricPlot [ Evaluate [ el [ 3,2 ] [ t ] ] , { t , 0,2 Pi } , AspectRatio Automatic ]

Prctica A.17. Representar algunas de las espirales ms conocidas: la espiral

logartmica

( t )=(e bt cost , e bt sent ) , con

b=0.08

Arqumedes, cuya ecuacin en polares es

=a/ ; la espiral de Fermat,

t (0,12 ) ; la espiral de

=a ; la espiral hiperblica,

2=a2 ; y la espiral de Corn.

esplog
ParametricPlot [ Evaluate [ esplog [ 0.08 ][ t ] ] , {t , 0,12 Pi } , AspectRatio Automatic ]

espArq
ParametricPlot [ Evaluate [ espArq [ t ] ] , { t , 0,12 Pi } , AspectRatio Automatic ]
t :={cos[t ]/t , sin [t ]/ t }
esphip

ParametricPlot [ Evaluate [ esphip [ t ] ] , { t , 0,12 Pi } , AspectRatio Automatic ]

espFer
ParametricPlot [ Evaluate [ espFer [ t ] ] , { t ,4 Pi /3,4 Pi /3 } , AspectRatio Automatic ]
t

espCor
ParametricPlot [ Evaluate [ espCor [ t ] ] , { t ,2 Pi ,2 Pi } , AspectRatio Automatic ]

Prctica A.18. La unin de la curva

( t )=(3 at /(1+ t 3 ),3 a t 2 /(1+t 3))

y su

simtrica se denomina folium de Descartes. Representarla para a=1.

Obsrvese que esta curva tiene como asntota la recta
nuestro caso,

y=xa

y=x1 ).

foli
ParametricPlot [ Evaluate [ foli [ t ] ] , { t ,1,100 } , AspectRatio Automatic ]
ParametricPlot [ Evaluate [ foli 2 [ t ] ] , {t ,1,100 } , AspectRatio Automatic ]

,
Show
ParametricPlot [ { t ,t1 } , { t ,30,30 } , AspectRatio Automatic ]
,
Show

Prctica A.19. Representar la bruja de Agnesi (vase la prctica A.38).

(en

[{ }

ParametricPlot t ,

27
, { t ,10,10 } , AspectRatio A utomatic
2
9+ t

Prctica A.20. Representar la cardioide.

card
ParametricPlot [ Evaluate [ card [ t ] ] , {t ,20,20 } , AspectRatio Automatic ]

Prctica A.21. Representar la curva de Plateau.

a, m , n

plateau
Evaluate [ plateau [ 1,5,3 ][ t ] ] , { t , 0, Pi } , AspectRatio Automatic ,
ParametricPlot
PlotRange { {3.5,4 } , { 4,4 } } ]

Prctica A.22. Representar la curva de Kilroy.

Plot [ log [|[ sin [ x ] / x ]|] , { x ,20,20 } , PlotPoints 200, PlotRange {7,.2 } ]
Prctica A.23. Representar la cicloide de Ceva.

ParametricPlot [ ( 1+2 cos [ 2t ] ) { cos [ t ] , sin [ t ] } , {t ,0,2 Pi } , AspectRatio Automatic ]

Prctica A.24. Representar la cornoide.

{cos [ t ] ( 12 sin [ t ] ) , sin [t ] ( 1+2 cos [ t ] )} , {t , 0,2 Pi } ,

2

ParametricPlot

AspectRatio Automatic
Prctica A.25. Representar el trifolium.

ParametricPlot ,

AspectRatio Automatic
Prctica A.26. Representar los valos de Cassini.
Para representar curvas cuya ecuacin viene dada de forma implcita, hay
que cargar el paquete ImplicitPlot.

Graphics ImplicitPlot

{ $ DisplayFunction=Identity } ,
Block
GraphicsArray
Show
2
{ a , b }
2
2
2 2

(x + y + a ) 4 a =b4 /. Thread[], {x ,5,5 },

ImplicitPlot
1,
PlotPoints 50,Ticks @( { } @ {1.5,1 .05,1,.95 } )
Prctica A.27. Representar las concoides de Nicomedes.
Para utilizar distintos colores en las representaciones grficas es necesario
cargar el paquete Colors.

Graphics Colors

2
Whit [ { b=1 } ,b ( xa)2 ( x 2+ y 2)= 0],
ImplicitPlot
Table
GraphicsArray
Show

, DisplayFunction Identity , AspectRatio Automatic ,

{ x ,3,3 } , Ticks
PlotRange { {1.1,3.1 } , {2,2 } } , PlotStyle , {a ,0,2,1 /2 } ,
GraphicsSpacing.05

Prctica A.28. Representar la curva de Dumbbell.

ImplicitPlot [ y 2=(x 4 x 6), { x ,5,5 } , AspectRatio Automatic ]

Prctica A.29. Representar la curva nudo.

ImplicitPlot [( x 21)2= y 2 (3+2 y), { x ,2,2 } , AspectRatio Automatic ]

Prctica

A.30.

Representar

coordenadas polares es

las

rosceas,

curvas

r=cos ( n) . Obsrvese que, si

rosa tiene n ptalos, mientras que si

nZ

cuya

nZ

ecuacin

en

es impar, la

es par, la rosa tiene 2n ptalos.

Graphics Graphics
cos [ nt ] , {t , 0, ( Mod [ n+1,2 ] +1 ) Pi } ,
PolarPlot
Table
GraphicsArray
Show
, PlotStyle

PlotLabelTraditionalForm [ HoldForm [ n ] = n ] ,Ticks

DisplayFunction Identity , {n , 2,5 }
Ahora bien, si n=p/q es un nmero racional, entonces la rosa se cierra en el
ngulo

=q , donde

=1 si p es impar y

x, y

: x y

/. Rational
EvenQ
Pi Denominator [ ] If
{1/2, 1/3,2/3, 1/4, 3/4, 1/5,2/5, 3/5 }

=2 si p es par.

cos [ t ] ,
PolarPlot
Partition
GraphicsArray
Show

x, y

: xy

/. Rational
EvenQ
{t ,0, Pi Denominator [ ] If
PlotLabelTraditionalForm [ n= InputForm [ ] ] , PlotPoints 100,
, PlotStyle
DisplayFunction Identity ,Ticks
/@{1/2,1/3, 2/ 3,1/ 4,3 /4,1/5, 2/5,3 /5 }, 4 , 4, {1,1 }, {}
Finalmente, si n es irracional, la rosa, ms espectacular, tiene infinitos ptalos.

n=
cos [ t ] , { t , 0,30 Pi } , PlotLabel TraditionalForm [ ]
PolarPlot
GraphicsArray
Show
,
PlotPoints 100, DisplayFunction Identity , Ticks
PlotStyle @{E , Pi , 2}

A.1.4. Grficas de funciones definidas a trozos

Prctica A.31. Representar grficamente un tringulo.

t <1, t {1,0 } ,
triangulo

If [ t<2, { 1,0 } + ( t1 ) {1 /2, 3/2 } , { 1/2, 3/2 } + ( t2 ) {1 /2, 3/2 } ]

ParametricPlot [ triangulo [ t ] , { t , 0,3 } , AspectRatio Automatic ]
Prctica A.32. Representar grficamente un cuadrado.

t < 2, {1,0 } + ( t 1 ) { 0,1 } ,

t <1,t { 1,0 } , If
cuadrado

If [ t<3, { 1,1 } + ( t2 ) {1,0 } , { 0,1 } + ( t3 ) { 0,1 } ]

ParametricPlot [ Evaluate [ cuadrado [ t ] ] , {t , 0,4 } , AspectRatio Automatic ]
Prctica A.33. Representar grficamente un rombo que tenga una diagonal
horizontal y otra vertical.

t< 6, {3,0 }+ ( t3 ) {1,1 } ,

t<3, { 0,3 } +t { 1,1 } , If
rombo
If [ t<9, {0,3 }+ ( t6 ) {1,1 } , {3,0 }+ ( t9 ) { 1,1 } ]
ParametricPlot [ Evaluate [ rombo [ t ] ] , {t ,0,12 } , AspectRatio Automatic ]

A.1.5. Generacin dinmica de algunas curvas

Prctica A.34. Con los comandos siguientes podemos definir y dibujar puntos,
rectas, polgonos, discos y crculos.

Point [ { 1,2 } ] ; Show [ Graphics [ ] ]

Line [ { { 0,0 } , {1,1 } , { 0.5,1 } } ] ; Show [ Graphics [ ] ]

triangulo=Line [ { { 0,0 } , {1,1 } , { 0.5,1 } , { 0,0 } } ] ; Show [ Graphics [ triangulo ] ]

Disk [ { 2,3 } ,1 ] ; Show [ Graphics [ ] , AspectRatio Automatic ]

[ { 2,3 } ,1 ] ; Show [ Graphics [ ] , AspectRatio Automatic ]

Prctica A.35. El siguiente programa produce una animacin que permite
visualizar como se genera la cicloide.

cicloide
lineabase=Line [ { {2,0 } , { 10.5,0 } } ] ;
puntos={ PointSize [ .006 ] } ;

Graphics
AppendTo [ puntos , Point [ cicloide [ t ] ] ] ; Show
Do
{ {GrayLevel [ .8 ] , Disk [ { t , 1 } ,1 ] } , Line [ { { t , 1 } , cicloide [ t ] } ] , lineabase , puntos } ,

AspectRatio Automatic , PlotRange All , t , 0,

592 Pi 2 Pi
,

40
40

Prctica A.36. Construir una animacin que genere los dos tipos de trocoides
(vase la prctica A.11).

trocoide1
lineabase=Line [ { {2,0 } , { 21,0 } } ] ; puntos={ PointSize [ .006 ] } ;

{ [ {2 t ,2 } , 2 ] ,
Graphics
AppendTo [ puntos , Point [ trocoide1 [ t ] ] ] ; Show
Do

{GrayLevel [ .8 ] , Disk [ { 2t ,2 } , 1 ] } , Line [ { {2 t , 2 } ,trocoide 1 [ t ] } ] , lineabase , puntos } ,

AspectRatio Automatic , PlotRange { {2.5,21 } , {.5,5 } } , t , 0,

592 Pi 2 Pi
,

40
40

trocoide 2
lineabase=Line [ { {2,0 } , { 10,0 } } ] ; puntos ={ PointSize [ .006 ] } ;

{{GrayLevel [ .9 ] ,
Graphics
AppendTo [ puntos , Point [ trocoide 2 [ t ] ] ] ; Show
Do

Disk [ { t/2, 1/2 } ,1 ] }, [ { t /2, 1/2 } ,1/2 ] , Line [ { {t /2,1 /2 } , trocoide 2 [ t ] } ] ,

lineabase , puntos} , AspectRatio Automatic , PlotRange { {2.5,21 } , {.5,5 } } ,

Pi 2 Pi
,

{t , 0, 1002
40
40 }
Prctica A.37. Construir una animacin que genere la astroide. Hacer lo mismo
para una hipotrocoide y una epitrocoide.

astroide [ t ] { 6 cos [ t ] +2 cos [ 3 t ] , 6 sin [ t ] 2 sin [ 3 t ] } ;

circulobase=[ { 0,0 } , 8 ] ; puntos= { PointSize [ .01 ] } ;

{ [ { 6 cos [t ], 6 sin[t ] } , 2 ] ,
Graphics
AppendTo [ puntos , Point [ astroide [ t ] ] ] ; Show
Do

Line [ { { 6 cos[t ],6 sin [t ] } , astroide [ t ] } ] , circulobase , puntos} ,

AspectRatio Automatic , PlotRange All , { t , 0,2 Pi ,.05 }

Prctica A.38. Construir una animacin que genere la bruja de Agnesi. sta
puede obtenerse de la siguiente forma: tmese una circunferencia de radio r,
con centro en el punto

(0, r) ; trcese una recta desde el origen de

coordenadas, y sean P y Q los puntos de corte de la misma con la circunferencia

y con la recta

y=2 r , respectivamente. El correspondiente punto de la curva

es aquel que tiene como coordenada x la abscisa de Q y como coordenada y la

ordenada de P.

f 1=ParametricPlot [ { cos [ t ] ,1+ sin [ t ] } , {t ,0,2 Pi } , DisplayFunction Identity ] ;

f 2=ParametricPlot [ {t , 0 } , {t ,6,6 } , DisplayFunction Identity ] ;

2
, { t , 0, i0.001 } ,
1+t 2
i=0, i2.1,i+ 0.1, f 3=ParametricPlot
For
2t ,

DisplayFunction Identity , PlotStyle RGBColor [1,0,0] ;

2
, { t , 0,i0.001 } ,
2
1+t
f 4=ParametricPlot

2 t ,

DisplayFunction Identity , PlotStyle RGBColor [1,0,0] ;

{f 1, f 2, f 3, f 4,Graphics [ Line [ { { 0,0 } , {2 i, 2 } } ] ] ,
Show

[ [{

2
Graphics Line { 2i , 2 } , 2i ,
1+i 2

}}] ]

,Graphics Line

[ [{
}}]

[{{

2i ,

}{

2
2
2
,
,
2
2
1+i
1+i 1+ i2

Graphics [ Line [ { { 0,0 } , {2i ,2 } } ] ] ,Graphics Line {2i , 2 } , 2 i ,

Graphics Line

[{{

2 i,

}{

2
2
2
,
,
2
2
1+i
1+i 1+i 2

2
2
1+i

}}]

}}]

DisplayFunction $ DisplayFunction , AspectRatio Automatic , Axes False ,

PlotRange All
Prctica A.39. La siguiente animacin muestra cmo se transforman los valos
de Cassini cuando vara el parmetro (vase la prctica A.26).
2

4,

(x + y +1) 4 x = b {x ,5,5 }, PlotPoints 50,

ImplicitPlot
Table

Ticks , {b ,0.9,1 .5,.02 }

A.1.6. Evolutas y curvas paralelas

Prctica A.40. Definir en cdigo Mathematica una funcin que represente la
evoluta de una curva regular plana

(t)

(vase la definicin 1.2.6).

p 1, p 2
{ ] {p 2, p 1 }
J
alpha

evoluta
Prctica A.41. Calcular, usando la definicin anterior, una parametrizacin de
la evoluta de una elipse de semiejes a y b. Representar grficamente la elipse
de semiejes 1.5 y 1, as como su evoluta.

a, b

elipse
Evaluate [ {elipse [ 1.5,1 ][ t ] , evoluta [ elipse [ 1.5,1 ] ] [ t ] } ] , {t ,0,2 Pi } ,
ParametricPlot
AspectRatio Automatic
Prctica A.42. Calcular una parametrizacin de la evoluta de la cisoide de
parmetro a. Representar grficamente la cisoide de parmetro 1, as como su
evoluta.

a
cisoide
Evaluate [ {cisoide [ 1 ][ t ] , evoluta [ cisoide [ 1 ] ] [ t ] } ] , {t ,2,2 } ,
ParametricPlot
AspectRatio Automatic
Prctica A.43. Calcular una parametrizacin de la evoluta de la tractriz.
Representar grficamente la tractriz, as como su evoluta.

tractriz
Evaluate [ { tractriz [ t ] , evoluta [ tractriz ] [ t ] } ] , { t , 0, Pi } ,
ParametricPlot
AspectRatio Automatic
Prctica A.44. Calcular una parametrizacin de la evoluta de la cicloide.
Representar grficamente la cicloide, as como su evoluta. Obsrvese que sta
tambin es una cicloide (vase el ejercicio 1.12).

cicloide
Evaluate [ { cicloide [ t ] , evoluta [ cicloide ][ t ] } ] , { t , 0, Pi } ,
ParametricPlot
AspectRatio Automatic

Prctica A.45. Disear un programa que defina la funcin curva paralela a

distancia s de una curva dada

(t)

(vase la definicin 1.2.8).

alpha

curvapar

Prctica A.46. Representar la elipse de semiejes 2 y 1 y cuatro curvas

paralelas a dicha elipse para valores de s comprendidos entre 0 y 1.

Evaluate [ elipse [ 2,1 ][ t ] ] , { t , 0,2 Pi } , AspectRatio Automatic ,

ParametricPlot
PlotStyle RGBColor [1,0,0] ;
{curvapar [ elipse [ 2,1 ] ] [0.2][t ],
Evaluate
ParametricPlot
curvapar [ elipse [ 2,1 ] ] [ 0.5 ][ t ] , curvapar [ elipse [ 2,1 ] ] [ 0.7 ] [ t ] ,
curvapar [ elipse [ 2,1 ] ] [ 0.9 ][ t ] } , { t ,0,2 Pi } , AspectRatio Automatic
,
Show
Prctica A.47. Representar, en una sola figura, cuatro curvas paralelas a una
lemniscata (vase la prctica A.9). Hgase lo mismo para una cardioide
(prctica A.20) y una deltoide (prctica A.12).

A.2. GEOMETRA DIFERENCIAL DE CURVAS EN EL ESPACIO

A.2.1. Representacin grfica de curvas alabeadas
Prctica A.48. Representar la hlice cilndrica

( t )=(acost ,asent , bt )

ejemplo 1.10), para t entre 0 y 15.

a, b

hc
ParametricPlot 3 D [Evaluate [ hc [ 1,1 ][ t ] ] , {t , 0,15 } , AspectRatio Automatic]

(vase el

Prctica A.49. Representar la cbica torcida,

( t )=(t , t 2 , t 3 ) .

3
ct
ParametricPlot 3 D [Evaluate [ ct [ t ] ] , {t ,2,2 } , AspectRatio Automatic]
Prctica A.50. Algunas de las espirales no planas ms famosas son las
siguientes:
t

La espiral concha: ( t )=(a b cost , a b sent ,c b ) .

La espiral cnica: ( t )=((ht)/hrcos(at) ,(ht)/hrsen(at) , t) .

La espiral esfrica:

sta es la loxodroma de la esfera (vase el ejercicio 2.8).

La espiral helicoidal o slinky (es una espiral que se enrolla alrededor de
una hlice):

( t )=( costcos , sentcos , sen ) , con

=arctg e b (t +c) .

( t )=( cost [ 1+acos ( wt ) ] , sent [ 1+ acos ( wt ) ] , ht+ asen ( wt ) ) .

a, b, c

spiral 3 d
Evaluate [ spiral 3 d [ 1,1.08,1 ] [ t ] ] , { t ,10,30 } , PlotPoints 150,
ParametricPlot 3 D

ViewPoint { 2,0,.5 }
h , r, a

spiralconica
Evaluate [ spiralconica [ 1,0.8,1 .5 ] [ t ] ] , { t ,0,70 } ,
ParametricPlot 3 D

PlotPoints 500,ViewPoint { 2,0,.5 }

Sphs
ParametricPlot 3 D [ Evaluate [ Sphs [ t ] ] , {t ,10 Pi , 10 Pi } , PlotPoints 500 ]

a, w , h

,t

Slinky
ParametricPlot 3 D [ Evaluate [ Slinky [ .4,40,.3 ][ t ] ] , {t , 0,5 Pi } , PlotPoints 1000 ]

Prctica A.51. Representar la curva de Viviani,

( t )=a ( 1+ cost , sent , 2 sen ( 2 t ) ) .

Esta curva puede obtenerse como la interseccin de un cilindro y una esfera.

viviani
ParametricPlot 3 D [ Evaluate [ viviani [ 1 ][ t ] ] , { t , 0,4 Pi } ]

}}

1+ cos [ u ] sin [ u ]
Pi
,
,v
,
2
2
2
ParametricPlot 3 D

{ cos [ u ] sin [ v ] , sin [ u ] sin [ v ] , cos [ v ] } ,

{ u , 0,2 Pi } , { v , 0, Pi } , Boxed False , Axes False

Prctica A.52. Representar la cardioide espacial, cuya parametrizacin viene
dada por

( t )=( ( 1+cost ) cost , (1+ cost ) sent , sent ) .

card 3 D
ParametricPlot 3 D [ Evaluate [ card 3 D [ t ] ] , {t , 0,2 Pi } ]

A.2.2. El triedro de Frenet, la curvatura y la torsin

Prctica A.53. Escribir un programa que calcule el triedro de Frenet de una

curva

en

R3

p.p.a.

alpha

vtang
alpha

vnormal

tt alpha [ tt ] ,

alpha

{tt , 2} alpha [ tt ]

{tt , 2} alpha [ tt ] . { tt ,2 } alpha [ tt ]

vbinor

/. {tt t }

Simplify [ { vtang [ alpha ] [ t ] , vnormal [ alpha ][ t ] , vbinorm [ alpha ][ t ] } ]

Prctica A.54. Escribir un programa que calcule la curvatura y la torsin de
una curva cualquiera

en

torsin de la hlice cilndrica.

alpha

curvat
alpha

torsion
t

helice
Simplify [ triedro [ helice ][ t ] ]

R3 . Utilizarlo para calcular la curvatura y la

Simplify [ curvat [ helice ][ t ] ]

Simplify [ torsion [ helice ][ t ] ]
Prctica A.55. Aplicar el ejercicio anterior a las curvas alabeadas recogidas en
las prcticas anteriores.

Apndice B
Superficies. Prcticas con Mathematica
B.1. EJEMPLOS DE SUPERFICIES
Prctica B.1. Representar grficamente el plano, utilizando distintas
parametrizaciones del mismo (obsrvese la diferencia entre las curvas
coordenadas).

ParametricPlot 3 D [ {ucos [ v ] , usin [ v ] , 0 } , { u , 0,20 } , { v ,0,2 Pi } ]

ParametricPlot 3 D [ { u+ v , v , 0 } , { u , 0,20 } , { v ,0,20 } ]
ParametricPlot 3 D [ { u , v , 0 } , {u ,0,20 } , { v , 0,20 } ]
Prctica B.2. Representar grficamente la esfera, utilizando la parametrizacin
de las coordenadas geogrficas y la de la proyeccin estereogrfica (obsrvese
de nuevo la diferencia entre las curvas coordenadas), y el elipsoide.

ParametricPlot 3 D [ { sin [ u ] cos [ v ] , sin [ u ] sin [ v ] ,cos [u] } , { u , 0, Pi } , { v , 0,2 Pi } ]

2u
2v
u2+ v 21
,
,
}, {u ,8,8}, {v ,8,8 }, PlotRange All ,
2
2
2
2
2
2
1+ u +v 1+ u + v 1+ u +v
ParametricPlot 3 D
PlotPoints 100

ParametricPlot 3 D [ {2 sin [ u ] cos [ v ] , sin [ u ] sin [ v ] , cos [u ]} , {u , 0, Pi } , { v , 0,2 Pi } ]

La elipse que genera el elipsoide se puede observar fcilmente si
efectuamos la rotacin entre 0 y :

ParametricPlot 3 D [ {2 sin [ u ] cos [ v ] , sin [ u ] sin [ v ] , cos [u ]} , {u , 0, Pi } , { v , 0, Pi } ]

Prctica B.3. Representar grficamente el cilindro y el cono de dos hojas.

ParametricPlot 3 D [ { cos [ u ] , sin [ u ] , v } , {u , 0,2 Pi } , { v ,3,3 } ]

ParametricPlot 3 D [ { vcos [ u ] , vsin [ u ] , v } , { u , 0,2 Pi } , { v ,3,3 } ]

Prctica B.4. Representar grficamente el paraboloide de revolucin.

ParametricPlot 3 D [ {ucos [ v ] , usin [ v ] ,u2 } , { u ,2,2 } , { v , 0,2 Pi } ]

Prctica B.5. Representar grficamente el toro de revolucin, dependiendo de

la distancia, a, al eje, de la circunferencia que lo genera.

u, v

Toro
ParametricPlot 3 D [ Evaluate [ Toro [ 2 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0,2 Pi } , PlotPoints 40 ]

ParametricPlot 3 D [ Evaluate [ Toro [ 1 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0,2 Pi } , PlotPoints 40 ]

ParametricPlot 3 D [ Evaluate [ Toro [ 0.5 ] [ u , v ] ] , {u , 0,2 Pi } , { v , 0,2 Pi } , PlotPoints 40 ]
Para visualizar mejor lo que ocurre en los dos ltimos casos, evaluar la
rotacin slo entre 0 y . Como puede verse, estas superficies tienen puntos
singulares, y por tanto, no son superficies regulares.

ParametricPlot 3 D [ Evaluate [ Toro [ 1 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0, Pi } , PlotPoints 40 ]

ParametricPlot 3 D [ Evaluate [ Toro [ 0.5 ] [ u , v ] ] , {u , 0,2 Pi } , { v , 0, Pi } , PlotPoints 40 ]

Prctica B.6. Representar grficamente los hiperboloides de una y dos hojas.

ParametricPlot 3 D [ { cosh [ u ] cos [ u ] , cosh [ v ] sin [ u ] ,sinh [ v ] } , { u , 0,2 Pi } , { v ,2,2 } ]

ParametricPlot 3 D {{u , v , u2 +v 2 +1 } , {u , v , u 2+ v 2+ 1 }} , { u ,2,2 } , { v ,2,2 }

Prctica B.7. Representar con una animacin la deformacin del cilindro en el

cono de dos hojas por una familia uniparamtrica de hiperboloides de una hoja.

( [

{cos [ u ] + v cos u+

( [

tPi
tPi
cos [ u ] , sin [ u ] +v sin u+
sin [ u ] ,
20
20
ParametricPlot 3 D
Table

2+ 4 v }, {u , 0,2 Pi } , { v , 0,1 } , Axes False , Boxed False ,

PlotRange { {1,1 } , {1,1 } , {2,2 } } ,{t , 0,20 }

Prctica B.8. Representar grficamente el paraboloide hiperblico, o silla de

montar, y la silla de montar del mono.

Plot 3 D [ u2v2, {u ,3,3 } , { v ,3,3 } , BoxRatios Automatic ]

Plot 3 D [ u33 uv 2, { u ,1,1 } , { v ,1,1 } , BoxRatios Automatic ]
Prctica B.9. Representar grficamente la pseudoesfera.

{sin [ u ] cos [ v ] ,sin [ u ] sin [ v ] , cos [ u ] +log [ tan [ u/2 ] ] } ,

ParametricPlot 3 D

{ u , 0.01,1 } , { v , 0,2 Pi }
Prctica B.10. Representar el grafo de la funcin

z=sen ( x+ seny ) , x , y [0,4 ]

. Construir una animacin que muestre la rotacin de dicha superficie.

Plot 3 D [ sin [ x +sin [ y ] ] , { x ,0,4 Pi } , { y , 0,4 Pi } , PlotPoints 30 ]

sin [ x+ sin [ y ] ] , { x , 0,4 Pi } , { y ,0,4 Pi } , PlotPoints 30, SphericalRegion True ,
Plot 3 D
Do
Axes , {t , 0, Pi , Pi /20 }

Prctica

B.11.

Mostrar

el

paraguas

de

Whitney,

X ( u , v )=(uv ,u , v ) .

Obsrvese que no es una superficie regular en todo su rango, pues presenta

autointersecciones.

ParametricPlot 3 D [ {uv , u , v 2 } , { u ,3,3 } , { v ,3,3 } , PlotPoints 30 ]

B.1.1. Superficies de revolucin

Prctica B.12. Mostrar las superficies de revolucin obtenidas al rotar,
alrededor del eje z, algunas de las curvas definidas en el apartado A.1.3. stas
deben escribirse en la forma
el plano

( v )=( f ( v ) ,0, g ( v ) )

para que estn contenidas en

y=0 .

u, v

revol
a) La circunferencia (genera la esfera).

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0, Pi } ]
b) La elipse (genera el elipsoide).

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0, Pi } ]
c) La tractriz (genera la pseudoesfera).

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0.01, Pi /2 } ]
d) La parbola (genera el paraboloide de revolucin).

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0,4 } ]
e) La cisoide de Diocles.

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v ,2,2 } ]
f) La bruja de Agnesi.

f
ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0,10 } ]
g) La figura ocho.

ParametricPlot 3 D [ Evaluate [ revol [ u , v ] ] , {u , 0,2 Pi } , { v , 0, Pi } ]

Mostrar la grfica anterior, pero evaluando la rotacin slo entre 0 y

. Ahora

puede distinguirse claramente la figura ocho.

B.1.2. Superficies no orientables

Prctica B.13. Representar la banda de Mbius (vase el ejemplo 3.1)
parametrizada
por

X ( u , v )=(cosu+ vcos (au /2)cosu , senu +vcos (au /2)senu , vs en (au/2)) ,

con

u (0,2 ) , para distintos valores del parmetro a, y obsrvese lo que

representa dicho parmetro en la construccin de la superficie.

u, v

Mobius
ParametricPlot 3 D [ Evaluate [ Mobius [ 1 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0.5,0 .5 } ]

ParametricPlot 3 D [ Evaluate [ Mobius [ 2 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0.5,0 .5 } ]

ParametricPlot 3 D [ Evaluate [ Mobius [ 3 ][ u , v ] ] , {u , 0,2 Pi } , { v ,0.5,0 .5 } ]

ParametricPlot 3 D [ Evaluate [ Mobius [ 5 ][ u , v ] ] , { u , 0,2 Pi } , { v ,0.5,0 .5 } ]

Prctica B.14. Representar la botella de Klein.

u, v

kleinb

( a+ cos [ u /2 ] sin [ v ] sin [ u /2 ] sin [ 2 v ] ) sin [ u ] , sin [ u/2 ] sin [ v ] +cos [ u /2 ] sin [ 2 v ] }
Evaluate [ kleinb [ 2 ][ u , v ] ] , { v , 0,2 Pi } , {u ,Pi /4,3 Pi /2 } ,
ParametricPlot 3 D

PlotPoints 32, Axes

Cambiar los valores del parmetro a en la parametrizacin anterior de la
botella de Klein, y obsrvese cmo vara la superficie.

Evaluate [ kleinb [ 4 ][ u , v ] ] , { v , 0,2 Pi } , {u ,Pi /4,3 Pi /2 } ,

ParametricPlot 3 D
PlotPoints 32, Axes
Prctica B.15. Sin embargo, las representaciones de la botella de Klein ms
conocidas no corresponden a ninguna parametrizacin real: se construyen a
trozos, uniendo de forma adecuada diversas superficies parametrizadas.
Representar las <<botellas de Klein>> ms usuales.
a) Primera representacin:

u, v

bottom
fondo=ParametricPlot 3 D [ Evaluate [ bottom [ u , v ] ] , { u , 0,2 Pi } , { v , 0, Pi } ]
u, v

middle
medio=ParametricPlot 3 D [ Evaluate [ middle [ u , v ] ] , { u ,0,2 Pi } , { v , 0, Pi } ]

u, v

handle
mango=ParametricPlot 3 D [ Evaluate [ handle [ u , v ] ] , { u , 0,2 Pi } , { v ,0, Pi } ]
u, v

thetop
techo=ParametricPlot 3 D [ Evaluate [ thetop [ u , v ] ] , {u , 0,2 Pi } , { v , 0, Pi } ]

all=Show [ mango , techo, medio , fondo ]

b) Segunda representacin:

bx=6 cos [ u ] ( 1+sin [ u ] ) ; by=16 sin [ u ] ; rad =4 (1cos [u]/2);

X =If [ Pi <u 2 Pi , bx+ radcos [ v + Pi ] , bx+radcos [ u ] cos [ v ] ] ;
Y =If [ Pi<u 2 Pi , by , by +radsin[ u]cos [ v ] ] ; Z=radsin [ v ] ;
Evaluate [ { X ,Y , Z } ] , { u , 0,2 Pi } , { v , 0,2 Pi } , PlotPoints 32,
ParametricPlot 3 D
Axes False , Boxed False ,ViewPoint { 1.4,2.6,1.7 }
Prctica B.16. Considerar la siguiente familia de superficies (no orientables)
dependiendo del parmetro a. Esta familia determina una homotopa
(deformacin diferenciable) de la llamada superficie romana (caso
superficie del nio (caso

a=0 ) en la

a=1 ), para a entre 0 y 1. Representar la animacin.

u, v, a

BoyR
a

Evaluate [ BoyR [ u , v ,a ] ] , { u ,Pi /2, Pi /2 } , { v , 0, Pi } , PlotPoints 32,

BR
PlotPoints 25 , ViewPoint { 1,1,1 }
BR [ 0 ] ; BR [ 1 ] ; Table [BR [ a ] , {a ,0,1,1 /8 }]

B.1.3. superficies minimales

Prctica B.17. Representar el helicoide,
catenoide,

X ( u , v )=(vcosu , vsenu , u) , y el

X ( u , v )=(coshvcosu , coshvsenu, v ) .

ParametricPlot 3 D [ { vcos [ u ] , vsin [ u ] , u } , { u , 0,4 Pi } , { v ,4,4 } ]

ParametricPlot 3 D [ { cos [ u ] cosh [ v ] ,sin [ u ] cosh [ v ] , v } , { u , 0,2 Pi } , { v ,1.5,1.5 } ]
Prctica B.18. Considerar la siguiente familia de superficies (minimales)
dependiente del parmetro a. Esta familia determina una deformacin

isomtrica del catenoide en el helicoide para a entre 0 y /2. Representar la

animacin.

r , t , a

X
a

Evaluate [ X [ r 2,t , a ] ] , { r , 1/ 6 , 6 } , { t , 0,2 Pi } ,

gr
PlotPoints 35 , Axes False , ViewPoint {1.481,2.293,2 .000}
gr [ 0 ] ; gr [ Pi /2 ] ; Table[ gr [ a ] , {a , 0, Pi/2,(Pi /2)/6 }]
Prctica B.19. Representar la primera superficie de Scherck.

u, v

scherck
ParametricPlot 3 D [Evaluate [ scherck [ u , v ] ] , {u ,Pi /2 , Pi/2 } , { v ,Pi /2 , Pi/2 } ]
La primera superficie de Scherck es una superficie peridica, y usualmente
suele representarse del siguiente modo:

d, e

u, v

scherckgen
Evaluate [ scherckgen [ 3 d ,3 e ][ u , v ] ] ,
ParametricPlot 3 D
Table
Show

{ u ,Pi /23 e , Pi /23 e } , { v ,Pi /23 d , Pi/23 d } , { e , 0,2 } , {d , 0,2}

Prctica B.20. Representar la segunda superficie de Scherck.

u, v

scherck 2

ParametricPlot 3 D [ Evaluate [ scherck 2 [ u , v ] ] , { u ,0.8,0.8 } , { v ,0.8,0 .8 } ]

Prctica B.21. Representar la superficie de Enneper.

u, v

enneper
ParametricPlot 3 D [ Evaluate [ enneper [ u , v ] ] , {u ,3,3 } , { v ,3,3 } ]
Como puede verse, tiene autointersecciones, por lo que no es una superficie
regular en todo su rango. Si, por ejemplo,

U= (1.5,1 .5 ) (1.5,1.5) , entonces

s lo es.

ParametricPlot 3 D [ Evaluate [ enneper [ u , v ] ] , {u ,1.5,1.5 } , { v ,1.5,1 .5 } ]

Prctica B.22. Representar la superficie de Catalan.

u, v

Catal
ParametricPlot 3 D [ Evaluate [ Catal [ u , v ] ] , {u ,0,2 Pi } , { v ,5,5 } , ViewPoint { 2,1,1 } ]
Prctica B.23. Representar la superficie de Riemann.

t , s

x
{1+2 r [t] 4 +r ' [t]2 r [ t ] r ' ' [t]= 0, h' [t ]= r [t ]2, r [0]=1,
solu=NDSolve
r ' [ 0 ] = 0.5,h [ 0 ]= 0}, { r [ t ] ,h [ t ] } , {t ,2,1 } , MaxSteps 2000
Evaluate[ {h [ t ] +r [ t ] cos [ s ] , h [ t ] + r [ t ] sin [ s ] ,t }/ . solu ],
ParametricPlot 3 D

{ t ,1,0.65 } , { s , 0,2 Pi } ,ViewPoint { 1,6,2 } , PlotRange All

B.2. LA CURVATURA DE GAUSS Y LA CURVATURA MEDIA

Prctica B.24. Definir funciones que calculen los coeficientes de la primera
forma fundamental de una superficie parametrizada por X.

u, v

EE
X

u, v

FF
X

u, v

Prctica B.25. Definir funciones que calculen los coeficientes de la segunda

forma fundamental de una superficie parametrizada por X.

u, v

Det { {uu ,uu} X [ uu , vv ] , uu X [ uu , vv ] , vv X [ uu , vv ] } /

ee

uu X [ uu , vv ] . uu X [ uu , vv ] vv X [ uu , vv ] . vv X [ uu , vv ]
Simplify

( uu X [ uu , vv ] . vv X [ uu , vv ] ) /. { uuu , vv v }

u, v

Det { {uu ,vv } X [ uu , vv ] , uu X [ uu , vv ] , vv X [ uu , vv ] } /

ff

uu X [ uu , vv ] . uu X [ uu , vv ] vv X [ uu , vv ] . vv X [ uu , vv ]
Simplify

( uu X [ uu , vv ] . vv X [ uu , vv ] ) /. { uuu , vv v }

u, v

Det { {vv , vv } X [ uu , vv ] ,uu X [ uu , vv ] , vv X [ uu , vv ] } /

uu X [ uu , vv ] . uu X [ uu , vv ] vv X [ uu , vv ] . vv X [ uu , vv ]
Simplify

( uu X [ uu , vv ] . vv X [ uu , vv ] ) /. { uuu , vv v }
Prctica B.26. Definir funciones que representen la curvatura de Gauss y la
curvatura media de una superficie parametrizada por X.

u, v

gauss
X

u, v

media
Prctica B.27. Calcular los coeficientes de la primera y segunda forma
fundamental de algunas de las superficies estudiadas en la seccin anterior: la
esfera, el toro, el paraboloide elptico, etc.

u, v

esfera
{EE [ esfera [ r ] ] [ u , v ] , FF [ esfera [ r ] ] [ u , v ] , [ esfera [ r ] ] [u , v ]
{ee [ esfera [ r ] ] [ u , v ] , ff [ esfera [ r ] ] [ u , v ] ,[ esfera [ r ] ] [u , v ]

}
}

a, r

u, v

toro
{EE [ toro [ a , r ] ] [ u , v ] , FF [ toro [ a , r ] ] [ u , v ] ,[ toro [ a , r ] ] [u , v ]

{ee [ toro [ a ,r ] ] [ u , v ] , ff [ toro [ a , r ] ] [ u , v ] , [ toro [ a , r ] ] [u , v ] }

u, v

parabel
{EE [ parabel ][ u , v ] , FF [ parabel ][ u , v ] , [ parabel ] [u , v ]
{ee [ parabel ][ u , v ] , ff [ parabel ] [ u , v ] , [ parabel ] [u , v ]

}
}

Prctica B.28. Calcular la curvatura de Gauss y la curvatura media de las

superficies anteriores: la esfera, el toro, el paraboloide elptico, etc.

gauss [ esfera [ r ] ] [ u , v ] ; gauss [ toro [ a ,r ] ] [ u , v ] ; gauss [ toro [ a , r ] ] [ u , v ]

media [ esfera [ r ] ] [ u , v ] ; media [ parabel ] [ u , v ] ; media [ parabel ][ u , v ]
Prctica B.29. Representar la grfica de la curvatura de Gauss y de la
curvatura media de las superficies anteriores: la esfera, el toro, el paraboloide
elptico, etc.

ParametricPlot 3 D [ Evaluate [ gauss [ esfera [ 1 ] ] [ u , v ] ] , { u ,0,2 Pi } , { v , 0,2 Pi } ]

ParametricPlot 3 D [ Evaluate [ media [ esfera [ 1 ] ] [ u , v ] ] , {u ,0,2 Pi } , { v , 0,2 Pi } ]

ParametricPlot 3 D [ Evaluate [ gauss [ toro [ 3,1 ] ] [ u , v ] ] , {u ,0,2 Pi } , { v , 0,2 Pi } ]

ParametricPlot 3 D [ Evaluate [ media [ toro [ 3,1 ] ] [ u , v ] ] , {u , 0,2 Pi } , { v , 0,2 Pi } ]

ParametricPlot 3 D [ Evaluate [ gauss [ parabel ][ u , v ] ] , { u , 0,2 Pi } , { v ,0,2 Pi } ]

ParametricPlot 3 D [ Evaluate [ media [ parabel ][ u , v ] ] , { u , 0,2 Pi } , { v , 0,2 Pi } ]
Prctica B.30. Ejecutar los siguientes comandos, con los que se representan el
paraboloide elptico y el toro; el degradado del color muestra los puntos de
mayor curvatura (azul) a menor curvatura (rojo).

pe=gauss [ parabel ] [ u , v ]
Pl o t 3 D [ {u2+ v 2, Hue [ evaluate [ pe 6 ] ] } , {u ,1,1 } , { v ,1,1 } ]
=gauss [ toro [ 3,1 ] ] [ u , v ]

{( 3+ cos [ v ] ) cos [ u ] , ( 3+ cos [ v ] ) sin [ u ] , sin [ v ] , Hue [ ] } ,

ParametricPlot 3 D

{ u , 0,2 Pi } , { v , 0,2 Pi } , Lighting False

B.3. GEODSICAS
Prctica B.31. Definir los smbolos de Christoffel para una parametrizacin X.

u, v

W
X

u, v

[ X ] [ uu , vv ] uu EE [ X ] [ uu , vv ] 2 FF [ X ] [ uu , vv ] uu FF [ X ][ uu , vv ]

G 111
+ FF [ X ] [ uu , vv ] vv EE [ X ][ uu , vv ] /(2 W [ X ][uu , vv ]) /. { uuu , vv v }

u, v

[ X ] [ uu , vv ] vv EE [ X ][ uu , vv ]

G 121
FF [ X ][ uu , vv ] uu [ X ] [ uu , vv ] /( 2W [ X ][uu , vv ])/. {uu u , vv v }
X

u, v

2 [ X ][ uu , vv ] vv FF [ X ][ uu , vv ] [ X ][ uu , vv ] uu [ X ][ uu , vv ]

G221
FF [ X ][ uu , vv ] vv [ X ][ uu , vv ] /(2 W [ X ][uu , vv ])/. { uu u , vv v }
X

u, v

2 EE [ X ][ uu , vv ] uu FF [ X ][ uu , vv ] EE [ X ] [ uu , vv ] vv EE [ X ] [ uu , vv ]

G112
FF [ X ][ uu , vv ] uu EE [ X ] [ uu , vv ] /(2 W [ X ][uu , vv ])/. { uuu , vv v }
X

u, v

EE [ X ][ uu , vv ] uu [ X ] [ uu , vv ]

G122
FF [ X ][ uu , vv ] vv EE [ X ] [ uu , vv ] /(2W [ X ][ uu , vv ])/. {uu u , vv v }
X

u, v

EE [ X ][ uu , vv ] vv [ X ][ uu , vv ] 2 FF [ X ] [ uu , vv ] vv FF [ X ] [ uu , vv ]

G222
+ FF [ X ] [ uu , vv ] vv [ X ] [ uu , vv ] /(2W [ X ][uu , vv ])/. {uu u , vv v }

Prctica B.32. Representar las geodsicas de la esfera.

u, v

X
''

'

{u [ s ] +u [s ] G 111[ X ][u [ s ] , v [ s ] ]
s 1=NDSolve
+2u ' [ s ] v ' [ s ] G 121 [ X ] [ u [ s ] , v [ s ] ] + v ' [s ]2 G 221[ X ][u [ s ] , v [ s ] ]= 0,
v ' ' [ s ] +u' [s ]2 G 112 [ X ] [ u [ s ] , v [ s ] ] +2 u' [ s ] v ' [ s ] G 122 [ X ] [ u [ s ] , v [ s ] ]
'

+v [s ] G 222 [ X ] [ u [ s ] , v [ s ] ] = 0,
u [ 0 ] = Pi/2, v [ 0]= Pi/2, u' [0]=1, v ' [0]= 1}, {u [ s ] , v [ s]},{s ,4,4 }
d 1=ParametricPlot 3 D[Evaluate [ X [ u [ s ] , v [ s ] ] /. s 1], {s ,4,4 }]
d 2=ParametricPlot 3 D [ Evaluate [ X [ u , v ] ] , {u ,Pi /2 , Pi /2 } , { v , 0,2 Pi } ] ;

Show [ d 1, d 2]
Prctica B.33. Representar las geodsicas del cilindro.

u, v

Y
{u' ' [ s ] +u' [s ]2 G 111[Y ][u [ s ] , v [ s ] ]
s 2=NDSolve
+2u ' [ s ] v ' [ s ] G 121 [ Y ] [ u [ s ] , v [ s ] ] + v ' [s] 2 G 221[Y ][u [ s ] , v [ s ] ]= 0,
v ' ' [ s ] +u' [s ]2 G 112 [ Y ] [ u [ s ] , v [ s ] ]+ 2u' [ s ] v' [ s ] G 122 [ Y ] [ u [ s ] , v [ s ] ]
+v ' [s ]2 G 222 [ Y ] [ u [ s ] , v [ s ] ] = 0, u [ 0 ] = 0, v [0]= 0,u ' [0]= 1, v ' [0]= 5 },
{u [ s ] , v [s]}, {s ,4,4 }
d 3=ParametricPlot 3 D[ Evaluate[Y [ u [ s ] , v [ s ] ] /. s 2], {s ,2,2}, PlotPoints 100]
d 4=ParametricPlot 3 D [ Evaluate [ Y [ u , v ] ] , { u ,2 , 2 } , { v ,0,2 Pi } ] ;
Show [ d 3, d 4 ]

Prctica B.34. Representar las geodsicas del elipsoide.

u, v

Z
''

'

{u [ s ] +u [s ] G 111[Z ][u [ s ] , v [ s ] ]
s 3=NDSolve
+2u ' [ s ] v ' [ s ] G 121 [ Z ] [ u [ s ] , v [ s ] ] + v ' [s ]2 G 221[ Z ][ u [ s ] , v [ s ] ]= 0,
v ' ' [ s ] +u' [s ]2 G 112 [ Z ] [ u [ s ] , v [ s ] ] +2 u' [ s ] v ' [ s ] G 122 [ Z ] [ u [ s ] , v [ s ] ]
'

'

'

+v [s ] G 222 [ Z ] [ u [ s ] , v [ s ] ] = 0, u [ 0 ] = 0, v [0]= 0, u [0 ]= 1, v [0]= 1},

{u [ s ] , v [s]}, {s ,5,5 }
d 5=ParametricPlot 3 D[ Evaluate[Z [ u [ s ] , v [ s ] ] /. s 1], {s ,5,5 }, PlotRange All]
d 6=ParametricPlot 3 D [ Evaluate [ Z [ u , v ] ] , {u ,Pi /2 , Pi/2 } , { v , 0,2 Pi } ] ;
Show [ d 5, d 6]