Ingenier as: Aeroespacial, Civil y Qu mica. Matemticas I. 2010-2011.

a
Departamento de Matemtica Aplicada II. a Escuela Superior de Ingenieros. Universidad de Sevilla.

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

7.1.- Matrices simtricas reales. e Diagonalizacin. El teorema espectral. o 7.2.- Formas cuadrticas. a Denicin y matriz simtrica asociada. o Rango y signo de una forma cuadrtica. a Reducciones a suma de cuadrados. Ley de inercia de Sylvester. Clasicacin. o 7.3.- Cnicas y cudricas (II). o a Reduccin de una cnica girada. o o Reduccin de una cudrica girada. o a 7.4.- Ejercicios. 7.5.- Apndice: MATLAB. e

7.1.- Matrices simtricas reales. e

Las matrices simtricas reales constituyen uno de los tipos ms importantes de matrices e a para las cuales puede garantizarse la diagonalizabilidad. Adems, dicha diagonalizacin se a o puede obtener matrices de paso ortogonales. 10.1.1.- Diagonalizacin. o Teorema. Sea A una matriz real simtrica. Entonces: e (a) Todos los autovalores de A son reales. (b) Si v1 y v2 son autovectores (reales) de A asociados a autovalores distintos 1 y 2 , entonces v1 y v2 son ortogonales. Teorema (espectral para matrices simtricas) Sea A una matriz cuadrada real n n. e Son equivalentes: (a) A es simtrica. e (b) A es diagonalizable mediante una matriz de paso ortogonal, es decir, existe una matriz ortogonal Q tal que Q1 AQ QT AQ = D es diagonal. 203

204

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

En ese caso, las columnas de la matriz {q1 , . . . , qn } de Q son un conjunto de autovectores de A que forman una Base Ortonormal de Rn y, adems, tenemos que a

A = QDQT =

q1 . . . qn

1 0 . . . 0 0 2 . . . 0 . . .. . . . . . . . . 0 0 . . . n

T q1 T q2 ... T qn

T T T = 1 q1 q1 + 2 q2 q2 + + n qn qn . T Cada matriz qk qk es la matriz de la proyeccin ortogonal sobre el subespacio generado por o el correspondiente vector {qk } (es una matriz de rango 1). As obtenemos la expresin , o T T T A = 1 q1 q1 + 2 q2 q2 + + n qn qn ,

que se llama descomposicin espectral de A. Esta expresin nos da la matriz simtrica o o e real A como una combinacin lineal de matrices de proyeccin de rango 1. o o A la hora de obtener una diagonalizacin ortogonal de una matriz simtrica real A pueden o e aparecer dos situaciones distintas: Todos los autovalores de A son simples. En este caso, los autovectores correspondientes tienen que ser ortogonales dos a dos y formarn una base ortogonal de Rn . Normaa lizando dichos autovectores (dividiendo cada uno por su norma) seguiremos teniendo autovectores ortogonales que adems sern unitarios. Una matriz Q que tenga a dichos a a autovectores ortonormales como columnas ser una matriz de paso que diagonaliza A a ortogonalmente. La matriz A tiene algn autovalor mltiple. En este caso, cuando calculemos los autou u vectores asociados a uno de los autovalores m ltiples, obtendremos una base del u espacio propio asociado Nul (A I). En general esta base puede no ser una base ortogonal de dicho subespacio. Ortogonalizando primero y normalizando a continuacin, o tendremos una base ortonormal de autovectores asociados a dicho autovalor m ltiple. u Haciendo esto con cada uno de los autovalores m ltiples y normalizando los autovecu tores asociados a autovalores simples tendremos una base ortonormal de Rn formada por autovectores de A. Basta considerar una matriz Q cuyas columnas sean los vectores de dicha base para obtener una diagonalizacin ortogonal de A. o

7.2.- Formas cuadrticas. a

Una forma cuadrtica no es otra cosa que la funcin denida por un polinomio real a o homogneo de segundo grado en varias variables. Es decir, una funcin Rn R denida e o por un polinomio real de varias variables en el que todos los sumandos no nulos son de segundo grado. Por ejemplo, Las funciones denidas por 3x2 2xy +yz y por xy +yz +2xz son formas cuadrticas. a Las funciones denidas por 2x2 3x + y 2, x2 + y 2 + 2 son funciones reales, de varias variables, denidas por polinomios de segundo grado. Pero dichos polinomios no son homogneos puesto que hay sumandos que no son de segundo grado. Por tanto, NO se e trata de formas cuadrticas. a Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a

2

205

x las funciones denidas por x2 y, x cos(y), y2 +1 , ... NO son formas cuadrticas puesto que a ni siquiera estn denidas por polinomios. a

Una forma cuadrtica en dos variables (x, y) ser una funcin de la forma f (x, y) = a a o 2 2 a11 x + 2a12 xy + a22 y donde a11 , a12 y a22 son n meros reales. u 7.2.1.- Denicin y matriz simtrica asociada. o e Denicin. o Se llama forma cuadrtica en (x1 , x2 , . . . , xn ) a todo polinomio real homogneo de segundo a e grado en las variables (x1 , x2 , . . . , xn ), es decir a todo polinomio de la forma
n

(x1 , x2 , . . . , xn ) = a11 x2 +2a12 x1 x2 + +a22 x2 + +ann x2 = 1 2 n

akk x2 + k
k=1 1i<jn

2aij xij

donde los coecientes akk (1 k n) y aij (1 i < j n) son reales. El denotar mediante 2aij al coeciente de xi xj cuando i < j es una cuestin de conveniencia o a la hora de asociar a la forma cuadrtica una matriz simtrica. a e Se llama matriz asociada a la forma cuadrtica a la matriz simtrica a e

A=

a11 a12 a12 a22 . . . . . . a1n a2n

a1n a2n . .. . . . ann

Es decir, en la matriz simtrica real A, e los elementos diagonales a11 , . . . , ann son los coecientes de los cuadrados x2 , x2 , . . . , x2 , 1 2 n los elementos no-diagonales aij = aji son los coecientes de los trminos cruzados xi xj e divididos por 2. De esta forma la matriz simtrica A y la forma cuadrtica estn relacionadas mediante e a a

(x1 , x2 , . . . , xn ) = [x1 x2 xn ] A

x1 x2 . . . xn

= xT Ax

siendo x el vector columna de las variables en un orden preestablecido. Notemos que aii = (ei ) = 1 2 , 2 x2 i aij = 1 2 . 2 xi xj

Matemticas I. a

2010-2011

206 Ejemplos.-

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

(1) La matriz simtrica A asociada a la forma cuadrtica denida por e a (x1 , x2 , x3 ) = x2 + 2x2 + 5x2 + x1 x2 3x1 x3 + 6x2 x3 1 2 3

es A =

1
3 2 1 2

3 2 2 3 3 5

1 2

(2) La forma cuadrtica asociada a la matriz simtrica a e

A= es

0 5 3 5 3 0 3 0 5

(x1 , x2 , x3 ) = 0x2 + 2 5x1 x2 + 6x1 x3 3x2 + 0x2 x3 + 5x2 2 3 1 = 2 5x1 x2 + 6x1 x3 3x2 + 5x2 . 2 3

Observaciones. (1) Una vez que est jado el orden de las variables (x1 , , xn ), la matriz simtrica a e A = [aij ] asociada a la forma cuadrtica es unica. a (2) Dada una matriz cuadrada real M, la funcin o : x Rn (x) = xT Mx R es una forma cuadrtica, aunque la matriz M no sea simtrica. Por ejemplo, a e

(x) = xT

1 2 1 1 3 1 3 0 5

x=

= x2 + (2 1)x1 x2 + (1 + 3)x1 x3 3x2 + (1 + 0)x2 x3 + 5x2 1 2 3 es una forma cuadrtica cuya matriz simtrica asociada es a e

A=

1 M + MT = 2

1 1
1 2

3
1 2

1 2

1 5
1 2

Las propiedades de la forma cuadrtica estn relacionadas con las propiedades de la a a matriz simtrica A, no con las de todas las posibles matrices M que permiten obtener e mediante la expresin (x) = xT Mx. o Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a 7.2.2.- Rango y signo de una forma cuadrtica. a

207

Dada una forma cuadrtica (x) = xT Ax, (A matriz simtrica real de orden n), notemos a e n que para cualquier R y cualquier x R se verica que (x) = 2 (x). Por tanto, el signo de los valores que alcanza sobre los m ltiplos no nulos, x, de un u vector prejado, x = 0, es constante. Si, por ejemplo, tenemos que (x) > 0, entonces, para cualquier R, = 0 tenemos que (x) = 2 (x) > 0. Adems, en este caso, puesto que a (x) > 0, l (x) = + m

y sobre los vectores x (la recta en Rn que pasa por el origen y tiene a x como vector direccin) la forma cuadrtica puede alcanzar cualquier valor entre 0 = (0) y + (de o a hecho cada valor lo alcanza dos veces en dicha recta): 0 < c < + tomando c = (x) (x) = c.

Ejemplo.- Consideremos la forma cuadrtica (x1 , x2 , x3 ) = 2x2 3x2 + x2 . Tenemos a 1 2 3 (1, 0, 0) = 2 (= (, 0, 0) = 22 ) y (0, 1, 0) = 3 (= (0, , 0) = 3 2 ). Por tanto, una vez que conocemos alg n punto en el que la forma cuadrtica alcanza un valor u a de un determinado signo, podemos determinar puntos donde alcanza cualquier otro valor del mismo signo. Por ejemplo, si queremos determinar alg n punto donde se verique que u (x1 , x2 , x3 ) = 7 bastar buscar puntos de la forma (x1 , x2 , x3 ) = (1, 0, 0) para los cuales a (, 0, 0) = 22 = 7 = 7 . 2

Denicin (Signo de una forma cuadrtica). o a n Se dice que una forma cuadrtica : x R (x) = xT Ax R y que la matriz simtrica a e A asociada es: (1) Denida positiva si (x) = xT Ax > 0, x = 0, x Rn . (2) Denida negativa si (x) = xT Ax < 0, x = 0, x Rn . De forma equivalente, (x) = xT (A)x es denida positiva. (3) Indenida si existen vectores en Rn para los que es positiva y otros para los que es negativa. Es decir, v1 Rn y v2 Rn tales que
T T (v1 ) = v1 Av1 > 0 y (v2 ) = v2 Av2 < 0.

(4) Semidenida positiva si (x) = xT Ax 0, x Rn . (5) Semidenida negativa si (x) = xT Ax 0, x Rn . De forma equivalente, (x) = xT (A)x es semidenida positiva. Matemticas I. a 2010-2011

208

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

Nota. Con las deniciones dadas, los casos de formas cuadrticas semidenidas (positiva o negaa tiva) incluyen a los casos de formas cuadrticas denidas (positiva o negativa). Para considerar a situaciones disjuntas, en la denicin de forma cuadrtica semidenida suele aadirse que se cumpla o a n (v) = 0 para algn vector v = 0. En caso de no existir tal vector v, siendo semidenida (positiva u o negativa) ser denida (positiva o negativa). En lo que sigue consideramos la denicin dada ms a o a arriba con objeto de simplicar los enunciados.

