二次型习题章节

QF高等代数LECTURESERIES典型例题与解题方法线性代数·核心考点突破二次型习题章节精讲高等代数·典型例题与解题方法系统梳理CHAPTERQuadraticForms内容概要定义与标准形·正定性判定·合同变换·综合应用01Q二次型习题精讲CONTENTSOVERVIEW课程内容概览六大章节系统覆盖二次型核心理论与解题方法01二次型基础概念二次型的定义与多项式形式表达对称矩阵表示法与矩阵形式的转换二次型的秩与基本性质概述02配方法化标准形配方法的基本思路与操作步骤含平方项与不含平方项的处理技巧非奇异线性变换矩阵的构造方法03正交变换法化标准形特征值与特征向量的求解流程施密特正交化与单位化处理正交矩阵的构造与标准形写出04惯性定理与规范形惯性定理的核心内容与意义正负惯性指数与符号差的概念规范形的唯一性与合同分类05正定性判定正定、负定、半正定的定义区分顺序主子式判定法的操作步骤特征值法与其他判定条件的应用06综合应用与总结参数取值范围类问题的解题策略多方法对比与易错点归纳课后练习方向与复习建议QUADRATICFORM·TUTORIAL02Q二次型习题精讲CHAPTERDIVIDERCHAPTER01二次型基础概念定义、矩阵表示与基本性质DEFINITIONQUADRATICFORMS二次型的定义二次型是n个变量的二次齐次多项式，每一项次数均为2，不含一次项与常数项；其一般形式包含平方项与交叉项两类，系数完全决定了该二次型的代数结构。01一般形式n元二次型的一般形式为f(x₁,...,xₙ)=Σaᵢⱼxᵢxⱼ（i≤j时求和），所有项的次数均为2，这是判断二次型的首要条件。02系数与矩阵的对应平方项xᵢ²的系数直接对应矩阵对角线元素；交叉项xᵢxⱼ（i≠j）的系数需平分后填入矩阵的(i,j)和(j,i)位置，保证矩阵对称。03一一对应关系二次型与其对称矩阵一一对应：给定二次型可唯一写出对称矩阵A，反之给定对称矩阵也可唯一还原二次型表达式。04实二次型与复二次型实二次型要求系数全为实数、变量取实数值；复二次型则允许复系数与复变量，本课程主要讨论实二次型的情形。COREf(x₁,...,xₙ)=ΣᵢΣⱼaᵢⱼxᵢxⱼf=xᵀAxA为实对称矩阵，A=AᵀQuadraticFormsEXAMPLE矩阵表示法与实例将二次型写成xTAx的形式，其中A是对称矩阵；对角线元素取平方项系数，非对角线元素取对应交叉项系数的一半，这种表示法是后续所有矩阵运算的基础。例：f=x₁²+2x₁x₂+3x₂²对应矩阵A=[[1,1],[1,3]]，验证xTAx展开即得原式，确认矩阵书写正确。三元二次型：f=2x₁²−x₂²+3x₃²+4x₁x₂−2x₁x₃+6x₂x₃的矩阵为[[2,2,−1],[2,−1,3],[−1,3,3]]，注意交叉项系数平分。矩阵表示优势：线性变换x=Cy下，新二次型矩阵为CTAC，将多项式运算转化为矩阵合同运算，大幅简化推导。几何意义：二元二次型等高线形状由矩阵特征值符号决定——两正为椭圆、一正一负为双曲线、含零为抛物线或退化情形。二元二次型等高线：矩阵正定→椭圆族，不定→双曲线族Q二次型习题精讲PROPERTIES§3·秩与合同二次型的秩与基本性质二次型的秩等于其对称矩阵的秩，也等于标准形中非零系数个数；合同变换保持秩、对称性和正负惯性指数不变，这些不变量是分类二次型的理论基础。01秩的定义与不变性二次型f=xTAx的秩定义为rank(A)，它等于经可逆线性变换化成的标准形中非零平方项的个数，与所用变换方法无关。02合同关系与等价性若存在可逆矩阵C使B=CTAC，则A与B合同；合同是等价关系（自反、对称、传递），保持矩阵的对称性和秩不变。03退化与非退化二次型满秩二次型（rank=n）称为非退化二次型，其矩阵可逆；秩小于n的称为退化二次型，标准形中会出现零系数项，对应变量不出现在表达式中。04合同对角化定理实对称矩阵必可合同对角化，即任一实二次型都可经可逆线性变换化为只含平方项的标准形，这是配方法和正交变换法存在的理论保证。Chapter02SECTIONDIVIDER配方法化标准形逐步配方消去交叉项的直观方法QUADRATICFORMSMETHODOLOGYQUADRATICFORMS·§03配方法操作流程配方法通过逐步对含平方项的变量配方来消去交叉项，每步引入新变量并保证变换可逆；若无平方项则先做辅助变换制造平方项，最终将二次型化为仅含平方项的标准形。01含平方项时集中配方检查是否含某变量xk的平方项，若有则将含xk的所有项集中，按完全平方公式配方，令yk等于配方后的括号表达式。02迭代消元至标准形将yk代入，剩余部分是关于其余变量的二次型，对其重复步骤一，直到所有交叉项被消除，得到标准形Σdiyi²。03无平方项时的辅助变换若原二次型不含任何平方项（如f=x₁x₂+x₁x₃+x₂x₃），先令x₁=y₁+y₂,x₂=y₁−y₂等辅助变换，产生平方项后再按步骤一、二处理。04变换矩阵构造每步配方对应一个初等变换矩阵Ck，总变换矩阵C=C₁C₂···Cm，满足x=Cy且C可逆，标准形系数即为CᵀAC的对角元素。EXERCISEQUADRATICFORMS例题：含平方项的三元二次型对含x₁²的三元二次型，先对x₁集中配方消去含x₁的交叉项，再对剩余部分中的x₂配方，两步即可完成化简；关键在于配方后正确展开整理剩余项，避免符号错误。1题目与第一步配方f=x₁²+2x₂²+2x₁x₂−2x₁x₃，含x₁²项，先对x₁配方：x₁²+2x₁(x₂−x₃)=(x₁+x₂−x₃)²−(x₂−x₃)²2代回整理f=(x₁+x₂−x₃)²−(x₂²−2x₂x₃+x₃²)+2x₂²=(x₁+x₂−x₃)²+x₂²+2x₂x₃−x₃²再对x₂配方：x₂²+2x₂x₃=(x₂+x₃)²−x₃²3最终标准形f=(x₁+x₂−x₃)²+(x₂+x₃)²−2x₃²令y₁=x₁+x₂−x₃,y₂=x₂+x₃,y₃=x₃→标准形y₁²+y₂²−2y₃²4反解变换与验证x₃=y₃,x₂=y₂−y₃,x₁=y₁−y₂+2y₃变换矩阵|C|=1（非奇异），验证CᵀAC=diag(1,1,−2)✓配方法推导步骤示意Example例题：不含平方项的处理技巧当二次型不含任何平方项时，需先做辅助变换x₁=y₁+y₂、x₂=y₁−y₂制造出平方项，之后再按常规配方流程处理；此辅助变换是可逆的，保证了最终标准形的合法性。1题目与辅助变换：f=x₁x₂+x₁x₃+x₂x₃，无平方项，无法直接配方。做辅助变换：令x₁=y₁+y₂,x₂=y₁−y₂,x₃=y₃（行列式=−2≠0，可逆）。2代入计算：x₁x₂=(y₁+y₂)(y₁−y₂)=y₁²−y₂²；x₁x₃+x₂x₃=(y₁+y₂+y₁−y₂)y₃=2y₁y₃。合并得f=y₁²−y₂²+2y₁y₃。3对y₁配方：y₁²+2y₁y₃=(y₁+y₃)²−y₃²，故f=(y₁+y₃)²−y₂²−y₃²。令z₁=y₁+y₃,z₂=y₂,z₃=y₃，标准形为z₁²−z₂²−z₃²。4复合变换与验证：总变换由辅助变换与配方变换复合而成。正惯性指数p=1，负惯性指数q=2，秩r=3，与原二次型一致，验证了惯性定理。二次型·配方法QUADRATICFORMSCONSTRUCTIONLINEARALGEBRA非奇异线性变换矩阵的构造变换矩阵可通过记录每步配方的变量替换关系逐步构造，也可先写出新变量关于旧变量的表达式矩阵再求逆；无论哪种方法，都必须验证矩阵可逆且合同变换结果正确。方法一：逐步记录每步配方令yk=表达式，写成y=Mx的形式，M为上三角或初等矩阵；总变换x=Cy中C=M−1，多步时C=M1−1M2−1…。方法二：直接反解从标准形的变量定义出发，如y1=x1+x2−x3，y2=x2+x3，y3=x3，写成y=Nx，则x=N−1y，C=N−1即为所求。验证环节不可省略计算|C|确认非零（可逆），再算CTAC检查是否为对角阵且对角元素与标准形系数一致，这是防止配方错误的最后防线。常见错误提醒配方时漏掉负号、反解时搞混新旧变量方向、忘记验证可逆性；建议养成"配完即验"的习惯，避免在后续步骤中累积错误。QUADRATICFORMS·EXERCISELECTUREEXERCISEQUADRATICFORMS课堂练习：配方法综合题通过一道包含平方项与多个交叉项的三元二次型练习，巩固配方法的完整流程，重点训练变换矩阵的构造与验证能力。题目用配方法化f=x₁²−4x₁x₂−6x₁x₃+5x₂²−10x₂x₃+6x₃²为标准形，并写出所用的非奇异线性变换矩阵C。1对x₁配方含x₁²项，先对x₁配方：x₁²−4x₁x₂−6x₁x₃=(x₁−2x₂−3x₃)²−(2x₂+3x₃)²，注意括号内系数是交叉项系数的一半。2合并整理，再对x₂配方展开(2x₂+3x₃)²并与原式中剩余的5x₂²−10x₂x₃+6x₃²合并整理，得到关于x₂,x₃的新二次型，再对x₂配方。3构造变换矩阵并验证设最终新变量为y₁,y₂,y₃，写出y关于x的表达式矩阵N，求N⁻¹得C；最后计算CᵀAC验证对角元素与标准形系数匹配。答案下节课公布，请独立完成QUADRATICFORMS·EXERCISECHAPTER03正交变换法化标准形基于特征值分解的规范化方法Q二次型习题精讲THEORYOrthogonalTransformation正交变换法的理论基础实对称矩阵必可正交对角化：存在正交矩阵P使PTAP=diag(λ₁,...,λₙ)，其中λᵢ为A的特征值；正交变换保持向量长度不变，所得标准形系数即为特征值。THEOREM核心定理对任意n阶实对称矩阵A，存在正交矩阵P（满足PT=P−1）使得PTAP=Λ=diag(λ₁,...,λₙ)，其中λᵢ为A的全部实特征值。GEOMETRY几何意义正交变换x=Py是旋转或反射，不改变向量的欧几里得长度‖x‖=‖y‖，因此标准形中的系数直接反映原二次型在各主轴方向的"伸缩率"。COMPARE与配方法的区别配方法得到的标准形系数依赖于配方顺序，不唯一；正交变换法的标准形系数（特征值）由矩阵唯一确定，更具内在不变性。SCENARIO适用场景当题目明确要求"正交变换"或需要利用特征值信息（如判定正定性、求极值）时优先使用；纯手算且矩阵较小时配方法可能更快。METHODOLOGYQUADRATICFORMS·LECTURE15正交变换法操作步骤正交变换法四步走：写矩阵→求特征值→求特征向量并正交化→单位化构造正交矩阵；所得标准形系数即特征值，变换矩阵的列向量指示了二次型的主轴方向。01写矩阵将二次型写成对称矩阵A，确保对角线为平方项系数、非对角线为交叉项系数的一半，这是后续所有计算的起点。02求特征值解特征方程|A−λI|=0求出全部特征值λ₁,…,λₙ（含重根），实对称矩阵保证特征值全为实数。03求特征向量并正交化对每个λᵢ解(A−λᵢI)x=0得基础解系；若λᵢ为k重根，需用施密特正交化使其两两正交。04单位化构造正交矩阵将所有正交特征向量单位化，按列排成矩阵P，则x=Py下f=Σλᵢyᵢ²即为标准形。二维情形：特征向量方向即椭圆主轴方向，正交变换将坐标轴旋转至主轴EXERCISEQUADRATICFORMS例题：特征值含重根的正交变换当特征值有重根时，对应特征空间的基础解系不一定正交，需检查并用施密特正交化处理；本例中两个特征向量恰好正交，可直接单位化，简化了计算过程。01题目与矩阵题目：f=2x₁²+2x₂²+2x₃²−2x₁x₂−2x₁x₃−2x₂x₃矩阵：A=[[2,−1,−1],[−1,2,−1],[−1,−1,2]]，求正交变换化标准形。02求特征值特征方程：|A−λI|=−(λ−3)²λ=0特征值：λ₁=λ₂=3（二重根）、λ₃=0对λ=3解(A−3I)x=0得α₁=(1,−1,0)ᵀ、α₂=(1,1,−2)ᵀ03正交化与单位化验证正交：α₁·α₂=1−1+0=0✓已正交单位化：β₁=(1/√2,−1/√2,0)ᵀβ₂=(1/√6,1/√6,−2/√6)ᵀ对λ=0：α₃=(1,1,1)ᵀ→β₃=(1/√3,1/√3,1/√3)ᵀ04正交矩阵与标准形正交矩阵：P=[β₁,β₂,β₃]标准形：f=3y₁²+3y₂²验证：PᵀP=I且PᵀAP=diag(3,3,0)✓ORTHOGONALIZATION施密特正交化详解施密特正交化通过逐步减去投影分量将线性无关向量组转为正交向量组；公式中分母取未单位化向量的自内积，正交化完成后再统一单位化，避免中间步骤引入不必要的根号运算。01公式回顾u₁=v₁u₂=v₂−[(v₂·u₁)/(u₁·u₁)]u₁u₃=v₃−[(v₃·u₁)/(u₁·u₁)]u₁−[(v₃·u₂)/(u₂·u₂)]u₂每个新向量减去在所有前序正交向量上的投影分量，分母为未单位化向量的自内积。02实操示例已知v₁=(−2,1,0)，v₂=(2,0,1)u₁=v₁=(−2,1,0)u₂=v₂−[(v₂·u₁)/(u₁·u₁)]u₁=(2,0,1)−[(−4)/5](−2,1,0)=(2/5,4/5,1)03验证正交正交验证：u₁·u₂=−4/5+4/5+0=0✓单位化结果：e₁=(−2/√5,1/√5,0)e₂=(2/(3√5),4/(3√5),5/(3√5))04常见错误分母误用||u₁||而非u₁·u₁（差一个开方）正交化中途就单位化，导致后续投影系数变复杂忘记验证最终结果的正交性和单位性ComparisonQUADRATICFORMS配方法与正交变换法对比两种化标准形方法各有优势，选择取决于题目要求与矩阵特点；秩与惯性指数是不变量，可用于交叉验证。比较维度配方法正交变换法理论基础完全平方公式与可逆线性变换实对称矩阵正交对角化定理标准形系数依赖配方顺序，不唯一等于特征值，由矩阵唯一确定变换矩阵性质一般可逆矩阵，不一定是正交阵正交矩阵，保持向量长度不变计算复杂度手算友好，适合小规模问题需求特征值和正交化，计算量较大适用场景快速化简、无特殊要求时首选题目要求正交变换或需特征值信息时共同不变量秩、正负惯性指数、符号差均相同两种方法各有优势，选择取决于题目要求与矩阵特点；无论哪种方法，秩与惯性指数是不变量，可用于交叉验证结果正确性。CHAPTER04惯性定理与规范形二次型的不变量与合同分类SECTIONDIVIDERQ二次型习题精讲THEOREMINERTIATHEOREM惯性定理的核心内容惯性定理断言：实二次型经任意可逆变换化成的标准形中，正系数个数p与负系数个数q是唯一确定的不变量；(p,q)完全决定了该二次型的合同等价类。01定理表述设实二次型f经可逆变换x=Cy化为d₁y₁²+…+dₙyₙ²，又经x=Pz化为e₁z₁²+…+eₙzₙ²，则dᵢ中正数个数=eᵢ中正数个数=p，负数个数同理均为q。02惯性指数正惯性指数p=标准形中正系数个数=矩阵正特征值个数；负惯性指数q=负系数个数=负特征值个数；秩r=p+q=非零系数个数=非零特征值个数。03符号差符号差s=p−q是另一个常用不变量，与(p,q)等价地刻画合同类。例如p=2,q=1与p=1,q=2的秩相同但符号差不同，属于不同合同类。04理论意义惯性定理将无穷多个二次型按合同关系分成有限个等价类（n元时共(n+1)(n+2)/2类），每类由(p,q)唯一标记，这是二次型分类的完整答案。QUADRATICFORMSLECTURE·规范形规范形的定义与求法规范形是将标准形中非零系数归一化为±1后的唯一形式，其结构y₁²+...+yp²−yp+1²−...−yr²完全由正负惯性指数决定，是二次型合同分类的标准代表元。01定义实二次型的规范形为z₁²+...+zp²−zp+1²−...−zr²，其中p为正惯性指数，r−p=q为负惯性指数，r为秩；系数只取1、−1、0三种值。02唯一性由惯性定理保证，同一二次型的规范形唯一确定；不同规范形对应不同合同类，因此规范形是合同等价类的标准代表元。03从标准形到规范形若标准形为d₁y₁²+...+dryr²（di≠0），令zi=yi/√|di|（i=1..r），则diyi²=sign(di)·zi²，即得规范形。04示例3y₁²−2y₂²+y₃²→z₁²−z₂²+z₃²（p=2,q=1,r=3）5y₁²−7y₂²→z₁²−z₂²（p=1,q=1,r=2）Q二次型习题精讲EXERCISEEXAMPLE例题：求规范形与惯性指数通过配方法将含缺失平方项的三元二次型化为标准形后，可直接读出正负惯性指数；规范形由惯性指数唯一确定，无需额外计算，体现了惯性定理的实际应用价值。01题目分析题目：f=x₁²+2x₁x₂+2x₁x₃，求规范形、正负惯性指数及符号差。观察发现缺少x₂²和x₃²项，仅有x₁²与含x₁的交叉项。02配方过程对x₁配方：x₁²+2x₁(x₂+x₃)=(x₁+x₂+x₃)²−(x₂+x₃)²，故f=(x₁+x₂+x₃)²−(x₂+x₃)²，已是标准形（仅两项）。03读取不变量正系数1个→p=1负系数1个→q=1秩r=p+q=2<3（退化二次型）符号差s=p−q=0，规范形为z₁²−z₂²04方法验证用正交变换法求特征值应得一个正、一个负、一个零，与p=1,q=1,r=2一致；两种方法结果吻合，确认惯性定理成立。结论规范形z₁²−z₂²·p=1,q=1·秩r=2·符号差s=0CHAPTER05正定性判定正定、负定、半正定的判别方法与应用05/QUADRATICFORMSDEFINITIONS正定性的五种分类定义实二次型按取值符号分为五类：正定（恒正）、负定（恒负）、半正定（非负且有零点）、半负定（非正且有零点）、不定（既可正也可负）；正定必满秩，半正定允许降秩。01正定对任意x≠0有f(x)>0（等价于A的所有特征值>0，或所有顺序主子式>0）；正定矩阵记为A>0，必可逆02负定对任意x≠0有f(x)<0（等价于−A正定，或特征值全<0，或奇数阶顺序主子式<0、偶数阶>0）；记为A<003半正定对任意x有f(x)≥0，且存在x≠0使f(x)=0（等价于特征值≥0且至少一个=0，或所有主子式≥0且行列式=0）04半负定对任意x有f(x)≤0，且存在x≠0使f(x)=0（等价于−A半正定，或特征值≤0且至少一个=0）05不定存在x₁,x₂使f(x₁)>0且f(x₂)<0（等价于特征值既有正又有负）；既不正定也不负定也不半定，是最一般的情形Q二次型习题精讲METHODDETERMINANTCRITERION顺序主子式判定法实对称矩阵正定的充要条件是所有顺序主子式Δ₁,...,Δₙ均大于零；负定的充要条件是奇数阶顺序主子式为负、偶数阶为正；此法计算简便，是手算判定正定性的首选方法。定义：k阶顺序主子式Δₖ是矩阵A左上角k×k子矩阵的行列式，即Δₖ=det(A[1:k,1:k])，共n个（k=1,2,...,n）。正定判定：A正定⟺Δ₁>0,Δ₂>0,...,Δₙ>0全部成立；只要有一个Δₖ≤0就不是正定（但可能是半正定或不定）。负定判定：A负定⟺Δ₁<0,Δ₂>0,Δ₃<0,Δ₄>0,...交替变号（奇负偶正）；等价于-A正定，也可对-A用正定判定。局限性：顺序主子式法只能判定正定和负定，不能区分半正定与不定（例如Δ₁>0,Δ₂=0可能是半正定也可能是不定）；此时需改用特征值法。三阶矩阵的三个顺序主子式选取位置示意Δ₁>0一阶主子式即a₁₁Δ₂>0二阶主子式左上2×2行列式Δₙ>0n阶主子式即det(A)EIGENVALUEMETHODQUADRATICFORMS·LECTURE26特征值判定法通过求解矩阵全部特征值的符号分布，可完整判定二次型属于正定、负定、半正定、半负定还是不定；此法无盲区，且在已求特征值的题目中可直接复用结果。判定规则设A的特征值为λ₁≤λ₂≤…≤λₙ。全>0→正定；全<0→负定；≥0且含0→半正定；≤0且含0→半负定；有正有负→不定。与标准形的联系正交变换下标准形系数就是特征值，因此若已化出标准形，直接看系数符号即可判定，无需重新求特征值。标准形系数与特征值符号完全一致。优势能区分全部五类正定性，无顺序主子式法的盲区；特别适合已求特征值或已化标准形的题目，避免重复计算，一举两得。劣势求特征值需解n次方程，高阶时计算量大；数值不整齐时可能出现无理数，增加判断难度；此时可结合顺序主子式法先快速排除。H二次型习题精讲POSITIVEDEFINITENESSEXAMPLE例题：含参数的正定性判定含参二次型的正定性判定通过将顺序主子式表达为参数的函数，建立不等式组求解参数范围；本题展示了从写矩阵到列不等式再到求解的完整流程。01写出二次型矩阵f=5x₁²+x₂²+ax₃²+4x₁x₂−2x₁x₃+4x₂x₃，对角线与交叉项系数分别对应矩阵元素，得：A=[[5,2,−1],[2,1,2],[−1,2,a]]02计算顺序主子式Δ₁=5>0✓恒成立Δ₂=5×1−2×2=1>0✓恒成立Δ₃=det(A)=a−2903正定条件与结论正定要求Δ₁>0,Δ₂>0,Δ₃>0同时成立。前两个自动满足，只需：a−29>0⟹a∈(29,+∞)04延伸思考若a=29，则Δ₃=0但Δ₁,Δ₂>0，需进一步检查特征值判断是半正定还是不定。本例a=29时为半正定。MatrixA52−152−1212−12aPrincipalMinorsΔ₁=5>0✓Δ₂=1>0✓Δ₃=a−29>0Conclusiona∈(29,+∞)f为正定二次型方法要点正定条件转化为关于参数的不等式组，求交集即得参数范围。Q二次型习题精讲CRITERIASUPPLEMENT其他正定性判定准则除顺序主子式和特征值法外，Cholesky分解、全主子式条件、矩阵乘积形式等也提供了判定正定性的有效途径，尤其在理论证明和特殊结构中更为便捷。Cholesky分解A正定⟺存在下三角可逆矩阵L使A=LLᵀ；此分解在数值计算中广泛使用，也可作为理论判定依据。全主