Universidad Internacional de la Rioja

Máster en Ingenierı́a Matemática y Computación

Geometrı́a Diferencial Aplicada
Laboratorio

Entrega: 19 de abril 2018

1. Objetivos del laboratorio

Aprender a visualizar y representar objetos en el espacio.
Aprender a intersecar objetos en el espacio.
Reconocer diferentes objetos en el espacio.

2. Usando mathematica
UNIR dispone de una versión de Mathematica para sus alumnos disponible a través de la máquina virtual.
No será necesario ningún proceso de instalación.

3. Las instrucciones básicas

En esta sección veremos las instrucciones básicas que deberemos usar para resolver el laboratorio.
Plot3D el comando Plot3D[ f(x,y), {x,xmin ,xmax }, {y,ymı́n ,ymax }] representa la gráfica de la función
z = f (x, y) en el intervalo [xmı́n , xmáx ] e [ymı́n , ymáx ].
ContourPlot3D el comando ContourPlot3D[ f(x,y,z)==0, {x,xmin ,xmax }, {y,ymı́n ,ymax },{z,zmin ,zmax }] re-
presenta el objeto que verifica la ecuación f (x, y, z) = 0. Si no se da la igualdad entonces se toman
varios valores para la igualdad.
ParametricPlot3D el comando ParametricPlot3D[ {x(u,v),y(u,v),z(u,v)}, {u,umin ,umax }, {v,vmı́n ,vmax }] per-
mite dibujar una curva o una superfice definida a partir de tres valores x, y y z parametrizados por
los valores u para curvas y u y v para superficies.
Show permite fusionar varias representaciones gráficas en una misma imagen. Se usa mediante Show[ fig1,
fig2].
Grid permite mostrar varias imágenes en formato tabla.
Solve permite resolver ecuaciones y sistemas de ecuaciones. Su sintaxis es:
• Solve[ ec1] Resuelve la ecuación ec1. Atención el signo igual se determina mediante una doble
igualdad (==).

1
 • Solve[ ec1,{x}] Resuelve la ecuación ec1 despejando la variable x.
• Solve[ {ec1,ec2,...}] Resuelve el sistema de ecuaciones dado por las ecuaciones ec1 y ec2. Si
hay varias variables despejará las variables necesarias.
• Solve[ {ec1,ec2, ...}, {x,y}] Resuelve el sistema de ecuaciones dado por las ecuaciones ec1
y ec2 despejando las variables x e y.

El resultado de Solve es de la forma {{x->3z, y->z/2}}. Esto nos indica que la solución al sistema
depende de una de las variables (hay más incógnitas que ecuaciones linealmente independientes). Estas
son x = 3z, y = z/2. Si el sistema tiene más de una solución (por ejemplo una ecuación de segundo
grado) entonces se devuelve: {{x->3z, y->z/2}, {x->-3z,y->z/2}}. Cada una de las soluciones viene
dada por un conjunto de corchetes.

/.{->} Este último comando nos permite substituir valores. Su sintaxis de ejemplo es como sigue: expr /.{
x->2}. Para cada ocurrencia de la variable x en expr se substituye x por 2.
Observemos que esto será muy útil para substituir valores obtenidos al resolver sistemas de ecuaciones
y por ejemplo graficar su resultado.

4. Principales objetos en el espacio

En esta sección veremos los principales objetos en el espacio.

4.1. Plano
El plano es la más básica de las figuras espaciales. Podemos expresarlo mediante la ecuación implicita:

Ax + By + Cz + D = 0

Con A, B, C y D valores reales. Su representación puede realizarse usando los comandos:

Plot3D[ z(x,y), {x,xmin ,xmax }, {y,ymı́n ,ymax }]

ContourPlot3D[ f(x,y,z)==0, {x,xmin ,xmax }, {y,ymı́n ,ymax },{z,zmin ,zmax }]
En el primer caso deberemos encontrar z(x, y) despejando z en la ecuación implı́cita. En el segundo podemos
introducir la ecuación implı́cita directamente.
Alternativamente podemos encontrar las ecuaciones vectoriales del plano:

(x, y, z) = (x0 , y0 , z0 ) + α(u1 , u2 , u3 ) + β(v1 , v2 , v3 )

y paramétricas: 
x = x0 + αu1 + βv1

y = y0 + αu2 + βv2 .

z = z0 + αu3 + βv3


En ambos casos se puede usar el comando ParametricPlot3D[ {x,y,z}, {u,umin ,umax }, {v,vmı́n ,vmax }]
Podemos encontrar las ecuaciones paramétricas usando el comando Solve. Esto nos devolverá el valor
de una de las dos variables en función de las otras dos y de ahı́ encontrar los valores del punto y los dos
vectores que necesitamos.

