Marco terico

La grafica de una funcin de tres variables por lo general (x,y,z) representa una
superficie en el espacio de 9
3
. Una funcin ] de tres variables asocia cada terna ordenada
(x,y,z) mediante esta relacin ].

La grafica de la ecuacin ](x,y,z)=0, es el conjunto de todos los puntos cuyas
coordenadas satisfacen esta ecuacin, y esta representacin grafica de la funcin
mencionada anteriormente, recibe el nombre de superficie en 9
3
.

Los ejemplos mas simples de superficies en el espacio de 9
3
son los planos con
ecuacin lineal Ax+By+Cz+D=0.

Para graficar una superficie en el espacio tridimensional, es til examinar sus
intersecciones con varios planos, como por ejemplo con el plano xy, yz, xz, o tambin otros
planos no tan comunes como estos tres.
La traza de la superficie en el plano es la interseccin de estas dos graficas de
superficies. Por ejemplo si tenemos una esfera que se intercepta con el plano xy, se puede
ver claramente que la traza de esta esfera con respecto al plano es una circunferencia de
radio r que depender de la ubicacin de la esfera respecto al plano. Esto se cumplir si
las dos superficies se interceptan entre si pero no son tangentes.
Para visualizar una superficie especifica en el espacio, por lo general basta examinar
sus trazas en los planos coordenados y posiblemente unos cuantos planos paralelos a estos.

Existen distintos tipos de superficies en el espacio, dentro de las cuales se
encuentran:

- Superficies Implcitas. F(x,y,z)=0
- Cudricas
- Superficies equipotenciales.
- Superficies Explicitas. z=f(x,y);
- Superficies Paramtricas. (x,y,z)=f (u,v)
- Las Explicitas se tratan como paramtricas.
- Bezier, BSplines, NURBS.

En este trabajo analizaremos solo superficies cudricas y superficies paramtricas
dentro del espacio 9
3
y veremos las respectivas graficas de las funciones mas usadas.









Cudricas

Las superficies cudricas se tratan de primitivas matemticas que responden a la
ecuacin:

Ax
2
+By
2
+Cz
2
+Dxy+Exz+Fyz+Gx+Hy+Iz+J=0

Dependiendo de los valores de los coeficientes generamos: esferas, elipsoides, toros,
hiperboloides, etc.

Esta ecuacin de la representacin de superficies cudricas esta referida a ejes que
no son de simetra (ejes arbitrarios), donde al menos uno de los seis primeros
coeficientes es no nulo. Esta ecuacin puede reducirse a una en la cual no figuren los
productos entre las variables. Mediante una rotacin adecuada de coordenadas, pueden
eliminarse luego los trminos que contienen las primeras potencias de las nuevas
variables mediante una translacin. Se llegara entonces a las ecuacin mas simple para
dicha cudrica; esta ecuacin es la ecuacin cannica de la cudrica.

Ax
2
+By
2
+Cz
2
+Dx+Ey+Fz+G=0

Las superficies cudricas se pueden clasificar en cudricas no degeneradas que son
cinco: tres de ellas poseen centro de simetra (elipsoide, hiperboloide de una hoja y de
dos hojas) y las dos restantes no poseen centro de simetra (paraboloide elptico e
hiperblico o silla de montar). Las cudricas degeneradas son conos, planos dobles y
cilindros.

Cualquier superficie ubicada arbitrariamente respecto de los ejes x,y,z; es posible
centrarla en el origen (si tiene centro) respecto a un nuevo sistema de ejes coordenados
x,y,z mediante adecuadas translaciones y rotaciones del sistema x,y,z.

Dada la ecuacin general de las cudricas:

a
11
x2+a
22
y
2
+a
33
z
2
+a
12
xy+a
13
xz+a
23
yz+a
14
x+a
24
y+a
34
z+a
44
=0

y a partir de los coeficientes a
ij
, definimos una serie de parmetros que los
llamaremos invariantes, ya que los mismos no se modifican con las operaciones roto
translatorias que llevan x,y,z a x,y,z estas invariantes son:


S= a
11
+a
22
+a
33
T= a
11
a
22
+a
11
a
33
+a
22
a
33
+a
12
2
+a
13
2
+a
23
2



44 43 42 41
34 33 32 31
24 23 22 21
14 13 12 11
a a a a
a a a a
a a a a
a a a a
= A
33 32 31
23 22 21
13 12 11
a a a
a a a
a a a
= o


Siendo E = menor principal = 0, de mayor rango.

Los nmeros A, o, S, T y E, calculables a partir de los a
ij
= a
ji
permiten junto con el
rango de la matriz 4x4, reconocer cual es la cudrica que corresponde a una ecuacin
dada, segn se indica en el cuadro de la ultima pagina:


Cudricas no degeneradas

Entre las cuadrticas no degeneradas estn las del tipo:
- Mx
2
+Ny
2
+Pz
2
= R
2
con R>0 {centradas}
- Mx
2
+Ny
2
= Sz {no centradas}

