Figura 19-.

Seccin x = O

de l a funcin

f(x,y,z) = ^ b

FIGURA

NO.

19

76

con x cualquier nmero r e a l . j es negativo. Seccin z = 0. ecuacin

Esa superficie es un c i l i n d r o Parabli-

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

b2 con x cualquier nmero real. es positivo.

) = J-J-

Esa superficie es un c i l i n d r o parabli-

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

B = 1/b2 B = Vb2 B = -1/b 2 B = -1/b 2 B = 1/b2 B = 0 B = 1/b2 B = -1/b 2

; ; ; ; ;

C = 1/c2 C = -1/c 2 C = 1/c2 C = -1/c 2 C = 1/c2 C = 1/c2

A = -1/a 2 A = -1/a 2 A = -1/a 2 A = 0 A = 1/a2 A = 1/a2 A = 0

; ;

C= 0 C = ^l/c 2

78

F i g u r a 20.

Seccin y=0 de l a funcin f ( x , y , z ) =

FIGURA No. 20

80

Figura 21.

Seccin z = O de la funcin f(x,y,z) ci se llama Cilindro Parablico.

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 ;

A = 0 A = 1/a2 A = -1/a 2 A = 1/a2 A = -1/a 2 A s 0 A = 0 A = 0 A = 1/a2 A = -1/a 2 ; ; ; ; ; ; ; ; ;

C = 1/c2 C = -1/c 2 C = 1/c2

B = 0 B = 0 B = -1/b2 B = 1/b2 B = 0 B = 1/b2

; ; ; ;

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

para a, b, y c constantes reales positivas 2. Hiperboloides e l p t i c o s de una hoja:

84

para a, b y c constantes reales positivas. 3. Hiperboloides elpticos de do-i hojas:

A xf
b2
i
x

a2

= 1

C2
x

2 2

2 3

= 1

C2

2
-

2 X?
b2

2 C2 = 1

a2

para a, b y c constantes reales positivas. 4. Conos E l p t i c o s : 2 2 2 X

1 a2

b2
2

3 C2

2 XT a2
X

2 X3

b2

C2

2 1 a2

+ ?
X

b2

2 3 C2

para a, b y c constantes reales positivas. 5. Paraboloides el i p t i cas: 2 2

X

+ 2.
b
2

= n

para a y b constantes reales positivas y c una constante real diferente de cero. 2 2

X

+ _*3

= o

a2 b c2 para a y c constantes reales positivas y b una constante real d i f e rente de cero.

85

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

para a y b constantes reales positivas y c una constante real diferente de cero.

2 X]
+

2 Xa

a2 b c2 para a y c constantes reales positivas y b una constante real d i f e rente de cero.

. _>l_ + J i 2 _ .
2 2

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

Como l o muestra clara-

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".

Veamos con un ejemplo sencillo como acta una translacin de ejes en

CR3.

87

Figura 22.

Relacin entre l a s dos t r i p l a s de a l hacer una t r a n s l a c i n de e j e s .

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,

y entonces l a ecuacin de la esfera en el nuevo sistema coordenado, es claramente.

X
2

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

respecto a las superficies cuadricas, podemos ver muy fcilmente

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

y su centro de simetra es el punto (x , y z ) . cimos que est transladada en el sistema x y z.

Esta superficie de-

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

constantes p o s i t i v a s , x0 1 , x02 , x0 3 constantes

reales no todas cero. Hiperboloide el i p t i c o de una hoja:

(xi X01)2
+

(x2

X02)2+

a2

b2

(x 3 - Xq3)2 = 1

para a, b y c constantes reales p o s i t i v a s , x 0 i , x02 x03 tantes reales no todas cero

cons-

Hiperboloide el i p t i c o de dos hojas: ( x i - XQ1) 2 _ a2 (x 2 - x 0 2 ) 2 _ (x 3 - X 0 3 ) 2 _ b2 c2 consL

para a, b y c constantes reales p o s i t i v a s , x 0 i , x0 2 , x03 tantes reales no todas iguales a cero.

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-

para a, b y c constantes reales p o s i t i v a s , x 0 i , x 0 2 y x 0 3 tantes reales no todas iguales a cero.

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

En esta c a r a c t e r i z a c i n no hemos i n c l u i d o los c i l i n d r o s porque nos haK a muy extensa l a lista.

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

