27. 由    次方程作成的方程组 (3)

Chat.png

本节是选学内容. 不学本节不影响理解任何必学内容 (也就是, 未被声明为选学内容的节).

前面, 我们讨论了 有解时, , 应适合的条件:

定理 27.1. 阵. 设  阵. 设存在   适合 . 作一个  , 其中(通俗地, 在  的最后一列的右侧加入一列 , 得到尺寸较大的阵 .) 则存在一个非负整数 , 使 有一个行列式非零的  级子阵 (从而 也有一个行列式非零的  级子阵), 但 没有行列式非零的  级子阵 (从而 也没有行列式非零的  级子阵).

那么, 反过来, 若 有一个行列式非零的  级子阵, 但 没有行列式非零的  级子阵, 则 是否有解? 此事的回答是 “是”. 不过, 为了论证此事, 我们要作准备.

定理 27.2. 级阵. 设 , 是二个不超过  的正整数, 且 . 设 是一个数. 作  级阵 , 其中(通俗地, 加  的列  倍于列 , 且不改变其他的列, 得阵 .) 则 .

类似地, 若加  的行  倍于行 , 且不改变其他的行, 得阵 , 则 .

证. 我证明关于列的事; 我们可用类似的方法证明关于行的事 (或者, 利用行列式与转置的关系).

作一个  级阵 , 使 的列  等于 的列  (若 ), 且 的列  等于 的列 . 则 的列  等于 的列 , 且 的列 , 的列 , 与 的列  相等 (若 ), 但 . 由多线性与交错性, 证毕.

定理 27.3. 阵, 且 . 设 有一个行列式非零的  级子阵(其中 , 且 ), 但 没有行列式非零的  级子阵. 那么, 对任何不超过 的正整数 , 存在  个数 , , , , 使对任何不超过 的正整数 ,

我们也可如此说前面的结论:

定理 27.4. 阵, 且 . 设 有一个行列式非零的  级子阵(其中 , 且 ), 但 没有行列式非零的  级子阵. 设  的行 , , , , , , . 那么, 对任何不超过 的正整数 , 存在  个数 , , , , 使

通俗地, 这个定理说, 任给一个非零阵 , 我们总能找出它的某  , , , , 使  的每一行都可被写为这  行的数乘的和, 且由这  行作成的子阵有一个行列式非零的  级子阵.

例 27.5.不难看出, 有一个  级子阵, 其行列式非零: 不过, 没有行列式非零的  级子阵. 我们考虑 的列 , . 任取  的一个  级子阵. 若 的列  或列  被选中, 那么其行列式显然为 . 若 的列  与列  都不被选中, 则这个子阵是不难算出, 它的行列式为 .

我们说, 的每一行可被写为 的前  行的数乘的和. 设  的行 , , , , , , . 则并且, 由这  行作成的子阵有一个行列式非零的  级子阵:  级单位阵就是一个.

当然, 的每一行可被写为 的前  行的数乘的和: 可是, 由这  行作成的子阵没有行列式非零的  级子阵.

证. 任取不超过 的正整数 .

等于某个 (, , , ), 我们取于是, 对任何不超过 的正整数 ,

下设 不等于任何 .

考虑由    次方程作成的方程组因为 , 故, 由 Cramer 公式, 存在  个数 , , , , 使我们由此证明, 对任何不超过 的正整数 ,

等于某个 , 显然. 下设 不等于任何 .

考虑  级子阵我们用重要思想, 算二次, 证我们想要的等式.

一方面, 我们知道, 既然 没有行列式非零的  级子阵, 故 .

另一方面, 我们也可适当地作辅助阵, 其行列式等于 的行列式. 从而, 计算这些辅助阵的行列式, 也就相当于计算 的行列式. 为方便, 我们记 , 且 . 设 , , , 中是第  小的数; 设 , , , 中是第  小的数. 加 的行  倍于行 , 得阵 . 则 . 加 的行  倍于行 , 得阵 . 则 . …… 加 的行  倍于行 , 得阵 . 则 . 注意,  的行 , , , 分别跟  的行 , , , 相等; 不过, 其中 , , , . 所以, 当 时, . 我们按行  展开 的行列式, 有

回想, , 且 . 比较二次计算的结果, 我们应有注意, , 故证毕.

现在, 我们可以证明本节的重要结论了.

定理 27.6. 阵. 设  阵. 作一个  , 其中(通俗地, 在  的最后一列的右侧加入一列 , 得到尺寸较大的阵 .) 设 有一个行列式非零的  级子阵 (从而 也有一个行列式非零的  级子阵), 但 没有行列式非零的  级子阵 (从而 也没有行列式非零的  级子阵). 则存在一个  , 使 .

证. 先设 . 那么, 有一个行列式非零的 “ 级子阵”, 但 没有行列式非零的  级子阵. 所以 . 所以 . 那么, 任何   都适合 .

下设 . 设  级子阵(其中 , 且 ) 的行列式非零. 当然也是  的子阵, 且所以, 对任何不超过 的正整数 , 存在  个数 , , , , 使对任何不超过 的正整数 ,

考虑由    次方程作成的方程组我们说, 这个方程组有解.

, 则这是一个由    次方程作成的方程组. 因为 , 故, 由 Cramer 公式, 此方程组有一个 (唯一的) 解.

, 从 , , , 去除 , , , 后, 还剩  个数. 我们从小到大地叫这  个数为 , , . 我们可改写此方程组为其中 , , , , 下同.

, , 为任何的 个数. 我们考虑由    次方程作成的方程组利用阵等式, 我们可写其中因为 , 故, 由 Cramer 公式, 存在 个数 , , , , 使从而

个数 , , , 适合 , 其中 . 我们证明, .

等于某 , 则 不等于任何 , 则

证毕.

结合前几节的讨论, 我们可以得到判断 是否有解, 与有解时其解是否唯一的方法 (定性的理论):

定理 27.7. 阵. 设  阵. 作一个  , 其中(通俗地, 在  的最后一列的右侧加入一列 , 得到尺寸较大的阵 .) 设 有一个行列式非零的  级子阵, 但没有行列式非零的  级子阵.

(1) 若  也没有行列式非零的  级子阵, 则 有解. 进一步地, 若 , 则 的解不唯一; 若 , 则 的解唯一.

(2) 若  有一个行列式非零的  级子阵, 则 无解.