Dentro de superficies cudricas centradas no degeneradas se encuentran, esferas,
elipsoides, hiperboloides de una y de dos hojas y entre las no centradas y no degeneradas se
encuentran el paraboloide elptico y el paraboloide hiperblico. Dentro del estudio de las
superficies cudricas que estudiaremos se analizarn en su forma cannica.

No degeneradas centradas
La esfera:
Si la ecuacin general de las cudricas se reduce a la forma

x
2
+y
2
+z
2
= R
2


Se obtiene una superficie esfrica con
centro en el origen de coordenadas y radio R. Si
en cambio la esfera est centrada en el punto
(a,b,c) la ecuacin se expresa:
(x-a)
2
+(y-b)
2
+(z-c)
2
= R
2











Elipsoide:
Si la ecuacin general de las cudricas, los coeficientes son tales que puede ser
expresada como:
1
2
2
2
2
2
2
= + +
c
z
b
y
a
x


Entonces la ecuacin representa un
elipsoide centrado en el origen, simtrico
con respecto a cada uno de los tres planos y
tiene intersecciones en
(a,o,o),(0,b,0),(0,0,c). Al igual que en la
esfera, el elipsoide puede estar centrado en
cualquier otro punto del espacio haciendo x
= x-x
0
, y = y-y
0
, z = z-z
0
.

Para representar grficamente la
ecuacin de un elipsoide, se encuentran las
trazas con planos paralelos a los
coordenados. Estas curvas van formando
una red que soporta a la superficie.


Tomando planos horizontales paralelos al xy y a una altura k, de ecuacin z=k, la
interseccin del elipsoide con este plano es:
2
2
2
2
2
2
1
c
k
b
y
a
x
= + que corresponde a una elipse siempre que 0 1
2
2
>
c
k

En forma similar se pueden estudiar las intersecciones con los planos paralelos a los planos
coordenados xz y yz.

















Hiperboloide de una hoja:

Su ecuacin cannica es 1
2
2
2
2
2
2
= +
c
z
b
y
a
x

(nota: tambin 1
2
2
2
2
2
2
= +
c
z
b
y
a
x

1
2
2
2
2
2
2
= + +
c
z
b
y
a
x
)

Las intersecciones con diferentes planos se
detallan a continuacin:
Con z=k:
2
2
2
2
2
2
1
c
k
b
y
a
x
+ = + produce elipses con
semidimetros crecientes a medida que k aumenta
partiendo de 0.
si k = 0, se obtiene la elipse mas pequea
con semidimetros a y b, que representa la
garganta del hiperboloide.
Con x = k e y = k, las intersecciones son
hiprbolas. si a = b corresponde a un hiperboloide circular de una hoja.


Hiperboloide de dos hojas:
Su ecuacin cannica es 1
2
2
2
2
2
2
= +
c
z
b
y
a
x

(nota: tambin 1
2
2
2
2
2
2
= +
c
z
b
y
a
x
1
2
2
2
2
2
2
= + +
c
z
b
y
a
x
)

Las intersecciones con planos paralelos a los
planos coordenados son con z = k: 1
2
2
2
2
2
2
= +
c
k
b
y
a
x

corresponden a elipses con semidimetro crecientes
siempre que: 0 1
2
2
>
c
k
, si k = c, la elipse se reduce a un
punto, significa que entre los planos z = -c y z = c no
hay puntos de la superficie.
si a = b corresponde a un hiperboloide circular de dos
hojas.
Con x =k e y =k las intersecciones son hiprbolas.




No degeneradas no centradas

Paraboloide: si en la ecuacin general de las cuadrticas, faltan los trminos rectangulares
o cruzados y adems no esta presente el trmino de segundo grado correspondiente a una de
las variables, la superficie recibe el nombre de paraboloide. Los paraboloides pueden ser de
dos tipos: elpticos (circulares) o hiperblicos

Paraboloide elptico:

Responde a la ecuacin
c
z
b
y
a
x
= +
2
2
2
2

Para hallar su grfica se encuentran las intersecciones
con los planos z =k:
c
k
b
y
a
x
= +
2
2
2
2
, si c >0 la ecuacin
anterior representa elipses con semidimetros
crecientes a medida que aumenta k (k >0). En el caso
en que k =0 se obtiene un punto (el vrtice del
paraboloide).
Si c >o el paraboloide se abre hacia arriba, si c< 0 el
paraboloide se abre hacia abajo. Si a =b se obtiene un
paraboloide circular.


Cortando con planos x=k:
c
z
b
y
a
k
= +
2
2
2
2
, la
ecuacin resultante representa parbolas de eje z, con vrtices que se desplazan en la
direccin positiva del eje z a medida que k aumenta en valor absoluto.

Cortando con planos y=k:
c
z
b
k
a
x
= +
2
2
2
2
, que da parbolas de eje z, con vrtices
en ascenso a medida que k aumenta.














Paraboloide hiperblico:

