X
FORME PTRATICE II
10.1. Reducerea la forma canonic prin metoda Jacobi.
10.2. Reducerea la forma canonic prin metoda Gauss.
10.1. Reducerea la forma canonic prin metoda Jacobi
Teorema 1 Fie : E E form ptratic, fie A = (aij)n,n ntr-o baz.
a11
a
A = 12
a1n
a12 a1n
a22 a2 n
ann
Fie D0 = 1
D1 = a11
D2 =
a11
a12
a12
a22
a11 a1i
Di =
a1 j a1 j
Dn = det(A)
Dac toi Di 0, i = 1, n , exist {f1, f2,,fn} (baza Jacobi) astfel nct n aceast baz
are forma canonic.
( x ') =
D0 ' 2 D1 ' 2
D
D
x1 +
x2 + ... + i 1 xi'2 + ... + n 1 xn' 2
D1
D2
Di
Dn
Demonstraie:
C
Fie {f1,fn} baz astfel nct matricea de trecere {e1 ,..., en } { f1 ,..., f n } este:
2
c11
c
C = 12
c12 c1n
c22 c2 n
0 cnn
f1 = c11 f1
(1)
f 2 = c12 e1 + c22 e2
(2)
f j = c1 j e1 + ... + c jj e j
( j)
f n = c1n e1 + ... + cnn en
( n)
Condiii pentru determinarea coeficientului:
Fie F (x, y) polara lui (x). Pentru relaia (1) avem:
F(f1, e1) = 1 F(c11e1, e1) = c11F(e1, e1) = c11a11 = 1, deci:
c11 =
1
a11
Pentru relaia (2) avem:
F ( f 2 , e1 ) = 0
a11c12 + a12 c22 = 0
a12 c12 + a22 c22 = 1
F ( f 2 , e2 ) = 1
D2 0
0 a12
1 a22
a
e12 =
= 12
D2
D2
a11 0
a
1 a11 D1
e22 = 12
=
=
D2
D2 D2
Pentru relaia (j) avem:
F ( f j , e1 ) = 0
F ( f , e ) = 0
( j ) j 2
F ( f j , e j ) = 1
un sistem linear n c1jcjj
C jj =
D j 1
j = 1, n
Dj
n baza {f1,, fn} avem X = C X'.
Se nlocuiesc x1xn n funcie de x1' ...xn' , atunci:
( x ') = c11 x1' 2 + c22 x2' 2 + ... + cnn xn' 2 , adic
( x ') =
D
1 ' 2 D1 ' 2
x1 +
x2 + ... + n 1 xn' 2 .
D1
D2
Dn
Consecin
Criteriul lui Sylvester
Fie V
spaiu vectorial, dimV = n, : V
form ptratic cu matricea A = (aij)
n baza B = {ei }i =1,n . Atunci:
a) (x) este poz def Di > 0, i = 1, n
b) (x) este neg def Di-i Di < 0, i = 1, n .
Demonstraie:
a) "" conform metodei Jacobi B ' = {ei' }
i =1, n
( x) =
n V astfel; nct
n
D0 2 D1 2
D
x1 +
x2 + ... + n 1 xn2 (*), unde x = xi ei' .
D1
D2
Dn
i =1
Dac este pozitiv def, aleg succesiv:
x = e1'
x = e2'
.........
x = en'
Di 1
> 0, i = 1, n . Dar D0 = 1 > 0 Di > 0, i = 1, n
Di
"" Dac Di > 0, i = 1, n
(*)
Di 1
> 0 , i = 1, n (x) > 0, x 0v.
Di
4
Aplicaie
S se reduc la forma canonic prin metoda Jacobi urmtoarea form ptratic:
1
2
A=
0
(x) = x12 + x32 + x1 x2 + x3 x4 ,
1
2
1
2
1
2
1
2
1
2
1
0
2
1
1
1 1
= =
2 16
2 2
1
2
D0 = 1
D1 = 1
D2 =
1
4
D3 =
1
4
D4 =
D0
D3
D1
D2
=1
= 4
=1
= 4
D1
D2
D3
D4
Forma canonic este:
( x ') = x1' 2 4 x2' 2 + x3' 2 4 x4' 2
c11 c12
0 c22
C =
0
0
0
0
c13
c23
c33
c14
c24
c34
c44
0
1 1 1
0 = =
2 8 16
1
2
5
f1 = c11e1 = e1
f2 = c12e1 + c22e2
c12 + 2 c22 = 0
1 c + 0c = 1
22
2 12
D1
= 4, deci
c22 =
D2
c = 2
12
f22 = 2e1 4e2
f3 = c13e1 + c23e2 + c33e3
1
c13 + 2 c23 = 0
1
c13 = 0
2
c33 = 1
c13 = 0
c23 = 0 , deci
c = 1
33
f 3 = e3
f4 = c14e1 + c24e2 + c34e3 + c44e4
c14 + 2 c24 = 0
1 c = 0
2 14
c + 1 c = 0
34 2 44
1
c34 = 1
2
c14 = 0
c = 0
24
c34 = 2
c44 4
f4 = 2e3 4e4
X = C X'
Verificare din X = C X', adic se scriu x1, x2, x3, x4 n funcie de x1' , x2' , x3' , x4' .
6
Condiiile de determinare a coeficienilor sunt:
F(ei, fj) = 0
2j4
F(ej, fj) = 1
1jn
F(fi, fj) = 0
2jn
1Ij1
10.2. Reducerea la forma canonic prin metoda Gauss
Fie (x) o form ptratic. Rezult c exist o baz {e1' , e2' ,..., en' } n care (x) are form
canonic.
Cazuri
a) i, aii 0 se grupeaz toi termenii ce conin pe aii i se formeaz un ptrat perfect.
b) toi aii = 0, i = 1, n , aij 0. Coeficientul lui xi, xj, aij se afl
(x + x ) (x x )
=
2
xi x j
Aplicaie
Fie n = 3 i
(x) = 4 x12 + x22 4 x1 x2 + 4 x1 x3 3 x2 x3 = 4 x12 x1 x2 + x1 x3 + x22 3 x2 x3
2
1
1
4 x1 x2 + x3 x22 x32 + 2 x2 x3 + x22 3x2 x3 , deci
2
2
1
1
( x ) = 4 x1 x2 + x3 x32 x2 x3
2
2
Notm:
1
1
y1 = x1 2 x2 + 2 x3
y2 = x2
y = x
3
3
x3 = y3
x2 = y2
1
1
x1 = y1 + y2 y3
2
2
Trecerea de la baza {e1, e2, e3} la baza { e1' , e2' , e3' }, adic trecerea de la elementul
(x1, x2, x3) la elementul (y1, y2, y3) se face prin matricea
1
1 2
C = 0 1
0 0
1
2
0 ,
1
adic (x1, x2, x3) (y1, y2, y3), adic:
e1' = e1
1
e2' = e1 + e2
2
1
e3' = e1 + e3
2
n aceast baz avem:
2
1
1
1 1
( y ) = 4 y y y2 y3 y32 + y32 ( y ) = 4 y12 y2 + y3 + y32
2 4
4
4
'
2
1
2
2
x1
x2'
x3'
Consecin
Teorema de inerie
Fie V n
spaiu vectorial i : V
o form ptratic. Atunci numrul termenilor
pozitivi i al celor negativi din forma canonic a lui nu depinde de alegerea bazei
formei canonice.