y t a l que e l e j e X forma con e l e j e x un ngulo agudo 8, con La f i g u r a 23

respecto al cual l a cnica est en p o s i c i n cannica. muestra una e l i p s e en p o s i c i n rotada. No es d i f i c i l

demostrar que l a ecuacin c a r t e s i a n a de una cnica r o t a -

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

p r o p i o s , vectores propios de una m a t r i z ) se puede u t i l i z a r o t r o mto95

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

Los dos sistemas coordenados x y z

e j e x forma con el e j e X un ngulo 6. los t r e s ngulos 0, 6 y a

El e j e y forma con el e j e Y un Al menos dos de

ngulo B y e l e j e z forma con el e j e Z un ngulo a.

sern agudos y d i s t i n t o s de cero. demostrar

Al i g u a l que se t r a b a j a con las cnicas r o t a d a s , es f c i l forma: Ax 2 + By 2 + Cz 2 + 2Dxy + 2Exz + Zfyz + G =0

que l a ecuacin c a r t e s i a n a de una s u p e r f i c i e cudrica rotada es de l a

donde A , B, C y G son constantes reales y D, E y F son constantes les no todas t r e s simultneamente i g u a l e s a c e r o .

rea-

Por l a forma de esta e c u a c i n , l a llamaremos ecuacin general de s e gundo grado en t r e s variables.

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",

de r e s o l v e r p o r e l mtodo, t r a d i c i o n a l cnicas rotadas) c o n s i s t e n t e en:

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

tambin con as s u p e r f i c i e s cudricas

rotadas, conociendo algunos con

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

la multiplicacin kA la definimos as: / kan kA = ka 2 i ^ ka 3 1 ka12 ka22 ka32 kai 3 \ ka2 3

f

ka3 3 /

es tambin una matriz real Si A y B son las matrices reales / a 11 A = f a2i

1

a 12 a 22 a32 bi2 b 22 b32

, 3\ ai \ a23 j i a33 / b 13 \ b23

I

V a 31
bi: i b2i

\ b 31

b 33/

la matriz A + B es la matriz / an + bxl I 921

+

a12 + b12 a22 + b22 a32 + b 3 2

1

+ b13
23

b2i

+ b2 3
+

\
/

\ a 3 i + b 31

3 3

b3

Si L y M son las matrices reales

L = (In
1

112

113)
m

mu
m21 m3i

i2

xm13 \

M =

i
\

m22
m3 2

m23

m33

101

la matriz

LM es l a matriz l u m i2 + 112 m22 + 113 "132

( I x i mu + l i 2 m2i + 113 m3i

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-

ran particularmente los vectores propios UNITARIOS de A correspondien-

que entendamos el mtodo ms rpidamente estudimoslo en un ejemplo. Dada la funcin f de tR3 f ( x , y , z ) = z2 w = z2 - xy w = 0.

Xy,

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

( t - 1) ( t 2 - 1/4) = 0 ( t - 1) ( t - 1/2) ( t + 1/2) = 0

104

Las soluciones reales de esa ecuacin son ti = 1 ; t 2 = 1/2 A.

1/2

y esos son los valores propios de 2.

Calculamos los espacios propios de A.

En nuestro ejemplo para el valor propio t i = 1, debemos resolver l a ecuacin 0 (x ,y , z ) -1/2 0 1

( x , y , z)

-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 IR La solucin de este sistema de ecuaciones es

{ ( 0 , 0, z)

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-

Para hacer mejor uso de esa libertadjlammolo X. 1C 5

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

+ +

1/2 y 1/2 y -1/2 z

= 0 =0 = 0

La solucin de este sistema de ecuaciones es { (x,

-X,

0) I x CR} y = -x dibujada en el plano xy ( z = 0). Llammolo Y.

En otras palabras la recta

Este espacio propio ser otro de los nuevos ejes.

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

-1/2 x 1/2 x + 1/2 y 1/2 y 3/2 z

0 0 0

La solucin de este sistema de ecuaciones es { ( x , X , 0) I la recta y = x x e R } xy ( z = 0). Llammolo Z.

dibujada en el plano

Este espacio propio ser otro de los nuevos ejes.

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 } ,

I es un vector de l a forma (0, 0, z) y t a l que |(0, 0, z)|| = 1.

Se presentan dos soluciones: (0, 0, 1) = k y (0, 0, -1) = -k

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

es un vector de la forma ||(x, - x , 0)|| = 1.

( x , - x , 0) y tal que

Se presentan dos soluciones ( Z T . - / I . 0 ) , ( - T . / I . )

y podemos escoger uno cualquiera de los dos.

o

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

un v e c t o r de l a forma ( x , x , 0) y t a l que j j ( x , x , 0)|| = 1 Se presentan dos s o l u c i o n e s : / S T , ST , 0] y Pero como veremos ms