Observacin.- Dada una forma cuadrtica asociada a una matriz simtrica A, o a e (x1 , , xn ) = a11 x2 + + 2aij xi xj + + ann x2 = xT Ax, 1 n los coeecientes aii de los cuadrados (los elementos diagonales de A) son valores que alcanza la forma cuadrtica en los vectores/puntos cannicos a o e1 = (1, 0, . . . , 0), , ei = (0, . . . , 0, 1, 0, . . . , 0), , en = (0, , 0, 1) = .(ei ) = aii . Por tanto, dichos valores nos dan alguna informacin sobre el signo de la forma cuadrtica. o a Por ejemplo, si todos los elementos diagonales son positivos a11 , , ann > 0, la forma cuadrtica a no podr ser ni denida ni semidenida negativa; a si hay dos elementos digonales de distinto signo, la forma cuadrtica es indenida; a si alguno de los elementos diagonales es nulo, la forma cuadrtica no podr ser denida a a negativa ni denida positiva; Denicin. El rango de una forma cuadrtica en Rn se dene como el rango de la matriz o a simtrica asociada. e Al hacer, en la forma cuadrtica xT Ax, un cambio de base x = P y (P matriz real a no-singular), se obtiene xT Ax = y T (P T AP )y. Es decir al expresar la forma cuadrtica respecto a la base formada por los vectores columna a de P , obtenemos que en las coordenadas y, respecto de dicha base, la forma cuadrtica tiene a asociada la matriz simtrica B = P T AP . Puesto que P y P T son matrices que tienen inversa, e el rango de B is igual que el rango de A. El estudio del signo y del rango de una forma cuadrtica arbitraria lo reduciremos a los a casos ms simples posibles. Dichos casos se dan cuando la forma cuadrtica consiste en una a a suma de cuadrados o, lo que es lo mismo, la matriz simtrica asociada es diagonal. En dichos e casos la determinacin del rango y del signo es inmediata como se recoge en el siguiente o resultado. Proposicin.- Sea : Rn R la forma cuadrtica o a (x) := 1 x2 + 2 x2 + + n x2 = [x1 xn ] 1 2 n

1 0 0 2 . . . . . . 0 0

.. .

0 0 . . .

x1 . . . xn

Matemticas I. a

Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a (1) es denida positiva 1 > 0, 2 > 0, , n > 0. (2) es denida negativa 1 < 0, 2 < 0, , n < 0. (3) es indenida i, j tales que i > 0 y j < 0. (4) es semidenida positiva 1 0, 2 0, , n 0. (5) es semidenida negativa 1 0, 2 0, , n 0. El rango de es el nmero de coecientes k = 0. u 7.2.3.- Reducciones a suma de cuadrados.

209

En esta subseccin estudiamos cmo reducir a suma de cuadrados una forma cuadrtica o o a arbitraria. Es decir, dada una forma cuadrtica a (x1 , , xn ) = a11 x2 + 2a12 x1 x2 + 1 cmo obtener un cambio de base x = P y (cambio de variables lineal, P matriz real que tiene o inersa) de forma que en las nuevas variables la forma cuadrada se exprese como una suma de 2 2 2 cuadrados (x1 , , xn ) = 1 y1 + 2 y2 + + n yn . As para cada vector y Rn tenemos , n 1 un unico vector x = P y R y viceversa, y = P x Rn . De esta forma, siendo D la matriz diagonal cuyos elementos diagonales son los coecientes k de los cuadrados tenemos que xT Ax = y T (P T AP )y = y T Dy y todos los datos/resultados/... que se obtienen sobre la forma cuadrtica a partir de su exa presin en las variables (y1 , , yn ) pueden traducirse a las variables (x1 , , xn ) y viceversa o (x = P y, y = P 1 x). Cuando una forma cuadrtica est expresada como suma de cuadrados se dice que est en a a a forma reducida (o cannica). o Denicin.- Se dice que dos matrices A y B (cuadradas reales del mismo orden) son cono gruentes si existe alguna matriz real P no singular tal que B = P T AP . La reduccin de una forma cuadrtica a suma de cuadrados se puede hacer de muchas o a formas distintas puesto que la unica restriccin que hemos considerado para la matriz P o es que sea no-singular. A continuacin describimos dos mtodos para reducir a suma de o e cuadrados. Un mtodo es matricial, consiste en obtener una diagonalizacin ortogonal de e o la matriz A. El otro es polinmico, consiste en ir reducciendo el problema, paso a paso, a o formas cuadrticas con una variable menos en cada paso. a Teorema (de los ejes principales). Sea A una matriz real simtrica, entonces existe un e cambio de variables ortogonal x = Qy (es decir, con Q matriz ortogonal) que reduce la forma cuadrtica xT Ax a suma de cuadrados a
2 2 y T Dy = 1 y1 + + n yn

siendo 1 , . . . , n los autovalores (iguales o distintos) de la matriz A. Matemticas I. a 2010-2011

210

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

En dicho caso las matrices A y D son semejantes (Q1 AQ = D) y congruentes (Q AQ = D) siendo la matriz de paso la misma matriz P cuyas columnas son autovectores de A que forman una base ortonormal de Rn . Los vectores columna de Q se denominan ejes principales de la forma cuadrtica. a
T

Ejemplos. (1) Sea 1 la forma cuadrtica en R2 dada por a 1 (x) = x Ax =

T

x1 x2

Si obtenemos una base una base ortonormal de R2 formada por autovectores de la matriz A llegaremos a 13 2 13 2 w1 w 1 (x) 2 2 2 puesto que los autovalores de A son 13/2. Por tanto, esta forma cuadrtica es a indenida (y tiene rango 2). Toda matriz que represente a 1 en alguna base de R2 tendr rango 2 y, si la matriz es diagonal, tendr un elemento positivo y uno negativo a a (y obviamente ninguno nulo). 1 (x) = = =

1 3/2 3/2 1

x1 x2

= x2 + 3x1 x2 x2 . 1 2

x1 x2 z1 z2 v1 v2

13/4 0 0 1 1 0 0 1

1 3/2 3/2 1

x1 x2 z1 z2

y1 y2 u1 u2

1 0 0 13/4

v1 v2

w1 w2

1 0 0 13/4

y1 y2 u1 u2

13/2 0 0 13/2

w1 w2

= ...

(2) Sea 2 la forma cuadrtica en R2 dada por a 2 (x) = x Ax =

T

x1 x2

Completando cuadrados en la primera variable obtuvimos, en el Tema 3, la reduccin o 2 de sta forma cuadrtica a suma de cuadrados como 2 (x) = y1 , mediante el cambio e a de variables y1 = 2x1 x2 , y2 = x2 .

4 2 2 1

x1 x2

= 4x2 4x1 x2 + x2 . 1 2

Puesto que los autovalores de A son 1 = 0 y 2 = 5, si obtenemos una base ortonormal de autovectores llegamos, por ejemplo, a la expresin 2 (x) = 5u2 . o 2 Esta forma cuadrtica es semidenida positiva (y de rango 1). Toda matriz que reprea sente a 2 en alguna base de R2 tendr rango 1 y, si la matriz es diagonal, tendr un a a elemento positivo y otro nulo (y ninguno negativo).

(3) Sea 3 la forma cuadrtica en R2 dada por a 1 2 x1 = x2 4x1 x2 . 3 (x) = x Ax = x1 x2 1 2 0 x2 Puesto que los autovalores de A son (1 17)/2, podemos obtener, mediante una base ortonormal de R2 formada por autovectores de A, 1 + 17 2 1 17 2 w1 + w2 . 3 (x) = 2 2
T

Matemticas I. a

Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a (4) Sea 4 la forma cuadrtica en R2 dada por a 4 (x) = x Ax =
T

211

x1 x2

0 2 2 0

x1 x2

= 4x1 x2 .

Puesto que los autovalores de A son 2, podemos obtener la reduccin a suma de o 2 2 cuadrados 4 (x) = 2w1 2w2 . (5) Consideremos la forma cuadrtica en R3 a

5 (x) = xT Ax =

x1 x2 x3

3 2 0 2 2 2 0 2 1

x1 x2 x3

= 3x2 + 2x2 + x2 + 4x1 x2 + 4x2 x3 . 1 2 3

Puesto que los autovalores de A son 5, 2, 1, podemos obtener la reduccin o

2 2 2 5 (x) = 5z1 + 2z2 z3 .

(6) Consideremos la forma cuadrtica en R3 a 1 2 1 x1 T 2 5 3 x2 6 (x) = x Ax = x1 x2 x3 1 3 2 x3 = x2 + 5x2 + 2x2 + 4x1 x2 + 2x1 x3 + 6x2 x3 . 1 2 3 Puesto que los autovalores de A son 0, 4 obtener la reduccin a suma de cuadrados o 6 (x) = (4 +

13(dos positivos y uno nulo), podemos

2 13)z2 + (4

2 13)z3 .

Esta forma cuadrtica es pues semidenida positiva (y de rango 2). a (7) Consideremos la forma cuadrtica en R4 a

7 (x) = xT Ax = [x1 x2 x3 x4 ]

0 3/2 0 0 3/2 0 0 0 0 0 0 5/2 0 0 5/2 0

x1 x2 x3 x4

= 3x1 x2 + 5x3 x4 .

Los autovalores de A son, 3/2, 5/2 y por tanto mediante una base ortonormal de R4 formada por autovectores de A podemos obtener 3 2 3 2 5 2 5 2 7 (x) = w1 w2 + w3 w4 . 2 2 2 2 Esta forma cuadrtica es, por tanto, indenida (y de rango 4). a Matemticas I. a 2010-2011

212

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

El mtodo polinmico que hemos citado se debe, en parte, a J. e o L. Lagrange. La idea bsica consiste en completar cuadrados a a partir del cuadrado perfecto y los trminos cruzados en una de e las variables. Cuando esto no sea posible, habr que conseguir a un cuadrado perfecto utilizando que suma por diferencia es igual a diferencia de cuadrados. Esencialmente la idea es la misma que utilizbamos a la hoa ra de completar cuadrados en la ecuacin de una cnica o o o una cudrica para obtener su ecuacin reducida. Al completar a o cuadrados en una forma cuadrtica habr varias posibilidades a a de eleccin sobre cmo hacerlo. o o

Mtodo de Lagrange. (completar cuadrados) e

Joseph Louis Lagrange 1736-1813

Antes de describir el mtodo en forma genrica consideremos algunos ejemplos. e e Ejemplos: (1) Consideremos la forma cuadrtica en R2 dada por a 1 (x) = x Ax =
T

x1 x2

1 3/2 3/2 1

x1 x2

= x2 + 3x1 x2 x2 . 1 2

Podemos completar el cuadrado en x1 con los trminos en los que aparece, e 3 x2 + 3x1 x2 = x1 + x2 1 2 Tenemos 3 1 (x) = x1 + x2 2
2 2

3 2

x2 . 2
2

3 9 x2 x2 = x1 + x2 2 2 4 2

13 2 x. 4 2

Es decir, mediante el cambio de variables y1 = x1 + 3 x2 , y2 = x2 la forma cuadrtica a 2 se expresa como 13 2 2 1 (x) = y1 y2 . 4 Por tanto, la forma cuadrtica es indenida puesto que lo es en las coordenadas (y1 , y2 ) a (pueden obtenerse fcilmente puntos dnde la forma cuadrtica toma valores positivos a o a y puntos dnde toma valores negativos). Puesto que la relacin entre las variables o o (x1 , x2 ) e (y1 , y2 ) es uno-a-uno,

