正交矩阵的作用引言正交矩阵是一类重要的实方阵，由于它的一些特殊的性质，使得它在不同的领域都有着广泛的作用,也推动了其它学科的发展.本文从正交矩阵的最主要的性质入手，来讨论它的四点作用.首先，我们来了解一下正交矩阵的定义.一.正交矩阵的定义及性质(一)正交矩阵的定义定义1n阶实矩阵A，若满足A A E'=，则称A为正交矩阵.定义2n阶实矩阵A，若满足AA E'=，则称A为正交矩阵.定义3 n阶实矩阵A，若满足1'=，则称A为正交矩A A-阵.定义4n阶实矩阵A的n个行（列）向量是两两正交的单位向量，则称A为正交矩阵.以上四个定义是等价定义.(二)正交矩阵的性质设A 为正交矩阵，它有如下的主要性质. <1>∣A ∣=±1，A -1存在，并且A -1也为正交矩阵； <2>A ′，A *也是正交矩阵；当∣A ∣=1时，*A A'=，即ijijaA =； 当∣A ∣=-1时,*A A '=-,即ijijaA =-.<3>若B 也是正交矩阵，则11,,,,AB A B AB A B AB --''都为正交 矩阵.证明 <1>显然1A =±()1111()()A A A ----''== 所以1A -也是正交矩阵.<2>1A A-'=，显然A '为正交矩阵.由 1A =±，*1AA AA-'==当 1A =时，*A A '=，即ij ija A =当1A =-时，*A A '=-，即ij ija A =-所以*A 为正交矩阵. <3>由1A A-'=，1B B -'= 可知111()()AB B A B AAB ---'''===故A B 为正交矩阵.由<1>,<2>推知11,,,A B AB A B AB --''均为正交矩阵.正交矩阵的性质主要有以上几点，还有例如它的特征值的模为1，且属于不同特征值的特征向量相互正交；如果λ是它的特征值，那么1λ也是它的特征值等，这些性质这里就不再证明了.运用这些性质，我们来讨论一下它在以下四方面的一些作用.二.正交矩阵的作用（一）正交矩阵在线性代数中的作用在正交矩阵中，有一类初等旋转矩阵，我们也称它为Givens 矩阵.这里，我们将利用正交矩阵可以表示成若干初等旋转矩阵的乘积，给出化欧氏空间的一组基为标准正交基的另一种方法.设向量12(,,,)n W w w w '= ，令)s j i =>，,jiw w c d ss==，则称n 阶矩阵11ij cdi T d c j i j ⎛⎫⎪ ⎪ ⎪ ⎪=⎪ ⎪- ⎪ ⎪ ⎪⎝⎭行行列列为初等旋转矩阵.初等旋转矩阵ijT ，是由向量W 的第,i j 两个元素定义的，与单位矩阵只在第,i j 行和第,i j 列相应的四个元素上有差别.设ijT 是由向量W 定义的初等旋转矩阵()j i >，则有如下的性质：〈1〉ijT 是正交矩阵；〈2〉设12(,,,)ij n T Wu u u '=则有 ,0,(,)ij k k us u u w k i j ===≠；〈3〉用ijT 左乘任一矩阵A ，ijT A 只改变A 的第i 行和j 行元素（用ijT 右乘任一矩阵A ，A ijT 只改变A 的第i 列和j 列元素）.证明 〈1〉22222()1i j w w c ds++== ，故i j i j T T E '=，ijT 是正交矩阵.〈2〉由ijT 的定义知，用ijT 左乘向量W ，只改变W 的第,i j 两个元素，且0j ii jj i j w w w w u dw cw ss =-+=-+=所以ijT 左乘W ，使ijT W 的第i 个分量非负，第j 个分量为0，其余分量不变.〈3〉根据〈2〉及矩阵乘法立即可以得出此结论.22jii i j w w u cw dw sss=+=+=引理1 任何n 阶实非奇异矩阵()ijn n A a⨯=，可通过左连乘初等旋转矩阵化为上三角矩阵，且其对角线元素除最后一个外都是正的.定理1 设P 是n 阶正交矩阵〉〈1若1P =，则P可表示成若干个初等旋转矩阵的乘积，即12r P P P P = ；2若1P =-，则P 可以表示成若干个初等旋转矩阵的乘积再右乘以矩阵n E -，即12r P P P P = nE -，其中i P （i =1,2,…r ）是初等旋转矩阵.E -1111n n⨯⎛⎫ ⎪ ⎪ ⎪= ⎪ ⎪ ⎪-⎝⎭证明 由于P 是n 阶正交矩阵，根据引理1知存在初等旋转矩阵r S S S ,,21使RP S S S S r r =-121 这里R 是n 阶上三角阵，而且R 的对角线上的元素除最后一个外都是正的，所以有12r P S S S R '''= （1）由P 是正交矩阵和（1）式得E R S S S S R P P r r ='''=' 11即ER R =' （2）设R =11121222n nnn r r r r r r ⎛⎫ ⎪⎪ ⎪ ⎪ ⎪⎝⎭其iir >0(i =1,2,…n -1)则R R '=11122212nnnn r r r r r r ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭11121222n nnn r r r r r r ⎛⎫⎪ ⎪ ⎪ ⎪ ⎪⎝⎭=111⎛⎫⎪ ⎪ ⎪ ⎪ ⎪⎝⎭由上式得⎪⎪⎩⎪⎪⎨⎧-===-===-==≠=11111,,2,1,,1,0P n j i P n j i n j i j i j i r ij 且且所以1,1n E P R E P -⎧=⎪=⎨=-⎪⎩，当当 （３）于是由（1）（3）式得<1>当1=P 时，12r P S S S '''= ； <2>当1-=P 时， 12r P S S S '''= n E -.记(1,2,,)ii P S i r '== ，i P 是初等旋转矩阵，故定理1结论成立.引理2设()ij n m R A a A m A P O ⨯⎛⎫=== ⎪⎝⎭，秩（），则其中P是n阶正交矩阵，R 是m 阶上三角阵，O 是m m n ⨯-)(零矩阵.利用以上的结论可得： 定理2 设()ijn m A aA m⨯==，秩（），则A 可以通过左连乘初等旋转矩阵，把A '变为⎪⎪⎭⎫⎝⎛O R 的形式，其中R 是m 阶上三角阵，O是m m n ⨯-)(矩阵.证明 由引理2知1R A P O ⎛⎫=⎪⎝⎭，其中P 是n 阶正交矩阵，1R 是m阶上三角阵，又根据定理1知：11,1,1r r n P P P P P P E P -⎧=⎪=⎨=-⎪⎩ 其中），（r i P i,21= 是初等旋转矩阵.<1>当1=P 时，11211 r r R R A P P P R R P P A O O ⎛⎫⎛⎫''=== ⎪ ⎪⎝⎭⎝⎭ 令，<2>当1-=P时，112r n R A P P P E O -⎛⎫= ⎪⎝⎭于是有11r n R R P P A E O O -⎛⎫⎛⎫''== ⎪ ⎪⎝⎭⎝⎭显然，R 是m 阶上三角阵，当n m =时R 与1R 除最后一行对应元 素绝对值相等、符号相反外，其余元素对应相等.当时n m >时，1R R =，所以由<1>、<２>知本定理的结论成立.设112111n a a a α⎛⎫ ⎪ ⎪= ⎪ ⎪ ⎪⎝⎭ ，122222n a a a α⎛⎫ ⎪ ⎪= ⎪ ⎪ ⎪⎝⎭ ，……，12m mm nm a a a α⎛⎫⎪ ⎪= ⎪ ⎪ ⎪⎝⎭是欧氏空间n R 的子空间m V 的一组基，记11121212221212()m mm n n nm a a a a a a A a a a ααα⎛⎫⎪ ⎪==⎪⎪ ⎪⎝⎭是秩m 为的n m ⨯的矩阵.若()ijn m A a⨯=满足定理2的条件，则存在初等旋转矩阵12,,,r P P P ，使1r R P P A O ⎛⎫''= ⎪⎝⎭（４）且),,,(21r P P P P P E='=21(,,,)r P P P '''12121r r r P P P P E P P P P -''''''''∴==（５）由（４）（５）两式知，对A 、E 做同样的旋转变换，在把A化为⎪⎪⎭⎫⎝⎛O R 的同时，就将E 化成了P '，而P 的前m 个列向量属于子空间m V .综上所述可得化欧氏空间的子空间m V 的一组基：12,,,m ααα ()12(,,,),1,2,,i i i ni a a a i m α'== 为一组标准正交基的方法为：<1>由已知基12,,,m ααα 为列向量构成矩阵()ijn m A a ⨯=；<２>对矩阵)(E A 施行初等旋转变换，化A 为⎪⎪⎭⎫⎝⎛O R ，同时E就被化为正交矩阵P '，这里R 是m 阶上三角阵；<３>取P 的前m 个列向量便可得m V 的一组标准正交基.显然，上述方法是求子空间m V 的一组标准正交基的另一种方法.下面，我们通过实例说明此方法的应用. 例 求以向量1(1,1,0,0)α'=-，2(1,0,1,0)α'=-，)1,0,0,1(3'-=α为基的向量空间3V 的一组标准正交基.解 矩阵123111100()010001A ααα---⎛⎫ ⎪⎪== ⎪ ⎪ ⎪⎝⎭对分块矩阵)(E A 依次左乘12T ，23T ，34T12T＝002200220010001⎛⎫- ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪⎝⎭,T=1000100000001⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎝⎭34T=100001001002210022⎛⎫⎪ - ⎪ ⎪ --⎪⎝⎭得 34T 23T 12T )(E A=00111002311110002222⎛⎫-⎪⎪⎪--⎪⎪⎪⎪---⎪⎪----⎪⎝⎭则0011211112222P⎛⎫-⎪⎪⎪--⎪⎪'=⎪⎪---⎪⎪----⎪⎝⎭，12121210022P⎛⎫----⎪⎪⎪---⎪⎪=⎪--⎪⎪⎪-⎪⎝⎭取1P⎛-⎪= ⎪⎪⎪⎪⎝⎭，21P⎛--=⎪⎪⎪⎪⎝⎭，312P⎛--=-⎪⎪⎝⎭则321,,PPP就是由,,,,32ααα得到的3V的一组标准正交基.(二)正交矩阵在拓扑和近世代数中的作用全体n阶正交矩阵作成的集合，记为()nO，从代数和拓扑的角度来看，我们可以证明它构成一拓扑群，并且进一步证明它是不连通的紧致lie群.(1)()nO构成拓扑群在证明()n O 构成拓扑群之前，先介绍一下相关的概念.定义5 设G 是任一集合，ℜ是G 的子集构成的子集族，且满足：1o 集合G 与空集Φ属于ℜ； 2o ℜ中任意个集的并集属于ℜ； 3oℜ中任意有穷个集的交集属于ℜ；称ℜ是G 上的一个拓扑，集合G 上定义了拓扑ℜ，称G 是一个拓扑空间.定义6 设(,)G 是一个代数体系，若满足： 1o ,,,()()a b c G a b c a b c ∀∈= ； 2ost G e G a ,,∈∃∈∀e a a e a == ； 3ost G aG a ,,1∈∃∈∀-11a a a a e --== ；则称G 是一个群.定义7 如果G 是一个拓扑空间，并赋予群的机构，使得群的乘法运算 u ：G ⨯G →G ；求逆运算 v ： G →G；是连续映射，就称G 为拓扑群.根据上面的定义，我们分三步来实现证明全体n 阶正交矩阵作成的集合()n O 构成拓扑群.〈1〉 全体n 阶正交矩阵作成的集合()n O 构成一拓扑空间.〈2〉 全体n 阶正交矩阵作成的集合()n O 构成一群.〈3〉 全体n 阶正交矩阵作成的集合()n O 构成一拓扑群.证明 〈1〉设M 表示所有具有实元素的n 阶矩阵作成的集合，以A =()ija 表示M 的一个代表元素.我们可以把M 等同于n 2维欧氏空间2nE，也就是将A =()ija对应于2n E 的点111212122231(,,,,,,,,,,)nnn n a a a aa a a a .ℜ是点集2nE 的子集族，则2nE和Φ都属于ℜ，ℜ中任意个集的并集属于ℜ，ℜ中有穷个集的交集也属于ℜ，可以验证2n E 构成一拓扑空间，从而M 成为一个拓扑空间.()n O 是所有具有实元素的n 阶正交矩阵，所以是M的子集合，于是由M 的拓扑可以诱导出这个子集合的拓扑，从而()n O 构成M 的一个子拓扑空间.〈2〉1o)(,,n O C B A ∈∀由于矩阵的乘法满足结合律，所以)()(BC A C AB =2o stO E n n,)(∈∃AAE A E O A n n n ==∈∀,)(3ostA AO A n ,,1)('=∃∈∀-E A A AAA A A A ='=='=--11所以正交矩阵作成的集合 )(n O 对于乘法运算可构成一群.〈3〉对于〈1〉中的拓扑空间M 的拓扑，定义矩阵乘法m ：MM M⨯→设(),()ijij A aB b ∀==，则乘积m （A ，B ）的第ij 个元素是1nik kj k a b =∑.现在M 具有乘积空间1112(E E E n ⨯⨯⨯ 个因子）的拓扑，对于任何满足1,i j n ≤≤的,i j ，我们有投影映射1:ij M Eπ→，将矩阵A映为它的第ij 个元素.合成映射1:ij m MM M Eπ⨯→→，将A 和B的乘积m （A ，B ）映为它的第ij 个元素.现在1(,)nij ik kj k m A B a b π==∑是A 与B 的元素的多项式，因此ijmπ连续，投影映射ijπ是连续的，从而证明映射m 是连续的.因为()n O 具有M 的子空间拓扑，是M的一个子拓扑空间，且由正交矩阵的性质〈3〉及上面的讨论知，映射()()():n n n m O O O ⨯→也是连续的.()n O中的矩阵可逆，定义求逆映射()():n n f O O →，1()()n A O f A A-∀∈=.由于合成映射1()():ij n n fO O Eπ→→，将()n A O∀∈映为1A -的第ij 个元素，即A '的第ij 个元素，由正交矩阵的性质〈2〉，*AA A'=，所以ji jiA a A=，即()ji ij A f A Aπ=，A 的行列式及A的代数余子式都是A 内元素的多项式，且0A≠，所以ijfπ为连续的，而投影映射ijπ为连续的，所以求逆映射()():n n f O O →为连续的.至此，()n O 又是一个拓扑空间，并且构成群，对群的乘法与求逆运算都是拓扑空间的连续映射，因而所有n 阶正交矩阵作成的集合()n O 构成一拓扑群，称它为正交群.（2）()n O 是紧致lie 群在证明之前我们知道一下有关的定义和定理.定义8 设G 为拓扑群，G 的拓扑为n 维实（或复）解析 流形，且映射11212(,)gg g g -→ 12,g g G ∀∈ 为解析流形G G ⨯到G上的解析映射，则称G 为n 维lie 群.定理3 欧氏空间内的有界闭集是紧致子集.证明 A M ∀∈（所有具有实元素的n 阶矩阵作成的集合），A 对应2n 维欧氏空间2nE 的点1112121231(,,,,,,)n n nn aa a a a a a α ，M可作为2n维欧氏空间.A 的行列式det A 为元素111212123,,,,,,nnn na a a a a a a 的解析函数，{}det 0A M A ∈=为M 的闭子集，因此{}*\det 0M M A M A =∈=为M中的开子集.这时，按诱导拓扑可以知道*M 为解析流形，且关于矩阵的乘法和求逆运算均解析，故*M 为2n 维lie 群.()n O 为*M 的闭子集，按诱导拓扑为子流形，()n O 为lie 群.为了证明()n O 紧致，根据定理内容，只要证明M 等同于2nE 时，()n O 相当于2n E 内的有界闭集.设 ()n A O ∀∈，由于AA E '=有1nijkj ik j ab δ==∑ 1,i kn ≤≤对于任意的 ,i k ，定义映射1:ik f M E→ A M ∀∈ 1()nik ij kj j f A a b ==∑则()n O 为下列各集合的交集1(0)ikf - 1,i k n ≤≤ i k ≠1(1)iif - 1i n≤≤由于(1,)ikfi k n ≤≤都是连续映射，所以上述每个集合都是闭集.因此()n O 是M 的闭集.由于11nij ijj a b ==∑，因此()n O 是M 的有界闭集，这就证明了()n O 的紧致性.在拓扑结构上是紧致的lie 群，我们称为紧lie 群，所以()n O 为紧lie 群.（3）()n O 是不连通的定义9 设X 是一个拓扑空间，X 中存在着两个非空的闭子集A 和B ，使A BX= 和A B =Φ 成立，则称X 是不连通的.证明 我们再设()n SO 是所有行列式为1的正交矩阵构成的集合，S 为所有行列式为-1的正交矩阵构成集合.因为det ：1()n SO E→是连续映射，而我们知道单点集{}1是1E 的闭集，1()det (1)n SO -=，在连续映射下，任何一个闭集的原象也是闭集，所以()n SO 也为闭集.()n SO 为()n O 的闭集,同理，我们也可以证明S 是闭集.因为 ()()n n SOS O = ， ()n SO S =Φ ,而()n SO 和S 是闭集，有不连通的定义我们可以直接证明()n O 是不连通的.(三)正交矩阵在化学中的作用在结构化学原子轨道杂化理论中，原子中能级相近的几个原子轨道可以相互混合，从而产生新的原子轨道.杂化过程的数学表达式为1nkk ii i cφφ==∑1,2,;1,2,i n k == ，kφ为新的杂化轨道，i φ为参加杂化的旧轨道，ki c 为第k 个杂化轨道中的第i 个参加杂化轨道的组合系数.在杂化过程中，轨道数是守恒的，并且杂化轨道理论有三条基本原则：〈1〉杂化轨道的归一性杂化轨道(1,2,)k kn φ= 满足1k k d τφφ=⎰.〈2〉 杂化轨道的正交性0()kl d k l τφφ=≠⎰.〈3〉 单位轨道贡献每个参加杂化的单位轨道，在所有的新杂化轨道中该轨道成分之和必须为一个单位，即2222121nkii i nik c c c c ==+++∑ =1.由杂化轨道原理，原子轨道的杂化，实际是由一组相互正交的单位基向量，通过线性变换转化成为另一组相互正交的单位基向量.在线性代数中由一组标准正交基到另一组标准正交基的过渡矩阵是正交矩阵，那么原子轨道的杂化，就可以转化为求出正交矩阵，作线性替换的过程. （1）3sp 杂化轨道.以甲烷分子的结构为例，激发态碳原子的电子组态为：21111*(1)(2)(2)(2)(2)x y z c s s p p p ，这样在形成4C H 分子时，激发态碳原子的一个2s 原子轨道和3个2p 原子轨道进行杂化形成4个等同的3sp 杂化轨道.设在激发态碳原子中四个能量相近的原子轨道2s φ、2xp φ、2yp φ、2zp φ是一组相互正交的基向量，再通过线性变换将它们转化成另一组相互正交的基向量a φ、b φ、c φ、d φ，那么线性变换系数矩阵A 必为正交矩阵.211121314221222324231323334414243442xyzsa pb pc dp a a a a a a a a a a a a a a a a φφφφφφφφ⎛⎫⎛⎫⎛⎫ ⎪ ⎪⎪ ⎪ ⎪ ⎪= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭= 2222x y zs p p p A φφφφ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭A 为正交矩阵，111213142144,,,,,,a a a a a a 分别是a φ、b φ、c φ、d φ在四个坐标轴上的分量.在等性杂化中，四个基向量a φ、b φ、c φ、dφ在四个坐标轴上的分量是相等的，即由四个能量相近的原子轨道2s φ、2xp φ、2yp φ、2zp φ进行杂化时形成四个等同的3sp 杂化轨道，在四个杂化轨道上，原子轨道s 和p 成份完全相同.根据这些理论，我们来求正交矩阵A .2222111213141a aaa +++= 11121314a a a a ===11241a =∴ 11121314a a a a ====12(取正值)因为是等性杂化轨道.222211213141a aaa ===222211121314a a a a +++=1∴ 11213141a a a a ====12（取正值）∴22232432333442434411112222121212a a a A a a a a a a ⎛⎫ ⎪ ⎪ ⎪⎪=⎪ ⎪⎪ ⎪ ⎪⎝⎭22232411111022222a a a ⨯+++=22222223241()12a aa+++= 222324a a a ==∴取符合条件的2212a =，2312a=，2412a=32333411111022222a a a ⨯+++=22322333243411022a a a a a a ⨯+++=即 32333412a a a ++=-32333412a a a --=-3212a ∴=-3334a a =-取3312a =，3412a=-42434411111022222a a a ⨯+++= 42434411111022222a a a ⨯+--= 42434411111022222a a a ⨯-+-=4212a∴=-4312a =-4412a =-111122*********21111222211112222A ⎛⎫ ⎪ ⎪ ⎪--⎪∴=⎪ ⎪-- ⎪ ⎪ --⎪⎝⎭可以写出四个3sp 杂化轨道的杂化轨道式为：22221()2x y z a s p p p φφφφφ=+++ 22221()2x y z b s p p p φφφφφ=+-- 22221()2x y z c s p p p φφφφφ=-+- 22221()2x y z d s p p p φφφφφ=--+（2）sp 杂化轨道一个2s 和一个2p 原子轨道杂化形成两个sp 杂化轨道.同样，线性变换211112222122x s p a a a a φφφφ⎛⎫⎛⎫⎛⎫=⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭的系数矩阵11122122a a A a a ⎛⎫= ⎪⎝⎭是正交矩阵.根据等性杂化理论 2211211a a +=，1121a a =1121a a ∴==221112121,a a a +=∴=22220,a a =∴=-11A ⎫⎪⎪∴=- sp∴杂化轨道式为：1221)x s p φφφ=+222)x s p φφφ=-(四)正交矩阵在物理中的作用任意刚体运动都对应一个正交矩阵，三维空间一条曲线经过刚体运动，其曲率和挠率是不变的，称它们为运动不变量.下面，我们来考察曲线作刚体运动时的量.设曲线}{1111()()()()r t x t y t z t →=与曲线()r t →}{()()()x t y t z t =只差一个运动，从曲线1()r t →到曲线1()r t →的变换为111213x x b y A y b z z b ⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪=+ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭（1） 其中111213212223313233a a a A a a a a a a ⎛⎫ ⎪= ⎪ ⎪⎝⎭是三阶正交矩阵，1,23,,bb b 是常数.对（1）两边求 n 阶导数得()()1()()1()()1n n n n n n x x y A y z z ⎛⎫⎛⎫⎪ ⎪= ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭从而有 111121312122233132331x x a x a y a z y A y a x a y a z a x a y a z z z ⎛⎫⎛⎫'''''''''''''''++⎛⎫⎪ ⎪ ⎪⎪ ⎪'''''''''''''''==++⎪ ⎪ ⎪ ⎪'''''''''++'''''' ⎪ ⎪⎝⎭⎝⎭⎝⎭（2） 因为A 是正交矩阵，所以亦有1()()r t r t ''= （3）另一方面，由一阶，二阶，三阶导数，可作成矩阵T A z y x z y x z y x z y x z y x z y x ⎪⎪⎪⎭⎫⎝⎛''''''''''''''''''=⎪⎪⎪⎭⎫ ⎝⎛''''''''''''''''''111111111两边取行列式，由det 1A =±得z y x z y x z y x A z y x z y x z y x z y x z y x z y x T''''''''''''''''''±=''''''''''''''''''=''''''''''''''''''111111111 现在取（1()r t '1()r t '' 1()r t ''' ）=（()r t '()r t ''()r t '''） 来讨论，而（1()r t '1()r t '' 1()r t ''' ）=-（()r t '()r t ''()r t ''' ）可类似地讨论.因为111111111111111111111111y y x x z x x z z y z y z y x z y x z y x z y x '''''''''+'''''''''+'''''''''='''''''''''''''''' （4）y y x x z x x z z y z z y y x z y x z y x z y x '''''''''+'''''''''+'''''''''='''''''''''''''''' （5）（2）代入（4）的右边得111111121321222311111131333311()()()y z z x a x a y a z a x a y a z y z z x x y a x a y a z z y ''''''''''''''''''''''++++++'''''''''''''''''''++'''')()()(111133111123111113111132111122111112111131111121111111y y x x z a x x z z z a z z y y z a y y x x y a x x z z y a z z y y y a y y x x x a x x z z x a z z y y x a '''''''''+'''''''''+'''''''''+'''''''''+'''''''''+'''''''''+'''''''''+'''''''''+'''''''''= （6）因（4）与（5）右边相等，有（5）右边与（6）式右边相等得111131111121111111y y x x a x x z z a z z y y a z z y y ''''''+''''''+''''''='''''' 111132111122111112y y x x a x z x z a z z y y a x x z z ''''''+''''''+''''''='''''' 111133111123111113y y x x a x x z z a z z y y a y y x x ''''''+''''''+''''''=''''''由正交矩阵的性质〈2〉知，ijija A =且由1(,1,2,3)nji kj jki A A j k δ===∑将上面三式左右分别平方相加222y z z x x y y z z x x y ''''''++''''''''''''=21122211121311()y z AAAy z ''++''''+21122221222311()z x AAAz x ''++''''+21122231323311()x y A A A x y ''++''''=222111111111111z x x y y z z x x y y z ''''''++''''''''''''写成矢函数，即得11()()()()r t r t r t r t →→→→''''''⨯=⨯于是我们可以推得： 111331()()()()()()r t r t r t r t KK r t r t →→→→→→''''''⨯⨯===''11112211(()()())(()()())(()())(()())r t r t r t r t r t r t r t r t r t r t ττ→→→→→→→→→→''''''''''''===''''''⨯⨯这里的11,;,K K ττ分别是曲线1(),()r t r t →→的曲率与挠率.参考文献[1]张凯院徐仲等编《矩阵论》西北工业大学出版社2001.3 160~164页[2]赵成大等《物质结构》人民教育出版社1982.9 219~226页[3]熊金城编《点集拓扑讲义》高等教育出版社1998.5 110~111，193~195页[4]严志达等《lie群及其lie代数》高等教育出版社1985.10 11，16~17页[5]丘维声《有限群和紧群的表示论》北京大学出版社1997.12 271~273，276~277页[6]戴立辉等《正交矩阵的若干性质》华东地质学院学报2002.9 第25卷第31期267~268页[7]刘钊南《正交矩阵的作用》湘潭师范学院学报1987 11~16页[8]刘国志《欧氏空间子空间的标准正交基的全新方法—Givens变换法》抚顺石油学院学报1996.3 16卷1期78~ 81页[9]张焕玲等《一种求欧氏空间子空间的标准正交基的新方法》山东科学1996.3 9卷1期14~16页[10]陈少白《空间曲线的刚体运动基不变量》武汉科技大学学报2003.12 26卷4期424~426页致谢本论文是在我的指导教师任艳丽副教授的亲切关怀和悉心指导下完成的.从论文的选材到定稿，任老师给予我亲切的关怀和指导，从任老师那里我不仅学到了专业知识，更重要的是学到了严谨的治学态度，独立研究的工作作风和不断进取的精神，在此，我谨向我的指导教师任艳丽老师表示最衷心的感谢.我要向所有教过我的老师和帮助过我的同学致以深深的感谢，是他们的孜孜不倦的教诲和无私的帮助才使我今天的工作得以顺利进行.我特别感谢我的同学和朋友，给我关怀和鼓励.我还要感谢数学系002班大学四年共同奋斗过的所有同学.。