2
4.2. Cuádricas
4.2.1. Esfera y Elipsoide
La fórmula general del elipsoide viene dada por la ecuación:
x2 y2 z2
+ + = 1.
a2 b2 c2
Los valores a, b y c son valores reales que determinan la longitud del elipsoide en cada una de las direcciones
principales.
La esfera es un caso particular de elipsoide tomando a = b = c.

4.2.2. Paraboloide Elı́ptico

Un paraboloide elı́ptico se define como el conjunto de puntos que verifican:
x2 y2
+ −z =0
a2 b2
Mediante la intersección de un plano podemos obtener:
una parabola.
Una elipse.
Un punto.

4.2.3. Paraboloide Hiperbólico

Un paraboloide hiperbólico (también conocido como silla) se define como el conjunto de puntos que
verifican:
x2 y2
− −z =0
a2 b2
Mediante la intersección de un plano podemos obtener:
una parabola.
Una recta.
Un par de rectas que se intersecan.
Una hiperbola.
Es un objeto doblemente reglado. Esto es, podemos encontrar dos familias de rectas en el paraboloide
hiperbólico.

4.2.4. Hiperboloide de una hoja

Un hiperboloide de una hoja se define como el conjunto de puntos que verifican:
x2 y2 z2
2
+ 2 − 2 =1
a b c
Mediante la intersección de un plano podemos obtener:
Una ellipse.
Dos rectas parallelas.
Una parabola.
Dos rectas que se intersecan.
Una hiperbola.

3
4.2.5. Hiperboloide de dos hojas
Un hiperboloide de una hoja se define como el conjunto de puntos que verifican:

x2 y2 z2
2
+ 2 − 2 = −1
a b c
Mediante la intersección de un plano podemos obtener:
Una elipse (o en casos degenerados un circulo).
Una parabola.
Una hiperbola.

4.2.6. Cono
El cono es un caso degenerado de hiperboloide definido por la ecuación:

x2 y2 z2
+ − =0
a2 b2 c2
Se pueden encontrar hipérbolas, parábolas, rectas, elipses y cı́rculos mediante la intersección de un plano.

5. Ejercicios
1. Planos
a) Encontrar y representar un par de planos que intersequen.
b) Encontrar y representar la recta que los interseca.
2. Esfera (ejercicio de ejemplo no puntúa)
a) Representar una esfera.
b) Encontrar y representar un plano que interseque la esfera en un circulo.
3. Paraboloide Elı́ptico
a) Representar un paraboloide elı́ptico.
b) Encontrar un plano que interseque al paraboloide en una parábola y representarla.
c) Encontrar un plano que interseque al paraboloide en una elipse y representarla.
d ) Encontrar un plano que interseque al paraboloide en un punto.
4. Paraboloide Hiperbólico
a) Representar un parabolide hiperbólico.
b) Encontrar un plano que interseque al paraboloide en una parábola y representarla.
c) Encontrar un plano que interseque el paraboloide en una recta y representarla.
d ) Encontrar un plano que interseque el paraboloide en un par de rectas que intersecan y represen-
tarlas.
e) Encontrar un plano que interseque el paraboloide en una hipérbola y representarla.
5. Hiperboloide de una hoja
a) Representar un hiperboloide de una hoja.

4
 b) Encontrar un plano que interseque el hiperboloide en una elipse y representarla.
c) Encontrar un plano que interseque el hiperboloide en un par de rectas paralelas y representarlas.
d ) Encontrar un plano que interseque el hiperboloide en una parábola y representarla.
e) Encontrar un plano que interseque el hiperboloide en dos rectas que se interescan y representarlas.
f ) Encontrar un plano que interseque el hiperboloide en una hipérbola y representarla.
6. Hiperboloide de dos hojas
a) Representar un hiperboloide de dos hojas.
b) Encontrar un plano que interseque el hiperboloide en una elipse y representarla.
c) Encontrar un plano que interseque el hiperboloide en una parábola y representarla.
d ) Encontrar un plano que interseque el hiperboloide en una hipérbola y representarla.

6. Entrega
Para entregar el laboratorio deberéis entregar un solo archivo pdf que contenga todas las imágenes y
objetos solicitados. Este pdf podrá ser generado a partir de Mathematica usando la opción imprimir e
imprimir cómo pdf. En este caso es recomendable usar celdas de texto y dar formato de secciones para
ayudar a diferenciar cada una de las preguntas.
Alternativamente se puede generar un documento en word (o cualquier editor de textos de vuestra
predilección) importando las imágenes necesarias.
Durante la sesión presencial de laboratorio se darán más detalles y conceptos al respecto.