y1 y2

1 3 2 0 1

x1 x2

x1 x2

1 3 2 0 1

y1 y2

podremos obtener las correspondientes coordenadas (x1 , x2 ) para las cuales la forma cuadrtica toma los valores citados. Por ejemplo tenemos a 1 (y1 = 1, y2 = 0) = 1 (x1 = 1, x2 = 0) = 1 Matemticas I. a y 1 (y1 = 0, y2 = 1) = 13 . 4

Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a

213

Puesto que en 1 tambin aparecen los trminos x2 y x1 x2 , podr e e amos haber optado 2 por completar el cuadrado en x2 : 1 (x) = x2 + 3x1 x2 x2 = x2 3x1 x2 + x2 1 2 2 1

2 3 3 9 = x2 x1 + x2 + x2 = x2 x1 1 1 2 4 2 13 2 13 2 2 2 = z2 + z1 = z1 z2 , 4 4

13 2 x 4 1

donde al nal hemos hecho el cambio z1 = x1 , z2 = x2 3 x1 . Si ahora hacemos el cambio 2 13 de Por otra parte, podr amos considerar el cambio de variables u1 = 2 z1 , u2 = z2 obtenemos 1 (x) = u2 u2 . 1 2

Por tanto, hay muchas formas distintas de expresar la forma cuadrtica como suma de a cuadrados. Sin ambargo, siempre que reducimos 1 a una suma de cuadrados, aunque se obtengan coecientes distintos, aparecen un coeciente positivo y uno negativo. Este hecho no es casualidad y su expresin para una forma cuadrtica genrica se denomina o a e ley de inercia de Sylvester. La expresin matricial de la forma cuadrtica 1 en las o a distintas variables que hemos considerado es 1 (x) = =

x1 x2 z1 z2

13/4 0 0 1

1 3/2 3/2 1

x1 x2 z1 z2

y1 y2 u1 u2

1 0 0 13/4 1 0 0 1

y1 y2

u1 u2

(2) Consideremos la forma cuadrtica en R2 dada por a 2 (x) = x Ax =

T

x1 x2

4 2 2 1

x1 x2

= 4x2 4x1 x2 + x2 . 1 2

Podemos completar el cuadrado en x2 , 2 (x) = (x2 2x1 )2 . Haciendo el cambio de variables y1 = x1 , y2 = x2 2x1 obtenemos
2 2 (x) = y2 .

Ntese que tomamos, por simplicidad, y1 = x1 , pero podr o amos elegir y1 = x1 + x2 con , R, +2 = 0 (para que tengamos realmente un cambio de variables x = P y, 2 es decir, P sea una matriz no singular), y seguir amos obteniendo 2 (x) = y2 . Por tanto, la forma cuadrtica 2 es semidenida positiva por serlo en las variables a (y1 , y2). Siempre que reduzcamos 2 a una suma de cuadrados obtendremos un coeciente negativo y un coeciente nulo. (3) Consideremos la forma cuadrtica en R2 dada por a 3 (x) = x Ax =
T

x1 x2

0 2 2 0

x1 x2

= 4x1 x2 .

En este caso no podemos completar cuadrados ni en la primera ni en la segunda variable (pues no aparecen ni x2 ni x2 ). Sin embargo, s que hay trmino mixto (x1 x2 ). e 1 2 Matemticas I. a 2010-2011

214

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a En esta situacin recurrimos a la idea de transformar el trmino mixto en una suma por o e diferencia, que conseguimos, por ejemplo, mediante el cambio x1 = y1 +y2 , x2 = y1 y2 :
2 2 3 (x) = 4(y1 + y2 )(y1 y2 ) = 4y1 4y2 .

De esta forma, ya tenemos una suma de cuadrados en la que aparecen un coeciente positivo y uno negativo. Por tanto, la forma cuadrtica es indenida. La relacin entre a o las variables originales y las variables nales es

x1 x2

1 1 1 1

y1 y2

y1 y2

1 1 1 1

x1 x2

(4) Consideremos la forma cuadrtica en R3 dada por a

4 (x) = xT Ax =

x1 x2 x3

3 2 0 2 2 2 0 2 1

x1 x2 x3

= 3x2 + 2x2 + x2 + 4x1 x2 + 4x2 x3 . 1 2 3

Completamos cuadrados en la variable x1 puesto que aparecen trminos en x2 y en e 1 x1 x2 : 4 4 (x) = 3 x2 + x1 x2 + 2x2 + x2 + 4x2 x3 1 2 3 3 2 2 4 = 3 x1 + x2 x2 + 2x2 + x2 + 4x2 x3 2 3 3 3 2 2 2 2 = 3 x1 + x2 + x2 + x2 + 4x2 x3 . 3 3 3 2 Completamos cuadrados en x2 tenemos 2 4 (x) = 3 x1 + x2 3 2 = 3 x1 + x2 3 2 = 3 x1 + x2 3
2

2 + (x2 + 6x2 x3 ) + x2 3 3 2 2 2 + (x2 + 3x3 )2 6x2 + x2 3 3 3 2 2 + (x2 + 3x3 )2 5x2 . 3 3

2 Finalmente, el cambio y1 = x1 + 3 x2 , y2 = x2 + 3x3 , y3 = x3 nos lleva a

2 2 2 2 4 (x) = 3y1 + y2 5y3 . 3 Puesto que hemos obtenido dos coecientes positivos y uno negativo, esta forma cuadrtica es indenida. a (5) Consideremos la forma cuadrtica en R3 dada por a

5 (x) = xT Ax = [x1 x2 x3 ] Matemticas I. a

1 2 1 2 5 3 1 3 2

x1 x2 x3

= x2 +5x2 +2x2 +4x1 x2 +2x1 x3 +6x2 x3 . 1 2 3

Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a

215

Completamos cuadrados en la variable x1 puesto que aparecen trminos en x2 , x1 x2 y e 1 x1 x3 : 5 (x) = (x1 + 2x2 + x3 )2 4x2 x2 4x2 x3 + 5x2 + 2x2 + 6x2 x3 2 3 2 3 2 2 2 = (x1 + 2x2 + x3 ) + x2 + x3 + 2x2 x3 . A continuacin completamos cuadrados en la variable x2 (puesto que aparecen trminos o e 2 en x2 y x2 x3 ): 2 2 5 (x) = (x1 + 2x2 + x3 )2 + (x2 + x3 )2 = y1 + y2 , donde hemos hecho el cambio y1 = x1 + 2x2 + x3 , y2 = x2 + x3 , y3 = x3 . Puesto que hemos obtenido dos coecientes positivos y uno nulo, la forma cuadrtica a es semidenida positiva. (6) Consideremos la forma cuadrtica en R4 dada por a

6 (x) = xT Ax =

x1 x2 x3 x4

0 3/2 0 0 3/2 0 0 0 0 0 0 5/2 0 0 5/2 0

x1 x2 x3 x4

= 3x1 x2 + 5x3 x4 .

Puesto que no hay ning n cuadrado, necesitamos recurrir a suma por diferencia. Lo u hacemos, por ejemplo, mediante el cambio: x1 = y1 + y2 , x2 = y1 y2 , x3 = y3 , x4 = y4
2 2 con lo que 6 (x) = 3(y1 + y2 )(y1 y2 ) + 5y3 y4 = 3y1 3y2 + 5y3y4 .

Ya tenemos suma de cuadrados en las dos primeras variables. Nuevamente, como no 2 2 hay ning n trmino al cuadrado en las variables restantes y3 e y4 , necesitamos recurrir u e a suma por diferencia. Lo hacemos, por ejemplo, mediante el cambio: y1 = z1 , y2 = z2 , y3 = z3 + z4 , y4 = z3 z4 ,
2 2 2 2 2 2 y obtenemos 6 (x) = 3z1 3z2 + 5(z3 + z4 )(z3 z4 ) = 3z1 3z2 + 5z3 5z4 .

Ntese que ambos cambios de variables, en este caso sencillo, se podr haber hecho o an simultneamente: a x1 = z1 + z2 , x2 = z1 z2 , x3 = z3 + z4 , x4 = z3 z4 , con lo que habr amos llegado, en un solo paso, al resultado nal. Puesto que en la expresin como suma de cuadrados hemos obtenidos dos coecientes positivos y dos o negativos (y obviamente ninguno nulo), la forma cuadrtica es indenida. a

A modo de resumen de lo que hemos hecho en los ejemplos anteriores. Si en una forma cuadrtica a (x1 , x2 , . . . , xn ) = a11 x2 + 2a12 x1 x2 + + a22 x2 + + ann x2 1 2 n el coeciente de uno de los cuadrados x2 , x2 , , x2 es distinto de cero, dicho cuadrado lo 1 2 n podremos completar, si no est ya completo, es decir, si aparece en alg n otro sumando la a u Matemticas I. a 2010-2011

216

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

variable correspondiente. Si por ejemplo a11 = 0 y hay otros sumandos 2a12 x1 x2 + donde aparece la variable x1 , podemos completar el cuadrado a11 x2 mediante 1 a11 x2 + 1 2a13 2a12 x1 x2 + x1 x3 + = a11 a11 a11 x1 + a12 x2 + a11
2

a12 x2 + a11

de forma que si desarrollamos el cuadrado anterior obtenemos todos los sumandos de la forma cuadrtica en los que interviene x1 (el cuadrado perfecto y los productos cruzados) a ms otros sumandos en las restantes variables x2 , x3 , . . . , xn . a Es posible que a la hora de completar cuadrados no se disponga de ning n cuadrado (que u no est ya completo) y que slo queden productos cruzados. Si por ejemplo tenemos x1 x2 , e o este producto cruzado lo transformaremos en una sumadiferencia,
2 2 x1 x2 = (y1 y2 )(y1 + y2 ) = y1 y2

y podremos completar alguno de los cuadrados de la diferencia de cuadrados resultante. Este mtodo, consistente en ir completando cuadradados haciendo cambios de variable e en los que en cada paso cambia una (o a lo sumo dos) de las variables, puede esquematizarse como sigue: Mtodo de Lagrange. e (1) Si para alg n u ndice i se tiene aii = 0, podemos completar cuadrados con todos los trminos que contengan a xi para obtener e Q(x) = aii aij xj j=1 aii
n 2

+ 1 (x1 , , xi1 , xi+1 , , xn )

donde 1 es una nueva forma cuadrtica con n 1 variables a la que se le vuelve a a aplicar el proceso. El cambio de variables que se utiliza es aij xj j=1 aii yj = xj para j = i. yi = (2) Si a11 = a22 = = ann = 0, elegimos un coeciente aij = 0 (si todos fueran cero tendr amos (x) 0 y no habr nada que reducir). Haciendo el cambio de variables a xi = yi + yj xj = yi yj xk = yk para k = i, j, obetenemos dos cuadrados que podemos completar pasando de nuevo al caso (1), pues 2 2 2aij xi xj = 2aij yi 2aij yj . 7.2.4.- Ley de inercia de Sylvester. Clasicacin. o Cuando se completan cuadrados en una forma cuadrtica, la eleccin de los pasos a a o seguir no es unica. Puede elegirse entre completar cuadrados en una variable o en otra. En Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica
n

7.2.- Formas cuadrticas. a

