二次型与二次曲面

AdvancedAlgebra&AnalyticGeometry二次型与二次曲面高等代数·解析几何教学讲义代数理论与几何直觉的统一视角CONTENTS目录01二次型的代数基础二次型定义·矩阵表示·合同变换03–0602二次型的标准化方法配方法·正交变换法·合同变换法07–1203二次曲面的分类椭球面·双曲面·抛物面·退化曲面13–1804代数与几何的统一不变量理论·几何应用·物理实例19–24CHAPTER01第一章二次型的代数基础矩阵表示·合同变换·惯性定理Q高等代数QUADRATICFORMSDefinition二次型的定义与矩阵表示二次型是n个变量的二次齐次多项式，其本质可由一个实对称矩阵唯一刻画。将多项式写成xᵀAx的形式后，所有代数性质均可转化为矩阵语言，这是连接代数与几何的桥梁。二次齐次多项式：n元二次型f(x₁,…,xₙ)=Σaᵢⱼxᵢxⱼ是变量的二次齐次多项式，其中交叉项系数满足aᵢⱼ=aⱼᵢ，保证矩阵对称性。一一对应关系：每个实二次型对应唯一的实对称矩阵A，使得f(x)=xᵀAx；反之任一实对称矩阵也确定一个二次型。工具转化优势：矩阵表示将多项式运算转化为矩阵运算，使合同变换、特征值分析等线性代数工具可直接应用于二次型研究。矩阵表示·MatrixRepresentationf(x)=xT

A

