二次型及矩阵形式标准型

LinearAlgebra·CoreTopics二次型及矩阵形式——标准型高等代数·线性代数核心专题精讲Contents目录二次型的理论基础与核心方法体系01二次型基本概念与矩阵表示02标准形的定义与分类03化标准形的方法（上）：正交变换法与配方法04化标准形的方法（下）：合同变换法与雅可比法05惯性定理与正定性判定06总结回顾与应用展望CHAPTER01二次型基本概念与矩阵表示从多项式到矩阵——建立二次型的代数基础LinearAlgebra二次型的定义n元实二次型是含有n个变量的实系数二次齐次多项式，其一般形式包含平方项和交叉项。当二次型仅含平方项时称为标准形，这是化简的目标形态。01一般形式n元实二次型的一般形式为f(x₁,...,xₙ)=Σᵢ₌₁ⁿΣⱼ₌₁ⁿaᵢⱼxᵢxⱼ，其中aᵢⱼ为实数系数，每一项的变量次数之和均为2。次数之和=202项的分类二次型中的项分为两类：xᵢ²称为平方项，xᵢxⱼ(i≠j)称为交叉项。交叉项的存在是二次型需要化简的根本原因。平方项·交叉项03标准二次型仅含平方项而不含交叉项的二次型，形如f=d₁y₁²+d₂y₂²+...+dₙyₙ²，是化简的目标形式。仅含平方项04规范二次型所有平方项系数仅为+1、-1或0的标准形，形如y₁²+...+yₚ²−yₚ₊₁²−...−yᵣ²，是最简化的标准形。系数∈{+1,−1,0}LinearAlgebra·QuadraticForms二次型的矩阵表示每个n元实二次型都可以唯一表示为矩阵形式f=XᵀAX，其中A为n阶实对称矩阵，二者一一对应。01矩阵形式f=XᵀAXX=(x₁,...,xₙ)ᵀ为变量列向量，A为n阶实对称矩阵（aᵢⱼ=aⱼᵢ），称为二次型f的矩阵。02矩阵构造规则对角线aᵢᵢ等于xᵢ²的系数，非对角线aᵢⱼ等于xᵢxⱼ系数的一半——交叉项平分到对称位置。03一一对应关系取定变量组后，n元实二次型f与n阶实对称矩阵A互相唯一确定，A是f的矩阵，f是以A为矩阵的二次型。04秩的定义二次型的秩定义为其矩阵A的秩：rank(f)=rank(A)，此概念在惯性定理中起关键作用。QUADRATICFORM矩阵表示的具体实例通过具体实例可以清晰看到二次型与对称矩阵的互相转换过程。平方项系数直接对应对角线元素，交叉项系数平分到对称位置，这一规则简单而严谨，是后续所有计算的基本功。正构造f=2x₁²−x₂²+3x₃²+4x₁x₂−6x₁x₃+2x₂x₃，对角线(2,−1,3)，非对角线a₁₂=2，a₁₃=−3，a₂₃=1A→f反构造A=[[1,2],[2,3]]，还原f=x₁²+4x₁x₂+3x₂²，交叉项系数是非对角元的2倍f→A核心价值将多项式问题转化为矩阵问题，利用特征值、正交变换等强大矩阵工具处理二次型转化理论保障实对称矩阵一定可对角化，特征值全为实数，为化标准形提供理论保障可对角化QuadraticForms·Chapter05线性替换与合同变换通过可逆线性替换X=CY，二次型f=XᵀAX变为g=Yᵀ(CᵀAC)Y，其矩阵从A变为CᵀAC。化标准形的本质就是寻找可逆矩阵C使CᵀAC为对角矩阵，即矩阵的合同对角化问题。01线性替换X=CY将二次型f=XᵀAX变换为g=YᵀBY，其中B=CᵀAC；当C可逆时，称此替换为非退化（满秩）线性替换B=CᵀAC02矩阵合同的定义：若存在可逆矩阵C使B=CᵀAC，则称A与B合同，记为A≃B；合同关系具有反身性、对称性和传递性A≃B03合同变换保持矩阵的对称性不变：若A是对称矩阵，则CᵀAC也是对称矩阵；同时保持矩阵的秩不变，即rank(B)=rank(A)Symmetry&Rank04正交替换是特殊的线性替换：当C为正交矩阵时Cᵀ=C⁻¹，合同变换CᵀAC同时是相似变换C⁻¹AC，对角元素即为A的特征值Cᵀ=C⁻¹CHAPTER02标准形的定义与分类从标准形到规范形——实二次型的结构特征与正定性分类QuadraticForm标准形与规范形的严格定义标准形是仅含平方项的二次型，系数为任意实数；规范形是系数仅限+1、-1、0的标准形。任何实二次型均可化为规范形y₁²+...+yₚ²-yₚ₊₁²-...-yᵣ²，其中p为正惯性指数，r为秩，这是二次型最本质的简化形式。01