217

algunos de los Ejemplos (1) a (6) que hemos visto antes, se han completado cuadrados de dos maneras distintas para una misma forma cuadrtica, obteniendo como resultado nal una a suma de cuadrados con coecientes posiblemente distintos. A pesar de que puedan obtenerse coecientes distintos, las dos expresiones nales como suma de cuadrados tienen en com n los u signos de los coecientes de los cuadrados. Es decir, si tenemos una forma cuadrtica, por a ejemplo en tres variables, (x1 , x2 , x3 ) y al reducir (de alguna forma) a suma de cuadrados 2 2 2 obtenemos, por ejemplo, 2y1 5y2 +0y3 , entonces, al reducir a suma de cuadrados de cualquier 2 2 2 otra forma obtendremos una expresin del tipo z1 + z2 + z3 en la que, necesariamente, o uno de los coecientes ser positivo, otro ser negativo y el otro ser nulo. Este hecho de a a a conservacin de los signos en cualquiera de las reducciones a sumas de cuadrados es lo que o expresa la llamada ley de inercia de Sylvester. Adems dichos signos tienen que coincidir a con los signos de los autovalores de la matriz simtica asociada, contando cada uno seg n su e u multiplicidad. Teorema. (Ley de inercia de Sylvester) Sea A una matriz simtrica real y (x) = xT Ax e la forma cuadrtica asociada. a a) Al reducir a suma de cuadrados se obtienen tantos coecientes positivos, negativos y nulos como autovalores positivos, negativos y nulos, respectivamente, tenga A, contando las correspondientes multiplicidades. b) Si D1 es una matriz diagonal congruente con A (existe una T matriz no-singular P1 tal que P1 AP1 = D1 ), en la diagonal de D1 hay tantos elementos positivos, negativos y nulos como autovalores positivos, negativos y nulos, respectivamente, tenga A, contando las correspondientes multipliciJames Joseph Sylvester dades. 1814-1897 Observaciones. (a) Se suele llamar inercia de una matriz simtrica (real) A y de la forma cuadrtica asoe a ciada (x) = xT Ax a la terna (pos, neg, nul) de coecientes positivos (pos), negativos (neg) y nulos (nul) respectivamente que aparecen en una (cualquier) reduccin de a o suma de cuadrados. (b) Se verica que pos + neg + nul = n = orden de A y pos + neg = rango(A). La primera igualdad es obvia y la segunda se basa en que cuando una matriz se multiplica (por la derecha o por la izquierda) por una matriz que tiene inversa el rango no cambia. (c) En relacin con las formas cuadrticas (y las matrices simtricas reales) tambin suele o a e e usarse el concepto de signatura (que nosotros no utilizaremos) De esta forma, dar la terna (rango, signatura, orden) es equivalente a dar la inercia (de una se puede deducir la otra). Matemticas I. a 2010-2011 signatura = pos neg.

218

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

(d) Para la determinacin del signo puede no ser imprescindible hacer la reduccin a suma o o de cuadrados. Ya hemos visto que los elementos diagonales de A son valores que alcanza la forma cuadrtica y, por tanto, aportan cierta informacin sobre su signo. Ms a o a informacin puede obtenerse cuando en la expresin de (x1 , . . . , xn ) anulamos ciertas o o variables. Por ejemplo, si tomamos x3 = = xn = 0 tenemos la forma cuadrtica en a dos variables (x1 , x2 ) dada por 1 (x1 , x2 ) = (x1 , x2 , 0, , 0). La informacin que podamos obtener sobre dicha forma cuadrtica 1 , o sobre varias o a formas cuadrticas del mismo tipo, permite deducir alguna informacin sobre la forma a o cuadrtica original. a Teorema. Sea A = [aij ] una matriz real simtrica de orden n. Son equivalentes: e (1) A es denida positiva. (1) A es denida negativa.

(2) Al reducir xT Ax a suma de cuadrados, aparecen n coecientes positivos. (3) Los autovalores de A son todos positivos. (4) (Criterio de Sylvester o de los menores principales) Todos los menores principales de A son positivos, es decir, det (Ak ) > 0, k = 1, 2, . . . , n siendo Ak la matriz de orden k

Ak =

a11 a1k . .. . . . . . . ak1 akk

Puesto que una matriz real y simtrica A es denida negativa si, y slo si, A es denida e o positiva, se obtiene el siguiente resultado. Corolario. Sea A = [aij ] una matriz real simtrica de orden n. Entonces las siguientes e condiciones son equivalentes: (1) A es denida negativa. (1) A es denida positiva.

(2) Al reducir xT Ax a suma de cuadrados, aparecen n coecientes negativos. (3) Los autovalores de A son todos negativos. (4) (Criterio de Sylvester o de los menores principales) Los menores principales de A tienen signos alternos , +, , +, . . . (1)k det (Ak ) > 0, k = 1, 2, . . . , n.

Las formas cuadrticas semidenidas (positivas o negativas) se pueden caracterizar de a forma anloga en lo referente a la reduccin a suma de cuadrados y a los signos de los a o autovalores. Por otra parte, pueden darse condiciones sucientes para garantizar que una forma cuadrtica es indenida: a Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.2.- Formas cuadrticas. a

219

teniendo en cuenta que los elementos diagonales de A son valores que alcanza la forma cuadrtica, akk = (ek ) = eT Aek . Si dos de estos valores son de distinto signo la forma a k cuadrtica ser indenida. a a

Si alguna submatriz diagonal de orden 2, forma cuadrtica es indenida. a

aii aij aji ajj

, tiene determinante negativo, la

Si det (A) = 0, y no se cumplen las condiciones dadas para formas cuadrticas denidas a positivas o denidas negativas, entonces es indenida. ... Denicin. Clasicar una forma cuadrtica consiste en determinar su inercia (el nmero o a u de coecientes positivos, negativos y nulos que aparecen en cualquier reduccin a suma de o cuadrados) as como el signo correspondiente. Se denomina forma cannica/reducida de una forma cuadrtica a cualquier expreo a sin de como suma de cuadrados (en variables independientes). o Para una forma cuadrtica en dos variables, tenemos el siguiente teorema que permite a determinar el signo (en este caso la inercia completa) en funcin de los coecientes de la o matriz (simtrica) asociada. e Teorema.- Sea la forma cuadrtica siguiente y A la matriz simtrica asociada, a e

Q(x, y) = ax + 2bxy + cy = [x y]

a b b c

x y

A=

a b b c

(a) es denida positiva si y slo si a > 0 y det (A) = ac b2 > 0. o (b) es denida negativa si y slo si a < 0 y det (A) = ac b2 > 0. o (c) es indenida si y slo si det (A) = ac b2 < 0. o
D. Separemos los casos en los que a = 0 y los casos en los que a = 0. Si a = 0, entonces podemos completar el cuadrado en x, ax + 2bxy + cy
2 2

2b b = a x + xy + cy 2 = a x2 + 2 xy + a a
2

b y a

b y a

+ cy 2 b2 a y2

b = a x + 2 xy + a
2

b y a

b y a

b + cy 2 = a x + y a

+ c

= a x2 +

b2 + c y 2 , siendo a

b x = x + a y, y = y.

Por tanto, en este caso, la forma cuadrtica es: a 2 (a) Denida positiva a > 0 y ba + c > 0 (b) Denida negativa (c) Indenida a < 0 y ba + c < 0 a ba + c < 0
2 2

a > 0 y ac b2 > 0. a < 0 y ac b2 > 0. ac b2 < 0

Matemticas I. a

2010-2011

220

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

Si a = 0 y c = 0, tenemos que (x, y) = 2bxy + cy 2 y podemos completar el cuadrado en y. Estamos en un caso anlogo al anterior. Notemos que en los casos en los que sea denida a (positiva o negativa), a y c tienen que tener el mismo signo. Si a = c = 0 tenemos (x, y) = 2bxy. Sea cual sea el signo de b = 0, esta forma cuadrtica es a indenida puesto que alcanza valores de distinto signo, por ejemplo (1, 1) = 2b y (1, 1) = 2b. En lo que se reere a la reduccin a suma de cuadrados, podemos transformar xy en una o sumadiferencia

(x, y) = 2b xy = siendo

x = x + y y = x y

= 2b x2 y 2 .

Recopilando todos los casos obtenemos el enunciado. Ejercicio. Estudia cuando es semidenida la forma cuadrtica (x, y) = ax2 + 2bxy + cy 2 . a

Para una forma cuadrtica en n variables (y para la matriz simtrica real A asociada) a e puede darse un criterio matricial en los casos en los que sea denida (positiva o negativa). Dada una matriz simtrica A, se llaman submatrices principales de A a las matrices e

Ak =

a11 . .. . . .

a1k . . .

k = 1, 2, . . . , n.

a1k akk Se llaman menores principales de A a los determinantes de dichas submatrices k = det(Ak ), k = 1, 2, . . . , n.

Teorema 4.- Criterio de los menores prinipales (o Criterio de Sylvester). (1) A es denida positiva k = det(Ak ) > 0, k = 1, 2, . . . , n. k = 1, 2, . . . , n.

(2) A es denida negativa (1)k k = det(Ak ) > 0,

7.3.- Cnicas y cudricas (II). o a

En el Tema 1 se estudiaron las (secciones) cnicas y las cudricas desde el punto de vista o a mtrico as como los elementos representativos de cada una de ellas. Por otra parte, vimos e la determinacin de la posicin, del tipo de cnica/cudrica y cmo obtener los elementos o o o a o caracter sticos cuando sta viene dada por una ecuacin en la que no aparecen productos e o cruzados. Ahora estudiaremos: (a1) Que toda ecuacin polinmica de segundo grado en dos variables o o a11 x2 + 2a12 xy + a22 y 2 + 2a1 x + 2a2 y + a0 = 0 (alguno de los coecientes a11 , a12 , a22 es distinto de cero) representa una cnica. Entre o stas estarn los casos degenerados. Dicha ecuacin podr representar: e a o a una elipse, una parbola, una hiprbola, a e un par de rectas secantes/paralelas/coincidentes, un punto, nada (elipse imaginaria) Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a (a2) Que toda ecuacin polinmica de segundo grado en tres variables o o

221

a11 x2 + a22 y 2 + a33 z 2 + 2a12 xy + 2a13 xz + 2a23 yz + 2a1 x + 2a2 y + 2a3 z + a0 = 0, (alguno de los coecientes a11 , a22 , a33 , a12 , a13 , a23 es distinto de cero) representa una cudrica. Entre stas consideramos los casos degenerados. Dicha ecuacin podr repa e o a resentar: un elipsoide, un paraboloide (el ptico o hiperblico), o un hiperboloide (de una o de dos hojas), un cono, un cilindro (el ptico, parablico o hiperblico) o o un par de planos secantes/paralelos/coincidentes, una recta, un punto, nada.

