克莱姆法则一个简易证明.doc

克莱姆法则的一个简易证明 (学员作业)范崇金(哈尔滨工程大学理学院) 在线性代数教学中, 一般是通过解二元和三元线性方程组引入行列式; 又为了完整和扣题, 是通过介绍克莱姆法则结束行列式教学的, 尽管在后面我们可以用逆阵的理论轻松地得到克莱姆法则. 由于此时, 我们还没有建立完整的线性方程组解的理论, 故一般我们是分解的存在性和唯一性两部分来证明克莱姆法则, 结果是讲的费劲, 学的迷惑. 特别是, 此刻只能指出(方程与未知数个数相同的)齐次方程的系数行列式为零是此方程组有非零解的必要条件, 很难说明充分性也成立. 在本文中, 我们用消元法轻松、自然地给出一个有关线性方程组的基本引理. 用此引理, 我们又可以轻松地证明克莱姆法则及齐次方程组有非零解的充要条件. 虽然我们多加了一个引理, 但此引理突显的是消元法, 而这也是线性代数中理应强调的. 引理 线性方程组 可以通过消元变换(将一方程的倍加到另一个上)变为同解方程组 . 证明 首先, 通过消元法我们证明方程组可化为下列形式的同解方程组 . (1) 若, 用乘第1个方程加到第方程上, 方程组就可以化为方程组的形式; (2) 若, 但某个, 则先将第个方程加到第1个方程上, 再进行按上面的方法进行; (3) 若, 结论成立. 对于方程组的后个方程再进行同样的处理即知本引理成立. 克莱姆法则 若线性方程组的系数行列式, 则此方程组有唯一的一组解 , 这里是将中的第列换成得到的行列式. 证明 由上述引理, 方程组与同解, 且它们的系数行列式相等, 即. 再对方程组从下向上逐步消元知, 方程组与 同解, 且 再由行列式的性质, 我们还有 , , ......, . 于是 . 定理 齐次线性方程组 有非零解系数行列式. 证明　 设齐次方程组有非零解, 我们用反证法来证实. 假设, 由克莱姆法则知此方程组有唯一一组解; 又因为齐次方程组一定有零解, 故方程组无非零解. 这与开始的假设矛盾. 此时, 以为已知条件, 来证明方程组(5)有非零解. 由引理知, 方程组与方程组 同解, 且. 此刻, 至少有一个. 设中第一个为0的是. 现在, 取代入方程组, 方程组化为 . 此时, 方程组的系数行列式等于. 由克莱姆法则, 此方程组有唯一一组解. 此解与拼起来就是方程组的一组非零解.