下载文档原格式
第九章 欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立，是一个内积()1111161P394.1.2,(006);19,,P394.1.2|(,)|||||(,)|i i j ij i j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑L L L Q 的度量矩阵即为A 不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos cos ||||24arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3 ||||||αβαβ+≤+Q(,)|||()()|||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==L L 而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证，Q 12(,)(,), 1.2,i i i n γαγα==L12(,)0, 1.2i i n γγα∴-==L由第①小题：12120,γγγγ-==故P393.6 1231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭Q而1232211212,,3122ααα⎛⎫ ⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8，解：123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出：123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基：123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x dx-=⎰已知2312341,,,x x xαααα====解：111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰Q又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=Q 221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-Q L L 故将扩充为的一个正交基那么.P394，11①设两个基：12,12,,,n n εεεηηηL L 及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=L L L L L L 任设所以合同P394.11②，取V 的一个基12,,,,n A αααL 其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=L L L L C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠L L L L L L L L 记:，称，为，的Gram 矩阵称，为，的Gram 行列式证明，线性无关，）证:若m=1,线性无关，成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑L L L 若而，不妨设，1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑Q L L 线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394，13，设：1222000n n n n nn A αααααα⎛⎫⎪ ⎪=⎪⎪⎝⎭LL M M O M L因为A 正交，故A'A=E ，令A=12(,,)n βββL由第1行列，211111,1αα==±由β1与其余各列正交，β1⊥βj （j>1），（β1，βj ）=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵，但阶数少1，故可用归纳法给出证明，且n=1时显然为真，由归纳法原理，证毕。
第九章 欧几里德空间§1基本知识§1. 1 基本概念 1、欧式空间： 2、向量的长度：3、向量之间的夹角：4、单位向量：5、向量的正交：6、度量矩阵：7、正交向量组：8、正交基与标准正交基： 9、正交矩阵：10、欧式空间的同构： 11、正交变换：12、子空间、子空间的正交与正交补： 13、内射影或正射影： 14、对称变换：15、向量之间的距离： 16、最小二乘法：§1. 2 基本定理定理1（正交组的性质定理）正交向量组一定是线性无关组.定理2 （标准正交基的存在性定理）对于n 维欧式空间中任意一组基n ααα,,,21 ，都可以找到一组标准正交基n εεε,,,21 ，使得：n r L L r r ,,2,1),,,,(),,,(2121 ==αααεεε定理3（有限维欧式空间同构的条件）两个有限维欧式空间同构的充分必要条件是：它们的维数相等.定理4（正交变换的等价条件）设σ是n 维欧式空间V 的一个线性变换，则如下条件等价（1）σ是正交变换；（2）σ保持向量的长度不变，即：V ∈∀=ααασ|,||)(|；（3）如果n εεε,,,21 是V 的一组标准正交基，则)(,),(),(21n εσεσεσ 也是V 的一组标准正交基；（4）σ在任意一组标准正交基下的矩阵是正交矩阵。
定理5如果子空间s V V V ,,,21 两两正交，那么：s V V V +++ 21是直和。
定理6（正交补存在性定理）n 维欧式空间V 的任何一个子空间1V 都有唯一的正交补。
定理7（实对称矩阵的性质定理）对于任意一个n 阶实对称矩阵A ，都存在一个n 阶正交矩阵P ，使得：AP P T 为对角矩阵。
§1. 3 基本性质1、欧式空间的性质：（1）零向量且仅有零向量与任何向量的内积为零；（2）对任何R a V ∈∈,,,ζηξ，有：),(),(),(ηζξζηξζ+=+；),(),(ηξηξa a =；（3）s j r i R b a V j i j i ,,2,1;,,2,1,,,, ==∈∈∀ηξ，有：∑∑∑∑=====r i sj j i j i j s j j i r i i b a b a 1111),(),(ηξηξ；（4）V ∈∀βα,，有：),)(,(),(2ββααβα≤，当且仅当βα,线性相关时，等号成立。
第9章欧几里得空间9.1复习笔记一、定义与基本性质1．欧几里得空间定义设V是实数域R上一线性空间，在V上定义了一个二元实函数，称为内积，记作（α，β），它具有以下性质：（1）（α，β）＝（β，α）；（2）（kα，β）＝k（α，β）；（3）（α＋β，γ）＝（α，γ）＋（β，γ）；（4）（α，α）≥0，当且仅当α＝0时（α，α）＝0.这里α，β，r是V中任意的向量，k是任意实数，这样的线性空间V称为欧几里得空间．2．长度（1）定义非负实数称为向量α的长度，记为|α|．（2）关于长度的性质①零向量的长度是零，②|kα|＝|k||α|，③长度为1的向量称为单位向量.如果α≠0，向量1αα就是一个单位向量，通常称此为把α单位化．3．向量的夹角（1）柯西-布涅柯夫斯基不等式，即对于任意的向量α，β有|（α，β）|≤|α||β|当且仅当α，β线性相关时，等号才成立．（2）非零向量α，β的夹角＜α，β＞规定为（3）如果向量α，β的内积为零，即（α，β）＝0，那么α，β称为正交或互相垂直，记为α⊥β．零向量才与自己正交．（4）勾股定理，即当α，β正交时，|α＋β|2＝|α|2＋|β|2．4．有限维空间的讨论（1）度量矩阵设V是一个n维欧几里得空间，在V中取一组基ε1，ε2，…，εn，对V中任意两个向量α＝x1ε1＋x2ε2＋…＋x nεn，β＝y1ε1＋y2ε2＋…＋y nεn，由内积的性质得a ij＝（εi，εj）（i，j＝1，2，…，n），显然a ij＝a ji，于是利用矩阵，（α，β）还可以写成（α，β）＝X'AY，其中分别是α，β的坐标，而矩阵A＝（a ij）nn称为基ε1，ε2，…，εn的度量矩阵．（2）性质①设η1，η2，…，ηn是空间V的另外一组基，而由ε1，ε2，…，εn到η1，η2，…，ηn的过渡矩阵为C，即（η1，η2，…，ηn）＝（ε1，ε2，…，εn）C，于是基η1，η2，…，ηn的度量矩阵B＝（b ij）＝（ηi，ηj）＝C'AC；表明不同基的度量矩阵是合同的．②对于非零向量α，即有（α，α）＝X'AX＞0．因此，度量矩阵是正定的．二、标准正交基1．正交向量组欧式空间V中一组非零的向量，如果它们两两正交，就称为一正交向量组．按定义，由单个非零向量所成的向量组也是正交向量组．2．标准正交基（1）定义在n维欧氏空间中，由n个向量组成的正交向量组称为正交基；由单位向量组成的正交基称为标准正交基．说明：①对一组正交基进行单位化就得到一组标准正交基．②一组基为标准正交基的充分必要条件是：它的度量矩阵为单位矩阵．（2）标准正交基的求法①定理1n维欧氏空间中任一个正交向量组都能扩充成一组正交基．②定理2对于n维欧氏空间中任意一组基ε1，ε2，…，εn，都可以找到一组标准正交基η1，η2，…，ηn，使L（ε1，ε2，…，εi）＝L（η1，η2，…，ηi），i＝1，2，…，n．定理2中把一组线性无关的向量变成一单位正交向量组的方法称做施密特正交化过程．例：把α1＝（1，1，0，0），α3＝（－1，0，0，1），α2＝（1，0，1，0），α4＝（1，－1，－1，1）变成单位正交的向量组．解：①先把它们正交化，得β1＝α1＝（1，1，0，0），②再单位化，得3．基变换公式设ε1，ε2，…，εn与η1，η2，…，ηn是欧氏空间V中的两组标准正交基，它们之间的过渡矩阵是A＝（a ij），即因为η1，η2，…，ηn是标准正交基，所以矩阵A的各列就是η1，η2，…，ηn在标准正交基ε1，ε2，…，εn下的坐标．4．正交矩阵n级实数矩阵A称为正交矩阵，如果A'A＝E．由标准正交基到标准正交基的过渡矩阵是正交矩阵；反过来，如果第一组基是标准正交基，同时过渡矩阵是正交矩阵，那么第二组基一定也是标准正交基．三、同构1．同构定义实数域R上欧式空间V与V'称为同构的，如果由V到V'有一个双射σ，满足（1）σ（α＋β）＝σ（α）＋σ（β），（2）σ（kα）＝kσ（α），（3）（σ（α），σ（β））＝（α，β），这里α，β∈V，k∈R，这样的映射σ称为V到V'的同构映射．同构的欧氏空间必有相同的维数．每个n维的欧氏空间都与R n同构．2．同构的性质同构作为欧氏空间之间的关系具有（1）反身性；（2）对称性；（3）传递性；（4）两个有限维欧氏空间同构的充分必要条件是它们的维数相同．.四、正交变换1．定义欧氏空间V的线性变换A称为正交变换，如果它保持向量的内积不变，即对于任意的α，β∈V，都有（Aα，Aβ）＝（α，β）．2．性质。
第九章欧几里得空间习题解答P394.1.1(,)'0(""0)'(')'''(,)A A A αααααβαβαβααβαβ∴=≥=⇔====正定非负性证得由矩阵失去,线性性成立,再由(,)=A A 对称性成立，是一个内积()1111161P394.1.2,(06);19,,P394.1.2|(,)|||||(,)|i ijiji j n nnij i ji j n n ij i j i j A a x y c s B a x y εεαεεεαβαβαβ====⎛⎫ ⎪ ⎪== ⎪ ⎪ ⎪⎝⎭∴≤=∴--≤∑∑∑∑的度量矩阵即为A不等式为|()393.2P ①, α=(2,1,3,2), β=(1,2,-2,1)|||,)0,,2αβαβαβπαβ∴====∴⊥∴=〈〉393.2P ②, α=(1,2,2,3), β=(3,1,5,1)|||6,(,)18(,)(,)arc cos ||||4arc arc αβαβαβπαβαβ=====∴====393.2P ③, α=(1,1,1,2), β=(3,1,-1,0)||||(,)3,arc 700'30''38αβαβαβ===∴==︒〈〉P393. 3||||||αβαβ+≤+(,)|||()()||||(,)(,)d d d αγαγαββγαββγαββγ∴=-=-+-≤-+-+ =P393.4在4R 中求一单位向量与(1,1,-1),(1,-1,1-,1),(2,1,1,3)正交解设所求212341234123412344123(,,,)1,00230111111111111111020001003,2113013100314,0,14i x x x x x x x x x x x x x x x x x x x x x x αα==+-+=⎧⎫⎪⎪--+=⎨⎬⎪⎪+++=⎭⎩⎛⎫-⎛⎫⎛⎫--⎪⎪ ⎪ ⎪ ⎪ ⎪--→-→=⎪⎪ ⎪ ⎪ ⎪ ⎪+ ⎪⎝⎭⎝⎭⎝⎭===-=-∑则且与各向量的内积为0得令得,0,1,3),()-单位化393.5P ①证:因为12(,)0, 1.2,,i n i n γαααα==而是一个基11(,)(,)(,)0.0.nni i i i i i k k γγγαγαγ==∴====∑∑因此,必有393.5P ②证，12(,)(,), 1.2,i i i n γαγα==12(,)0, 1.2i i n γγα∴-==由第①小题：12120,γγγγ-==故P393.61231232211(,,)(,,)2123122αααεεε⎛⎫ ⎪=-- ⎪ ⎪--⎝⎭而1232211212,,3122ααα⎛⎫⎪-- ⎪ ⎪--⎝⎭是正交矩阵,所以是标准正交基11212431231212121124512451131212351152124531235393.7,/2(,)1111(22)(,)222221210)22)1()2s P αεεαεεεεεεεβααββαβαβεεεεεεεεβββαββεεεεηεεηεεεεηεεεε==-+=++==-=-=-+-=-+-=--=++-=+=-+-=++-123解:再正交化称:P394.8，解：123452111310014001110101115X X X X X X ⎛⎫ ⎪ ⎪---⎛⎫⎛⎫ ⎪=→= ⎪ ⎪--- ⎪⎝⎭⎝⎭⎪ ⎪⎝⎭解出：123014115100010001ηηη-⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭Schmidt:1221331022711161151311116222105022130005ββηββηβ--⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪==-=-=++-= ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭单位化便得到解空间的标准正交基：123766135εεε⎛⎛⎫⎛⎫⎪⎪-⎪⎪⎪⎪====⎪⎪⎪⎪⎪ ⎪ ⎪⎝⎭⎪ ⎪⎝⎭ ⎪⎝⎭P394.9 11(,)()()f g f x g x d x-=⎰已知2312341,,,x x xαααα====解：111βα==21122111223132321211223434142441234112233111222(,)(,)*2(,)(,)1310(,)(,)232(,)(,)(,)352(,)(,)(,)532(,)2||(,)||3(xdxx xx xx x x αββαβββαβαββαββββββαβαβαββαβββαββββββββββββ--=-=-=--=---=-=---=--=-====⎰又142333116424441218,)()||3945698(,)()||525175x x dxx x x dxββββββ+--=-+===-+==⎰⎰单位化标准正交基312324,1),3)396.17.4133333333133333343313333333313333x x x xPA A Eγγγγ===-=-------⎛⎫⎛⎫⎪ ⎪-----⎪ ⎪==⎪ ⎪-----⎪ ⎪⎪ ⎪-----⎝⎭⎝⎭1123443() 4.840Acy Tr A x x λλλλχχ∴===-⇒==-+-=221-秩(A+4E)=1至少为重根,而-(4+4+4)+解(A+4E)x=o,即1111210311111110212003⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪-- ⎪⎪⎪ ⎪⎪⎪-- ⎪⎪⎪ ⎪⎪⎪⎝⎭⎝⎭⎝⎭得正交基础体系1100单位化为28λ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭解(A-8E)x=0.得解取自A+4E的一列3-33-31111121124124'1402812T T AT T AT -⎛⎫ ⎪- ⎪ ⎪ ⎪ ⎪-⎝⎭-⎛⎫- ⎪- ⎪=== ⎪- ⎪ ⎪⎝⎭-单位化为令则112121211111111395.10.10(,,)(,)(,)0,.(,)(,)0P V V V V V k k k V ββαβαβαβββββαβαβ∈≠∅=+=⇒+∈⎫∀∈∴≤⎬==⇒∈⎭11123123111P395.10.2 0dim 1.,,,(2)(,)dim 1.dim 1.n n V V n V i V i L V V n V n αααααααααααα≠∴∉≤-=∈≥∴≤⇒≥-∴≥-故将扩充为的一个正交基那么.P394，11①设两个基：12,12,,,n n εεεηηη及,它们的度量矩阵分别为A 和B,并设121211122111221212'''221122(,,,)(,,,),,(,,)(,,,)(,,)(,,,),(,)(')'()n n n n n n CV X X Y Y X CX Y CY X BY X AY X C AC Y C AC B ηηηεεεαβαεεηηηβεεηηηαβ=∈=========∴=任设所以合同P394.11②， 取V 的一个基12,,,,n A ααα其度量矩阵为因为A 正交,故存在矩阵C,使12121212',,,,,,',,,n n n n C AC E ηηηαααηηηηηη=C AC=E做基(,)=()C,那么,的度量矩阵为因此,为标准正交基.1212121212121212211111P394.12,,,,(,)(,,)()(,,),,|(,,)|,,,,(,,|0()0|()|||0,m ij i j m ij m mm m m m m m V G G G G G ααααααααααααααααααααααααααααααααα⨯∈==⇔≠⇔>⇔=≠记:，称，为，的Gram 矩阵称，为，的Gram 行列式证明，线性无关，）证:若m=1,线性无关，成立121211,|(,,)|0(,,)(,)(,,)0,0,1,2,.n m mj k k ij k ik k i k k k jk jk ji j k k k jm G A c c a c c i m αααβββββααααααγ=≠≠≠≠>==⇔=⇔==⇔-=∴⇔==∑∑∑∑若而，不妨设，1212(,,,),,,,j k k m k jj k m k jc L ck γαααααααααα≠≠=-∈⇔=⇔∑∑线性相关211212112121222122122222212122123|()|||||||||cos (,),(,)|(,)|(,),(,)||||cos ||||||(1cos )(||||cos )|(,,)|()G G G αααααθααααααααααααθαααθααθααα====-==类似地:平行六面体积P394，13，设：1222000n n n n nn A αααααα⎛⎫⎪ ⎪= ⎪⎪⎝⎭因为A 正交，故A'A=E ，令A=12(,,)n βββ由第1行列，211111,1αα==±由β1与其余各列正交，β1⊥βj （j>1），（β1，βj ）=111100(1)j j a a j α=⇒=>1100A A ±⎛⎫∴= ⎪⎝⎭其中A 1仍为上三角正交矩阵，但阶数少1，故可用归纳法给出证明，且n=1时显然为真，由归纳法原理，证毕。
