Dạng song tuyến tính – dạng toàn phương

Chương 6. DẠNG SONG TUYẾN TÍNH – DẠNG TOÀN PHƯƠNG 6.1. Dạng song tuyến tính 6.2. Dạng toàn phương 6.3. Dạng chính tắc của dạng toàn phương 6.4. Luật quán tính và dạng toàn phương xác định dấu 6.1. Dạng song tuyến tính 6.1.1. Định nghĩa và các ví dụ. Định nghĩa 1: Giả sử X là một không gian vectơ (KGVT) trên R. Ánh xạ f : X X X  được gọi là một dạng song tuyến tính (DSTT), nếu x,x , y, y X, λ R     ta có: 1) f(x + x , y) = f(x, y) + f(x , y),  2) f(λx,y) = λf(x, y), 3) f(x, y + y ) = f(x, y) + f(x, y ),  4) f(x,λy) = λf(x, y). Nói cách khác, f(x,y) là tuyến tính theo từng biến. Chú ý 1: Điều kiện 1) + 2) có thể thay thế bởi điều kiện sau: 1’) f(λx μx , y) = λf(x, y) μf (x , y)   , x,x , y X, λ,μ R    . Điều kiện 3) + 4) có thể thay thế bởi điều kiện sau: 2’) f(x,λy μy ) = λf(x, y) μf (x, y )   , x, y, y X, λ,μ R    . Nói cách khác , f(x,y) là tuyến tính theo từng biến, tức là f(x,y) tuyến tính đối với x khi y cố định và tuyến tính đối với y khi x cố định. Ví dụ 1: Cho f : C[a,b] C[a,b] R  b a f(u,v) u(t)v(t)dt, u, v C[a,b]  - là một DSTT trên C[a,b]. Ví dụ 2: Cho 2 2f : R R R  2 1 1 1 2 2 1 2 2 1 2 1 2f(x, y) 2x y 3x y 2x y x y ; x (x ,x ), y (y ,y ) R       - là một DSTT trên R2. Ví dụ 3: Cho f : R R R  . f (x, y) c - là một DSTT? Giải: * Nếu c = 0, dễ dàng kiểm tra được f thỏa mãn 4 điều kiện của DSTT . Vậy f(x,y) = 0 là DSTT. * Nếu c 0 , ta thấy với λ 1 : f (x, y) c λc f (λx,y)   . Vậy f không là DSTT. 6.1.2. Biểu diễn dạng song tuyến tính. Định lý 1: Mọi DSTT f(x,y) trong không gian tuyến tính (KGTT) n chiều với cơ sở (e) ={e1, e2,…, en} cho trước có thể biểu diễn duy nhất với dạng: n ij i j i, j 1 f (x, y) a x y (1)   , trong đó x ={x1, x2,…, xn} , y ={y1, y2,…, yn} là các tọa độ của x, y trong cơ sở (e), còn ai j= f(ei, ej). Định nghĩa 2: Ma trận 11 12 1n 21 22 2n n1 n2 nn a a a a a a A = a a a                    trong đó ai j= f(ei, ej), gọi là ma trận của DSTT trong cơ sở (e). Chú ý 2: Ma trận vuông nij i, j 1A = (a )  bất kỳ là ma trận của DSTT nào đó trong cơ sở (e) ={e1, e2,…, en}. Để thấy điều đó chỉ cần đặt n ij i j i, j 1 f (x, y) a x y   . Chú ý 3: Nếu các tọa độ của các vectơ viết dưới dạng ma trận cột 1 1 2 2 n n x y x y x , y , x y                            và T 1 2 nx (x ,x ,...,x ) thì công thức (1) trở thành: Tf (x, y) x .A.y Định nghĩa 3: DSTT f được gọi là đối xứng (phản đối xứng) nếu f(x, y) = f(y,x), x, y X.  (f(x, y) = - f(y,x), x, y X)  Chú ý 4: 1) Nếu DSTT f là đối xứng thì ma trận A của nó trong một cơ sở nào đó là đối xứng và ngược lại. 2) Nếu DSTT f là phản đối xứng thì ma trận A của nó trong một cơ sở nào đó là phản đối xứng và ngược lại. Định nghĩa 4: Hạng của DSTT f (x,y) là hạng của ma trận của nó trong một cơ sở nào đó và kí hiệu là rankf. Vậy rankf = r(A). Định nghĩa 5: DSTT f (x,y) cho trong KGTT X n chiều gọi là không suy biến (tương ứng, suy biến), nếu rankf = n (tương ứng, rankf < n). 6.1.3. Sự biến đổi của ma trận DSTT khi chuyển sang cơ sở mới. Định lý 1: Giả sử trong không gian tuyến tính (KGTT) X n chiều cho hai cơ sở  1 2 n(e) e , e , , e  và  1 2 n(e) e , e , , e  . eeT là ma trận chuyển từ cơ sở (e) sang cơ sở (e) , eA và eA là hai ma trận tương ứng của cùng một DSTT f(x,y) trong (e) và (e) . Khi đó ta có: T e ee e eeA T .A .T (2), trong đó TeeT là ma trận chuyển vị của eeT . Ghi chú 1: Ta có ee e edet T 0, r(A ) r(A ).  Ghi chú 2: Như đã nói đến ở chương KGVT, một vectơ ej của hệ cơ sở  1 2 n(e) e , e , , e  có tọa độ trong hệ cơ sở (e) là ej = (0,0,…,0,1,0,…,0) và một vectơ x có biểu diễn: 1 1 2 2 n nx x e x e ... x e    có tọa độ 1 2 nx (x , x ,...,x ) trong cơ sở (e). Do đó từ nay nếu không nói gì thêm, thì ta luôn hiểu hệ (e), xác định như trên là cơ sở chính tắc và nói cho 1 2 nx (x , x ,...,x ) thì hiểu đây là tọa độ của x trong hệ cơ sở chính tắc. Ví dụ 4: Trong R3 với cơ sở chính tắc  1 2 3(e) e , e ,e , cho 1 2 3x (x ,x ,x ) , 1 2 3y (x , x ,x ) và DSTT 1 1 2 2 3 3f (x, y) x y 3x y 2x y   . Cho hệ cơ sở mới  1 2 3(e) e , e , e với 1e (1,1,0) , 2e (1,0,1) , 3e (1,1,1) . Hãy tìm ma trận eA của f trong cơ sở (e) . Giải: 1) Cách 1: (Trực tiếp). Đặt 11 12 13 e 21 22 23 31 32 33 b b b A b b b b b b           . Vì f đối xứng nên 21 12 31 13 32 23b b ,b b ,b b   . Ta có:  11 1 1b f e , e 1.1 3.1.1 2.0.0 4     .  21 12 1 2b b f e , e 1    31 13 1 3b b f e , e 4    22 2 2b f e , e 3   32 23 2 3b b f e , e 3    33 3 3b f e , e 6  Vậy: e 4 1 4 A 1 3 3 . 4 3 6           2) Cách 2: Trong cơ sở (e), f có ma trận e 1 0 0 A 0 3 0 . 0 0 2           Ma trận chuyển từ cơ sở (e) sang cơ sở (e) : ee 1 1 1 T 1 0 1 0 1 1           . Vậy T e ee e eeA T .A .T 1 1 0 1 0 0 1 1 1 4 1 4 1 0 1 0 3 0 1 0 1 1 3 3 . 1 1 1 0 0 2 0 1 1 4 3 6                                           6.2. Dạng toàn phương. Định nghĩa 6: Cho DSTT đối xứng f(x,y). Nếu thay y = x thì f(x,x) được gọi là một dạng toàn phương (DTP). Vậy trong cơ sở (e) cho trước của X ta có: n ij i j i, j 1 f (x,x) a x x (3)   , trong đó aij =aji , 1 1 2 2 n nx x e x e ... x e    . Hay ta có thể viết (3) dưới dạng: Tf (x,x) x .A.x , với 1 2 n x x x , x              T 1 2 nx (x ,x ,...,x ) . Chú ý 5: Khai triển (3) ta được: 2 2 2 11 1 22 2 nn n 12 1 2 13 1 3 1n 1 n (n 1)n n 1 nf (x,x) a x a x ... a x 2a x x 2a x x ... 2a x x ... 2a x x (3 ).            Chú ý 6: DTP được xác định qua DSTT, nên những tính chất đã đúng cho DSTT cũng đúng cho DTP. Đặc biệt ta cũng có công thức đổi cơ sở (2): T e ee e eeA T .A .T . 6.3. Dạng chính tắc của DTP. Định nghĩa 7: Nếu DTP f(x,x) trong một cơ sở (e) nào đó của KGTT n chiều X có dạng: 2 2 2 1 1 2 2 n nf (x,x) λ x λ x ... λ x (4)    , trong đó kλ (k 1,n ) là các hằng số (có thể bằng 0 hoặc khác 0), thì (4) gọi là dạng chính tắc (DCT) của DTP f(x,x); kλ (k 1,n ) gọi là các hệ số chính tắc; cơ sở (e) để f(x,x) có dạng chính tắc (4) gọi là cơ sở chính tắc tương ứng. 6.3.1. Đưa DTP về DCT bằng phép biến đổi trực giao. Do ma trận A của DTP là ma trận đối xứng , nên bài toán trở thành chéo hóa trực giao ma trận A. Khi đó DTP được đưa về DCT: 2 2 2 1 1 2 2 n nf λ x λ x ... λ x ,      với phép biến đổi trực giao: 1 1 2 2 n n x x x x Q x x                         , hay 1 1 2 2T n n x x x x Q (5), x x                         trong đó kλ (k 1,n ) - GTR của A, Q là ma trận chéo hóa trực giao ma trận A. Ma trận trực giao Q biến cơ sở trực chuẩn đã cho thành cơ sở trực chuẩn gồm các VTR của A. Ví dụ 5: Đưa DTP sau về DCT bằng phép biến đổi trực giao. 2 2 2 1 2 3 1 2 1 3 2 3f (x,x) x x x 4x x 4x x 4x x .      Giải: Ma trận của DTP f (trong cơ sở trực chuẩn  1 2 3(e) e , e ,e đã cho các tọa độ của VT 1 2 3x (x ,x ,x ) ) là: 1 2 2 A 2 1 2 . 2 2 1           Thực hiện chéo hóa trực giao ma trân A (Xem ví dụ 10 chương 5) Kết quả thu được: 1 1 1 3 2 6 1 2Q 0 3 6 1 1 1 3 2 6                    , 5 0 0 B 0 1 0 0 0 1          . Vậy DTP f được đưa về DCT: 2 2 2 1 2 3f 5x x x ,     bằng phép biến đổi trực giao: 1 1 2 3 2 1 3 2 1 2 3 1 1 1x x x x 3 3 3 1 1x x x 2 2 1 2 1x x x x 6 6 6                   (từ công thức (5)) 6.3.2. Đưa DTP về DCT bằng phương pháp Lagrange. Nội dung của phương pháp này là dùng các phép biến đổi sơ cấp không suy biến đưa DTP về DCT. Phương pháp này không đòi hỏi phải giải pt đặc trưng để tìm các GTR – là một công việc không đơn giản đối với các pt bậc cao. Xét 2 trường hợp: I) Trước hết ta xét trường hợp iia 0  . Ta có thể giả thiết 11a 0 , vì nếu 11a 0 và iia 0(i 2,n)   , ví dụ chẳng hạn 22a 0 thì ta chỉ việc đổi thứ tự 2 vectơ e1 và e2 của cơ sở (e), tức là dùng phép biến đổi: 1 2 2 1 3 3 n nx x , x x ,x x ,...,x x       . Ta đưa về trường hợp 11a 0  (hệ số của 2 1x ). *Phương pháp Lagrange tiến hành theo các bước sau: B1: Nhóm tất cả các số hạng có chứa thừa số x1 và thêm hoặc bớt vào tổng các số hạng dạng k 2 k k i jb x ,c x x để được một bình phương đủ và được: 2 11 1 1n n 11 1f (x,x) (a x ... a x ) g(x,x), a     trong đó g(x,x) chỉ chứa các bình phương và các số hạng là các tích chéo của 1 2 nx ,x ,...,x . B2: Đặt 1 11 1 1n n 2 2 2 n x a x ... a x x x .... x x             . Khi đó n 2 1 ij i j i, j 211 1f (x,x) x a x x a       . B3: Lặp lại các bước 1, 2 đối với n ij i j i, j 2 a x x     . Thực hiện sau một số hữu hạn lần như trên, ta đưa được DTP về DCT: 2 2 2 1 1 2 2 r rf λ x λ x ... λ x (r n) (6).     Chú ý 7: 1) DCT (6) có ma trận dạng đường chéo (cũng chính là ma trận của f trong cơ sở mới (e) ) 1 2 e r λ 0 0 0 0 λ 0 0 A 0 0 λ 0 0 0 0 0 0 0 0 0                                              . 1) Ma trận eeT chuyển từ cơ sở cũ (e) sang cơ sở mới (e) được xác định bởi phép biến đổi Lagrange: 1 1 2 21 ee n n x x x x T x x                            , hay 1 1 2 2 ee n n x x x x T (7), x x                           Ví dụ 6: Đưa DTP sau về DCT: 2 2 2 1 2 3 1 2 1 3 2 3f (x,x) 9x 6x 6x 6x x 6x x 12x x .      Hãy tìm cơ sở mới (e) , ma trận chuyển cơ sở eeT để trong cơ sở (e) DTP f có DCT trên và ma trận eA của f trong cơ sở (e) . Giải: 2 2 2 1 1 2 1 3 2 3 2 3 2 2 2 2 2 2 2 1 1 2 1 2 2 2 2 3 2 2 2 3 2 3 2 3 2 2 2 1 2 3 2 3 2 3 2 2 1 2 3 2 3 f (x,x) (9x 6x x 6x x ) 6x 6x 12x x [(3x ) 2.3x .x 2.3x .x x x 2x x ] x x 2x x 6x 6x 12x x (3x x x ) (5x 5x 10x x ) (3x x x ) 5(x x ) .                                 Đặt 1 1 2 3 2 2 3 3 3 x 3x x x x x x (*) x x            , ta đưa được DTP f về DCT: 2 21 2f x 5x (**)   . Từ (*) ta có 1 1 (7) 1 2 2 ee ee 3 3 1 1 0x 3 1 1 x 3 1 1 3 3 x 0 1 1 x T 0 1 1 T 0 1 1 x 0 0 1 x 0 0 1 0 0 1                                                         . Hoặc tìm eeT bằng cách giải hệ (*) để tìm biểu diễn tọa độ cũ qua tọa độ mới: 1 1 2 2 2 3 ee 3 3 1 1 1 1x x x 0 3 3 3 3 x x x T 0 1 1 . x x 0 0 1                           Vậy cơ sở mới (e) là  1 2 3 1 1e ,0,0 , e ,1,0 , e 0, 1,1 3 3               . Và từ (**) ta có: e 1 0 0 A 0 5 0 . 0 0 0           Ví dụ 7: Cho DTP: 2 2 2 1 2 3 1 2 1 3 2 3f (x,x) 2x 3x 4x 2x x 4x x 3x x .      Hãy đưa DTP f về DCT bằng phương pháp Lagrange. Xác định cơ sở mới mà trong đó f có DCT trên. Giải: (Giải sử  1 2 3(e) e (1,0,0),e (0,1,0),e (0,0,1)    là cơ sở mà 1 2 3x (x ,x ,x ) ) 2 2 2 1 1 2 1 3 2 3 2 3 2 2 2 2 2 1 2 3 2 3 2 3 2 3 2 3 2 2 2 1 2 3 2 2 3 3 2 2 23 1 2 3 2 3 f (x, x) 2(x x x 2x x ) 3x 4x 3x x 1 12(x x x ) x 2x 2x x 3x 4x 3x x 2 2 1 52(x x x ) x x x 2x 2 2 x1 5 92(x x x ) (x ) x . 2 2 5 10                               Đặt 1 1 2 31 1 2 3 2 2 3 2 2 3 3 3 3 3 1 91 x x x xx x x x 2 102 1 1x x x x x x 5 5 x x x x                             DTP f được đưa về DCT: 2 2 22 1 3 5x 9f 2x x . 5 10      Ma trận eeT chuyển từ cơ sở  1 2 n(e) e , e , , e  sang cơ sở  1 2 n(e) e , e , , e  để f có DCT trên: ee 1 91 2 10 1T 0 1 . 5 0 0 1                 Vậy cơ sở mới (e) là  1 2 3 1 9 1e 1,0,0 , e ,1,0 , e , ,1 . 2 10 5               Chú ý 8: Một DTP có thể được biểu diễn dưới dạng nhiều DCT khác nhau, do đó có nhiều cơ sở để DTP có DCT trong cơ sở đó. Ví dụ 8: Từ ví dụ 6 ta đã đưa DTP: 2 2 2 1 2 3 1 2 1 3 2 3f (x,x) 9x 6x 6x 6x x 6x x 12x x ,      về DCT 2 2 1 2f x 5x .   Bây giờ, ta xét một phép biến đổi khác: 2 2 2 1 1 2 1 3 2 3 2 3 22 2 2 23 32 2 1 1 2 1 3 2 3 2 3 2 232 1 2 3 2 2f (x,x) 9(x x x x x ) 6x 6x 12x x 3 3 x xx x1 19(x 2x . x 2x . x 2 ) 5x 5x 10x x 3 3 9 9 3 3 xx9(x ) 5(x x ) . 3 3                       Bằng cách đổi biến: 32 2 1 1 1 1 2 2 3 2 2 3 3 3 3 3 xx xx x x x 3 3 3 x x x x x x , x x x x                          ta đưa f về DCT: 2 2 1 2f 9x 5x (3*).   Nhận xét: (**) và (3*) là hai DCT khác nhau của một DTP. Tuy nhiên số các hệ số chính tắc khác 0 của chúng là như nhau. II) Nếu trong biểu thức của DTP có iia 0, i 1,2,..,n   thì phải ija 0, (i, j 1,n,i j)    , ví dụ chẳng hạn 12a 0 (vì nếu ija 0, ( i, j 1,n,i j)    ta được DCT f(x,x) = 0). Khi đó dùng phếp biến đổi: 1 2 2 1 1 2 3 3 n n x x x xx , x , x x , ..., x x 2 2          1 1 2 2 1 2 3 3 n nx x x , x x x , x x , ..., x x             . Vậy: 2 2 12 1 2 13 1 3 12 1 2 13 1 2 3 2 2 12 1 12 2 f 2a x x 2a x x ... 2a (x x ) 2a (x x )x ... 2a x 2a x ...                 Ví dụ 9: Bằng phương pháp Lagrange hãy đưa DTP sau về DCT: 1 2 2 3 3 4f (x,x) x x x x x x   Tìm cơ sở để f có DCT tắc. Giải: Đặt 1 1 2 2 1 2 3 3 4 4 x x x x x x x x x x            . Thay vào DTP đã cho ta có: 2 2 1 2 1 3 2 3 3 4 2 23 3 3 1 1 2 2 3 3 4 2 23 3 3 1 2 2 3 4 2 23 3 1 2 3 4 f (x,x) x x x x x x x x x x x(x 2x ) x x x x x 2 4 4 x x x (x ) (x 2x ) x x 2 2 4 x x (x ) (x ) x x . 2 2                                                       Đặt 2 1 1 3 2 2 3 3 4 4 3 4 xx x 2 xx x (4*) 2 x x x x x x                . Khi đó f có DCT trong cơ sở mới  1 2 3 4(e) e , e , e , e : 2 2 2 21 2 3 4f (x,x) x x x x    . Để tìm ma trận chuyển cơ sở eeT từ hệ (4*), ta có: 3 4 1 1 1 1 2 3 2 1 2 3 44 2 2 3 3 4 3 3 4 4 3 4 4 3 4 x xx x x x x2 2 x x x x x xxx x 2 2 x x x x x x x x x x x x                                  ee 1 1 0 0 1 1 1 1 T 0 0 1 1 0 0 1 1             . Vậy 1 2 3 4e (1,1,0,0); e ( 1,1,0,0); e (0, 1,1,1); e (0,1, 1,1).       6.3.3. Đưa DTP về DCT bằng phương pháp Jacobian. a.Tiêu chuẩn Sylvester: Cho 11 12 1n 21 22 2n n1 n2 nn a a a a a a A = a a a                    . Từ A ta lập các định thức con góc trên bên trái của A (hay có đường chéo chính gồm các phần tử thuộc đường chéo chính của A) 11 121 11 2 n 21 22 a a a , ,..., det A. a a       1 2 n, ,...,   còn gọi là các định thức chính của A. b.Tiêu chuẩn Jacobian: Giải sử A là ma trận của DTP f. Nếu các 1 2 n, ,...,   khác 0 thì có thể đưa DTP f về DCT: 2 2 2 1 1 2 2 n nf λ x λ x ... λ x ,      trong đó i 11 i 1 i 1 λ , λ (i 2,3,...,n)       . c.Tiêu chuẩn Jacobian để đưa DTP về DCT và tìm cơ sở để DTP có DCT trong cơ sở đó. B1: Lập ma trận 11 12 1n 21 22 2n n1 n2 nn a a a a a a A = a a a                    của DTP f sau đó tính các định thức con chính 1 2 n, ,...,   . B2: Tìm được các i 11 11 i ii 1 i 1 λ α , λ α (i 2,...,n)         . B3: Tìm các ijα (i j, j 2,...,n)  còn lại bằng cách ứng với mỗi j = 2,…,n ta giải hệ: 1j 11 2 j 12 jj 1j 1j 21 2 j 22 jj 2 j 1j ( j 1)1 2 j ( j 1)2 jj ( j 1) j 1j j1 2 j j2 jj jj α a α a ... α a 0 α a α a ... α a 0 ... α a α a ... α a 0 α a α a ... α a 1                        Cơ sở (e) để f có DCT: 2 2 2 1 1 2 2 n nf λ x λ x ... λ x ,      trong đó i iiλ α là các vectơ sau: 1 11 1 2 12 1 22 1 n 1n 1 2n 1 nn n e α e e α e α e e α e α e ... α e             Ví dụ 10: Bằng phương pháp Jacobian hãy đưa DTP sau về DCT, tìm cơ sở mới để DTP có DCT đó: 2 2 2 1 2 3 1 2 1 3 2 3f (x,x) 5x x 3x 4x x 2x x 2x x      Giải: Ma trận A của DTP f trong cơ sở  1 2 3(e) e (1,0,0),e (0,1,0),e (0,0,1)    là 1 2 3 5 2 1 A 2 1 1 5, 1, 1. 1 1 3                   1 21 11 2 22 3 33 1 2 3 1 1 λ α , λ α 5, λ α 1 5                Ta tìm 12 13 23α ,α ,α bằng cách giải các hệ phương trình sau: + Với j = 2 ta có: 12 11 22 12 12 12 12 21 22 22 12 α a α a 0 α .5 5.2 0 a 2 α a α a 1 α .2 5.1 1                + Với j = 2 ta có: 13 11 23 12 33 13 13 23 13 21 23 22 33 23 13 23 13 31 23 32 33 33 13 23 α a α a α a 0 α .5 α .2 1.( 1) 0 α a α a α a 0 α .2 α .1 1.( 1) 0 α a α a α a 1 α .( 1) α .( 1) 1.3 1                               13 23 13 13 23 23 13 23 α .5 α .2 1 α 1 α .2 α 1 α 3 α α 2              . Vậy cơ sở mới: 1 11 1 2 12 1 22 1 3 13 1 22 1 33 3 1 1e α e (1,0,0) ( ,0,0) 5 5 e α e α e 2(1,0,0) 5 (0,1,0) ( 2,5,0) e α e α e α e (1,0,0) 3 (0,1,0) (0,0,1) ( 1,3,1)                         . Trong cơ sở mới này f có DCT: 2 2 21 2 3 1f x 5x x . 5      6.4. Luật quán tính và dạng toàn phương xác định dấu. 6.4.1. Luật quán tính của dạng toàn phương. Định nghĩa 8: Cho DCT của DTP f(x,x) có dạng: 2 2 2 1 1 2 2 n nf (x,x) λ x λ x ... λ x .    Nếu iλ 1, 1  hoặc 0 (i = 1, 2,.., n) thì DCT trên gọi là dạng chuẩn tắc của DTP f. Tức là dạng chuẩn tắc của DTP f có dạng: 2 2 2 1 2 rf (x,x) ( 1)x ( 1)x ... ( 1)x (r n) (8).        Chú ý 9: Mọi DCT của DTP f luôn đưa được về dạng chuẩn tắc. (!!?) Định lý 2 (Luật quán tính): Số các số hạng có hệ số dương và số các số hạng có hệ số âm trong dạng chuẩn tắc của DTP không phụ thuộc vào cách đưa DTP về dạng chuẩn tắc. Định nghĩa 9: Giải sử DTP f được đưa về dạng chuẩn tắc.  Số các hệ số khác 0 của (8) gọi là chỉ số quán tính (CSQT) của DTP f.  Số các hệ số bằng (-1) của (8) gọi là CSQT âm của DTP f.  Số các hệ số bằng 1 của (8) gọi là CSQT dương của DTP f. 6.4.2. Phân loại dạng toàn phương. Định nghĩa 10: DTP f(x,x) được gọi: a) Xác định dương nếu f (x,x) 0, x θ.   b) Xác định âm nếu f (x,x) 0, x θ.   c) Bán xác định dương nếu f (x,x) 0, x  và 0 0 0x θ : f (x ,x ) 0   . d) Bán xác định âm nếu f (x,x) 0, x  và 0 0 0x θ : f (x ,x ) 0   . e) Không xác định dấu nếu    1 2 1 1 2 2x ,x : f x ,x 0, f x ,x 0.   Định lý 3 (Tiêu chuẩn Sylvester): Cho DTP f.  f(x,x) xác định dương khi và chỉ khi 1 2 n0, 0,..., 0.       f(x,x) xác định âm khi và chỉ khi n1 2 n0, 0,...,( 1) 0.       Định lý 4 (Phân loại DTP theo CSQT): Cho f(x,x) là DTP trong KGTT n chiều X. Ta có thể phân loại DTP như sau: a) f(x,x) xác định dương (tương ứng, âm) khi và chỉ khi CSQT dương (tương ứng, âm) bằng n.(f có dấu không đổi) b) f(x,x) không xác định dấu (có dấu thay đổi) khi và chỉ khi CSQT dương và CSQT âm đều khác 0. c) f(x,x) bán xác định dương (tương ứng, bán xác định âm) khi và chỉ khi CSQT dương (tương ứng, âm) nhỏ hơn n và CSQT âm (tương ứng, dương) bằng 0. Sinh viên tự xem ví dụ phần này.