(b) Cmo determinar el tipo de cnica/cudrica y sus elementos representativos cuando en o o a la ecuacin aparecen trminos en productos cruzados. La presencia de stos trminos o e e e indica que la cnica/cudrica est girada respecto a los ejes coordenados. La detero a a minacin del correspondiente ngulo de giro se har a partir del clculo de autovao a a a lores y autovectores de la matriz asociada a la parte cuadrtica de la ecuacin de la a o cnica/cudrica. Es decir, se tratar de obtener la posicin, los elementos caracter o a a o sticos y la representacin grca en el sistema de ejes dado. o a En cada una de las subsecciones siguientes consideraremos el problema de determinar el tipo de cnica/cudrica y obtener la posicin, los elementos caracter o a o sticos y la representacin o grca en el sistema de ejes dado. El planteamiento para hacer la reduccin de una cudrica a o a ser el mismo para una cnica. Tiene dos partes diferenciadas: a o En primer lugar, mediante un cambio de variables ortogonal, hay que conseguir que en la parte cuadrtica de la ecuacin: a o cnica : a11 x2 + 2a12 xy + a22 y 2 , o cudrica : a11 x2 + 2a12 xy + 2a13 xz + a22 y 2 + 2a23 yz + a33 z 2 , a no aparezcan trminos cruzados. Para ello, tendremos que diagonalizar ortogonalmente e la matriz (real simtrica) de la parte cuadrtica de la ecuacin. Es decir, siendo A = e a o [aij ] la matriz simtrica de la parte cuadrtica de la ecuacin, habr que calcular e a o a n sus autovalores y una base ortonormal de R formada por autovectores de A. Dicha base formada por autovectores nos permitir hacer un cambio de variables ortogonal a x = P x de forma que en las variables x la ecuacin de la cnica/cudrica no tenga o o a trminos cruzados. Esta es la situacin que se estudi en el Tema 2. e o o Una vez que hemos conseguido una ecuacin de segundo grado, sin trminos cruzados, o e mediante un cambio de variables dado por una matriz ortogonal (que esencialmente representar un giro en el plano o en el espacio), bastar hacer una traslacin x = x c a a o para obtener la ecuacin reducida de la cnica/cudrica y la grca en el sistema de o o a a ejes x . Finalmente, para obtener los elementos caracter sticos y la representacin grca en el siso a tema de ejes original, necesitaremos deshacer los cambios de variables: x = x + c, Matemticas I. a x = P T x. 2010-2011

222

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

7.3.1.- Reduccin de una cnica girada. o o Denicin. Una cnica es el lugar geomtrico de los puntos (x, y) R2 del plano que o o e satisfacen una ecuacin general de segundo grado: o f (x, y) = a11 x2 + 2a12 xy + a22 y 2 + 2a1 x + 2a2 y + a0 = 0, (1)

donde alguno de los coecientes a11 , a12 o a22 es distinto de cero. La ecuacin anterior, llamada ecuacin de la cnica, se puede escribir en notacin vectorial o o o o de la forma:

f (x, y) = [x y] A

x y

+ 2 [a1 a2 ]

x y

+ a0 = 0 siendo A =

a11 a12 a12 a22

Ntese que tambin puede escribirse, o e

f (x, y) = [x y 1]

a11 a12 a1 a12 a22 a2 a1 a2 a0

x y 1

= 0.

El proceso general para llevar una cnica a su ecuacin reducida (sabiendo cules son los o o a cambios de variables involucrados) puede separarse en dos etapas (si el coeciente a12 = 0, si el coeciente a12 = 0 bastar con la segunda etapa): a (a) Determinacin de las direcciones de los ejes de la cnica. Esto consiste en diagonalizar o o ortogonalmente la matriz (simtrica A) asociada a la parte cuadrtica de la ecuacin e a o

A=

a11 a12 a12 a22

Sean 1 y 2 los autovalores de A y v1 y v2 autovectores ortogonales correspondientes (si 1 = 2 dichos autovectores sern ortogonales necesariamente, y si 1 = 2 necea sariamente A es una matriz diagonal, y no necesitamos hacer nada de esto). Conviene tomar los autovectores v1 y v2 de manera que el ngulo de v1 a v2 sea de 900 en sentido a positivo (contrario a las agujas del reloj). Sin ms que dividir los vectores v1 y v2 por a su norma, obtenemos una base ortonormal {u1 , u2} de R2 formada por autovectores de A y, por tanto,

P =

u1 u2

=P ,

P AP = D =

1 0 0 2

Al sustituir en la ecuacin (en (x, y)) de la cnica el cambio de variables tenemos o o

x y

=P

x y

= [x y ] P AP

x y

+ 2 [a1 a2 ] P

x y

+ a0 = 0.

Es decir, la ecuacin de la cnica en las coordenadas (x , y ) es o o 1 x2 + 2 y 2 + 2b1 x + 2b2 y + a0 = 0, Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a ecuacin en la que no aparece el producto cruzado x y . Notemos que o

223

x y

=P

x y

u1 u2

x y

x y

=P

x y

uT 1 uT 2

x y

Por tanto, los nuevos ejes son

X ecuacin y = 0 o Y ecuacin x = 0 o

uT 2

x y x y

= 0,

uT 1

= 0.

Es decir, los ejes x e y son las rectas que pasan por el origen de coordenadas y tienen como vectores direccin respectivos los autovectores u1 y u2 de A. De hecho el o sistema de ejes OX Y se obtiene del sistema OXY girando (con centro el origen de coordenadas) el ngulo que determina u1 con el semieje OX + . a (b) Una vez que tenemos la ecuacin o 1 x2 + 2 y 2 + 2b1 x + 2b2 y + a0 = 0, en la que no aparece el producto cruzado x y , bastar completar los cuadrados que a aparezcan (mediante cambios del tipo x = x e y = y ) para obtener una ecuacin de uno de los siguientes tipos: o Caso el ptico. 1 2 > 0 (es decir 1 y 2 son no-nulos y del mismo signo), a2 x2 + b2 y 2 = c en cuyo caso tenemos una elipse (c > 0), un punto (c = 0) o nada (c < 0). Caso hiperblico. 1 2 < 0 (es decir 1 y 2 son no-nulos y de distinto signo), o a2 x2 b2 y 2 = c en cuyo caso tenemos una hiprbola (c = 0) o un par de rectas que se cortan e (c = 0). Caso parablico. 1 2 = 0 (es decir uno de los autovalores es nulo, y el otro no). o Suponiendo que 1 = 0, 2 = 0 puede obtenerse a2 x2 + by = 0 a2 x2 + c = 0 o Tendremos una parbola (b = 0), o bien un par de rectas paralelas (c < 0) o a coincidentes (c = 0) o nada (c > 0). Para obtener los elementos caracter sticos de la cnica y su representacin grca basta o o a obtenerlos en las coordenadas (x , y ) y deshacer los cambios de variables que se hayan hecho (Traslacin) o

x = x y = y

x = x + y = y +

(Giro) Matemticas I. a

x y

=P

x y

x y

=P

x y

. 2010-2011

224 Ejemplos.

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

(1) Vamos a obtener la ecuacin cannica (reducida) y la representacin grca de la cnica o o o a o 3x2 + 3y 2 2xy + 2x 4y + 1 = 0. mediante los cambios de coordenadas adecuados. Escribimos en forma matricial la parte cuadrtica de la ecuacin de la cnica: a o o

[x y]

3 1 1 3

x y

+ 2x 4y + 1 = 0.

Puesto que la ecuacin de la cnica tiene trmino en xy necesitamos hacer un giro para o o e colocar los ejes en las direcciones de los autovectores de la matriz A (la que recoge los trminos cuadrticos). e a Calculamos los autovalores de A,

3 1 2 = 6 + 8 = 0 1 = 4, 2 = 2. 1 3

Los autovectores correspondientes son: 1 = 4 : 1 1 1 1 1 1 1 1 x y x y = 0 0 0 0 x + y = 0 x y = 0 x y x y = 1 1 1 1 . ,

2 = 2 :

Construimos la matriz de paso ortogonal P (que diagonaliza A) mediante una base ortonormal de autovectores: 2 2 1 1 , . 1 1 2 2 El primer autovector da la direccin y sentido positivo del nuevo eje X (que coro responde a girar un ngulo = 45o el eje X, pues del autovector sacamos que a tg = y/x = 1/1 = 1) y el segundo autovector (que hemos elegido en el sentido adecuado para que el eje Y se obtenga girando el X un ngulo de 90o en sentido a positivo) marca la direccin y sentido del nuevo eje Y . El cambio: o

x = P x

x y

2 2

2 2

2 2 2 2

x y

eliminar el trmino mixto x y dejando la parte cuadrtica como 1 x2 + 2 y 2 , modia e a car los coecientes de los trminos lineales, x e , y no a e y alterar el trmino indepena e 2 2 diente. Concretamente obtenemos: 4x + 2y + 3 2x 2y + 1 = 0. Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a Completando cuadrados hacemos una traslacin: o 3 2 2 2 4 x + x +2 y y + 1 = 0, 4 2 2 2 9 1 3 2 2 4 x + +2 y + 1 = 0, 8 8 4 4 2 2 3 2 3 3 2 4 x + 4x2 + 2y 2 = , + 2 y = 8 4 8 8
2

225

donde hemos realizado la traslacin o 3 2 x =x + , 8

y =y

2 . 4

Operando, llegamos a la ecuacin cannica o o x2

3 32

y 2
3 16

= 1

x2
1 4 3 2 2

y 2
2 3 4

= 1.

Es decir, al haber tomado 1 = 4 y 2 = 2, el semieje mayor de la elipse est sobre el a 1 eje Y y el menor sobre el X , ya que 4 3 < 43 . 2 El centro C de laelipse es el origen en las coordenadas (x , y ). Es decir, (x , y ) = (0, 0) (x = 3 8 2 , y = 42 ). En coordenadas (x, y) obtenemos 3 2 2 2 x= + 2 8 4 1 = , 8 2 y= 2 3 2 2 + 8 4 = 5 1 5 . C = , 8 8 8

Para hacer el dibujo esquemtico con una cierta precisin, puede sernos util el encontrar a o los puntos de corte (si los hay) de la elipse con los ejes coordenados (OX y OY ). Al hacer x = 0 en la ecuacin de la cnica se obtiene 3y 2 4y + 1 = 0 que se verica o o para y = 1, 1/3. Mientras que si hacemos y = 0, la ecuacin 3x2 + 2x + 1 = 0 no tiene o solucin (real). Por tanto, la elipse corta al eje OY en los puntos (0, 1) y (0, 1/3) y no o corta al eje OX. Con toda la informacin que hemos obtenido a lo o largo del problema, comenzamos dibujando los ejes X e Y sabiendo que pasan por (x = 0, y = 0) y tienen la direccin y sentido del autovector correso pondiente a 1 y 2 , respectivamente. Es decir, en este caso, con la eleccin que hicimos de autovao lores y autovectores, los ejes X e Y se obtienen rotando un ngulo de 45o a los ejes X e Y . A a continuacin, dibujamos los ejes X e Y , paraleo los respectivamente a los ejes X e Y , que resultan de trasladar el origen al punto C = 1 , 5 . 8 8 Matemticas I. a

Y 1G

Y CG
G

1/3 X X

2010-2011

226

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a Ntese que si hubiramos elegido los autovalores en o e el otro orden posible, es decir, 1 = 2 y 2 = 4 y tomamos como autovectores respectivos (1, 1)T y (1, 1)T (el primero indica la direccin y sentido o del eje X y el segundo el del Y ), llegar amos, tras o realizar el giro (en este caso de 45 ) mediante el cambio de coordenadas dado por la nueva matriz P y la traslacin adecuada, a la ecuacin cannica: o o o x2
3 4 2

