高等代数与解析几何之间的联系

高等代数与解析几何之间的关联性数学0803班康若颖20081692内容摘要：在我们的学习过程中，可以发现高等代数和解析几何中有很多相似之处。

确切的说是高等代数中的一些理论是从解析几何中发展和改进而来的。

比如说通过解析几何中多元一次方程组的解法高等代数提出了行列式，使行列式有了几何意义，同时是行列式直观化。

也是通过行列式，多元方程组的解答更便捷、快速。

又比如说欧式空间的提出。

我们都知道几何空间中的向量以及他的一些性质。

在高等代数中先后提出来线性空间、欧式空间。

线性空间将向量做了推广，使向量抽象化。

欧式空间在线性空间的基础上提出内积，使几何空间中的向量的一些度量性质推广化，等等，这样的例子很多很多。

总体来说高等代数与解析几何是相互联系、相互促进的。

可以更确切一点的说是解析几何是高等代数的基石，而高等代数是解析几何的推广和并使之抽象化。

关键词：行列式、正交变换、向量、线性方程组、二次型和二次曲线、二次曲面、欧式空间导言：从代数与几何的发展来看，高等代数与解析几何从来就是相互联系、相互促进的。

它们的关系可以归纳为“代数为几何提供研究方法，几何为代数提供直观背景”。

通过对高等代数和解析几何的学习和研究中，我们可以看到解析几何和高等代数中有着紧密的联系。

运用解析几何来分析高等代数更直观，同时，高等代数也是解析几何的一个发展、拓宽。

比如说欧式空间。

运用高等代数的解题方法来解答解析几何中的一些问题更加简便，快捷。

比如说运用行列式的计算来解答多元方程组问题。

内容： 解析几何中以代数为工具，解析几何中的很多概念、方法都是应用线性代数的知识来定义来刻画、描述和表达的。

例如，解析几何中的向量的共线、共面的充分必要条件就是用线性运算的线性相关来刻画的，最终转化为用行列式工具来表述，再如，解析几何中的向量的外积（向量积）、混合积也是行列式工具来表示的典型事例。

高等代数中的许多知识点的引入、叙述和刻画亦用到解析几何的概念或定义。

例如线性空间的概念表述就是以解析几何的二维、三维几何空间为实例模型。

从概念的内涵的外延来看，两门课之间存在着特殊与一般的关系，解析几何的一、二、三维空间是线性代数n 维空间的特例，而线性空间的大量理论又是来源于一、二、三维几何空间的推广（抽象）。

平面方程及平面间的位置关系与线性方程组的理论，二次曲线，二次曲面的化简与代数中的二次型理论，几何与代数中欧式空间的理论等等。

（一）线性代数中一些概念的几何直观解释：1.关于行列式的几何背景设α=(321,,a a a ),β=(321,,b b b ),γ=(321,,c c c );两个向量的向量积可以用行列式写为321321b b b a a a k ji =⨯βα 它在几何上表示的是与α,β向量都垂直且成右手系的向量。

三个向量的混合积可以用行列式表示为图1 平行六面体（γβα,,）=（βα⨯）γ∙=321321321c c c b b b a a a 此行列式的几何解释是它的绝对值等于以它们3个向量为相邻棱所作的平行六面体的体积(如图1)。

特别地,当(α,β,γ)=0时,由于平行六面体的体积为零,所以共面。

γβα,,0321321321⇔=c c c b b b a a a 图1 平行六面体由此可得:过平面上两点(11,y x ), (22,y x )的直线方程为01112211=y x y x y x再推广到空间中有不在同一直线上的三点(xi,yi,zi)(i=1,2,3)的平面方程为01111333222111=z y x z y x z y x z y x2. 关于正交变换的几何意义在二次型化为标准型时,可以采用可逆变换或正交变换,但是由于可逆变换对应于仿射坐标系的变换,正交变换则对应于直角坐标系的变换,所以区别比较大。

例如: 1941222=++z y x 通过可逆线性变换 ⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎭⎫ ⎝⎛'''321z y x z y x 化成1'''222=++z y x ,即椭球面变成了球面。