\ 2

Podemos escoger uno c u a l q u i e r a de l o s dos. coger como v e c t o r K, a l v e c t o r sr,

adelante, por l a escogencia que hicimos de I y J , debemos escoger e s -

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 ,

J y K formamos una matriz R, que llamaremos

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

5 i por l a escogencia de l o s vectores I , el problema de dos de l o s vectores u n i t a r i o s de e l l o s . 5. Con l a matriz

se intercambian

o se cambia l a escogencia de uno

de r o t a c i n R formaremos una ecuacin

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.

Para nuestro ejemplo, la ecuacin de l a superficie en x , y , z , es

112

z 2 - xy = O Si utilizamos la ecuacin de rotacin que obtuvimos, tendremos que

( - X )
2

- 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

A(X + x Q ) 2 + B(Y + y o ) 2 + C(Z + Z Q ) 2 + 2D(X +

XQ)(Y

+ 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

+ 2(Cz 0 + Ex o + Fy o )Z + (Ax 2 + By2 + Cz2 )

+ 2

<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

La matriz asociada a la ecuacin es

2.

Calculemos los valores propios de l a matriz A , es decir resolvamos la ecuacin

119

t - 20

-16 t -20 0

0 0 t-9
0

16 0 ( t - 9) ( t - 9) ( t - 9)
(t (t

0 ( t - 20)2 - (16) 2 J = 0 - 20 - 16) ( t - 20 + 16) = 0 - 36) ( t - 4) = 0

Las soluciones reales de esa ecuacin son: t i = 36 3. ; t2 = 4 ; t3 = 9

Calculemos los espacios propios de A (los nuzvo" ejes X, Y, Z)

Para el valor propio t i - 36, debemos resolver la ecuacin

16

20
0

-16

16
0 16 x - 16 y = 0 -16 x + 16 y = 0 27 z = 0

120

La solucin de esta ecuacin es la recta A este espacio propio l o llamaremos eje X

x = y, sobre el plano

z = 0.

Para el valor propio t 2 = 4, debemos resolver l a ecuacin 0 ( x y z) 1 0 0\ 0 1/ \ o / 20 16 20 0 = ( 0 0 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

tiene dos posibilidades

t . . a . a . ,
\ 2 2

)
0, -1) ;

En el espacio propio 1, K tiene dos posibilidades

(0 , 0, 1) y (0 ,

Es cogemos

122

(O,

O,

1)

5.

Con los vectores propios un tartos matriz de Rotacin / T R= Z T

2

I , J y K , construimos la

/ T 2

/T
2

6.

Con la matriz de rotacin R, coas fruimos la ecuacin de rotacin (x y z) = (X Y Z) R

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

Si hacemos dicha translacin, la ecuacin de l a superficie para las i i variables X , Y , Z es:

36X'2 + 4Y ' 2 + 9Z' 2 = 36 9 4

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

Decimos algunos, porque

Debemos admitir en algunos casos rotaciones con ngulos nulos, es el caso de l a funcin

128

f ( x , y , z) = z 2 - xy para l a s secciones x = 0 y y = 0. Estas secciones son c i l i n d r o s ftdems el contrae jem-

no rotados, o con r o t a c i n con ngulo nulo. p l o dado en (3) no t i e n e esa forma.

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

w = f ( x , y , z) = Ax2 + By2 + Cz2 + 2Dxy + 2Hy 5. + 2Lz +M

El mtodo de "vclIomj, y \)<ctone ptopo"

que utilizamos para su-

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.

En las observaciones 4 y 6 admitimos una gama muy amplia de "de.gzneAaconeJ)".

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,

MARSDEN, J e r r o l d E. y TROMBA, Anthony J . Educativo Interamericano, 1981.

Calculo Vectorial.

Fondo