Y X 1G X CG
G

1/3 X

y 2
1 4 3 2 2

= 1,

que nos llevar a la gura adjunta. a (2) Vamos a obtener la ecuacin cannica (reducida) y la representacin grca de la cnica o o o a o x2 2xy + y 2 2x + 1 = 0 mediante los cambios de coordenadas adecuados. Puesto que la ecuacin de la cnica tiene trmino en xy necesitamos hacer un giro para o o e colocar los ejes en las direcciones de los autovectores de la matriz A (la que recoge los trminos cuadrticos). e a

x y

1 1 1 1

x y

2x + 1 = 0,

A=

1 1 1 1

Calculamos pues sus autovalores y despus sus autovectores. En primer lugar: e

1 1 2 = 2 = 0 1 = 0, 2 = 2. 1 1 1 1 1 1

Podemos pues calcular los autovectores:

1 = 0 :

x y x y

0 0 0 0

x y = 0

x y x y

1 1 1 1

2 = 2 :

Construimos la matriz P mediante la siguiente base ortonormal de autovectores: 2 1 2 1 , , 1 1 2 2 donde el primer autovector da la direccin y sentido del nuevo eje X (que corresponde o a girar un ngulo = 45o el eje X, pues del autovector sacamos que tg = y/x = 1) y a el segundo autovector (que hemos elegido en el sentido adecuado para que el eje Y se obtenga girando el eje X 90o en sentido positivo o antihorario) marca la direccin y o sentido del nuevo eje Y . El cambio:

1 1 1 1

x + y = 0

x = P x Matemticas I. a

x y

2 2 2 2

22
2 2

x y

Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a

227

eliminar el trmino mixto x y dejando la parte cuadrtica como 1 x2 + 2 y 2 , modia e a car los coecientes de los trminos lineales, x e y , y no alterar el trmino indepena e a e diente. Concretamente obtenemos: 2y 2 2x + 2y + 1 = 0. Completando cuadrados en y y haciendo una traslacin tenemos o 2 2 2 1 y 2x + 1 = 0, 2 y + 2x + 1 = 0, 2 y 2 + 2 4 4 2 2 3 2 y + = 0, 2x + 4 4 2 3 2 2 = 0, 2y 2 2x = 0, 2 y + 2 x 4 8 donde hemos realizado la traslacin o

3 2 , x =x 8

y =y +

2 . 4

Por tanto, la ecuacin cannica a la que hemos llegado, tras la rotacin y la traslacin o o o o 2 llevadas a cabo, es x = 2y . El vrtice V de la parbola es el origen en las coordenadas (x , y ). Es decir, (x , y ) = e a 3 2 (0, 0) (x = 8 , y = 42 ). En coordenadas (x, y) obtenemos 2 3 2 2 2 3 2 2 5 1 5 1 + , = , y= = , V = . x= 2 8 4 8 2 8 4 8 8 8 Para hacer el dibujo esquemtico con una cierta precisin, puede sernos util el encontrar a o los puntos de corte (si los hay) de la parbola con los ejes coordenados (OX y OY ). a Al hacer x = 0 en la ecuacin de la cnica se obtiene y 2 + 1 = 0 que no tiene solucin o o o (real). Mientras que si hacemos y = 0 obtenemos x2 2x + 1 = 0 que tiene como solucin (doble) x = 1. Por tanto, la parbola no corta al eje OY y toca sin cortar o a (pues es tangente, como se deduce de la ra doble) al eje OX en el punto (1, 0). z Con toda la informacin que hemos obtenido a lo largo del problema, comenzamos o dibujando los ejes X e Y sabiendo que pasan por el origen de las coordenadas X-Y y que tienen la direccin y sentido del autovector correspondiente a 1 y 2 , respectivao mente. Es decir, en este caso, con la eleccin que hicimos o X Y de autovalores y autovectores, los ejes X e Y se X obtienen rotando un ngulo de 45o a los ejes X e a Y . A continuacin, dibujamos los ejes X e Y , o Y paralelos respectivamente a los ejes X e Y , que resultan de trasladar el origen al vrtice de la e Y parbola V = 1 , 5 . Finalmente, dibujamos a V 8 8 G la parbola, que es muy fcil de representar en a a G 1 X las coordenadas (x , y ). Teniendo en cuenta las intersecciones con los ejes X e Y obtenemos pues la gura adjunta. Matemticas I. a 2010-2011

228

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a Ntese que si elegimos los autovalores en el mismo orden, 1 = 0 y 2 = 2, pero o tomamos los autovectores opuestos ((1, 1)T el eje X y (1, 1)T marca el Y ), ja llegamos, procediendo anlogamente, a x = 2y 2. En este situacin, estar a o amos en el caso (a) de la gura siguiente. Sin embargo, si tomamos 1 = 2 y 2 = 0, y como autovectores correspondientes a (1, 1)T (que determina eje X ) y (1, 1)T (que marca el eje Y ), llegamos, procediendo el anlogamente, a y = 2x2 . De esta forma, estar a amos en el caso (b) de la gura siguiente. Finalmente, la cuarta y ultima posibilidad ser tomar 1 = 2 y 2 = 0, pero trabajando a T con los autovectores a (1, 1) (ja el eje X ) y (1, 1)T (marca el Y ). Entonces, se llega, procediendo anlogamente, a y = 2x2 . Estar a amos entonces en el caso (c) de la gura siguiente.
Y Y Y Y Y X X V
G G

V
G

V
G G

1 X X Y Y

X X

1 X

X Y Y

(a)

Moraleja: la curva en el plano (X, Y ) es obviamente la misma, aunque al comienzo del problema tenemos cuatro posibilidades distintas para elegir el eje X (seg n qu autou e valor elijamos como primero y qu autovector de norma unidad elijamos para dicho e autovalor). Tras esta eleccin los ejes Y (que queremos obtenerlo girando 90o en sentido o antihorario el eje X ), X e Y ya quedan determinados. (3) Vamos a obtener la ecuacin cannica (reducida) y la representacin grca de la cnica o o o a o 2xy 4x + 2y 7 = 0 mediante los cambios de coordenadas adecuados. Puesto que la ecuacin de la cnica tiene trmino en xy necesitamos hacer un giro para o o e colocar los ejes en las direcciones de los autovectores de la matriz A (la que recoge los trminos cuadrticos), e a

x y

0 1 1 0

x y

4x + 2y 7 = 0,

A=

0 1 1 0

Calculamos los autovalores,

1 2 = 1 = 0 1 = 1, 2 = 1. 1

Los autovectores correspondientes son:

1 = 1 : Matemticas I. a

1 1 1 1

x y

0 0

x y = 0

x y

1 1

Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a

229

2 = 1 :

1 1 1 1

x y

0 0

x + y = 0

x y

1 1

Construimos la matriz P mediante la siguiente base ortonormal de autovectores: 2 1 2 1 , , 1 1 2 2 donde el primer autovector da la direccin y sentido del nuevo eje X y el segundo o autovector (que hemos elegido en el sentido adecuado para que el eje Y se obtenga girando el eje X 90o en sentido positivo o antihorario) marca la direccin y sentido o del nuevo eje Y . El cambio de variables:

x = P x

x y

2 2 2 2

22
2 2

x y

eliminar el trmino mixto x y dejando la parte cuadrtica como 1 x2 + 2 y 2 , poa e a dr modicar los coecientes de los trminos lineales, x e y , y no alterar el trmino a e a e independiente. Concretamente obtenemos: x2 y 2 2x + 3 2y 7 = 0. Completando cuadrados en x e y y haciendo una traslacin: o 2 2 1 9 3 2 2 y + 7 = 0, x 2 2 2 2 2 2 2 3 2 y 3 = 0, x 2 2 x2 y 2 x2 y 2 = 3 2 2 = 1, ( 3) ( 3) donde hemos realizado la traslacin o 2 , x =x 2

3 2 y =y . 2

Deducimos que las as ntotas de la hiprbola son las rectas y = x (perpendiculares e entre s al ser la hiprbola equilatera). Podemos deshacer los cambios (giro y traslacin) e o para obtener sus ecuaciones en las coordenadas x-y. As , 3 2 2 y = x y =x 2 2 y, teniendo en cuenta que x = P T x (pues x = P x y P es ortogonal), tenemos 2 2 (x + y), y = (x + y) x = 2 2 llegamos a 3 2 2 2 2 (x + y) = (x + y) x = 1. 2 2 2 2 2010-2011

Matemticas I. a

230

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a Procediendo anlogamente, y = x se convierte en y = 2 (ambas as a ntotas son pues paralelas a los ejes Y y X, respectivamente). El centro C de hiprbola es el origen en las coordenadas (x , y ). Es decir, (x , y ) = la e 2 (0, 0) (x = 2 , y = 3 2 2 ). En coordenadas (x, y) obtenemos 2 2 2 2 2 2 x= = 1, y = = 2 C = (1, 2) . 3 +3 2 2 2 2 2 2 Para hacer el dibujo con cierta precisin puede ser util calcular los puntos de corte (si o los hay) de la hiprbola con los ejes coordenados (OX y OY ). Al hacer x = 0 en la e ecuacin de la cnica se obtiene 2y 7 = 0 que tiene como solucin y = 7/2. Adems, o o o a si hacemos y = 0 obtenemos 4x7 = 0 que tiene como solucin x = 7/4. Por tanto, o la parbola corta al eje OY en el punto (0, 7/2) y al eje OX en el punto (7/4, 0). a Con toda la informacin que hemos obtenido a lo largo del problema, comenzamos o dibujando los ejes X e Y sabiendo que pasan por el origen de las coordenadas X-Y y tienen la direccin y sentido de los autovectores correspondientes a 1 y 2 , respectio vamente. Es decir, en este caso, con la eleccin que hicimos o de autovalores y autovectores, los ejes X e Y se obtienen rotando un ngulo de 45o a los ejes X e a Y . A continuacin, dibujamos los ejes X e Y , o paralelos respectivamente a los ejes X e Y , que resultan de trasladar el origen al centro de la hiprbola C = (1, 2). Finalmente, dibujamos e la hiprbola, que es muy fcil de representar en e a las coordenadas x -y , teniendo en cuenta sus as ntotas y sus cortes con los ejes X e Y , para obtener un dibujo cualitativo lo ms parecido a posible al real.
Y X 7/2 G
G

Y Y

X 2

7/4

1 G

(4) Vamos a obtener la ecuacin cannica (reducida) y la representacin grca de la cnica o o o a o 7x2 + 12xy + 2y 2 + 2x 16y + 12 = 0 mediante los cambios de coordenadas adecuados. Puesto que la ecuacin de la cnica tiene trmino en xy necesitamos hacer un giro para o o e colocar los ejes en las direcciones de los autovectores de la matriz A (la que recoge los trminos cuadrticos), e a

x y

7 6 6 2

x y

+ 2x 16y + 12 = 0,

A=

7 6 6 2

Calculamos los autovalores,

7 6 2 = + 5 50 = 0 1 = 5, 2 = 10. 6 2 Ingenier Aeroespacial, Civil y Qu as: mica

Matemticas I. a

7.3.- Cnicas y cudricas (II). o a Y los autovectores correspondientes,

231

1 = 5 : 2 = 10 :

12 6 6 3

x y

0 0

2x y = 0

x y

1 2

3 6 6 12

