第六章二次.pptVIP

二次型及其标准形 正定二次型与正定矩阵; 二次型，作为矩阵的四大名标（四大矩阵标量函数）之一，经常出现在物理、力学等学科中。对它的研究最早发轫于高斯的《数论研究》，该书第5章讨论了二次型的理论，目的旨在确定一个给定整数能否表示为特殊的形式。之后柯西在进行二次曲面的研究时发现需要寻找一个坐标变换将二次型变成只含平方项的形式，即二次型的标准形。;一、二次型的定义; 定义1 称 元的二次齐次函数;催赔逸脸酚绵聪揪赠序赡掂苇剁瑚蛰扣同妥潍钩榷埃剩疫箔陪真捏珍绵蘸第六章二次第六章二次;锐幌畏强夺壬西叔庐淤鸯脆塔锐丧芍豪券桶很崇诛承重傅箍侠另唾虚慑爽第六章二次第六章二次;所以， 元的二次型与对称矩阵 一 一对应，因 此称 为二次型 的矩阵，称 为对称矩阵 的二次型。二次型的秩就是对应矩阵的秩。所以，“实二次型就是实对称矩阵”。;例 2 求下面的二次型所对应的矩阵：;解：;一般地，二次型 （ 未必是对称矩阵）对应的矩阵是;对应只含有平方项的二次型(即标准形);联想到实对称矩阵必可对角化，所以对给定二次型 ，我们的中心问题就是确定一个满秩矩阵 使得通过保秩的线性变换 ;因此问题变成能否找到满秩矩阵 ，使得;定义3 对同阶的矩阵 和 ，如果存在同阶的可逆矩阵（即满秩矩阵） ，使得;显然，当 为对角阵 时，就是将 相合对角化成了标准相合矩阵 。此时有相合标准形;根据前面的分析，我们可有下面的定理。;;值得说明的是，正交变换 不仅是保秩变换，而且是保范变换(保持向量的范数或长度不变)，因为;分析：本题可以看成二元二次型的几何意义，即圆锥曲线问题。由于对角矩阵对应位于标准位置的椭圆，所以我们需要适当的旋转变换，将坐标轴旋转到新的位置，使得椭圆位于新坐标系的标准位置上。新坐标系的各轴应该由相应的特征向量确定，这是因为特征向量的数乘仍然落在相应的特征空间中。;解：;令 ;% ex6105.m h=ezplot(5*x1^2-4*x1*x2+5*x2^2-48),hold on % 绘出二次型的几何图形，这里为椭圆 set(h,{‘Color’},{‘r’}); %颜色为红色 set(h,{LineWidth},{2}); %线宽为2 axis square; grid on; %产生正方形坐标轴，加上网格;% ex6105.m（续） A=[5 -2;-2 5]; [V,D]=eig(A) %计算特征值和特征向量 h=ezplot(‘x1+x2’),hold on %在同一张图上绘制对称轴 set(h,{‘Color’},{‘g’}); %颜色为绿色 h=ezplot(‘x1-x2’),hold on %另一条对称轴 set(h,{Color},{g});;% ex6105.m（续） h=ezplot(3*x1^2+7*x2^2-48),hold on %绘制规范二次型的几何图形 set(h,{Color},{b}); set(h,{LineWidth},{2}); plot([-2*pi,2*pi],[0,0],Color,k) hold on plot([0,0],[-2*pi,2*pi],Color,k‘) hold on %在同一张图上绘制水平和 %垂直坐标轴;例 6 化下列二次型为标准形：;解法一： （正交变换法）;对于 ，解 ， 有;对于 ，解 ， 有;对于 ，解 ， 有;由于三个特征值都是单根，不需要施密特正交化，因此分别将 单位化，得;化成了标准形;解法二： （拉格朗日配方法）;令;因此，经过满秩变换;例 7 设二次型;解：;即;例 8 判断矩阵 和 是否相似？是否合同？其中;解：;因为 和 的特征值不全相等，所以 和 不相似。;§2、正定二次型与正定矩阵;尽管“沧海桑田”，仍有能够“永恒”之物，即两个对角阵中非零元个数、正元个数、负元个数都是相同的，此即西尔维斯特(Sylvester)惯性定理。;定理1 秩为 的二次型 经过两个可逆线性变换 和 ，分别化成标准形