xA=AT·A∈ℝn×nQ二次型讲义MATRIXREPRESENTATION二次型的矩阵表示实例通过具体例子展示如何从多项式提取对称矩阵：平方项系数直接成为对角元，交叉项系数平分到对称位置。这一规则是后续所有矩阵操作的基础。01写出二次型并识别各项系数f=x₁²+2x₂²+3x₃²+2x₁x₂−4x₁x₃+6x₂x₃平方项x₁²→1，2x₂²→2，3x₃²→3交叉项2x₁x₂，−4x₁x₃，6x₂x₃02按规则填入对称矩阵对角元：a₁₁=1,a₂₂=2,a₃₃=32x₁x₂→a₁₂=a₂₁=2/2=1−4x₁x₃→a₁₃=a₃₁=−4/2=−26x₂x₃→a₂₃=a₃₂=6/2=311−2123−233=A03验证矩阵表示的正确性计算xTAx展开后与原多项式逐项比对：对角元产生平方项x₁²+2x₂²+3x₃²，对称位置的a₁₂=a₂₁=1产生2x₁x₂，以此类推，所有项完全吻合，确认A为f的矩阵表示。这是后续正交变换标准化的起点。Q二次型讲义THEORYLinearSubstitution线性替换与合同变换对二次型做可逆线性替换x=Py，等价于对其矩阵A做合同变换PᵀAP。合同关系保持了二次型的核心代数不变量，是化简的理论基础。01变量替换设x=Py（P可逆），代入二次型表达式：f=xTAx=(Py)TA(Py)=yT(PTAP)y新二次型的矩阵为B=PTAP02合同关系矩阵A与B称为合同，记作A≃B合同是一种等价关系，具有：自反性：A≃A对称性：A≃B→B≃A传递性：A≃B,B≃C→A≃C03代数不变量合同变换不改变以下核心属性：矩阵的秩—rank(B)=rank(A)正惯性指数—正特征值个数不变负惯性指数—负特征值个数不变这些不变量决定了二次型的本质分类CONCEPTS标准形与规范形任何实二次型都可经可逆线性替换化为只含平方项的标准形d₁y₁²+…+dₙyₙ²；进一步调整系数可得规范形z₁²+…+zₚ²−zₚ₊₁²−…−zᵣ²，其中p和r−p由二次型唯一确定。01标准形f=d₁y₁²+d₂y₂²+…+dₙyₙ²消除交叉项：所有交叉项被消去，只保留平方项，二次型结构一目了然系数自由：系数dᵢ可为正、负或零，个数等于变量数n不唯一：不同的可逆线性替换可能得到不同的标准形02规范形f=z₁²+…+zₚ²−zₚ₊₁²−…−zᵣ²系数归一化：非零系数统一为±1，正项数p为正惯性指数惯性指数：负项数r−p为负惯性指数，r为二次型的秩唯一确定：规范形由二次型本身唯一决定——惯性定理的核心结论核心区分：标准形不唯一（依赖化简方法），规范形唯一——正项数p与负项数r−p是二次型的内在不变量Q二次型与二次曲面THEOREMSylvester'sLawofInertia西尔维斯特惯性定理惯性定理断言：实二次型的正惯性指数p、负惯性指数q和零项数z=n−r在任意可逆线性替换下保持不变。这意味着二次型的"正负结构"是其内在属性，与坐标系选择无关。Theorem定理表述若实二次型经两种不同可逆变换分别化为规范形，则两者的正项数p相同、负项数q相同。证明思路假设存在两种规范形正项数不同，构造子空间维数矛盾；或利用连续性与连通性论证。核心在于证明正定子空间与负定子空间的维数在合同变换下不可能改变。推论与应用符号差s=p−q也是不变量，结合秩r=p+q可完全刻画实二次型的合同等价类。每一组(p,q)唯一确定一个合同类。Q二次型讲义GEOMETRYGeometricInterpretation惯性定理的几何意义惯性定理揭示了二次型所定义的几何对象（二次曲面）的本质分类依据：正负惯性指数的组合直接决定曲面是椭球型、双曲型还是抛物型，与具体坐标选取无关。完整分类：在三维空间中，(p,q)=(3,0)对应椭球面，(2,1)对应单叶双曲面，(1,2)对应双叶双曲面退化情形：当r<3时出现退化——(2,0)为椭圆柱面，(1,1)为双曲柱面，(1,0)为抛物柱面等坐标无关性：惯性定理保证了这种分类的良定义性——无论怎样旋转或平移坐标系，曲面类型不会改变ClassificationReference3,0椭球面2,1单叶双曲面1,2双叶双曲面0,3虚椭球面CLASSIFICATION合同等价类的完全分类n元实二次型的合同等价类由(p,q)唯一标记，共有(n+1)(n+2)/2种不同的类。这一分类结果是二次型代数理论的基石，也为二次曲面的仿射分类提供了代数依据。(p,q)r标准形几何对应类型1(3,0)3x₁²+x₂²+x₃²椭球面非退化2(2,1)3x₁²+x₂²−x₃²单叶双曲面/双曲抛物面非退化3(1,2)3x₁²−x₂²−x₃²双叶双曲面非退化4(0,3)3−x₁²−x₂²−x₃²虚椭球面非退化5(2,0)2x₁²+x₂²椭圆柱面退化6(1,1)2x₁²−x₂²一对相交平面退化7(0,2)2−x₁²−x₂²虚椭圆柱面退化8(1,0)1x₁²一对重合平面退化9(0,1)1−x₁²一对重合平面退化10(0,0)00全空间退化非退化4类对应真正的二次曲面（椭球面、单叶双曲面、双叶双曲面、虚椭球面）退化6类对应柱面、锥面或平面等低维几何对象速查方法：计算矩阵特征值符号即可确定等价类CHAPTER02二次型的标准化方法配方法·合同变换法·正交变换法Q二次型与二次曲面METHODCompletingtheSquare配方法的基本思想配方法通过逐次配方消除交叉项，将二次型化为平方和形式。它不依赖矩阵运算，直观易懂，适用于手算小规模问题，且能自然导出可逆线性替换矩阵。01集中配方含x₁项的完全平方构造若含x₁²项，将所有含x₁的项集中配方：a₁₁x₁²+2x₁(Σa₁ⱼxⱼ)+…=a₁₁(x₁+…)²+剩余部分02递归消元逐变量递归直至标准形对剩余部分递归处理下一个变量的平方项，直至所有交叉项被消除，得到标准形03可逆保证上三角矩阵行列式为1每一步配方对应一个可逆线性替换，最终替换矩阵为上三角矩阵，行列式为1，保证非退化Example配方法完整示例以f=x₁²+2x₂²+3x₃²+2x₁x₂−4x₁x₃+6x₂x₃为例，演示配方法的完整流程：先对x₁配方，再对x₂配方，最后整理x₃项，逐步得到标准形并写出变换矩阵。01对x₁配方含x₁项：x₁²+2x₁x₂−4x₁x₃=(x₁+x₂−2x₃)²−x₂²+4x₂x₃−4x₃²将含x₁的三项凑成完全平方，减去多出的x₂²−4x₂x₃+4x₃²02对x₂配方剩余x₂项：x₂²+10x₂x₃−x₃²=(x₂+5x₃)²−25x₃²−x₃²合并剩余x₂项，配成(x₂+5x₃)²，余下−26x₃²03变量替换y₁=x₁+x₂−2x₃y₂=x₂+5x₃y₃=x₃f=y₁²+y₂²−26y₃²变换矩阵可逆，得到标准形H高等代数QUADRATICFORMSTECHNIQUE无平方项时的处理技巧当二次型不含任何平方项时，需先做一个辅助线性替换引入平方项，再行配方。常用技巧是令xᵢ=yᵢ+yⱼ,xⱼ=yᵢ−yⱼ，利用(a+b)(a−b)=a²−b²产生平方项。问题：无平方项f=2x₁x₂+2x₁x₃+2x₂x₃所有项均为交叉项xᵢxⱼ，无法直接使用配方法。需要预处理。辅助替换技巧：辅助线性替换x₁=y₁+y₂x₂=y₁−y₂x₃=y₃利用平方差公式(a+b)(a−b)=a²−b²制造平方项。01代入替换将x₁=y₁+y₂,x₂=y₁−y₂,x₃=y₃代入原式，交叉项2x₁x₂化为2(y₁²−y₂²)，出现平方项。02展开化简展开整理得f=2y₁²−2y₂²+4y₁y₃，此时已出现y₁²和y₂²平方项，可对y₁正常配方。03几何本质此技巧本质上是通过坐标旋转45°将交叉项转化为平方差，是配方法的前置预处理步骤。二次型与二次曲面·配方法专题LECTURE14H高等代数ALGORITHMALGORITHM合同变换法（初等变换法）合同变换法将对A的成对初等行列变换同步记录在单位矩阵上，最终A化为对角阵Λ的同时，I化为变换矩阵P，满足PᵀAP=Λ。该方法机械化程度高，适合编程实现。01CONSTRUCT构造分块矩阵构造n×2n分块矩阵[A|I]，对A做一次初等列变换后立即做相同的初等行变换，保持对称性02TRANSFORM执行合同变换对右侧I只做与A相同的列变换（不做行变换），当A化为对角阵D时，I变为P，满足PᵀAP=D03TRACE追溯变换矩阵每步对应初等矩阵E，最终P=E₁E₂…Eₖ，D=Eₖᵀ…E₁ᵀAE₁…Eₖ，过程完全可追溯核心优势01完全机械化，无需灵感02适合编程自动实现03每步变换可追溯验证THEOREMORTHOGONALTRANSFORMATION正交变换法与主轴定理主轴定理指出：任一实二次型f=xᵀAx可通过正交变换x=Qy化为标准形λ₁y₁²+…+λₙyₙ²，其中λᵢ是A的特征值，Q的列是对应的标准正交特征向量。正交变换保持长度和角度不变。特征值的存在性：实对称矩阵A必有n个实特征值（重根按重数计），且存在一组标准正交特征向量构成正交矩阵Q。几何结构保持：正交变换x=Qy是特殊的可逆线性替换，不仅化简二次型，还保持欧氏几何结构不变——长度与角度均不改变。几何意义解读：标准形中的系数恰好是特征值，特征值大小反映曲面在各主轴方向的"伸缩率"，赋予标准形明确的几何意义。COREFORMULAf=xTAx→x=Qy→f=λ₁y₁²+λ₂y₂²+…+λₙyₙ²坐标旋转至主轴：正交变换将椭球主轴对齐坐标轴EXAMPLE正交变换法完整示例以f=3x₁²+3x₂²+2x₁x₂+4x₁x₃−4x₂x₃为例，演示求特征值、特征向量、正交化单位化、构造Q的全过程，最终得到标准形−2y₁²+4y₂²+4y₃²。01写出矩阵并求解特征值写出矩阵A=[[3,1,2],[1,3,−2],[2,−2,0]]，解特征方程|λI−A|=0得λ₁=−2，λ₂=λ₃=402求特征向量并正交化λ₁=−2对应特征向量α₁=(−1,1,2)ᵀ；λ=4对应两个线性无关特征向量，经Gram-Schmidt正交化得α₂,α₃03单位化并构造正交矩阵Q将三个向量单位化后作为Q的列，令x=Qy即得标准形；注意重特征值对应的特征向量需Gram-Schmidt正交化COMPARISONQUADRATICFORMS三种标准化方法的比较配方法直观但标准形不唯一；合同变换法机械化适合计算；正交变换法保持几何结构且标准形系数为特征值。选择哪种方法取决于问题需求：纯代数化简用前两者，需几何解释时用正交法。配方法与合同变换法优点—无需特征值计算，手算友好缺点—标准形依赖配方顺序，系数无直接几何意义适用场景—快速判断正定性、求秩和惯性指数、小规模手算问题代数化简手算友好快速判断正交变换法优点—标准形系数为特征值，变换保距保角，几何意义明确缺点—需求解特征方程，计算量大适用场景—需要主轴方向、物理应用（转动惯量、振动模态）、与二次曲面几何对接几何保持特征值物理应用CHAPTER03第三章二次曲面的几何分类几何分类·标准方程·几何性质H高等代数CLASSIFICATION二次曲面的一般方程与分类框架三维空间中二次曲面的一般方程为F(x,y,z)=0，其中F是二次多项式。通过平移和旋转消去一次项和交叉项后，可化为17种标准形式之一，分为非退化（5种）和退化（12种）两大类。01一般方程与化简10个独立系数—一般方程含10个独立系数，通过正交变换消去交叉项、平移消去一次项，得到简化方程化简路径：一般方程→正交变换（消交叉项）→平移（消一次项）→标准形02非退化曲面5种标准形椭球面单叶双曲面双叶双曲面椭圆抛物面双曲抛物面03退化情形12种标准形二次锥面椭圆柱面/双曲柱面抛物柱面相交平面/平行平面重合平面/虚曲面等17种标准形10个独立系数2大类划分正交变换+平移→标准形QUADRICSURFACES椭球面：标准方程与几何性质椭球面x²/a²+y²/b²+z²/c²=1是最基本的封闭二次曲面，三个坐标面截痕均为椭圆。当a=b=c时为球面，两轴相等时为旋转椭球面。它是唯一有界的非退化二次曲面。参数方程x=a·sinφ·cosθ,y=b·sinφ·sinθ,z=c·cosφ其中φ∈[0,π]，θ∈[0,2π]截痕特征过原点的平面截痕为椭圆（或圆），平行于坐标面的截痕也是椭圆——这是椭球面的核心识别特征。体积与应用体积V=4πabc/3，表面积无初等表达式。力学中以椭球面描述均匀刚体的惯性椭球。椭球面x²/a²+y²/b²+z²/c²=1三维示意图QUADRATICSURFACES单叶双曲面：直纹面特性单叶双曲面x²/a²+y²/b²−z²/c²=1是连通的非封闭曲面，最显著的性质是它是直纹面——可由直线族生成。这一特性使其在建筑结构（冷却塔、输电塔）中广泛应用。截痕特征水平截痕z=h为椭圆x²/a²+y²/b²=1+h²/c²，竖直截痕为双曲线；腰部椭圆（z=0）是曲面最窄处。直母线族过曲面上任一点恰有两条直线完全落在曲面上，这两族直母线互相交织覆盖整个曲面。渐近锥面渐近锥面x²/a²+y²/b²−z²/c²=0描述了曲面在无穷远处的渐近行为，曲面始终位于锥面内部。HyperboloidofOneSheet—RuledSurfaceQUADRICSURFACESLECTURE·23双叶双曲面：分离的两支双叶双曲面x²/a²+y²/b²−z²/c²=−1由上下两支组成，彼此分离不相交。每支都是凸的、无界的，水平截痕为椭圆，竖直截痕为双曲线。它与单叶双曲面共享同一个渐近锥面。顶点与对称性：|z|≥c才有实点，z=±c时退化为顶点(0,0,±c)；两支关于xy平面对称拓扑差异：与单叶双曲面的区别在于z²项符号相反，导致曲面从连通变为分离，拓扑性质根本不同相对论应用：类时超曲面x²+y²−t²=−1的几何模型即为双叶双曲面，描述因果结构的边界QUADRATICSURFACESLECTURE24椭圆抛物面：碗状曲面椭圆抛物面z=x²/a²+y²/b²形如向上的碗，是唯一既有下界又非封闭的非退化二次曲面。当a=b时为旋转抛物面，是车灯、卫星天线反射面的理想形状，因其焦点反射性质。截痕特征水平截痕z=h（h>0）为椭圆x²/a²+y²/b²=h，竖直截痕为抛物线；顶点在原点，开口向上。焦点反射性质旋转抛物面的焦点在(0,0,a²/4)，平行于轴的光线经反射后汇聚于焦点，反之亦然。曲率分析高斯曲率处处为正且在顶点最大，远离顶点时趋近于零；平均曲率同样为正且单调递减。工程应用：车灯、手电筒、卫星天线均采用旋转抛物面作为反射面，利用焦点汇聚性质实现信号或光线的定向发射与接收。椭圆抛物面z=x²/a²+y²/b²·三维示意图Q二次型与二次曲面QUADRICSURFACESHYPERBOLICPARABOLOID双曲抛物面：马鞍面双曲抛物面z=x²/a²−y²/b²形如马鞍，原点处高斯曲率为负，是唯一同时包含椭圆型和双曲型截痕的非退化曲面。它也是直纹面，且可由一条抛物线沿另一条抛物线滑动生成。截痕特征水平截痕z=h为双曲线（h≠0）或一对相交直线（h=0）；竖直截痕x=const或y=const为抛物线。鞍点与临界点沿x方向上凸、沿y方向下凹，原点为鞍点——既非极大也非极小，是多元函数临界点的典型范例。建筑应用作为直纹面，它在建筑设计中用于创造兼具美感与结构强度的屋顶造型，如广州大剧院。DEGENERATEQUADRICS退化二次曲面概览当二次型矩阵秩r<3时，曲面退化为低维对象：r=2时为柱面或锥面，r=1时为平行平面或重合平面。退化情形的分类同样由惯性指数决定，是非退化分类的自然延伸。01秩为2的退化情形二次锥面x²/a²+y²/b²−z²/c²=0：顶点在原点，由过原点的直线族组成，是单叶与双叶双曲面的共同渐近锥椭圆柱面x²/a²+y²/b²=1、双曲柱面x²/a²−y²/b²=1、抛物柱面z=x²/a²：沿某一方向无限延伸二次锥面是单叶与双叶双曲面的共同渐近锥，椭圆柱面是椭球面一个半轴趋于无穷大的极限02秩为1及以下的退化情形一对相交平面x²/a²−y²/b²=0、一对平行平面x²=a²、重合平面x²=0：可视为曲面的极限退化空集x²+y²+z²=−1、单点x²+y²+z²=0：虽无实际曲面，但在代数分类中不可或缺退化情形由惯性指数(p,q)完全决定，与非退化分类共享同一套代数框架Classification二次曲面的仿射分类与射影分类仿射分类区分17种标准形，保留平行性和比例；射影分类则将椭球面、椭圆抛物面、双叶双曲面视为同一类（椭圆型），单叶双曲面与双曲抛物面视为同一类（双曲型），仅余两类非退化曲面。仿射分类AffineClassification17种标准形——保持平行线与线段比例，椭球与球面属不同类别有界/无界区分——椭球面（有界）与双曲面（无界）不可互化应用场景——工程制图、机械设计、计算机图形学建模不变量：平行性、线段比射影分类ProjectiveClassification仅两类非退化曲面——椭圆型（椭球面≡双叶双曲面）与双曲型（单叶双曲面≡双曲抛物面）复射影空间——所有非退化二次曲面等价于x₀²+x₁²+x₂²+x₃²=0应用场景——代数几何研究、射影几何理论推导不变量：交叉比、共线性核心差异：仿射分类以17种标准形精细刻画曲面形态，射影分类以更高层次的等价性将非退化曲面归并为两大类。选择原则：分类层次的选择取决于应用场景——工程制图用仿射分类，代数几何研究用射影分类。CHAPTER04代数与几何的统一及应用特征值决定曲面类型，二次型统一代数与几何——从理论到物理与工程的实际应用CoreCorrespondence特征值符号与曲面类型的对应二次型矩阵A的三个特征值λ₁,λ₂,λ₃的符号组合直接决定对应二次曲面的类型：全正→椭球面，两正一负→单叶双曲面，一正两负→双叶双曲面，一零两正→椭圆抛物面，一零一正一负→双曲抛物面。λ₁符号λ₂符号λ₃符号曲面类型+++椭球面++−单叶双曲面+−−双叶双曲面0++椭圆抛物面0+−双曲抛物面特征值符号与二次曲面类型对照示意图01标准方程化简：正交变换将一般二次曲面方程化为λ₁X²+λ₂Y²+λ₃Z²+常数=0，特征值符号即标准方程系数符号02曲率含义：特征值的绝对值大小反映曲面在各主轴方向的曲率：|λ|越大，该方向曲率越大、曲面越"陡峭"03惯性定理：这一对应关系是惯性定理的几何体现——特征值符号即正负惯性指数，与坐标系选择无关Q高等代数APPLICATIONSPositiveDefiniteQuadraticForms正定二次型的判定与应用正定二次型（所有特征值>0）在优化、力学、统计中无处不在：Hessian矩阵正定⇒局部极小；刚度矩阵正定⇒结构稳定；协方差矩阵正定⇒数据非退化。Sylvester准则提供了无需特征值的判定方法。Sylvester准则D