切换科目
重点科目
主要科目
次要科目
科数网
首页
刷题
学习
VIP会员
赞助
组卷
集合
教材
VIP
写作
游客,
登录
注册
在线学习
线性代数
第七篇 二次型与正定型
二次型化标准形(正交变换法)
最后
更新:
2025-09-21 16:19
查看:
1299
次
反馈
能力测评
会员8.2元/月
赞助
二次型化标准形(正交变换法)
正交变换法,很多老师不讲,主要是计算量比较大,而且他的步骤和计算特征值与特征向量重复。**本节内容可以概括为**:对于给定的二次型$f=X^TAX$,求正交替换$X=QY$,等价于已知矩阵$A$,求正交矩阵$Q$,使得$Q^TAQ=\Lambda$, 下面先从理论上给出证明,再通过例题介绍如何求正交矩阵$Q$ ## 理论证明 任给二次型 $f=\sum_{i, j=1}^n a_i x_i x_j\left(a_{i j}=a_{j i}\right)$ ,总有正交变换 $x=P y$ ,使 $f$ 化为标准形 $$ f=\lambda_1 y_1^2+\lambda_2 y_2^2+\cdots+\lambda_n y_n^2, $$ 其中 $\lambda_1, \lambda_2, \cdots, \lambda_n$ 是 $f$ 的矩阵 $A=\left(a_{i j}\right)$ 的特征值. 证明:略。 **推论** 任给 $n$ 元二次型 $f(x)=x^{\top} \boldsymbol{A} \boldsymbol{x}\left(\boldsymbol{A}^{\mathrm{T}}=\boldsymbol{A}\right)$ ,总有可逆变换 $\boldsymbol{x}=\boldsymbol{C} \boldsymbol{z}$ ,使 $f(\boldsymbol{C} z)$ 为规范形. 证明 :略 > 简单说明:二次型 $f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 使用的是**对称矩阵**,而前面介绍过,实对称矩阵 $A$ 必[正交相似于对角阵](https://kb.kmath.cn/kbase/detail.aspx?id=2601) 即$\Lambda = Q^{-1}A Q $, 如果Q是正交矩阵,会有$Q^T=Q^{-1}$, 从而 $\boldsymbol{A}$ 必合同到对角阵,即存在正交矩阵 $\boldsymbol{Q}$ ,使得 $\boldsymbol{Q}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{Q}=\boldsymbol{\Lambda}$(对角阵),因而取非奇异线性替换为 $\boldsymbol{x}=\boldsymbol{Q y}$ 可将二次型 $f=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 化为标准二次型 ## 正交变换法的基本步骤 对于 $f= x ^{\top} A x$ . (1)在确定 $A$ 是实对称矩阵的条件下,求 $A$ 的特征值 $\lambda_1, \lambda_2, \cdots, \lambda_n$ . (2)求 $A$ 对应于特征值 $\lambda_1, \lambda_2, \cdots, \lambda_n$ 的特征向量 $\xi_1, \xi _2, \cdots, \xi_n$ . (3)将 $\xi _1, \xi _2, \cdots, \xi _n$ 正交化(若需要的话),单位化为 $\eta _1, \eta _2, \cdots, \eta _{ n }$ (4)令 $Q =\left[ \eta _1, \eta _2, \cdots, \eta _n\right]$ ,则 $Q$ 为正交矩阵,且 $Q ^{-1} A Q = Q ^{ \top } A Q = \Lambda$ . 于是 $$ f=x^{\top} A x \xlongequal{\underline{x}=\underline{Q} y}(Q y)^{\top} A(Q y)=y^{\top} Q^{\top} A Q y= y ^{\top} A y $$ 下面通过例题来演示上面的步骤。 `例`用正交替换把二次型 $f\left(x_1, x_2, x_3\right)=x_1 x_2+x_1 x_3+x_2 x_3$化为标准形,并写出所作的正交替换。 解: **STEP1 写出二次型的矩阵** $$ A=\left[\begin{array}{ccc} 0 & \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & 0 & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{2} & 0 \end{array}\right] $$ **STEP2 计算A的特征** 由 $A$ 的特征方程 $$ |\lambda E-A|=\left|\begin{array}{rrr} \lambda & -\frac{1}{2} & -\frac{1}{2} \\ -\frac{1}{2} & \lambda & -\frac{1}{2} \\ -\frac{1}{2} & -\frac{1}{2} & \lambda \end{array}\right|=(\lambda-1)\left(\lambda+\frac{1}{2}\right)^2=0, $$ 得 $A$ 的特征值为 $\lambda_1=1, \lambda_2=\lambda_3=-\frac{1}{2}$. ①当 $\lambda_1=1$ 时, 解齐次线性方程组 $(E-A) X=O$, 得对应于 $\lambda_1=1$的特征向量 $\alpha _1=(1,1,1)^T$ (特征向量求法参考 [此处](https://kb.kmath.cn/kbase/detail.aspx?id=1869)), 单位化得 $\gamma_1=\left(\frac{1}{\sqrt{3}}, \frac{1}{\sqrt{3}}, \frac{1}{\sqrt{3}}\right)^T$ ;(施密特单位化参考 [此处](https://kb.kmath.cn/kbase/detail.aspx?id=493)) ②当 $\lambda_2=\lambda_3=-\frac{1}{2}$ 时, 解齐次线性方程组 $\left(-\frac{1}{2} E-A\right) X=O$, 得对应于 $\lambda_2=\lambda_3=-\frac{1}{2}$ 的线性无关的特征向量 $\alpha _2=(-1,1,0)^T$, $\alpha _3=(-1,0,1)^T$, 正交化并单位化, 得 $$ \gamma_2=\left(-\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}, 0\right)^T $$ $$ \gamma_3=\left(-\frac{1}{\sqrt{6}},-\frac{1}{\sqrt{6}}, \frac{2}{\sqrt{6}}\right)^T $$ 令 $$ Q=\left(\gamma_1, \gamma_2, \gamma_3\right)=\left[\begin{array}{ccc} \frac{1}{\sqrt{3}} & -\frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{6}} \\ \frac{1}{\sqrt{3}} & \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{6}} \\ \frac{1}{\sqrt{3}} & 0 & \frac{2}{\sqrt{6}} \end{array}\right] $$ $Q$ 是正交矩阵, 使得 $$ Q^T A Q=\left[\begin{array}{rrr} 1 & 0 & 0 \\ 0 & -\frac{1}{2} & 0 \\ 0 & 0 & -\frac{1}{2} \end{array}\right] $$ 这样可以很容易写出:(1)主对角线是特征值。(2)特征值是多项式系数  于是得到正交替换 $X=Q Y$, 即 $$ \left\{\begin{array}{l
免费注册看余下 70%
非VIP会员每天5篇文章,开通VIP 无限制查看
《高等数学》难点解析
高数教程
泰勒公式
切线与法线
切平面与法平面
驻点·拐点·极值点·零点
间断点
渐进线
瑕积分
欧拉方程
伯努利方程
Abel 收敛定理
偏导数的几何意义
偏导数的几何意义
梯度
数量场与向量场
多元函数极值
拉格朗日算子
通量与散度
环流量与旋度
格林公式
高斯公式
斯托克斯公式
三大公式比较
傅里叶级数
极坐标微元
点法式方程
变上限定积分
X型计算面积
Y型计算面积
微分的意义
渐近线
间断点
y''+py'+qy=f(x)方程
高斯
黎曼
傅里叶变换(复数)
拉普拉斯变换(复数)
高等数学测评
函数与极限
一元函数微分学
一元函数积分学
微分方程
空间向量与代数
多元微分学
多元积分学
无穷级数
《线性代数》难点解析
线代教程
近世代数对数学的整体思考
线性的意义
矩阵乘法(列视角)
矩阵乘法(行视角)
矩阵左乘
矩阵右乘
逆矩阵求解方程组
阶梯形矩阵的求法
方程组解的判定
四阶行列式的计算
线性变换的意义
线性空间
向量组的等价
线性空间的几何意义
基础解系的求法
施密特正交化
特征值与特征向量的意义
矩阵相似的几何意义
矩阵可对角化的理解
秩的意义(向量版)
秩的意义(方程版)
二次型的意义
线性代数测评
行列式
矩阵
向量空间
《概率论与数理统计》难点解析
概率教程
置信区间与上a分位数
概率中的“取”与“放”
贝叶斯公式
全概率公式
泊松分布
指数分布
伽玛分布
二维密度图的意义
卷积的意义
相关系数的意义
k阶矩是与矩母函数
卡方分布的作用
单正态区间估计理解
假设检验理解
切比雪夫不等式
中心极限定理
概率统计测评
事件与概率
一维随机变量与事件
多维随机变量与事件
随机变量的数字特征
大数定律与中心极限定理
统计量与抽样分布
参数估计
假设检验
上一篇:
二次型化标准形(初等变换法)
下一篇:
二次型的规范形与惯性定理
本文对您是否有用?
有用
(
0
)
无用
(
0
)
更多
学习首页
数学试卷
同步训练
投稿
会议预约系统
数学公式
关于
Mathhub
赞助我们
科数网是专业专业的数学网站 版权所有
本站部分教程采用AI制作,请读者自行判别内容是否一定准确
如果页面无法显示请联系 18155261033 或 983506039@qq.com