答案: (1)a=1,b=2。
(2)可取正交矩阵
Q=61616221−2103131−31.
作正交变换 x=Qy,得到标准型
f=6y12+0y22+0y32=6y12.
思路: “Ax=0 的解都是 BTx=0 的解”表示前者的核空间包含于后者。先求前者的通解,将其代入后者确定参数,并验证两个核空间确实不同。确定参数后,BA 是实对称矩阵,可以选取一组标准正交的特征向量作为 Q 的列,将二次型化为标准型。
详细解答:
(1)方程组 Ax=0 为
{x2+ax3=0,x1+x3=0.
令 x3=t,则 x1=−t、x2=−at,所以通解为
x=t−1−a1,t∈R.
由于 A 的前两列构成的二阶子式
0110=−1=0,
有 r(A)=2,其核空间确为一维。
又有
BT=(1111b2).
题目要求上述通解对任意 t 都满足 BTx=0,等价于核空间的生成向量满足
BT−1−a1=(b−a−11−a)=0.
于是
1−a=0,b−a−1=0,
解得 a=1,b=2。
还需验证“两个方程组不同解”。在这组参数下,
Ax=0⟺x=t(−1,−1,1)T,
而
BTx=0⟺x1+x2+2x3=0.
前者解空间一维,后者解空间二维,因此包含关系是严格包含。也可取 x=(1,−1,0)T:它满足 BTx=0,但
Ax=(−1,1)T=0.
所以所得参数满足全部条件。
(2)代入 a=1,b=2,计算二次型矩阵:
BA=112112(011011)=112112224.
该矩阵实对称。令 v=(1,1,2)T,则
BA=vvT,vTv=1+1+4=6.
因此
BAv=v(vTv)=6v,
即 v 是特征值 6 的特征向量。对任意满足 vTw=0 的向量 w,有
BAw=v(vTw)=0,
所以平面 vTw=0 是特征值 0 的二维特征空间。全部特征值为 6,0,0。
在零特征值空间中选取
w1=(1,−1,0)T,w2=(1,1,−1)T.
检查两两正交性:
vTw1=1−1=0,vTw2=1+1−2=0,w1Tw2=1−1=0.
三个向量的长度分别为
∥v∥=6,∥w1∥=2,∥w2∥=3.
将它们单位化,取
q1=6v,q2=2w1,q3=3w2,Q=(q1,q2,q3).
由两两正交且长度为 1,有 QTQ=I3,所以 Q 是正交矩阵。各列分别对应特征值 6,0,0,从而
QTBAQ=600000000.
作 x=Qy,二次型变为
f=xTBAx=yT(QTBAQ)y=6y12.
这就是所求正交变换和标准型。