FORMAS CUADRATICAS Y CANONICAS

Se pueden usar formas cuadrticas para obtener informacin sobre las secciones
cnicas en R
2
(crculos, parbolas, elipses, hiprbolas) y extender est teora para
describir ciertas superficies, llamadas superficies cuadrticas, en R
3
!as formas
cuadrticas sur"en en una "ran #ariedad de aplicaciones $ue #an de la descripcin de las
funciones de costo en economa al anlisis del control del recorrido de un cohete en el
espacio
Definicin 1. Ecuacin cuadrtica y fora cuadrtica
i. %na ecuacin cuadrtica en dos #ariables sin trminos lineales es una ecuacin
de la forma&

'onde |a| ( |b| ( |c| ) *sto es, al menos uno de los n+meros a, b, c y c es
diferente de cero

ii. %na forma cuadrtica en dos #ariables es una expresin de la forma
'onde |a| ( |b| ( |c| )
*s e#idente $ue las ecuaciones y las formas cuadrticas tiene una fuerte relacin
Definicin !.
x
,
Fora cuadrtica. Sea # - x
2
y sea . una matri/ simtrica de n 0 n
&
x
n
*ntonces una Fora cuadrtica en x
,
, x
2
, , x
n
es una expresin de la forma
1(x
,
, x
2
, , x
n
) - ." 0 "
Ejemplo 1 Una fora cuadrtica en cuatro "aria#$e% Sea
2 , 2 22 x
,
. - , 23 4 5 y " - x
2
2 4 6 2, x
3
22 5 2, 3 x
3
2 , 2 22 x
,
x
,
ax
2
( bxy ( cy
2
- d
1(x,y) - ax
2
( bxy ( cy
2
2x, ( x2 ( 2x3 7 2x3 x
,
x, 7 3x2 ( 4x3 ( 5x3 x
2
2x, ( 4x2 ( 6x3 7 x3 x
3
22x, ( 5x2 7 x3 ( 3x3 x
3
." 0 " - , 23 4 5 x
2
x
2
-
2 4 6 2, x
3
x
3
22 5 2, 3 x
3
x
3
- 2x
2
, ( 2x
,
x
2
7 3x
2
2 ( 3x
,
x
3
( ,2x
2
x
3
( 6x
2
3 7 3 x
,
x
3
( ,)x
2
x
3
7 2x
3
x
3
( 3x
2
3 (despus de
simplificar)
Ejemplo 2 Una atri& %i'trica (ue corre%)onde a una fora cuadrtica en
cuatro "aria#$e%.
*ncuentre la matri/ simtrica . $ue corresponde a la forma cuadrtica
5x
2
, 7 3x
,
x
2
( 3x
2
2 ( 8x
,
x
3
7 9x
2
x
3
( 2x
2
3
7 x
,
x
3
( 6x
2
x
3
( 4x
3
x
3
( 9x
2
3
Solucin Si . - (a
i:
), entonces se #e $ue a
i:
es el coeficiente del trmino x
2
, y a
i:
( a
:i
es el coeficiente del trmino x
i
x
:
;omo . es simtrica, a
i:
- a
:i
< as, a
i:
- a
:i
- =
(coeficientes del trmino x
i
x
:
) %niendo todo esto se obtiene
5 2 3 2
. - 2 3 29>2 6>2
3 29>2 2 3
2 6>2 3 9
Fora cannica de *ordan. !as matrices de n 0 n con n #ectores propios
linealmente independientes se pueden expresar en una forma especialmente sencilla
mediante una transformacin de seme:an/a ?or fortuna, como @la mayor parteA de los
polinomios tiene races distintas, @la mayor parteA de las matrices tendrn #alores propios
distintos
!as matrices $ue no son dia"onali/ables (es decir, $ue no tiene n #ectores propios
literalmente independientes)sur"en en la prctica *n este caso, toda#a es posible
demostrar $ue la matri/ es seme:ante a otra, una matri/ ms sencilla, pero la nue#a matri/
no es dia"onal y es ms difcil obtener la matri/ de transformacin ;
Se define la matri/ de B
C
como la matri/ de C 0 C
) , ) )
) ) , )
B
C
- & & & &
) ) ) ,
) ) ) )
Dbser#e $ue B
C
es la matri/ con unos arriba de la dia"onal principal y ceros en otra
parte
?ara un escalar dado se define la atri& de #$o(ue% de +ordan E() por
*s decir, E() es la matri/ de C 0 C con el escalar en la dia"onal, unos arriba de la
dia"onal y ceros en otra parte
Nota Se puede (y con frecuencia se har) tener una matri/ de blo$ues de Fordan de ,
0 , *sa matri/ toma la forma E() - ()
%na atri& de *ordan F tiene la forma
E,(,) ) )
F - ) E2(2) )
& & &
) ) Er(r)
donde cada E
:
(
:
) es una matri/ de blo$ues de Fordan *ntonces una matri/ de Fordan es
una matri/ $ue tiene en la dia"onal matrices de blo$ues de Fordan y ceros en otra parte
!lamada as en honor del matemtico francs ;amile Fordan (,838 7 ,922) !os
resultados aparecieron por primera #e/ en el brillante traba:o de Fordan Grait des
substitutions et des $uations al"ebri$ues (tratado sobre sustituciones y
ecuaciones al"ebraicas), publicado en ,86)
Ejemplo 1 Matrice% de +ordan de ! , !. !as +nicas matrices de Fordan de 2 0 2 son

*n la primera matri/ los n+meros
,
y
2
pueden ser i"uales
Ejemplo 2 Matrice% de +ordan de - , -. !as +nicas matrices de Fordan de 3 0 3 son
, ) ) )
) , ) )
E() - H ( BC - & & & & &
) ) ) ,
) ) ) )

,
) y ,
)
2
)
, ) )
) 2 )
) ) 3
, ) )
) 2 ,
) ) 2
, , )
) , )
) ) 3
, , )
) , ,
) ) ,
'onde no es necesario $ue
,
,
2
,
3
sean distintos