x y

0 0

x + 2y = 0

x y

2 1

Construimos la matriz P mediante la siguiente base ortonormal de autovectores: 5 1 5 2 , . 2 1 5 5 El primer autovector da la direccin y sentido del nuevo eje X (que corresponde a girar o o un ngulo 63,4 el eje X, pues del autovector sacamos que tg = y/x = 2/1 = 2) a y el segundo autovector (que hemos elegido en el sentido adecuado para que el eje Y se obtenga girando 90o el eje X en sentido positivo) marca la direccin y sentido del o nuevo eje Y . El cambio

x = P x

x y

5 5 2 5 5

2 5 5 5 5

x y

eliminar el trmino mixto x y dejando la parte cuadrtica como 1 x2 + 2 y 2 , poa e a dr modicar los coecientes de los trminos lineales, x e y , y no alterar el trmino a e a e independiente. Concretamente obtenemos: 5x2 10y 2 6 5x 4 5y + 12 = 0. Completando cuadrados en x e y y haciendo una traslacin: o 6 5 2 5 2 2 x 10 y + y + 12 5 x 5 5 2 2 3 5 5 9 10 y + + 2 + 12 5 x 5 5 2 2 5 3 5 5 x 10 y + +5 5 5 y 2 x2 5x2 10y 2 + 5 = 0 x2 2y 2 = 1 2 2 2 1
2

= 0, = 0, = 0, = 1,

donde hemos realizado la traslacin o

3 5 x =x , 5

y =y +

5 . 5

Deducimos que las as ntotas de la hiprbola son las rectas y = 22 x 0,707x . e Podemos deshacer los cambios (giro y traslacin) para obtener sus ecuaciones en las o coordenadas x-y. As , 2 5 2 3 5 y = x y + = x 2 5 2 5 Matemticas I. a 2010-2011

232

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a y, teniendo en cuenta que x = P T x (pues x = P x y P es ortogonal), tenemos que 5 5 x = (x + 2y), y = (2x + y) 5 5 llegamos a 5 5 2 5 2 3 5 3 2 (2x+y)+ = (x + 2y) . 2 + x+( 2+1)y = 1+ 5 5 2 5 5 2 2 Procediendo anlogamente, y = 22 x se convierte en a 3 2 2 . 2 x + ( 2 + 1)y = 1 2 2 El centro C de la hiprbola es el origen en las coordenadas (x , y ). Es decir, (x , y ) = e 3 5 (0, 0) (x = 5 , y = 55 ). En coordenadas (x, y) obtenemos 5 3 5 2 5 5 6 5 5 + = 1, y = = 1 C = (1, 1) . x= 5 5 5 5 5 5 Para hacer el dibujo esquemtico con una cierta precisin, puede sernos util el encontrar a o los puntos de corte (si los hay) de la hiprbola con los ejes coordenados (OX y OY ). e Al hacer x = 0 en la ecuacin de la cnica se obtiene y 2 8y + 6 = 0 que tiene como o o soluciones y = 4 10, es decir, y 7,16 e y 0,84. Mientrasque si hacemos y = 0 se obtiene 7x2 2x 12 = 0 que tiene como soluciones y = 17 85 , es decir, x 1,46 y x 1,17. Por tanto, la hiprbola corta al eje OY en los puntos (0, 7,16) y (0, 0,84) e y al eje OX en los puntos (1,46, 0) y (1,17, 0). Con toda la informacin que hemos obtenido a lo largo del problema, comenzamos o dibujando los ejes X e Y sabiendo que pasan por el origen de las coordenadas x-y y tienen la direccin y sentido del autovector correspondiente a 1 y 2 , respectivamente. o Es decir, en este caso, con la eleccin que hicimos de autovalores y autovectores, los o ejes X e Y se obtienen rotando un ngulo de 63,4o (aproximadamente) a los ejes a X e Y . A continuacin, dibujamos los ejes X e Y , paralelos respectivamente a los o ejes X e Y , que resultan de trasladar el origen al centro de la hiprbola C = (1, 1). e Finalmente, dibujamos la hiprbola, que es fcil de representar en las coordenadas x e a y , teniendo en cuenta sus as ntotas y sus cortes con los ejes X e Y , para obtener un dibujo cualitativo lo ms parecido posible al real. a Y X X
Y Y 1
G

C X

Matemticas I. a

Ingenier Aeroespacial, Civil y Qu as: mica

7.3.- Cnicas y cudricas (II). o a 7.3.1.- Reduccin de una cudrica girada. o a

233

Denicin. Una cudrica es el lugar geomtrico de los puntos (x, y, z) que satisfacen una o a e ecuacin general de segundo grado de la forma o f (x, y, z) = a11 x2 + a22 y 2 + a33 z 2 + 2a12 xy + 2a13 xz + 2a23 yz + 2a1 x + 2a2 y + 2a3 z + a0 = 0, llamada ecuacin de la cudrica (alguno de los coecientes aij tiene que ser distinto de cero). o a Esta ecuacin se puede escribir matricialmente en la forma o

f (x, y, z) =

x y z

a11 a12 a13 a12 a22 a23 a13 a23 a33

x y z

+ 2 a1 a2 a3

x y z

+ a0 = 0,

y vectorialmente como f (x) = xt Ax+2at x+a0 = 0. Al igual que en el caso de las cnicas, el proceso para llevar una cudrica a su forma o a reducida puede separarse en dos etapas (si el coeciente de alguno de los productos cruzados es no-nulo): una primera consistente en determinar las direcciones de los ejes de la cudrica a y una segunda consistente en determinar una traslacin. o El trmino principal de la ecuacin de la cudrica es la forma cuadrtica, que supondremos e o a a distinta de cero, en 3 variables

xt Ax = x y z

a11 a12 a13 a12 a22 a23 a13 a23 a33

x y z

Puesto que la matriz A es real y simtrica puede diagonalizarse mediante una matriz de e paso ortogonal P cuyas columnas {u1 , u2 , u3 } sern, por tanto, autovectores de A y base a 3 ortonormal de R . Conviene tomar {u1 , u2 , u3 } de forma que u1 u2 = u3 . Al hacer el cambio de variables x x y = P y , z z la ecuacin de la cudrica queda de la forma o a

x y z

1 0 0 0 2 0 0 0 3

x y z

+ 2 b1 b2 b3

x y z

+ b0 = 0,

siendo 1 , 2 y 3 los autovalores de A (iguales o distintos). A partir de aqu basta completar , los cuadrados cuyo coeciente sea distinto de cero y tendremos los siguientes casos: (1) A tiene todos sus autovalores distintos de cero y del mismo signo: Elipsoide. Un punto. Nada. (2) A tiene todos sus autovalores distintos de cero pero no del mismo signo: Matemticas I. a 2010-2011

234

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a Hiperboloide de una hoja. Cono. Hiperboloide de dos hojas.

(3) A tiene dos autovalores distintos de cero del mismo signo y el tercer autovalor es cero: Paraboloide el ptico. Cilindro el ptico. Una recta. Nada. (4) A tiene dos autovalores distintos de cero de distinto signo y el tercer autovalor es cero: Paraboloide hiperblico. o Cilindro hiperblico. o Un par de planos que se cortan. (5) A tiene dos autovalores iguales a cero: Cilindro parablico. o Un par de planos paralelos, confundidos (un solo plano) o nada.

Matemticas I. a

Ingenier Aeroespacial, Civil y Qu as: mica

7.4.- Ejercicios.

235

7.4.- Ejercicios.
Ejercicio 1. Diagonaliza las siguientes matrices mediante matrices de paso ortogonales

1 2 0 2 2 2 0 2 3

5 2 2 2 2 4 2 4 2

1 1 0 1 2 1 0 1 1

1 1 1 1 1 1 1 1 1

Ejercicio 2. Reduce a suma de cuadrados las formas cuadrticas denidas por las matrices: a

1 2 2 2 1 2 2 2 1

1 2 3 2 0 1 3 1 1

0 1 1 2 1 1 0 1 1 0 1 1 2 1 1 0

0 1 2 3

1 0 1 2

2 1 0 1

3 2 1 0

Ejercicio 3. (1) Toda matriz simtrica real de orden m m e Tiene m autovalores distintos. Diagonaliza en una base ortonormal de Rm . Ninguna de las anteriores. (2) Sea A una matriz cuadrada de orden impar y antisimtrica (AT = A). Demuestra que e det(A) = 0.

Ejercicio 4. Consideremos la siguiente matriz, dependiente de un parmetro R: a

A=

2 1 1 0

1 2 1 0

1 1 2 0

0 0 0

(a) Clasicar, seg n los valores de , la forma cuadrtica (x, y, z, t) = [x y z t]A u a

x y z t

(b) Diagonalizar ortogonalmente la matriz A para = 1. Dar, expl citamente, la multiplicidad geomtrica de cada autovalor as como la matriz de paso P y la matriz diagonal e D. (c) Siendo = 1, calcular P An P T para todo n N, donde P es la matriz de paso obtenida en el apartado anterior.

Ejercicio 5. Demuestra que toda matriz real simtrica A = [aij ], n n, denida positiva e verica: Matemticas I. a 2010-2011

236 (a) det (A) > 0.

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

(b) A tiene inversa y su inversa, A1 tambin es denida positiva. e (c) aii > 0, i = 1, 2, . . . , n. (d) aii + ajj > 2aij , i = j = 1, . . . , n. (e) aii ajj > (aij )2 , i = j = 1, . . . , n. (f) El elemento de mayor magnitud de A est en la diagonal principal, a max {|aij | : i, j = 1, . . . , n} = max {a11 , a22 , . . . , ann } . (g) A se puede factorizar de la forma A = MM T siendo M una matriz cuadrada (real) no-singular.

Ejercicio 6. Determina los valores del parmetro real para los que las siguientes formas a cuadrticas/matrices son denidas positivas: a

A=

1 1 1 1 1 1 2

(x, y, z) = 2x2 4xy + 2xz + 3y 2 + 2yz + z 2 .

Ejercicio 7. Determina los valores del parmetro real para los que la ecuacin a o 2x2 2xy + y 2 = 5 tiene soluciones reales.

Ejercicio 8. Estudiando el signo de una forma cuadrtica apropiada, determina si cada una a de las siguientes desigualdades es cierta (para cualquier valor de las variables): (a) xy x+y , x 0, y 0. 2 (b) x2 + 2x2 + 3x2 4x1 x2 + 4x2 x3 , x1 , x2 , x3 R. 1 2 3 (c) x2 + 2y 2 + z 2 2xy + 2yz, x, y, z R. (d) x2 + y 2 + z 2
16 3

si x + y + z = 4, x, y, z R.

Ejercicio 9. Reduce a suma de cuadrados las formas cuadrticas siguientes y clasicarlas: a (1) (x1 , x2 , x3 ) = x2 + 5x2 + 2x2 + 4x1 x2 + 2x1 x3 + 6x2 x3 . 1 2 3 (2) (x1 , x2 ) = 8x1 x2 + 4x2 . 2 (3) (x1 , x2 , x3 ) = x2 + 2x1 x2 + 4x1 x3 + 3x2 + x2 x3 + 7x2 . 1 2 3 (4) (x1 , x2 ) = x2 + 4x1 x2 2x2 . 1 2 Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

