二次型理论起源于解析几何中的化二次曲线和二次曲面方

第八章二次型

二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题, 这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用.本章主要介绍二次型的基本概念，讨论化二次型为标准形及正定二次型的判定等问题

§ 8.1二次型及其矩阵表示

在解析几何中，我们曾经学过二次曲线及二次曲面的分类，以平面二次曲线为例，一条二次曲线可以由一个二元二次方程给出:

2 2

ax + bxy + cy + dx + ey + f =

0 (1.1 )

要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式),我们通常分两步来做：首先将坐标轴旋转一个角度以消去xy项，再作坐标的平移以消去一次项.这里的关键是消去

xy项，通常的坐标变换公式

为

卩=x&s日-y'sin 日[y =x sin 日+

y'cosT (1.2 )

从线性空间与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关

键是给出一个线性变换，使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分

类时出现，类似的问题在数学的其它分支、物理、力学中也会遇到.为了讨论问题的方便，只考虑二次齐次多项式.

定义8.1.1设f是数域P上的n元二次齐次多项式：

f(0X2, MX n)=印必2中23,2玄2 +|||+2a1n X1X n

乜22%22+2a23X2X3 +川+ 2a2n X2X n + ili+a nJ,n4X24 +2a n_i,n X n4X n +a nn X n2(1.3 )

称为数域P上的n元二次型，简称二次型.如果数域P为实数域R，则称f为实二次型；如果数域P为复数域C，则称f为复二次型；如果二次型中只含有平方项，即

f(X1,X2,川,X n) =d1X12+d2X22+IH 中d n X n2

称为标准形式的二次型，简称为标准形.

说明：在这个定义中，非平方项系数用2a j主要是为了以后矩阵表示的方便

例8.1.2下列多项式都是二次型

f (x,y) =x2+3xy + 3y2

f (x,y,z) =2x2+2xy -3xz+ y2+4yz-73z2

下列多项式都不是二次型

f (x,y) =x2+3xy + 3y2-2x+1

f (x,y,z) =2x3 +2xy-4yz-3z2-1

定义8.1.3设X1,X2,ilLX n；y1, y2,il(,y n是两组文字，系数在数域P中的一组关系式

N =5% +G2y2 +H(+G nyn 1X2 =01% +C22y2 中C2nyn

F川I川

(1.4)

Xn 7% +Cn2y2 +|1(+ %%

称为由X1,X2,川，X n到y1, 72^1, y n的一个线性替换，或简称线性替换.如果系数行列式

C j HO,那么线性替换(1.4)就称为非退化的.

在研究二次型时，矩阵是一个有力工具，因此我们先把二次型用矩阵来表示

令a ij -a ji,则有2a j X i X j =a ij xx j +a ji X j X i,于是(1.3)式可以改写为

f (X1,X2」i),X n) =a11xj +22X1X2+111+ amX j X n

+ 821X2X1 +a22X22州丨+ a2n X2X n +IH+ a n1X n X1 +a n2X n X2 +山+3朋；

=旨(站必估2%2十山中a1n X n)

+ X2(a21X, +822X2+山+a2n X n)

+0)中XnEX, +a n2X2+|||+a nn X n)

01X 1 +a 12X 2 +川 +a 1n X n '

a

21x 1

+a 22x

2 **'

a 2n x n

0n1X ,

+a n2X2+M

丿

例 8.1.4 二次型 f (X, y,z) =2x 2

+2xy -3xz + y 2

+4yz-J 3z 2

的矩阵形式为

2 1

3 )

-2

f(x,y,z) =(x, y, z) 1 1 2

y

--2

< 2 2

-疤

说明：任给一个二次型就唯一地确定一个对称矩阵 .反之，任给一个对称矩阵可唯一地确定

一个二次型.因此，二次型与对称矩阵之间有着一一对应的关系

.把对称矩阵 A 称为二次型

例8.1.5给定对称矩阵

则其对应的二次型为：

2 2 2 2

f (x 1, x 2, x 3, x 4^ X , +4X 1X 2 -2x 1x^6x 1x^ +2X 2 +6X 2X ^2X 2X ^ 3X ^ 4X 4

/ a11

a12 III a

1n

"X1、 a21 a22

III a2n

,x

=

X2 ■ 4 ri + ri h ri ri + ■

■ rib

■ ■

i a

n1

a

n2

III

a

nn J

记A =

= (X i ,X 2，川，X n )

= (X i ,X 2，川，X n )

/

a a 12 川 a 1n '

a

21

a 22

川

a 2n

X 2 .」」 ・

亠・・ ・・

・ 4 4 厲1 a n2

川 a nn 丿

/n >

则二次型可记为

=x T

A X ,

(1.5)

其中A 是对称矩阵. 称(1.5)式为二次型的矩阵形式.

f 的矩阵，也把f 称为对称矩阵 A 的二次型.称对称矩阵 A 的秩为二次型的秩.

(1

-1

—3)

-1

-1

1—3 -1