Su ecuacin es:
c
z
b
y
a
x
=
2
2
2
2
,
Si suponemos que c >0, las
intersecciones son:
-Con los planos z =k:
c
k
b
y
a
x
=
2
2
2
2
,
hiprbolas que cambian de eje con el
signo de k.
-Si k = 0 se reduce a un par de rectas
-Con x =k:
c
z
b
y
a
k
=
2
2
2
2
parbolas de
eje con ramas descendentes y vrtices
en ascenso.
-Con y =k:
c
z
b
k
a
x
=
2
2
2
2
quedan determinadas parbolas de eje z con ramas ascendentes y
vrtices en descenso. La superficie tiene la forma de una silla de montar.
As el origen parece un mximo local desde una direccin, pero un mnimo local
desde una direccin distinta. Tal punto de una superficie se llama punto silla.

Cudricas degeneradas

Entre las cuadrticas degeneradas estn las del tipo:
- Mx
2
+Ny
2
+Pz
2
= R
2
; R0 {centradas}
- Mx
2
+Ny
2
= Sz {no centradas}

Dentro de superficies cudricas centradas degeneradas se encuentran conos,
cilindro elptico, cilindro hiperblico, planos dobles. Y entre las no centradas y degeneradas
se encuentra el cilindro parablico.
Degeneradas centradas

Cono:
Su ecuacin cannica es:
2
2
2
2
2
2
c
z
b
y
a
x
= +
Las intersecciones dan:
-Con z =k:
2
2
2
2
2
2
c
k
b
y
a
x
= + , son elipses con semidimetros
crecientes y que se reducen a un punto cuando k =0.
-Con x =k e y =k las intersecciones son hiprbolas de eje
vertical.

Si a =b las trazas con los planos paralelos al plano xy son circunferencias, por lo tanto sera
un cono circular.

Cilindro elptico:
Su ecuacin cannica es: 1
2
2
2
2
= +
b
y
a
x
( tambin 1
2
2
2
2
= +
b
z
a
x
; 1
2
2
2
2
= +
b
z
a
y
)

Si z =k, las intersecciones son elipses con
semidimetros constantes, si a =b ser un
cilindro circular.

Con x =k e y =k las intersecciones son lneas
rectas separadas a igual distancia del centro
del cilindro.




Cilindro hiperblico:
Su ecuacin cannica es: 1
2
2
2
2
=
b
y
a
x
( tambin 1
2
2
2
2
=
b
z
a
x
; 1
2
2
2
2
=
b
z
a
y
)

Si z =k las intersecciones son hiprbolas
constantes.






















Planos dobles:

Su ecuacin cannica es: 0
2
2
2
2
= +
b
y
a
x
( tambin 0
2
2
2
2
= +
b
z
a
x
; 0
2
2
2
2
= +
b
z
a
y
)














Degeneradas no centradas
Cilindro parablico:

Su ecuacin cannica es: Mx
2
= Sz (
tambin Ny
2
= Sz )
Las intersecciones dan:
-Con y =k: Mx
2
= Sz, son parbolas
crecientes si M y Z son mayores que 0.








Planos
Sea un vector y P
0
un punto dado, el conjunto de todos los puntos para los cuales (
P
0
P) y son ortogonales define al plano que pasa por P
0
y tiene a como vector normal.
Si P
0
(x
0
,y
0
,z
0
) es un punto de un plano y = (a, b, c) es un vector normal al plano, entonces
una ecuacin del plano es:

a (x x
0
) + b (y y
0
) + c (z z
0
) = 0

El producto escalar entre el vector normal al plano y un vector del mismo es igual a cero:

( P) = (x x
0
, y y
0
, z z
0
)
= a (x x
0
) + b (y y
0
) + c (z z
0
) = 0

Si [ax + by + cz +d = 0] es la ecuacin de un plano = (a, b, c) es un vector normal al
plano.
Es un ejemplo de un plano en el
espacio.











Superficies paramtricas

Una superficie paramtrica es la imagen de una funcin o transformacin r definida
en una regin R de un plano uv y que tiene valores en el espacio xyz. La imagen bajo r en
cada punto (u,v) en R es el punto del espacio xyz con vector de posicin.

r(u,v)= x(u,v), y(u,v), z(u,v)

Dado que una superficie paramtrica es una imagen de una transformacin en el
espacio, es posible por lo tanto tomar coordenadas cilndricas y esfricas, para expresar la
superficie con otros parmetros distintos a los rectangulares.

Algunos ejemplos de superficies paramtricas:



Cilindro circular
[cos u, sin u, v]








Cono circular
[v cos u, v sin u, v]





u cosh v, u sinh v, u
2








[(u - sin u)cos v,(1 - cos u)sin v, u]







[u
2
+ vu, u + vu
2
, v]
(superficie reglada)




[e
u
+ ve
u
, e
-u
- ve
-u
, u + v]
(desarrollable tangencial)






trompeta de Gabriel

; 7 0 ; 10 1 ; sin
1
, cos
1
, s s s s
(

v u v
u
v
u
u


toro
(2 + cos u)cos v,(2 + cos u)sin v, sin u





rampa espiral
u cos v, u sin v, 2v