7.4.- Ejercicios. (5) (x1 , x2 , x3 ) = x2 2x1 x3 . 2 (6) (x1 , x2 , x3 ) = 2x2 + 3x2 . 1 2

237

Ejercicio 10. Calcula, mediante el mtodo de Lagrange, una forma cannica para cada e o una de las formas cuadrticas siguientes y clasicarlas. A continuacin, aplicando la ley de a o Inercia de Sylvester, escribe tres formas cannicas ms para cada una de ellas. o a (1) (x1 , x2 ) = x2 + 3x1 x2 + 5x2 . 1 2 (2) (x1 , x2 ) = 5x2 + 2x1 x2 + x2 . 1 2 (3) (x1 , x2 ) = x2 + 2x1 x2 7x2 . 1 2 (4) (x1 , x2 ) = 8x1 x2 x2 . 2 (5) (x1 , x2 , x3 ) = 3x2 + 5x2 + x2 + 2x1 x2 + 2x1 x3 + 4x2 x3 . 1 2 3 (6) (x1 , x2 , x3 ) = 8x2 4x2 x2 4x1 x2 2x1 x3 4x2 x3 . 1 2 3 Ejercicio 11. Indica la respuesta correcta: (1) Una forma cannica de la forma cuadrtica (x1 , x2 ) = 2x1 x2 es: o a 2 2 2y1 y2
3 2 y 5 1 2 2 2y1 + 2y2 2 y2

(2) La forma cuadrtica 5x2 y 2 + az 2 + 4xy 2xz 2yz es denida negativa si a a > 10. a < 10. a = 10.

Ejercicio 12. (1) Siendo (a1 , a2 , , an ), (b1 , b2 , , bn ) Rn dos vectores no nulos, reduce a suma de cuadrados la forma cuadrtica denida por a (x1 , , xn ) = (a1 x1 + + an xn )(b1 x1 + + bn xn ). (2) Determina en funcin de a R el carcter de la forma cuadrtica asociada a la matriz o a a

A=

1 2 2 2 a 2 2 2 2a

Matemticas I. a

2010-2011

238

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

(3) Determina el signo de la forma cuadrtica a (x1 , , xn ) = x1 x2 + x2 x3 + + xn1 xn + xn x1 y tres vectores v1 , v2 y v3 tales que (v1 ) = 1, (v2 ) = 5, (v3 ) = 0. Ejercicio 13. (1a) Sea A una matriz real m n. Demuestra que la matriz simtrica AT A es semidenida e positiva o denida positiva. Determina cada caso en funcin del espacio nulo de A. o (1b) Demuestra que si A es una matriz real 1015, entonces la forma cuadrtica : R15 a R denida por (x) = xT AT Ax es semidenida positiva pero no puede ser denida positiva. (1c) Demuestra que si A es una matriz real 1015 de rango 10, entonces la forma cuadrtica a 10 T T : R R denida por (x) = x AA x es denida positiva. (2) Demuestra que la suma de dos matrices simtricas, una semidenida positiva y otra e denida positiva, es una matriz denida positiva. (3) Pon un ejemplo de dos matrices simtricas indenidas cuya suma sea una matriz denida e positiva. Ejercicio 14. Reduce, clasica y representa las siguientes cnicas: o (a) 13x2 + 10y 2 + 4xy 26x 22y + 23 = 0. (a) 13x2 + 10y 2 + 4xy 26x 22y + 2 = 0. (b) 4x2 + y 2 4xy 2y + 1 = 0. (b) 4x2 + y 2 4xy + 4x 2y + 1 = 0. (c) 5x2 + 2y 2 4xy + 12x 4y = 0. (c) 5x2 + 2y 2 4xy + 12x 4y + 9 = 0. (d) x2 + 4y 2 4xy + 6x 12y + 9 = 0. (e) 2xy 5 = 0. Ejercicio 15. (a) Determina el valor de para el que la cnica x2 2xy+2y 2 2x+4y = o 0 es una parbola. Reduce y representa dicha parbola. a a (b) Determina el valor de para el que la cnica x2 + 2xy + y 2 = 1 es una elipse. Calcula o los semiejes de dicha elipse.

Matemticas I. a

Ingenier Aeroespacial, Civil y Qu as: mica

7.4.- Ejercicios. Ejercicio 16. Determina la ecuacin de la cnica que pasa por los puntos o o (0, 0), (0, 2), (2, 1), (5, 0), (3, 1) y representa dicha cnica. o

239

Ejercicio 17. Reducir, clasicar y representar las siguientes cudricas: a (a) 3x2 + 2xy 10y 2 = 0. (b) x2 + y 2 z 2 2z 1 = 0. (c) 2x + 2y 2z 2xy + 4xz + 4yz 3z 2 = 0. (d) 5x2 + 6y 2 + 7z 2 4xy + 4yz 10x + 8y + 14z 6 = 0. (e) 4x2 + y 2 + 4z 2 4xy + 8xz 4yz 12x 12y + 6z = 0.

Matemticas I. a

2010-2011

240

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

10.4.- Apndice: MATLAB. e

A la hora de estudiar una forma cuadrtica puede recurrirse a la expresin polinmica a o o o a la expresin matricial. Si lo que queremos es obtener el valor que alcanza una forma o cuadrtica en un determinado punto, podemos utilizar cualquiera de las dos expresiones. a MATLAB no dispone de ning n comando para manipular directamente polinomios de u varias variables, aunque se pueden obtener los valores que toma uno de dichos polinomios deniendo la funcin correspondiente mediante inline. Por ejemplo, podemos denir el o polinomio p(x, y, z) = 3x2 4xz + y 2 + 5yz 2z 2 mediante >> p=inline(3*x^2-4*x*z+y^2+5*y*z-2*z^2) y a continuacin podemos obtener el valor p(0.3, 1.7, 2) mediante o >> p(-0.3,1.7,-2) Tratndose de formas cuadrticas (polinomios homogneos de segundo grado) tambin podea a e mos recurrir a la expresin matricial o

p(x) = xT Ax siendo A =

3 0 2 0 1 5/2 2 5/2 2

x=

x1 x2 x3

Utilizando las operaciones matriciales tenemos >> x=[-0.3 1.7 -2]; >> t = x*A*x Diagonalizacin ortogonal de una matriz simtrica real. EIG. Sea A una matriz reo e al cuadrada. Mediante el comando eig, que ya vimos en el tema anterior, podemos obtener una diagonalizacin ortogonal de A. Es decir, al ejecutar o > [V,D] = eig(A) se obtiene (siendo A cuadrada, simtrica y real) una matriz V ortogonal y una matriz e D diagonal tales que AV = V D con lo cual A = V DV 1 = V DV T (las columnas de V son autovetores de A que forman una base ortonormal de Rn y los elementos diagonales de D son los autovalores de A). La descomposicin en valores singulares. SVD. Dada una matriz A, m n, podemos o obtener las matrices que intervienen en su descomposicin en valores singualres medio ante la orden > [U,S,V] = SVD(A) que nos proporciona una matriz diagonal S, de las mismas dimensiones que A, con elementos diagonales no-negativos en orden decreciente, y dos matrices unitarias U, m m y V, n n, ortogonales si A es real, tales que A = U S V . Mediante la orden >s=svd(A) se obtiene el vector s de los valores singulares de A (los elementos diagonales de la matriz S). Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

10.4.- Apndice: MATLAB. e

241

La pseudo-inversa de una matriz. PINV. Dada una matriz arbitraria A, no necesariamente cuadrada, la pseudo-inversa (o inversa de Moore-Penrose) de A es una matriz A+ que tiene ciertas propiedades similares a las de la inversa de una matriz cuadrada. Si A es una matriz real m n, la pseudo-inversa A+ de A verica:
A+ es una matriz n m. A+ verica las igualdades AA+ A = A, A+ AA+ = A+ . AA+ y A+ A son matrices simtricas. e Para cualquier vector real b Rm , el vector A+ b es la solucin ptima, en el sentido o o de los m nimos cuadrados, del sistema de ecuaciones Ax = b. Es decir, si el sistema Ax = b tiene una unica solucin en el sentido de los m o nimos cuadrados, entons A+ b es dicha solucin y si dicha sistema tiene innitas soluciones, en el sentido de los m o nimos + b es la que tiene norma m cuadrados, entonces A nima. Si A = U SV T es la/una descomposicin en valores singulares de una matriz real A, la o pseudo-inversa de A es la matriz

1 1

0
1 2

A+ = V S + U T = V

0 . . .

. . . 0

... ... .. . ... 0

0 0 . . .
1 r

0 0

UT .

Para obtener la pseudo-inversa de una matriz A basta ejecutar > pinv(A) y dicha matriz la podemos usar por ejemplo para obtener la solucin ptima en m o o nimos cuadrados de un sistema Ax = b. Cuando el sistema tiene innitas soluciones en m nimos cuadrados (el rango de A no coincide con el n mero de columnas) la solucin u o + A b en m nimos cuadrados puede ser utilizada para construir, junto con el comando null, el conjunto de todas las soluciones en m nimos cuadrados. Notemos que en el caso considerado, el comando mldivide no nos da ning n resultado. u Ejemplo. Si consideramos una matriz aleatoria B y formamos la matriz

A=

B B B B

al considerar un sistema de ecuaciones Ax = b, siendo b un vector aleatorio en la dimensin adecuada, lo ms probable es que obtengamos un sistema incompatible. Puesto o a que las columnas de A no son linealmente independientes, el sistema tendr innitas a soluciones en m nimos cuadrados. Veamos qu sucede al aplicar los comandos citados. e Generamos una matriz aleatoria 2 2, Matemticas I. a 2010-2011

242 >> B=rand(2) B = 0.9501 0.2311

Tema 7.- Matrices simtricas reales y formas cuadrticas. e a

0.6068 0.4860

Formamos la matriz A, 4 4, asociada >> A=[B B ; B B] A = 0.9501 0.6068 0.2311 0.4860 0.9501 0.6068 0.2311 0.4860

0.9501 0.2311 0.9501 0.2311

0.6068 0.4860 0.6068 0.4860

Generamos un trmino independiente b R4 aleatorio, e >> b=rand(4,1) b = 0.8913 0.7621 0.4565 0.0185 Comprobamos que mediante el comando mldivide no obtenemos nada, >> A\b Warning: Matrix is singular to working precision. (Type "warning off MATLAB:singularMatrix" to suppress this warning.) ans = Inf Inf Inf Inf Calculamos la pseudo-inversa de A, >> SA=pinv(A) SA = 0.3779 -0.4719 -0.1797 0.7389 0.3779 -0.4719 -0.1797 0.7389

0.3779 -0.1797 0.3779 -0.1797

-0.4719 0.7389 -0.4719 0.7389

Obtenemos la solucin ptima de Ax = b, o o >> x1=SA*b x1 = 0.1410 0.3345 0.1410 0.3345 Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

10.4.- Apndice: MATLAB. e

243

Obtenemos una base del espacio nulo de A (la solucin general del sistema hoo mogneo), e >> N = null(A) N = -0.1225 -0.6964 0.6964 -0.1225 0.1225 0.6964 -0.6964 0.1225 con lo cual el conjunto de todas las soluciones en m nimos cuadrados {x1 + c1 N(:, 1) + c2 N(:, 2)} = x1 + N c : c R2 .


Matemticas I. a

2010-2011