通过线性变换⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛=⎪⎪⎪⎭⎫ ⎝⎛'''021z y x z y x ,化成1''22=+y x ,即椭球面变成了圆柱面。

而正交变换保持向量长度和角度不变,因此几何图形不变。

所以在讨论二次方程决定的图形时,必须用正交变换;如果只考虑它所属类型时,可以用可逆变换(当然包括正交变换)。

还应注意正交变换中:①当正交阵的行列式表示为1时,是旋转变换;②当正交阵的行列式为-1时,为镜面反射变换。

3. 关于正交化的几何解释线性无关的向量组可以由Schmidt 正交化得到与其等价的正交组,它的几何解释为,如果有3个线性无关的向量321,,ααα则可以通过Schmidt 正交化得到相应的3个正交向量321,,βββ。

这里11αβ=,222γαβ-= ,333γαβ-= ,其中γ2为α2在β1上的投影向量;γ3为α3在β1、β2所确定的平面上的垂直投影向量。

（二）向量组线性相关(无关)与几何中向量共面、共线之间的关系若α,β,γ是三维空间的向量,则:α线性相关;α,β线性相关;α,β,γ线性相关分别对应于几何直观的α为零向量;α,β共线;α,β,γ共面。

因此,一维空间的基是空间中任意一个非零向量;二维空间的基是空间中两个不共线向量;三维空间的基是空间中3个不共面的向量组成的。

例1 在三维空间中有向量,OA =(321,,a a a ),OB =(321,,b b b ),OC =(321,,c c c ),那么,A,B,C 共线的充分必要条件是什么?解:过A,B 两点的直线方程为()()()⎪⎩⎪⎨⎧-+=-+=-+=t a b a z t a b a y t a b a x 333222111,显然,当且仅当C 点满足此方程时,A,B,C 共线,即存在t,使得OC =(1-t)OA +tOB ,于是,A,B,C 共线,当且仅当OA ,OB ,OC 中某一向量可以由其余向量线性表示,而且表出系数之和为1。

（三）线性方程组与直线、平面的位置关系空间直线、平面的位置关系为线性方程组的结构理论提供了直观的几何解释,同样线性代数中的线性方程组的结构理论对深刻领会直线、平面的位置关系起到重要作用。

例2 已知平面上有三条不同的直线，它们的直线方程分别为 032:1=++c by ax l 032:2=++a cy bx l 032:3=++b ay cx l ,试证这3条直线交于一点的充分必要条件为a+b+c=0。

证明:必要性,设3条直线l1, l2, l3相交于一点,则线性方程组⎪⎩⎪⎨⎧-=+-=+-=+b ay cx a cy bx c by ax 323232有唯一解,故系数矩阵A=⎪⎪⎪⎭⎫ ⎝⎛a c c bb a 222 与增广矩阵⎪⎪⎪⎭⎫ ⎝⎛---=-b ac a c b c b a A 323232的秩均为2,于是|-A |=0由于])()())[((3])[(6323232||222222a c c b b a c b a bc ac ab c b a c b a ba c a cbc b a A -+-+-++=---++++=---=-但是(a-b)2+(b-c)2+(c-a)2≠0,∴a+b+c=0充分性,由a+b+c=0,则从必要性的证明可知: ||-A =0,故:秩(-A )<3。

由于0]43)21[(2)(222222≠++-=-=b b a b ac c b b a ,故: ,于是, 。

因此线性方程组有唯一解,即,3条直线l1, l2, l3相交于一点。

（四）高等代数中解析几何的几种应用或原理1. 行列式几何意义的应用⎪⎪⎩⎪⎪⎨⎧=+++=+++=+++n n nn n n n n n n b x a x a x a b x a x a x a b x a x a x a22112222212111212111下面先通过一个二维图形说明如何来确定这些仿射坐标.从图2可以看出,以β与α2为邻边组成的平行四边形有向面积与以x1α1与α2为邻边组成的平行四边形有向面积相等.这是因为两个平行四边形均是以α2为底,h 为高.因此,易于看出它们中每一个的有向面积与以α1,α2为邻边的平行四边形有向面积之比均为x1.同理,可以看出x2与哪些平行四边形的有向面积之比相关.因为这些平行四边形的有向面积可以由行列式给出,所以由以上分析立刻可以“看出”如下结果推广到一般n 维空间的情况,即有当a ≤0时,显然h(x) >0;当0< a<时,由图2仿射坐标2. 二次型与二次曲面和二次曲线的联系在解析几何中，我们看到，当坐标原点与中心重合时，一个有心二次曲线的一般方程是a2x+2bxy+c2y=f (1)为了便于研究这个二次曲线的几何性质，我们可以选择适当的角度θ作转轴（反时针方向转轴）x='x cosθ-'y sinθ;y='x sinθ+'y cosθ(2)把方程（1）化为标准方程。

在二次曲面的研究中也有类似情况。

从代数角度看，所谓化标准方程就是用变量的线性代换（2）化简一个二次其次多项式，使它只含有平方项。

二次型就是在这个基础上提出来的。

就譬如说二次曲面吧。

研究二次曲面的形状,可以利用矩阵运算,把方程写为其中这里, i,j=1,2,3再利用实对称矩阵可以正交相似对角化知,有正交变换x=Qy,使得这样则由于正交变换对应坐标原点不动的坐标轴的变换,因此,方程中的常数项不变。

于是就可据此用解析几何讨论图形的形状。

二次型化为标准形可以利用解析几何中二次曲线，二次曲面来直观表示；同时，一些二次曲面，二次曲线的化为标准方程的化简可以运用高等代数中的二次型化为标准形的方法来简化，例如配方法、初等变换以及正交变换。

例如.化简二次曲面2xy+2xz-6yz=0可利用二次型中的初等变换，配方法或正交变换来化简。

比如初等变换f(x,y,z)= 2xy+2xz-6yzA=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡--313111则由⎪⎪⎭⎫⎝⎛EA=⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡--111313111−→−⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡---111111622故原二次曲面可经过坐标变换⎪⎩⎪⎨⎧=+=--=''''''z z y x y z y x x 化简为22'x -22'y +62'z =0.利用正交变换也可以。

3. 欧式空间的几何理论在线性空间中，向量之间的基本运算只有加法和数乘，统称为线性运算。