标准形：f=d₁y₁²+d₂y₂²+...+dₙyₙ²，系数dᵢ为任意实数；化标准形的方法不唯一，得到的标准形也不唯一02

规范形（正规型）：f=y₁²+...+yₚ²−yₚ₊₁²−...−yᵣ²，系数仅限+1、−1、0；其中r为二次型的秩，p为正惯性指数，q=r−p为负惯性指数03

符号差s=p−q是正惯性指数与负惯性指数之差，它与秩r、正惯性指数p一起构成描述二次型等价类的三个基本不变量04

从标准形到规范形：只需对每个非零平方项做适当的缩放替换即可，例如将2y₁²替换为z₁²只需令z₁=√2·y₁GEOMETRICINTUITION正定性的几何直觉二元二次型Q(x,y)可视为三维空间中的曲面，其形状直观反映正定性：正定对应上凸碗面，负定对应下凸碗面，不定对应马鞍面。几何直觉帮助我们从视觉角度理解代数判据的本质含义。Q>0正定曲面z=Q(x,y)像朝上的碗（椭圆抛物面），仅在原点(0,0,0)处触碰z=0平面，其余部分严格在z=0之上椭圆抛物面↑Q<0负定曲面像朝下的碗，仅在原点触碰z=0平面，其余部分严格在z=0之下，与正定关于z=0平面对称椭圆抛物面↓INDEFINITE不定曲面呈马鞍形状，在某些方向上z>0，另一些方向上z<0，原点为鞍点而非极值点马鞍面Q(x,y)≥0半正定曲面像一条槽（抛物柱面），沿某条直线与z=0平面相交，其余部分z≥0，体现"退化"的正定性抛物柱面CHAPTER03化标准形的方法（上）正交变换法与配方法——理论基础与计算技巧的结合QUADRATICFORMS正交变换法：理论基础正交变换法的核心定理保证：任意实二次型都可通过正交变换X=PY化为标准形，且标准形的系数恰好是矩阵A的特征值。01核心定理：对任意n元实二次型f=XᵀAX，必存在正交矩阵P，使得PᵀAP=P⁻¹AP=diag(λ₁,...,λₙ)，其中λᵢ为A的特征值02几何意义：正交矩阵P代表旋转变换或旋转与反射的复合，保持向量的长度和夹角不变03独特优势：化得的标准形系数是A的特征值，具有唯一性（不计排列顺序），其他方法得到的系数未必是特征值04理论保证：实对称矩阵的特征值全为实数，且不同特征值对应的特征向量正交，保证了正交矩阵P的存在性ORTHOGONALTRANSFORMATION正交变换法：完整计算步骤正交变换法包含五个标准步骤：写出矩阵A、求特征值、求特征向量、正交化单位化、构造正交矩阵。其中施密特正交化是处理重特征值的关键环节，确保最终得到的矩阵P确实是正交矩阵。01写出矩阵形式：将二次型表示为f=XᵀAX，写出n阶实对称矩阵A，注意交叉项系数平分到对称位置02求特征值：求解特征方程|λE−A|=0，得到A的全部特征值λ₁,λ₂,...,λₙ（含重根），它们是标准形的系数03求特征向量：对每个特征值λᵢ，求解齐次线性方程组(λᵢE−A)X=0，得到对应的基础解系（线性无关的特征向量）04正交化与单位化：将全部特征向量施密特正交化并单位化，得到标准正交向量组η₁,η₂,...,ηₙ，保证ηᵢᵀηⱼ=δᵢⱼ05构造正交矩阵：构造P=(η₁,η₂,...,ηₙ)，做正交变换X=PY，得到标准形f=λ₁y₁²+λ₂y₂²+...+λₙyₙ²Example·OrthogonalTransformation正交变换法：完整例题演示通过具体例题展示正交变换法的全流程：从构造矩阵、求特征值特征向量、到施密特正交化和构造正交矩阵。重特征值对应的特征向量必须正交化是该方法的核心难点。01020304STEP01构造矩阵A二次型f=2x₁²+2x₂²+2x₃²−2x₁x₂−2x₁x₃−2x₂x₃矩阵A对角元均为2，非对角元均为−13×3对称阵STEP02求特征值特征方程|λE−A|=0分解为λ(λ−3)²=0λ₁=0（一重），λ₂=λ₃=3（二重根）λ=0,3²STEP03特征向量正交化λ₁=0→ξ₁=(1,1,1)ᵀλ=3→ξ₂=(1,−1,0)ᵀ，ξ₃=(1,0,−1)ᵀ对ξ₂、ξ₃执行施密特正交化SchmidtSTEP04构造正交矩阵单位化得η₁、η₂、η₃P=(η₁,η₂,η₃)标准形f=3y₂²+3y₃²，秩为2rank=2QuadraticForms·CompletingtheSquare配方法：基本原理与策略配方法通过逐步对变量配方来消去交叉项，是化标准形最直观的方法。核心策略分两种情况：有平方项时直接配方消元，无平方项时先做辅助替换制造平方项。01情形一（存在平方项）：选取含x₁的项全部集中，配成(x₁+...)²的形式，令y₁=x₁+...，消去所有含x₁的交叉项，然后对剩余变量重复02情形二（无平方项，仅有交叉项）：做辅助替换xᵢ=uᵢ+uⱼ，xⱼ=uᵢ−uⱼ，利用(a+b)(a−b)=a²−b²制造平方项，再按情形一继续配方03替换矩阵性质：变量替换矩阵C通常是上三角矩阵（或其乘积），其行列式不为零保证替换的可逆性04优点与局限：计算简单、不需要求特征值和特征向量，适合手算；所得标准形的系数一般不是特征值EXAMPLE·完整推导配方法：完整例题演示配方法通过逐步配方消去交叉项，过程直观高效。以f=x₁²+2x₁x₂+2x₂x₃为例，两次配方即可得到标准形y₁²−y₂²+y₃²。不涉及特征值计算，是考试中最实用的化标准形方法。01对x₁配方f=x₁²+2x₁x₂+2x₂x₃，存在x₁²项，直接配方：x₁²+2x₁x₂=(x₁+x₂)²−x₂²02对x₂配方令y₁=x₁+x₂，代入得f=y₁²−x₂²+2x₂x₃；再配方：−(x₂²−2x₂x₃)=−(x₂−x₃)²+x₃²03得到标准形令y₂=x₂−x₃，y₃=x₃，最终标准形f=y₁²−y₂²+y₃²，秩=3，正惯性指数p=2，负惯性指数q=104验证替换可逆替换矩阵x₁=y₁−y₂−y₃，x₂=y₂+y₃，x₃=y₃→X=CY，C为上三角矩阵，det(C)=1≠0，替换可逆METHOD·配方法进阶配方法：无平方项的特殊处理当二次型完全不含平方项时，需要通过辅助替换xᵢ=uᵢ+uⱼ,xⱼ=uᵢ−uⱼ来制造平方项。这一技巧利用平方差公式(a+b)(a−b)=a²−b²，将交叉项转化为平方项，之后再按常规方法配方。01典型情形：f=2x₁x₂+2x₁x₃−6x₂x₃，三个变量均无平方项，无法直接配方无平方项02辅助替换：令x₁=u₁+u₂,x₂=u₁−u₂,x₃=u₃，代入后2x₁x₂=2(u₁+u₂)(u₁−u₂)=2u₁²−2u₂²，成功制造出平方项2u₁²−2u₂²03替换的可逆性保证：辅助替换矩阵的行列式det=−2≠0，因此是非退化替换，后续可以继续做可逆的配方替换det=−2≠004两步替换的合成：最终替换矩阵C=C₁·C₂（辅助替换矩阵与配方替换矩阵的乘积），仍为可逆矩阵C=C₁·C₂CHAPTER04化标准形的方法（下）合同变换法与雅可比方法——初等变换与顺序主子式的巧妙应用LINEARALGEBRA·QUADRATICFORMS合同变换法：原理与步骤合同变换法通过对矩阵A做同步的初等行变换和列变换将其对角化，同时对单位矩阵E做同样的列变换记录变换矩阵C。最终得到D=CᵀAC，过程规范且系统化。核心操作对A做初等列变换后立即做同类初等行变换，即A→APᵢ→PᵢᵀAPᵢ，保证每步都是合同变换。这种同步操作确保矩阵始终保持合同关系，是算法正确性的关键。A→PᵢᵀAPᵢ记录变换矩阵将同样的初等列变换施加于n阶单位矩阵E，E逐步变为C=P₁P₂...Pₖ，使得CᵀAC=D。所有列变换的累积效果即为所求的可逆矩阵C。C=P₁P₂···Pₖ操作格式将A和E上下或左右排列，对A做行列同步变换，对E只做列变换，直到A变为对角矩阵。这种并排的增广格式便于直观跟踪变换过程。[A|E]→[D|C]优势与局限过程机械化、规范化，不需要求特征值，适合编写算法实现；计算量随矩阵规模增大而显著增加。对于稀疏矩阵或特殊结构矩阵可进一步优化。NoEigenvaluesExample·合同变换法合同变换法：例题演示合同变换法通过系统化的初等合同变换将矩阵A对角化，每步操作都有明确的规则。以三元二次型为例，仅需两步消元即可完成对角化，变换矩阵C由单位矩阵同步记录列变换得到。01题目设定f=x₁²+2x₁x₂+2x₂x₃+2x₃²，矩阵A=[[1,1,0],[1,0,1],[0,1,2]]02第一次消元构造[A;E]，第2列减第1列、第2行减第1行后A变为[[1,0,0],[0,-1,1],[0,1,2]]，E的第2列变为(-1,1,0)ᵀ03第二次消元第3列加第2列、第3行加第2行后A变为diag(1,-1,3)，E的第3列变为(-1,1,1)ᵀ，最终C=[e₁,(-1,1,0)ᵀ,(-1,1,1)ᵀ]04结果验证标准形f=y₁²-y₂²+3y₃²，验证CᵀAC=diag(1,-1,3)成立，rank(f)=3，p=2，q=1QUADRATICFORMS雅可比方法：顺序主子式法雅可比方法利用矩阵A的顺序主子式直接确定标准形的系数：第k个系数dₖ=Δₖ/Δₖ₋₁，其中Δₖ为A的k阶顺序主子式。该方法无需消元或配方，仅需计算行列式，但要求所有顺序主子式非零。01适用条件矩阵A的所有顺序主子式Δ₁,Δ₂,…,Δₙ均不为零；令Δ₀=1，则标准形系数dₖ=Δₖ/Δₖ₋₁02计算公式f=(Δ₁/Δ₀)y₁²+(Δ₂/Δ₁)y₂²+…+(Δₙ/Δₙ₋₁)yₙ²，每个系数仅涉及两个相邻顺序主子式的比值03方法优势只需计算n个行列式即可得到标准形，过程极为简洁，特别适合矩阵元素简单或具有特殊结构的情形04局限性若某个顺序主子式为零则方法失效，需改用配方法或合同变换法；该方法仅给出标准形系数，不直接给出变换矩阵JACOBIMETHOD雅可比方法：例题演示以三元二次型为例，雅可比方法仅需计算三个顺序主子式即可得到标准形系数。本例中Δ₁=2,Δ₂=6,Δ₃=6，标准形为2y₁²+3y₂²+y₃²。由于所有系数为正，可立即判定该二次型正定。01📐题目建立给定三元二次型f=2x₁²+4x₁x₂+5x₂²+6x₂x₃+4x₃²，写出对称矩阵A=[[2,2,0],[2,5,3],[0,3,4]]，为后续计算顺序主子式做准备。3×302🔢顺序主子式计算各阶顺序主子式：Δ₁=|2|=2，Δ₂=|22;25|=10−4=6，Δ₃=|A|=2(20−9)−2(8)=6，三者均不为零保证可对角化。2,6,603⚡标准形系数由公式dᵢ=Δᵢ/Δᵢ₋₁得：d₁=2/1=2，d₂=6/2=3，d₃=6/6=1。因此标准形为f=2y₁²+3y₂²+y₃²，系数即为主子式比值。2,3,104✓正定性判定标准形三个系数2,3,1全为正数，等价于三个顺序主子式Δ₁,Δ₂,Δ₃全为正，根据西尔维斯特准则，矩阵A正定，二次型f为正定二次型。正定CHAPTER05惯性定理与正定性判定从不变量到判别准则——揭示二次型的本质特征QUADRATICFORMS西尔维斯特惯性定理惯性定理揭示了实二次型的本质不变量：无论采用何种可逆线性替换化为规范形，正平方项个数p和负平方项个数q唯一确定，不随替换方法改变。01惯性定理任意n元实二次型化为规范形后，正平方项个数p和负平方项个数q=r−p由原二次型唯一确定，与替换选择无关。Sylvester02核心不变量正惯性指数p、负惯性指数q=r−p、符号差s=p−q完全刻画了二次型在合同变换下的等价类。s=p−q03等价判定两个n元实二次型等价的充要条件：它们有相同的秩r和相同的正惯性指数p。r,p相同04矩阵形式对任意n阶实对称矩阵A，存在可逆矩阵R使RᵀAR=diag(1,…,1,−1,…,−1,0,…,0)，+1和−1的个数唯一确定。RᵀARLINEARALGEBRA·POSITIVEDEFINITENESS正定性的三大判定方法实对称矩阵A的正定性有三种等价判据：特征值全正、顺序主子式全正、与单位矩阵合同。其中顺序主子式判据计算最为直接，是工程实践中最常用的方法。01特征值判据A正定⟺A的n个特征值λ₁,...,λₙ全大于零；这是最本质的判据但需要解特征方程λ₁…λₙ>002顺序主子式判据A正定⟺Δ₁>0,Δ₂>0,...,Δₙ>0，即所有k阶顺序主子式均为正数（Sylvester判据）Sylvester03合同判据A正定⟺存在可逆矩阵C使A=CᵀC（即A与单位矩阵E合同），C的列向量构成A的"平方根"分解A=CᵀC04负定判据A负定⟺(-A)正定⟺奇数阶顺序主子式为负、偶数阶为正，即Δₖ的符号为(-1)ᵏsgn(Δₖ)=(−1)ᵏCompleteExample正定性判定：完整例题以三阶矩阵为例，顺序主子式判据仅需计算三个行列式即可完成正定性判定。本例中Δ₁=2>0,Δ₂=3>0,Δ₃=4>0，三步验证确认A正定。该方法避免了求解特征方程的复杂计算，是最高效的判定途径。01题目：判定A=[[2,−1,0],[−1,2,−1],[0,−1,2]]的正定性。该矩阵对应三对角结构，常见于差分方程和优化问题。02计算：Δ₁=2>0✓｜Δ₂=|[2,−1;−1,2]|=4−1=3>0✓｜Δ₃=2(4−1)+1(−2−0)=6−2=4>0✓03结论：三个顺序主子式