贾宏宇，张淑娜，陈衍峰

齐次线性方程组作为高等代数理论的一项重要分支，源于生活和生产实践.齐次线性方程组是高等代数的基本研究内容之一，同时也是贯穿高等代数知识的主线［1］.随着计算机应用的普及，线性方程组理论被广泛应用到科学、技术和经济管理等领域.齐次线性方程在解决各类科学知识中有着极为广泛的应用.随着中学数学教学改革，已有很多高等数学的知识渗透到中学数学教学中［2-3］. 近年来，国际中学生奥林匹克数学竞赛的试题中，与齐次线性方程有关的题目呈递增的趋势［4-5］.本文介绍了齐次线性方程组的基本理论，并运用齐次线性方程组的相关理论，探究其在初等数学及高等数学中的应用，进而对齐次线性方程组有更深入地理解.

1 线性方程组的基本理论

定理1［1］n个未知量n个方程的齐次线性方程组有非零解的充要条件是方程组的系数行列式等于零.

推论1［2］若齐次线性方程组中s=n，方程组有唯一零解的充要条件是方程组的系数行列式不等于零.

定 理2［3］若 在 齐 次 线 性 方 程 组 中，方 程的个数小于未知量的个数，那么这个方程组必有非零解.

定理3［4］设齐次线性方程组的系数矩阵的秩r

2 齐次线性方程组在初等数学中的应用

2.1 证明等式的应用

此方面的应用是将已知条件联立成齐次线性方程组，然后利用齐次线性方程组有非零解的条件，即方程组的系数行列式为零，证得所要证明的等式关系.

例1 若ax1+by1= 1，bx1+cy1= 1，cx1+ay1= 1，求 证：ab+bc+ca=a2+b2+c2.

例2 如果x=by+cz,y=cz+ax,z=ax+by，其中，x，y，z不全为零，则ab+bc+ac+ 2abc= 1.

2.2 证明三角恒等式的应用

此方面的应用是利用已知条件，并结合中学的三角函数知识，构造成齐次线性方程组，然后利用齐次线性方程组有非零解的条件，即方程组的系数行列式为零，证得所要证明的等式关系.

例3 在ΔABC中，设三个内角为A,B,C，其所对应的边分别为a，b，c，求证：

①c2=a2+b2- 2abcosC；

②cos2A+cos2B+cos2C+2cosAcosBcosC=1.

证明 ①在ΔABC中，由射影定理得

构造方程组得

所以方程组有非零解(cosA,cosB,1)，因而由定理1 得

即得c2=a2+b2- 2abcosC.

②在ΔABC中，式（1）可改写为

上式可看成关于a,b,c的齐次线性方程组必有非零解，由定理1 得

即得cos2A+ cos2B+ cos2C+ 2cosAcosBcosC= 1.

例4 设A+B+C= π，xsinA+ysinB+zsinC= 0，求证：

证明 因为A+B+C= π，所以sinC=sin(A+B).而

又因为

所以

同理可得到

联立（2）（3）（4）得

此方程组可看成一个关于sinA,sinB,sinC的三元一次方程组，而sinA,sinB,sinC不同时为零，由定理1 可得

化简整理得

2.3 求值及数量关系中的应用

此方面的应用是将已知条件转化成齐次线性方程组，然后利用齐次线性方程组有非零解的条件，即方程组的系数行列式为零，求值或给出数量关系.

解 由已知得

把sinx,siny,sinz看作未知数，由已知条件可知，sinx,siny,sinz不为零，故方程组有非零解，于是行列式系数为零，即

因而(k+ 1)2(k+ 2) = 0，所 以k= -1 或 者k= 2.

例6 已知x，y，z不全为零，且任意两个不相等，又已知c，求a，b，c之间的关系式.

解由已知得方程组

因为x，y，z不全为零，且任意两个不相等，所以关于x，y，z的齐次线性方程组（5）有非零解 . 故系数矩阵行列式为零 ，即将行列式展开得a+b+c= 2 -abc.这就是a，b，c所满足的关系式.

在上面的例题中，直接求解a，b，c之间的关系比较麻烦.但题设中的已知x，y，z不全为零，且其中任意的两个不相等，由此去构造以x，y，z为未知量的齐次线性方程组，进而化简问题的求解，便可使问题一目了然.

3 齐次线性方程组在高等数学中的应用

3.1 判断向量组线性相关性中的应用

定义1［1］对于向量组α1,α2,…,αm，如果存在一组不全为零的数k1,k2,…,km，使得

则称α1,α2,…,αm线性相关，否则线性无关.

如果要判断向量组线性相关性，可以将向量组作为齐次线性方程组的系数矩阵，构造线性方程组，进而讨论方程组解的情况，来判别向量组是线性相关的还是线性无关的.

例7 判断向量组α1=(2,1,4,3),α2= (-1,1,- 6,6),α3= (1,1, - 2,7),α4= (2,4,4,9) 的 线性相关性.

解 设x1α1+x2α2+x3α3+x4α4= 0，得到方程组

将系数矩阵作如下运算

由于矩阵R(A)= 3 < 4，则系数行列式为零，则方程组存在非零解，且有

故向量组α1,α2,α3,α4线性相关.

因此方程组有非零解，等价于方程组的列向量组是线性相关的；若方程组只有零解，等价于方程组的列向量组是线性无关的.

3.2 在证明行列式等于零中的应用

如果要证明某个行列式等于零，可以转为证明以这个行列式所对应的矩阵为系数矩阵的某个齐次线性方程组有非零解，进而证得行列式为零.

例8 设n阶矩阵A的伴随矩阵为A*，证明若则

证明 1）若A= 0，显然必然有

2）若A≠0，当时，不妨设

并假设矩阵A的第j列元素不全为零，即

因为

所以

即齐次线性方程组A*X= 0 有非零解，由定理1 可知

3.3 在证明矩阵秩中的应用

线性方程组理论在高等数学的矩阵中，也有着广泛的应用，例如在证明矩阵秩等相关问题的过程中，也可以运用齐次线性方程组的理论进行证明.

证 明 设 矩 阵Am×n与Bm×n，根 据 齐 次 线性方程组可知

式（6）的解显然为式（7）的解，由此可以将其两边化简，得到R(A,B) ≤R(B)；同理可得R(A,B) ≤R(A)，即结论成立.

因为根据线性方程组理论，s-q+ 1 ≤i≤s-t，所以Ay= 0 的线性无关的解向量个数至 少 为(s-t) - (s-q) =q-t，从 而n-p≥q-t，即R(A,B) ≥R(A) +R(B) -n.

该题在使用线性方程组理论解题时，就有很好的解题效果，根据此题的解题过程，还可以将结论推广为：设Ai(1 ≤i≤k)，其为m×n型矩阵，由此可得

4 结语

以上研究了齐次线性方程组理论在初等数学及高等数学中的一些应用.在证明中引入齐次线性方程组理论，从而使问题化难为易，让我们从中不仅能体会到创造性解题的乐趣，还体现了齐次线性方程组在解决数学问题时的简洁和易行.