Beruflich Dokumente
Kultur Dokumente
Seccin x = O
de l a funcin
f(x,y,z) = ^ b
FIGURA
NO.
19
76
co con generatriz el eje x y localizado al lado del plano xz donde En la figura 20 mostramos la grfica de esta seccin. Si z = 0, entonces la superficie obtenida tiene como
) = J-J-
co con generatriz el eje x y localizado al lado del plano xy donde < d En la figura 21 se muestra l a grfica de esa seccin.
Con estos tres ejemplos hemos ilustrado todas las seis clases d i f e rentes de superficies cuadrticas en posicin cannica. El l e c t o r puede como e j e r c i c i o analizar y dibujar las superficies cuadricas que resultan al h a l l a r los conjuntos de nivel y las secciones cero de l a funcin f ( x , y , z) = Ax 2 + By2 + Cz2 en cada uno de los siguientes casos: (Para a, b, y c constantes reales positivas) 1 . 2. 3. 4. 5. 6. 7. 8. A
-1/a 2
; ; ; ; ;
; ;
C= 0 C = ^l/c 2
78
F i g u r a 20.
FIGURA No. 20
80
Figura 21.
X 2 _ 22 b2 c2
Esta superfi
FIGURA
NO.
21
r . m
< v
ScCUSUL UHIiH
82
i . . * * *
9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20.
A = -1/a 2 A
-
; ;
B = 0
C = 1/c2 C =
0
-1/a 2
B = - 1/b2 ; B = -1/b 2 ;
; ; ; ;
C =0 C =0 C = -1/c 2 C =0 C =0 C =0 C =0
B = -1/b 2 ; B = 0 B = 0
Despues de desarrollar los anteriores e j e r c i c i o s , el lector podr conc l u i r que cada superficie cudrica en posicin cannica tiene una ecuacin en tres variables (si no es un c i l i n d r o ) que la caracteriza. Si llamamos x ^ x 2 y x 3 los ejes coordenados cartesianos de D*3, entonces las ecuaciones de las superficies cudricas en posicin cannica se pueden caracterizar as: 1. Elipsoides: a2 x + *L_ b2 c2
= 1
84
a2
= 1
C2
x
2 2
2 3
= 1
C2
2
-
2 X?
b2
2 C2 = 1
a2
b2
2
3 C2
2 XT a2
X
2 X3
b2
C2
2 1 a2
+ ?
X
b2
2 3 C2
+ 2.
b
2
= n
+ _*3
= o
2
+
=O
b2
c2
para b y c constantes reales positivas y a una constante real diferente de cero. 6. Paraboloides hiperblicos:
2
a2
b2
. Jl2_
= 0
2 Xa
b2
c2
para b y c constantes reales positivas y a una constante real d i f e rente de cero. Otra observacin que ya podra haber captado el lector es la de que algunas superficies cuadricas tienen un centro de simetra y otras no. Aquellas superficies cuadricas que tienen un centro de simetra se llaman superficies cuadricas centrales y las que no tienen centro de simetra se llaman superficies cuadricas no centrales. Las superficies cuadricas centrales son: Elipsoide, hiperboloide e l p t i c o de una hoja, hiperboloide e l i p t i c o de dos hojas y como e l i p t i c o . (algunos c i l i n d r o s ) . Cuando las superficies cuadricas centrales estn en posicin cannica, el centro de simetra es el origen de coordenadas.
86
Superficies Cudricas Transadadas. Antes de tratar las superficies cudricas transladadas, veamos que es una translacin de ejes coordenadas cartesianas en el espacio p*3. Intuitivamente, una translacin de ejes en [R3 , como un sistema coordenado cartesiano x y z por otro sistema tesiano X Y Z tal que el nuevo eje X es paralelo al eje eje Y es paralelo al eje y y el nuevo eje Z es paralelo en D*2 cambia coordenado carx , el nuevo al e j e z .
Para formular analticamente l o que es una translacin veamos las relaciones que se pueden establecer al transadarnos de un sistema coordenado x y z , al cual llamaremos "uce./o", a otro sistema coordenado X Y Z, al cual llamaremos "nuzvo", con origen en el punto ( x 0 >y 0 >z 0 ) (coordenadas v i e j a s ) . ja" Un punto cualquiera de D*3 con coordenadas "ve.~ La ( x , y , z ) tambin tiene otras coordenadas "nuva&" ( X , Y, Z ) .
figura 22 i l u s t r a las relaciones entre las coordenadas "v&jcu>" y las coordenadas "nuzva>" de un punto cualquiera. re aciones: x = x + X
o
mente el dibujo, las coordenadas "ue/a6" del punto satisfacen las X = x - x Y = y - y Z =z- z
o
0
y = y0 + y z = z + Z
o
As anal i ticamentehacer una translacin de un sistema x y z a otro sistema X Y Z con origen (x . y z ) es s u s t i t u i r x - x por X, Jy - y
0 0 , 0 o
'o
por K y z -. z por Z en todos los puntos del sistema "vltjo" 6 reciprocamente hacer una translacin del sistema X Y Z al sistema x y z es s u s t i t u i r X por x - x Q , Y por y - y Q y Z por z - z Q en el sistema
"nuzvo".
87
Figura 22.
coordenadas
de
un
punto
FIGURA
NO.
22
88
Sabemos que l a ecuacin de una esfera con centro en el punto ( x 0 y 0 z 0 ) y radio r , es: (x - x o ) 2 + (y - y o )2 + (z - z 0 ) 2 = r 2 Supongamos que ( X q , y , Z Q ) f (0,0,0), o sea que esa esfera no tiene cent.*c en el origen. Si hacemos una translacin a un nuevo sistema de ejes X Y Z con origen en (x , y z ) , tendremos las relaciones O O) o x =
X
- x0
V = y - yo
Z =z -
ZQ,
Y2 +
Z2 =
conocida como ecuacin de la esfera con centro en el origen y radio r , l o cual no es raro porque ( X q , y Q , Z q ) es el origen del nuevo s i s tema coordenado, Ahora si consideramos la esfera con ecuacin x2 + y 2 + z2 = r 2 y l a esfera con ecuacin
( x - x 0 ) 2 + (y - y o ) 2 + ( z - z 0 ) 2 = r 2 , (XQ, yQ>
Zq)
t (0,0,0)
ambas en el sistema "ue/o", sabemos que la primera con centro en el origen y radio r est en posicin cannica y la segunda con centro en ( x Q , y , z ) y radio r diremos que se encuentra transadada. Anlogamente al considerar las dos esferas en el sistema X Y Z, l a p r i mera que tendr ecuacin (X + x Q ) 2 + (Y + y Q ) 2 + (Z + Z q ) 2 = r 2 Se dice transladada y la segunda que tendr ecuacin X2 + Y2 + Z2 = r 2 est en posicin cannica
90
Con
como es la ecuacin de las superficies cudrcas transladadas, al conocer las ecuaciones de las superficies cudricas en posicin cannica Otro ejemplo ms especifico nos dar ideas ms clara como proceder. Dada la superficie cudrica con ecuacin = 1, con a, b y c positivas, de la cual a2 b2 c2 sabemos que es un hiperboloide el i p tico de una hoja con centro en el origen y en posicin cannica. En un sistema transladada con origen en ( x Q , yQ> z Q ) y dado por X = x - xQ; l a ecuacin
J + J l . J= i
2
+^
Y = y - yQ
Z = z - zQ,
a2
b2
"
c2
es tambin una hiperboloide e l i p t i c o de una hoja en posicin cannica del mismo "tamao" del anterior; pero, en el sistema x y z esta superf i c i e tiene ecuacin (x - x ) 2 (y - y ) 2
+
2_ +
(z - z ) 2 c2
o o o
= i
a2
b2
Si procedemos analogamente con la forma general de una superficie cudrica en posicin cannica: conjunto de nivel no vacio o seccin cero no vaca de una funcin de D*3 en CR de la forma w = f ( x , y , z ) = A x2 + B y 2 + C z2 Donde A, B y C no son todas simultneamente iguales a cero, en un s i s tema transadado con origen en el punto en ( X q , y Q , Z Q , m ) dado por
91
X = x - xQ
Y = y - y
Z = z - zQ
W = w-U)0
cualquier conjunto de nivel no vacio 6 seccin cero no vacfa de W = g(X, Y, Z) = AX2 + BY2 + CZ2 ,
es una superficie cudrica en posicin cannica, pero en el sistema x y z w esa funcin g tendr como definicin - >0 A(x - x o ) 2 + B(y - y 0 ) 2 + C(z - z Q ) 2 y sus conjuntos de nivel no vacios y secciones cero no vacas sern superficies cudricas transladadas. Lo anterior explica que definamos cano superficies cudricas transladada a los conjuntos de nivel no vacios y secciones de una funcin f de [R3 en CR de l a forma = f ( x , y , z) = A(x - X q ) 2 + B(y - y Q ) 2 + C(z ZQ)2 +
u>Q
donde A, B y C son constantes reales no todas simultneamente iguales a cero, x Q , y Q , z q , son constantes reales tales que no e x i s ten tres de ellas simultneamente iguales a cero. De acuerdo a la caracterizacin que ya hicimos de las superficies cudricas en posicin cannica podemos caracterizar tambin algunas superficies cudricas transladadas as:
92
Elipsoide:
(X.i - XP i ) 2
+
(xg - XP ^ ) 2
(x3 - xPi?)2
a2 para a, b y c
b2
c2
(x2
X02)2+
a2
b2
(x 3 - Xq3)2 = 1
cons-
Cono e l i p t i c o :
(*1 XQ.I) 2_ (X2 XP 2) 2
| (x 3 -
XP
3) 2
a2
b2
c2 cons-
93
5.
Paraboloide e l i p t i c o :
( X i Xq i )
2 |
(X2
(X3
a2
b2
"
- x03) _ c
para a y b constantes reales positivas, c una constante real diferente de cero, y x 0 i , x 0 2 x03 constantes no todas iguales a cero. 6. Paraboloide hiperblico:
( X j X q i )
2
( X
Xp 2 )
( X
Xp 3 )
a2
b2
c'
para a, b y c constantes reales positivas, c una constante real d i ferente de cero y x 0 1, x 0 2 y x03 constantes reales no todas iguales a cero. Para que la caracterizacin sea ms amplia podemos dar a las variables Xi , x 2 , x 3 las siguientes asignaciones para abarcar todos los casos posibles:
1. 2. 3. Xl = x Xi = y Xl = z . > !
x
2 = y
y y y
x3 = z x3 = x x3 = y
x2 = z X2 - x
Superficies Cudricas Rotadas. En el estudio de las cnicas encontramos una posicin especial llamada
"pot>c6n /totada" y que c o n s i s t e en l o s i g u i e n t e :
La cnica est en un sistema coordenado xy, pero su posicin con respecto a ese sistema xy no es cannica o normal ni tampoco transadada, pero es posible encontrar un sistema XY, con el mismo origen del
94
sistema xy
da con respecto a un sistema coordenado xy es de l a forma: Ax 2 + 2Bxy + Cy 2 + F = 0 donde A , C y F son constantes reales y B es una constante real ta de cero. variables. distin-
Es d e c i r , una ecuacin general de segundo grado en dos Tambin tratamos el problema r e c p r o c o , es d e c i r , dada
una ecuacin general de segundo grado en dos v a r i a b l e s de l a forma Ax 2 + 2Bxy + Cy 2 + F = 0 , determinar s i se t r a t a de l a ecuacin de una cnica o no y en caso de t r a t a r s e de una cnica determinar s i es una e l i p s e , una h i p r b o l a o una parbola y t o d a v a ms: d i b u j a r su g r f i c a . rela-
Un mtodo para r e s o l v e r este problema c o n s i s t e en e s t a b l e c e r l a c i n e n t r e los "nuzvoi" x = X cose + Y senO y =-X sene + Y cose , ejes X , Y y los "ve.jo>" ejes x , y
para e s c r i b i r l a ecuacin en trminos de las " n a e v a " v a r i a b l e s X y Y y el ngulo 0 y c o n s i d e r a r que en el sistema XY l a cnica est en p o s i c i n c a n n i c a , por l o cual el c o e f i c i e n t e del trmino en XY de l a nueva ecuacin debe s e r c e r o , para de esta forma, a v e r i g u a r cual es el ngulo 8 y con la r e l a c i n e n t r e los "nuzvoi" ejes y los "uejo" ejes h a l l a r l a ecuacin en las v a r i a b l e s X y Y l a cual f c i l m e n te se puede c a r a c t e r i z a r como e l i p s e , parbola o h i p r b o l a o alguna de sus degeneraciones. Conocido as el ngulo 6, l a ecuacin en las v a r i a b l e s X y Y , el d i b u j o de l a g r f i c a es s e n c i l l o . Conociendo algunos conceptos elementales de A l g e b r a Lineal (valores
Figura 23.
E l i p s e ^ en p o s i c i n rotada con respecto a l sistema xy pero en p o s i c i n cannica con respecto a l sistema XY.
G R A F I C A NO. 23
96
do un poco ms g i l y que deja alguna l i b e r t a d para denominar los ejes. En este e s t u d i o de las s u p e r f i c i e s cudricas tambin nos e n c o n t r a r e mos con s u p e r f i c i e s de e s t a s , que por su p o s i c i n con respecto a l o s ejes x , y , z (a los que llamaremos "uce.j'o-6"), las llamaremos "flotadas" Para una s u p e r f i c i e c u d r i c a r o t a d a , tambin es p o s i b l e h a l l a r l e un sistema coordenado XYZ, con respecto a cuyos ejes (a los que l l a m a r e mos "nuzvo") l a s u p e r f i c i e est en p o s i c i n cannica. y XYZ t i e n e n el mismo o r i g e n . El
rea-
El problema r e c i p r o c o : "Vack una. ecuacin ma Ax 2 + By 2 + Cz 2 + 2Dxy + 2Exz + 2Fyz + G = 0, general de. 4 egundo gmxdo en tfu& vaALab> de. la {o
98
dzteJunntVL > e thaJja di una ujpQJi^ic.2. cuddM.c.a o no, zn c.ctAo efe t>2.n una upicc cucUca, cZaiZ^caJiZa y da>iZjl 4 a nombfu y m es un problema t o d a v a ms dispendioso (anlogo a l u t i l i z a d o con las lo po6bj dibujan, i u gn^ca",
E s t a b l e c e r l a r e l a c i n e n t r e los " n u e v c V ejes X , Y y Z y los ejes x , y , z~ x = X cosBj + Y eos 61 + Z eos a i y = X eos6 2 + Y eos 62 + Z eos a 2 z = X eos93 + Y eos 6 3 + Z eos a 3 ,
"viej'04'
para e s c r i b i r l a ecuacin en trminos de las 'nuzvcu>" v a r i a b l e s X , Y y los ngulos d i r e c t o r e s 8 1 , e 2 , 8 3 del e j e X, 6 1 , 82 83 del e j e Y, a i , a 2 , a 3 del e j e Z y c o n s i d e r a r que en e l sistema XYZ l a superf i c i e cudrica est en p o s i c i n cannica y por c o n s i g u i e n t e l o s coef i c i e n t e s de los trminos en XY, XZ y YZ de l a nueva ecuacin deben s e r c e r o , para de e s t a forma a v e r i g u a r cules son l o s ngulos res de los e j e s X, Y y Z y con l a r e l a c i n de los "nuzvo" directo ejes y los El di
"ucej'a" e j e s , h a l l a r l a ecuacin en las v a r i a b l e s X, Y y Z, l a cual se puede c a r a c t e r i z a r f c i l m e n t e por e s t a r en forma cannica, bujo de l a g r f i c a s l o podr, t e n e r d i f i c u l t a d e s t e o n cas. Como l o anunciamos en nuestros comentarios sobre cnicas rotadas, tcnicas pero no
ceptos de A l g e b r a L i n e a l ( v o l o r e s p r o p i o s , vectores propios de una m a t r i z ) podemos u t i l i z a r o t r o mtodo ms g i l para r e s o l v e r ese p r o blema. Antes de e s t u d i a r ese mtodo de "vaZon&. piop-o> y vucJioK&b ptioplo", formalicemos en un contexto ms general una d e f i n i c i n de s u p e r f i c i e cudrica r o t a d a .
99
Llamaremos superficie cuSdrica rotada a todo conjunto de nivel no vaco , seccin cero no vacia de la funcin f ( x , y , z ) = Ax2 + By2 + Cz2 + 2Dxy + 2Exz + 2Fyz
para A, B y C constantes reales y D, E y"F constantes reales no todas tres simultneamente iguales a cero. Claramente el anlisis de un conjunto de nivel o una seccin cero de la funcin f , es el anlisis de una ecuacin general de segundo grado en tres variables reales. Nos proponemos hacer ese anlisis por el mtodo de "valox&A piopo y vzcton&b piopio de una mcuUz" y para su comprensin conozcamos esos conceptos elementales de Algebra Lineal. Una matriz real es un arreglo rectangular de nmero reales de la forma
donde los sub-indices indican la "{a" y la "columna" de l o c a l i z a cin en la matriz de cada nmero real. Si el nmero de f i l a s es igual al nmero de columnas, l a matriz se dice matriz cuadrada. Nuestro trabajo lo haremos sobre matrices cuadradas de tres f i l a s , tres columnas . Si k es un nmero real cualquiera y A es la matriz
A=
100
ka3 3 /
V a 31
bi: i b2i
\ b 31
b 33/
+ b13
23
b2i
+ b2 3
+
\
/
\ a 3 i + b 31
3 3
b3
112
113)
m
mu
m21 m3i
i2
xm13 \
M =
i
\
m22
m3 2
m23
m33
101
la matriz
l i x mi3 + 112 m23+ 113 m33) El smbolo an a2i a31 ai2 a22 a 32 ai3 a23 83 3
s i g n i f i c a el determinante de la matriz
ai 2 a2i \ a31 a22 a32 3i 3 a2 3 a3 3
Si A es una matriz cuadrada de orden 3 (3 f i l a s , 3 columnas), llamaremos valores propios de la matriz A a las soluciones reales de l a ecuacin
0 1
Para una matriz cuadrada de orden 2 se puede en forma similar d e f i n i r los valores propios. Si X es un valor propio de la matriz cuadrada A de orden 3, llamaremos vectores propios de A correspondientes a X a todos los vectores.
102
x = ( x , y , z) que satisfacen la ecuacin matricial X (A I - A) = (O, O, 0) El conjunto de todos los vectores propios de A correspondientes a X se llama el espacio propio de A correspondiente a X. tes a X. Con estos conceptos elementales de Algebra Lineal ya podemos abordar
el e s t u d i o del mtodo de "valoie pfwploi, y vzcXofiu, piopo>". Para
Nos interesa-
en [R, definida
por
Analizar qu superficie cudrica es el conjunto de nivel Si oj = o, entonces la ecuacin del conjunto de nivel es z2 - xy = 0 qu es una ecuacin general de segundo en tres variables. A l a ecuacin general de segundo grado en tres variables Ax 2 + By2 + Cz2 + 2Dxy asociamos la matriz
D E \ F C/ j
+ 2Exz
+ 2Fyz
+ G = 0,
B F
103
y l a llamaremos matriz asociada a la ecuacin En nuestro caso la matriz asociada a la ecuacin es:
0 -1/2 0
0
A =
-1/2 0
I 1 /
Los pasos a seguir en este mtodo son los siguientes 1. Calculamos los valores propios de la matriz A | t I - A | = 0, es decir, Z
1
0 1 0
-1/2
0 0 1
\o
0 0
0 sea
0 t 0
-1/2
0 0 1
0 0
t 1/2 0
o
1/2 t 0
0 0 t-1
= o
104
-1/2 0 0
Vi
0
>
- (0,0,0)
1/2 0 1 0
+
( 1/2 0
x
0 I =(0 0
0)
1/2 y
= 0 = 0
1/2 x + y
z e O* }
En otras palabras el eje z . Este espacio propio de A correspondiente al valor propio t a = 1 ser uno de los ejes del sistema coordenado X Y Z. cio propio nos sugiere que lo llamemos Z, lo X o Y. La forma de ese espapero bien podemos llamar-
Calculemos ahora el espacio propio correspondiente al valor propio t 2 = 1/2. Debemos resolver la ecuacin matricial.
1/2 0 0 \ / O -1/2
( x , y , z)
1/2
0
0
1/2/
I -1/2
V 0
0
0
0 |j = (0, 0, 0)
1/2
1/2 0 0 = (0, 0, 0)
1/2 x 1/2 x
+ +
= 0 =0 = 0
Para h a l l a r el espacio propio correspondiente al valor propio t3 = -1/2, debemos resolver l a ecuacin 1/2 0 0 0 0 /2 2 --11/ 0
\
(x
z)
I " ( "1/2
-1/2
-1/2 0 0 0
0\ 0 1 = ( 0 , 0, 0) 0
W
-1/2/
Vo
106
-1/2
1/2
O O
(x
z)
1/2
O
-1/2
O
(O, O, 0)
-3/2
dibujada en el plano
La figura 24 muestra la localizacin de los nuevos ejes X Y Z con relacin a los viejos ejes x y z. 3. Calculemos en cada espacio propio de A un vector propio unitario para determinar en cada uno de los nuevos ejes X, Y y Z el sentido positivo, asf como en los ejes x , y , z los vectores unitarios i . j y k
determinan en cada uno el sentido positivo. Para el espacio propio que hemos llamado eje X hallemos un vector propio unitario y llammolo . Ese espacio propio es
107
Ix
F i g u r a 24.
Para e l conjunto de n i v e l ) = 0 de l a funcin w= z 2 - x y , sta es l a l o c a l i z a c i n de l o s ejes X, Y y Z, con respecto a l o s cua l e s l a s u p e r f i c i e est en p o s i c i n cannica.
{ (O, O, z) I as que
z e CR } ,
Tambin tenemos toda la l i b e r t a d para escoger uno cualquiera de los dos. para mostrar que la escogencia menos natural es una "buena" escogencia, hagamos
-y -*
-k
Para el espacio propio que hemos llamado eje Y hallemos un vector propi u n i t a r i o y llammolo Ese espacio propio es { x , - x , 0) | x e as que J 0? } , J
( x , - x , 0) y tal que
Hagamos
o^
/ r
Para el espacio propio que hemos llamado eje Z hallemos un vector propio u n i t a r i o y llammolo K
110
Ese t a l espacio e s : { ( x , x , 0 ) | x e R } .
De t a l manera que
it
es
\ 2
f , 0
En l a f i g u r a unitarios: 4.
24 tambin se muestra l a l o c a l i z a c i n de l o s I , J , K
vectores
Con l o s vectores I ,
matriz de r o t a c i n , cuyas f i l a s son l o s vectores I , J y K en ese orden y adems para que corresponda a una r o t a c i n de l o s " v i e j o s " e j e s , e l determinante de R debe ser 1, en nuestro ejemplo
R = ST_
0 /r
-1
2 2
0 o
J y K e l determinante de los nombres
VT
/T_
2
R es -1, para resolver
se intercambian
matricial
que llamaremos ECUACION DE ROTACION, de l a s i g u i e n t e forma: ( x , y , z ) = ( X , Y, Z) R Para e l caso de nuestro ejemplo l a ecuacin de r o t a c i n ser:
11 1
Z T , 2
2
z = - X
/T 2
Esta ecuacin de rotacin establece l a relacin de las variables "uejab" en trminos de las "nueuo" variables para con e l l o hallar la ecuacin de la superficie en posicin cannica para X Y Z. Es importante anotar, aunque no lo demostramos, que las componentes del vector I son los cosenos directores del e j X con respecto a los ejes x , y , z , las componentes del vector 3 son los cosenos directores de Y con respecto a los ejes x , y , z y las componentes del vector K son los cosenosdirectores del eje Z con respecto a los ejes x, y , z.
6.
Calculemos la ecuacin de la superficie en las variables X, Y, Z, utilizando l a relacin establecida en la ecuacin de rotacin. La ecuacin de la superficie, en las variables X, Y, Z estar en forma cannica.
112
- f /( T
_
Y
/ ve T Z j
2
( _ Z T
_2
>
o sea X2 + ^
/T12 / ?2
= 0
Esta ltima ecuacin es, evidentemente, la ecuacin de un CONO ELIPTICO en posicin cannica en X Y Z, con eje de simetra el eje Z y vrt i c e en el origen. Esa ecuacin escrita as X2 + 1/2 Y2 - 1/2 Z2 = 0 , hace notar que los coeficientes son precisamente los valores propios de l a matriz asociada y en la perfecta correspondencia: Valor propio 1 1/2 -1/2 Espacio propio X Y Z Coeficiente del trmino X2 Y2 Z2
Aunque no lo demostremos esta aparente coincidencia siempre sucede en superficies cudricas rotadas. Para dibujar l a grfica de ese cono e l p t i c o , dibujemos los conjuntos de nivel Z = / T 1 y l a ecuacin Z = - / T 1 los cuales se pueden representar con
113
X2 + 1/2 Y2 = 1 que es l a ecuacin de una elipse con focos sobre el eje Y. La figura 25 muestra la grfica de ese cono e l p t i c o . Curiosamente
el eje x y el eje y estn totalmente contenidos en el cono, porque Si y = 0, entonces z = 0 y = 0 , entonces z = 0 y x e LR, y e [R,
Si x
en la ecuacin z 2 - xy = 0 Como e j e r c i c i o el lector puede analizar los conjuntos de nivel w = 1 ; w = - 1 de la funcin f ( x , y , z) = z 2 - xy tambin las secciones x = 1 ; y = - 1.
Superficies Cudricas rotadas y transladadas. Ya vimos que l a ecuacin de una superficie cudrica rotada generalmente tiene la forma Ax 2 + By2 + Cz2 + 2Dxy + 2Exz + 2Fyz + G =0
Si una tal superficie cudrica rotada la transadamos a un sistema coordenado X Y Z tal que X = x - x V Z
o
x = X + x
= y - y0 = z - zo
y = Y + yQ z =Z + z
obtenemos l a ecuacin
Figura 25.
G r f i c a del cono e l p t i c o z 2 -
FIGURA
NO.
25
116
+ y Q ) + 2E(X +
XQ)(Z
ZQ)
+ 2 F (y + y 0 ) ( z + z Q ) + G = 0 , l a cual despus de simplificada podemos e s c r i b i r as: AX2 + BY2 + CZ2 + 2DXY + 2EXZ + 2FYZ + 2(Ax
O
+ dyn + Ez )X + 2(By J
'o o
+ Dx
+ Fz )Y
o
<DVo
Exozo
+ F^ozo)
+ G
as AX2 + BY2 + CZ2 + 2DXY + 2EXZ + 2FYZ + 2HX + 2JY + 2KZ + L = 0 donde H = Ax 0 + Dy0 + Ez o
J
= By 0 +
=
Czo
DXQ +
FZQ
+ E *o +
F ^o
L = Ax 2 + By 2 + Cz2
2(D X o y 0 + Ex q z o + Fy Q z o ) + G
que es tambin una ecuacin general de segundo grado en tres variables reales. Recprocamente s i tenemos una ecuacin general de segundo grado en tres viables reales de l a forma: Ax 2 + By2 + Cz2 + 2Dxy + 2Exz+ 2Fyz + 2Hx + 2Jy + 2Kz + L = 0 ,
1 18
su representacin grfica en CR3 puede ser una superficie cudrica y puede ser potada o transladada o de ambas formas rotada y t r a n s a dada. Para determinar cual superficie cudrica es l a representada por una ecuacin de segundo grado como la que acabamos de analizar, u t i l i z a mos primero el mtodo de "vaJrptopcoa y vzcjtowA pnopo6" con el cual, s i l a superficie cudrica es solo rotada, obtendremos su forma cannica; pero si l a superficie es tambin transladada no obtendremos la forma cannica pero con el procedimiento de "c.omptta.c6n de. cuackado" l a podremos transladar para encontrar su forma cannica.
Veamos este procedimiento en un ejemplo Clasifiquemos la superficie cudrica cuya ecuacin es 20x2 + 20y2 + 9z2 + 32xy 1. - 18z - 27 = 0
2.
119
t - 20
-16 t -20 0
0 0 t-9
0
16 0 ( t - 9) ( t - 9) ( t - 9)
(t (t
20
0
-16
16
0 16 x - 16 y = 0 -16 x + 16 y = 0 27 z = 0
120
x = y, sobre el plano
z = 0.
-16
-16 -16 0
(x y z )
-16 0
-s
= ( 0 0 0)
-16 x - 16 y = 0 -16 x - 16 y = 0 5 z =0
La solucin de esta ecuacin es l a recta x = - y sobre el plano z = 0. A este espacio propio lo llamaremos eje Y. Para el valor propio t 3 = 9, debemos resolver l a ecuacin
1 0 0\ / 20 16 0\\
( x y z)
| 9 j
0
0
1
0
0
1/
I \
16
0
20
0
0
9//
= ( 0 0 0)
-16
(x y z)
-11
0 121
-11 x - 16 y = O -16 x - 11 y = O z e CR La solucin de esta ecuacin es el eje z . A este espacio propio l o llamaremos eje Z. 4. Calculemos los vectores propios unitarios i J y K En espacio propio X I tiene dos posibilidades
escogemos
M / r . / r .
En el espacio propio o) escogemos Y , J
y
t . . a . a . ,
\ 2 2
)
0, -1) ;
Es cogemos
122
(O,
O,
1)
5.
I , J y K , construimos la
/ T 2
/T
2
6.
f ? (x y z) = (X Y Z) T
x =
_ / T
2
( X - Y ) ( X + Y )
y = / F z =Z 7.
Con l a relacin establecida por la ecuacin de rotacin entre los ejes "vie/o" x y z y los "nuevos" ejes X Y Z, escribimos l a e cuacin de la superficie para las "nuz\m" variables X, Y, Z, reemplazando en la ecuacin original a x , y , z en trminos de X , Y , Z.
123
En nuestro caso obtenemos 10(X - Y) 2 + 16(X - Y) (X + Y) y despus de simplificada es: 36X2 + 4Y2 + 9Z2 - 18Z - 27 =0 + 10(X + Y) 2 + 9Z2 - 18Z - 27 =0
Naturalmente esta no es la ecuacin de una superficie cudrica en posicin cannica, pero si es transladada porque si completamos cuadrados para variable Z se obtiene 36X2 + 4Y2 + 9(Z 2 - Z 2 + 1) - 27 = 9 la cual podemos e s c r i b i r l a a s : 36X2 + 4Y2 + 9(Z - l ) 2 - 36 = 0 Esta ltima forma de la ecuacin de la superficie sugiere l a siguiente translacin de ejes: x' = X - 0 ; Y'=Y-0 ; z' = Z - 1
la cual evidentemente es la ecuacin de un ELIPSOIDE, en posicin cannica para las variables X* , Y* y Z*0 Dibujar l a grfica de esta superficie para las variables X* , Y ' , 1
124
o para las variables X, Y, Z es f c i l , pero para las variables x y z no. En la figura 26 mostramos una aproximacin de lo que sera l a Y1 , Z1 y X, Y, Z. grfica de esa superficie con respecto a las variables x y z y se muestran tambin los otros dos sistemas coordenadas X' ,
125
Figura
26.
G r f i c a de l a s u p e r f i c i e cudrica rotada y transladada cuya ecuacin es 20x 2 + 20y2 + 9z 2 + 32xy - 18z - 27 = 0. Se muest r a n l o s t r e s sistemas coordenados x y z , XYZ, X ' Y ' Z ' .
FIGURA
NO.
26
126
OBSERVACIONES Con el anlisis que hemos hecho de las superficies cudricas en posicin cannica, transladadas y rotadas podemos puntualizar sobre a l gunas observaciones que seguramente el lector ya podr haber captado. 1. Definimos las superficies cudricas en posicin cannica como con juntos de nivel no vacios y secciones cero no vacias de funciones de l a forma u = f ( x , y , z) = Ax2 + By2 + Cz2 2. Algunos conjuntos de nivel de las funciones de la forma u = f ( x , y , z) = Ax 2 + By2 + Cz2 + 2Dx + 2Ey son superficies cudricas transladadas. para la funcin o) = f ( x , y , z) = y 2 - 3x + 4z el conjunto de nivel w = O, no es una superficie cudrica transladada, sino rotada. este contra-ejemplo. 3. Definimos como superficies cudricas rotadas a los conjuntos de nivel y secciones de funciones de la forma: f ( x , y , z) = Ax2 + By2 + Cz2 + 2Dxy + 2Exz + 2Fyz +G El lector puede v e r i f i c a r como e j e r c i c i o + Fz +G
Debemos admitir en algunos casos rotaciones con ngulos nulos, es el caso de l a funcin
128
4.
A pesar de l o a n t e r i o r , el panorama presentado en todo este esc r i t o permite generalizar l a definicin de superficies cudricas como conjunto de nivel no vacios y secciones no vacias de funciones de en O* de la forma + 2Exz + 2Fyz + 2Gx
p e r f i c i e s cudricas rotadas tambin es aplicable para cnicas rotadas en el a n l i s i s de la ecuacin general de segundo grado en dos variables. Ax 2 + 2Bxy + Cy2 + 2Dx + 2Ey + F =0
Fundamentalmente consiste en calcular los valores propios y los vectores propios unitarios de l a matriz asociada
El lector puede comprobarlo, como e j e r c i c i o , en la ecuacin general de segundo grado. 3x2 - 6xy + 5y2 - 6x
+ 22y + 24 = 0
129
6.
Otra generalizacin posible consiste en d e f i n i r las cnicas como conjuntos de nivel no vacios o secciones no vacias de funciones de CR2 en CK de la forma: Z = f ( x , y ) = Ax 2 + 2Bxy + Cy2 + 2Dx + 2Ey +F
7.
8.
El mtodo de "valepsiopo* y vzctoneA ptopca" tiene sus p r i n cipales fundamentos en el Algebra Lineal y por lo mismo es tarea del Algebra Lineal su demostracin.
9. Se omiti numerar las pginas Nos. 37, 58 y 63 las cuales carecen de contenido.
130
B I B L I O G R A F I A
CURTIS, Junior, P h i l i p C. Calculo de Varias Variables con Algebra Lineai. Mexico, Li musa, 1976 KOLMAN, BERNARD. 1981 Algebra Lineai. Fondo Educativo Interamericano,
Calculo Vectorial.
Fondo