漫谈高数(八) 二次型和解析几何

--------二次型到底干了什么------------
已知: 在圆球x^2+y^2+z^2=1上面有点(x,y,z)
求f(x,y,z)=xy-yz-xz的极值。

 

    解:

f(x,y,z)=t(T)*A*t,t=(x,y,z)(T),A=
|0, 1/2, 1/2|
|1/2, 0 -1/2|
|1/2,-1/2, 0|,约束条件x^2+y^2+z^2=1,也就是t(T)*t=1,t(T)表示t的转置矩阵

把f变成标准型，P(T)*A*P=D,D=diag(1/2,1/2,-1),P=(就是求解特征向量和特征矩阵的过程)
|1/sqr2, 1/sqr6, 1/sqr3|
|1/sqr2,-1/sqr6,-1/sqr3|
|0,      2/sqr6,-1/sqr3|,sqr代表根号运算，P是个正交矩阵，满足P(T)*P=E
所以f=t(T)*A*t=t(T)*PDP(T)*t,令P(T)*t=t',则f=t'(T)*D*t'... (1)
约束条件变成了t(T)*t=(Pt')(T)*P*t'=t'(T)*P(T)*P*t'=t'(T)t'=E...(2)
所以根据上面两个式子有了变换
f=0.5x'^2+0.5y'^2-z'^2，约束条件x'^2+y'^2+z'^2=1,
f=0.5-1.5z'^2,而由约束条件得，z'的取值范围(-1,1)

所以f的范围是(-1,1/2)

-----------------------------------------------------------------

    看出来了什么吗? 2次型的标准型就是一种坐标变换的对角化, 通过一个正交变换，正交变换是保持向量的长度（范数）不变的，也保持两个向量的夹角不变，有点像刚体。这实质上是再做一个旋转，将二次型化到主轴上。有一 个定理（schur定理）也与这个问题相关。这个内容很复杂的，因为二次型十分重要。在上面的那个例子里面，单位球旋转以后还是单位球，所以约束条件没有 改变。坐标变换把约束条件投影到了3个轴上面。初等的坐标系变换技巧，在2次型的强大威力面前显得多么的苍白。如果我用拉格朗日数乘法求解了，则过程很繁杂

   例：已知向量x=(x1,x2,x3),模的平方|x|^2=2，求f()=(x1+x2)^2+(x2-x3)^2+(x1+x3)^2的最大值。那么:

xT*x=x1^2+x2^2+x3^2=2, x1,x2,x3在半径=根号2的圆上面
所以f=2(x1^2+x2^2+x3^2+x1x2-x2x3+x1x3)
=4+2(x1x2-x2x3+x1x3)

所以只需要求出x1x2-x2x3+x1x3的最大值

假设f1=x1x2-x2x3+x1x3
    f2=x1^2+x2^2+x3^2-2
拉格朗日乘数法:
G(x1,x2,x3)=f1+Mf2，M是个实数，那么有偏导数=0
G'(x1)=x2+x3-2Mx1...(1)
G'(x2)=x1-x3+2Mx2...(2)
G'(x3)=x1-x2+2Mx3...(3)
f2(x1,x2,x3)=0...(4)
解上面的4元方程组，由(2)和(3)得到x2=x3，再结合(1)得到x1=-x2,再代入(4)
M=1,x1=(根号6)/3,x2=x3=-(根号6)/3,x1x2-x2x3+x1x3=-1
或者
M=1,x1==-(根号6)/3,x2=x3=(根号6)/3,x1x2-x2x3+x1x3=-1
或者
M=-1/2,x1=x2+x3,代入x1x2-x2x3+x1x3=x1(x2+x3)-x2x3=x2^2+x3^2+x2x3=0.5((x2+x3)^2+x2^2+x3^2)=0.5(x1^2+x2^2+x3^2)=1这个就是最大值

所以f(max)=4+2*1=6 
---------------------------------------------------------------

    例子: 3维空间中，一个平面通过直线(x-7)/3=(y-8)/4=(z-9)/5，且经过点(1,1,1).求这个平面的方程。说明平面过点（7，8，9） 和点（1，1，1），两点方向向量为（6，7，8），且它平行于矢量 ｛3，4，5｝，所以要求的平面方程为：
| x-1    y-1   z-1  |
| 3       4     5   |      =  0
| 6       7     8   | 
得x-2y+z=0。怎么理解上面这个行列式呢? 因为知道了平面上两条直线的方向矢量，那么平面的法矢量就是两个方向矢量的叉乘

| i    j   k   |
| 3    4   5   |      求出来就是法向量。
| 6    7   8   |

    如果题设换一下，一个面过直线(x-3)/5=(y-4)/6=(z-5)/7，且和单位球面x^2+y^2+z^2=1相切，求这个面的方程。设球上得 切点为（x0,y0,z0)，这点处的法向量为(2x0,2y0,2z0)，又因为直线的向量为(5.6.7) 在这个面中还有（x0-3,y0-4,z0-5)向量，所以法向量和两个直线向量垂直。         
10x0+12y0+14zo=0...(1)
2xo(xo-3)+2yo(y0-4)+2z0(zo-5)=0...(2)
又因为点在球上  所以x0^2+y0^2+z0^2=1...(3)
3个方程，3个未知数，得切点即可 ，就得到法向量（2xo.2y0.2z0） 应该有两个
再写出方程即可2x0（x-3）+2y0（y-4）+2z0（z-5）=0