Diagonalizaci

on de formas cuadr
aticas: m
etodo de
Gauss
Exponemos el metodo de Gauss para diagonalizar formas cuadr
aticas y damos ejemplos de aplicaci
on
M
etodo de Gauss El metodo de Gauss permite diagonalizar cualquier forma cuadr
atica q : Rn R. O de forma equivalente, permite descomponer
la forma cuadr
atica en suma de cuadrados de formas lineales linealmente
independientes. Adem
as, este metodo trabaja directamente sobre q. Supondremos que la forma cuadr
atica q es no nula (trivialmente estara diagonalizada) y analizamos dos casos:
Caso 1 La forma cuadr
atica contiene alg
un cuadrado. Supondremos sin
perdida de generalidad que el termino que contiene un cuadrado es ax21 (a 6=
0). Entonces podemos expresar q(x1 , . . . , xn ) = ax21 + 1 x1 + q1 en donde q1
es una forma cuadr
atica que solamente contiene las n1 variables x2 , . . . , xn
y 1 es una forma lineal que solamente contiene las n1 variables x2 , . . . , xn .

1 2 21
q(x1 , . . . , xn ) = ax21 + 1 x1 + q1 = a x1 +
+ q1

2a
4a
Por tanto tenemos expresada q como suma del cuadrado de una forma lineal
m
as la forma cuadr
atica 21 /4a+q1 que solamente contiene n1 variables.
Caso 2 La forma cuadr
atica no contiene cuadrados. Ordenando con respecto
a dos variables (por ejemplo x1 y x2 ):
q(x1 , . . . , xn ) = ax1 x2 + x1
1 + x2 2 + q1 (x3 . . . , xn ) =
2
1
1 2
a x1 +
x2 +
+ q1
(a 6= 0)
a
a
a
Podemos introducir dos cuadrados aplicando AB = (1/4)[(A + B)2 (A
B)2 ] al sumando a(x1 + 2 /a)(x2 + 1 /a) y la forma cuadratica q1 1 2 /a
depende de las n 2 variables x3 , . . . , xn .
Dado que para n = 1 la forma cuadratica es evidentemente diagonalizable,
los casos anteriores demuestran que podemos descomponer q en suma de
cuadrados de n formas lineales. La independencia de estas formas lineales
es f
acilmente demostrable por recurrencia.

1. Diagonalizar la forma cuadratica q : R3 R dada por

q(x1 , x2 , x3 ) = x21 x22 + 7x23 + 2x1 x2 + 4x1 x3 + 8x2 x3
Resoluci
on Estamos en el caso 1. Siguiendo el metodo general expuesto:
q(x1 , x2 , x3 ) = x21 + x1 (2x2 + 4x3 ) x22 + 8x2 x3 + 7x23
(2x2 + 4x3 )2
x22 + 8x2 x3 + 7x23
4
= (x1 + x2 + 2x3 )2 2x22 + 4x2 x3 + 3x23

= (x1 + x2 + 2x3 )2

Ahora descomponemos 2x22 + 4x2 x3 + 3x23 :

2x22 + 4x2 x3 + 3x23 = 2x22 + x2 (4x3 ) + 3x23
(4x3 )2
+ 3x23
8
= 2(x2 x3 )2 + 5x23
= 2(x2 x3 )2

La expresi
on de q en suma de cuadrados de formas lineales independientes
es:
q(x1 , x2 , x3 ) = (x1 + x2 + 2x3 )2 2(x2 x3 )2 + 5x23
Denotando x01 = x1 + x2 + 2x3 , x02 = x2 x3 , x03 = x3 tambien podemos
expresar q en la forma :

0
1
0 0
x1


q(x1 , x2 , x3 ) = x01 2 2x02 2 + 5x03 2 = x01 x02 x03 0 2 0 x02
x03
0
0 5
2. Diagonalizar la forma cuadratica q : R4 R dada por
q(x, y, z, t) = xy + xz + xt + yz + yt + zt
Resoluci
on Estamos en el caso 2. Siguiendo el metodo general expuesto:
q(x, y, z, t) = xy + x(z + t) + y(2z + t) + 4zt
= (x + 2z + t)(y + z + t) + 4zt (z + t)(2z + t)
= (x + 2z + t)(y + z + t) 2z 2 t2 + zt
2

Usando la f
ormula AB = (1/4)[(A + B)2 (A B)2 ] obtenemos
1
1
(x + 2z + t)(y + z + t) = (x + y + 3z + 2t)2 (x y + z)2
4
4
Ahora descomponemos 2z 2 t2 + zt :
2z 2 t2 + zt = t2 + t(z) 2z 2

z 2 z 2

= t
2z 2 =
2
4

z 2 9 2
= t
z
2
4
La expresi
on de q en suma de cuadrados de formas lineales independientes
es:

1
1
z 2 9 2
q(x, y, z, t) = (x + y + 3z + 2t)2 (x y + z)2 t
z
4
4
2
4
Denotando x0 = x + y + 3z + 2t , y 0 = x y + z , z 0 = t z/2 , t0 = z
tambien podemos expresar q en la forma :
1
1
9
q(x, y, z, t) = x0 2 y 0 2 z 0 2 t0 2 =
4
4
4

0
1/4
0
0
0
x
0

0
1/4
0
0
y
x0 y 0 z 0 t0
0
0
0
1
0 z
t0
0
0
0 9/4

Autor: Fernando Revilla