【連立方程式編】解の条件

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事で、連立方程式の係数と右辺の定数項部分をまとめた「拡大係数行列」というものを扱い、そこから行基本操作をチマチマ繰り返して得られる「階段行列」と、その「階数」について学習しました。

今回は、これらを用いて連立方程式の解について見ていきます。

連立方程式が解を持つとき

解を持たない場合の例

大抵の場合は解を持ちますが、以下のような場合、連立方程式は成り立たなくなります。

{4x2y+3z=5(1)2x2y+4z=8(2)xy+2z=7(3)\begin{aligned} \left\{ \begin{array}{rclc} 4x-2y+3z &=& 5 &(1) \\ 2x-2y+4z &=& 8 &(2) \\ x-y+2z &=& 7 &(3) \end{array} \right. \end{aligned}

これを変形する((3)に(2)の12-\frac{1}{2}倍を加える)と、以下のようになります。

{4x2y+3z=5(1)2x2y+4z=8(2)0=3(3)\begin{aligned} \left\{ \begin{array}{rclc} 4x-2y+3z &=& 5 &(1) \\ 2x-2y+4z &=& 8 &(2) \\ 0 &=& 3 &(3) \end{array} \right. \end{aligned}

一番下に「0=30=3」という式が現れました。当然ながらこの式はいかなる場合も成り立ちません。

したがって、上の連立方程式はx,yx,yにいかなる値を入れても成立しない、すなわち「解なし」の状況になります。

連立方程式の解は、全ての式が同時に成り立つような値でなければなりません。よって、変形中に「0=(0 じゃない値)」みたいな絶対に成り立たない式が出た時点で解なしが確定するのです。

このようなシチュエーションを拡大係数行列で表すとこのようになります。

(423522480003)\left( \begin{array}{cccc} 4 & -2 & 3 & 5 \\ 2 & -2 & 4 & 8 \\ 0 & 0 & 0 & 3 \end{array} \right)

一番下の行のように、右辺の定数項部分を示す一番右の列以外が全て 0 となっている(=左辺が 0)状況ですね。このような場合は解なしです。

上の行列はまだ階段行列でないので、階段行列になるまで行基本操作を繰り返しました ↓

(2248025110003)\left( \begin{array}{cccc} 2 & -2 & 4 & 8 \\ 0 & 2 & -5 & -11 \\ 0 & 0 & 0 & 3 \end{array} \right)

右端以外が全て 0 の行があったら解なし。階数を使ってこれを表現すると、

rankArank[A b]{\rm rank}A \neq {\rm rank}[A \ \boldsymbol{b}]

ということになります([A b][A \ \boldsymbol{b}]は行列AAとベクトルb\boldsymbol{b}を左右にくっつけた行列です)。つまり、右辺の定数項部分(b\boldsymbol{b})で段数が増えたらアウトということです。

解を持つための必要十分条件

さて、一般に、連立方程式が解を持つための必要条件は次のようになります。

連立1次方程式が解を持つための必要十分条件

連立 1 次方程式Ax=bA\boldsymbol{x} = \boldsymbol{b}が解を持つための必要十分条件は、次の式の成立である。

rankA=rank[A b]{\rm rank}A = {\rm rank}[A \ \boldsymbol{b}]

この定理は、先ほどの説明とは少し趣が異なります。

というのも、「rankArank[A b]{\rm rank}A \neq {\rm rank}[A \ \boldsymbol{b}]なら解なし」と言っていた先ほどの説明と異なり、

rankA=rank[A b]{\rm rank}A = {\rm rank}[A \ \boldsymbol{b}]なら解ありだし、逆に解ありならこの式が成り立つ」と主張しているからです。

【例1】

変数の数に対して式の数が圧倒的に少ない以下の式はどうでしょうか。

{x+2y+z+w=5(1)x+y+z+w=1(2)\begin{aligned} \left\{ \begin{array}{rclc} x+2y+z+w &=& 5 &(1) \\ x+y+z+w &=& -1 &(2) \\ \end{array} \right. \end{aligned}

これを拡大係数行列にして階段行列を作ると以下のようになります。

(1111101006)\left( \begin{array}{ccccc} 1 & 1 & 1 & 1 & -1 \\ 0 & 1 & 0 & 0 & 6 \end{array} \right)

係数行列の階数と、拡大階数行列の階数が同じ(階数 2)なので、解を持つことになります。

階段行列の 2 行目より、y=6y=6であることは明らかで、これより(1)式が

x+z+w=7x+z+w=-7

となるので、これがうまく成り立つように変数の値を設定すると解が現れます。

x=1,y=6,z=2,w=10x=1,y=6,z=2,w=-10

は解の一例ですし、これが成り立つ解は無数に存在します。

(この場合、2 つの変数を設けてx=λ,y=6,z=μ,w=7λμx=\lambda,y=6,z=\mu,w=-7-\lambda-\muλ\lambdaμ\muは任意の数)」とすれば、解を網羅することができます)。

【例2】

変数の数に対して式の数が圧倒的に多い以下の式はどうでしょうか。

{xy=2(1)x+y=4(2)2x+y=5(3)x+2y=4(4)\begin{aligned} \left\{ \begin{array}{rclc} x-y &=&-2 &(1) \\ x+y &=& 4 &(2) \\ 2x+y &=& 5 &(3) \\ x+2y&=& 4 &(4) \end{array} \right. \end{aligned}

これを拡大係数行列にして階段行列を作ると以下のようになります。

(112026003000)\left( \begin{array}{ccc} 1 &-1 & -2 \\ 0 & 2 & 6 \\ 0 & 0 & -3 \\ 0 & 0 & 0 \end{array} \right)

あ〜!3 行目が右端だけになった(rankArank[A b]{\rm rank}A \neq {\rm rank}[A \ \boldsymbol{b}])ので、「0=30=-3」という不可能な条件が浮かび上がってきて、ゆえに解なしです。

勘違いして欲しくないのは、これは別に式が多いからではありません。式が多くても解が存在する例を次に示します。

【例3】

【例 2】と変数と式の数が同じである以下の連立方程式

{xy=2(1)x+y=4(2)2x+y=5(3)x+2y=7(4)\begin{aligned} \left\{ \begin{array}{rclc} x-y &=& -2 &(1) \\ x+y &=& 4 &(2) \\ 2x+y &=& 5 &(3) \\ x+2y &=& 7 &(4) \end{array} \right. \end{aligned}

の場合、階段行列を作ると、

(112026000000)\left( \begin{array}{ccc} 1 &-1 & -2 \\ 0 & 2 & 6 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array} \right)

となり、「rankA=rank[A b]{\rm rank}A = {\rm rank}[A \ \boldsymbol{b}]」が成立します。実際、計算を繰り返すと「x=1,y=3x=1,y=3」が解になります。

階段行列への変換とは結局何か

結局のところ、拡大係数行列から階段行列を作る操作ってのは、与えられた連立方程式に対して意味を保ちながら簡単化していくことで、矛盾を洗い出しつつ必要な式を絞る作業でした。

例えば、ある式を定数倍したり、既存の複数式を実数倍して足し合わせただけの式は排除されます。

{x+y=4(1)2x+2y=8(2)\begin{aligned} \left\{ \begin{array}{rclc} x+y &=& 4 &(1) \\ 2x+2y &=& 8 &(2) \\ \end{array} \right. \end{aligned}

のような式の組について、(2)式は(1)式を 2 倍したものに過ぎないので、拡大係数行列にして行列基本操作を経ると

(114000)\begin{aligned} \left( \begin{array}{ccc} 1&1&4 \\ 0&0&0 \end{array} \right) \end{aligned}

となって、(2)式に相当する部分は見事に消え去ります。

また、式の組み合わせに矛盾を孕んでいると「0=00=0じゃない数」という式が現れ、矛盾の存在を明確に指摘してくれます。

{x+y=6(1)x+y=4(2)\begin{aligned} \left\{ \begin{array}{rclc} x+y &=& 6 &(1) \\ x+y &=& 4 &(2) \\ \end{array} \right. \end{aligned}

上の連立方程式に対して階段行列の作成を試みるとこうなります ↓

(116002)\begin{aligned} \left( \begin{array}{ccc} 1&1&6 \\ 0&0&2 \end{array} \right) \end{aligned}

はい、アウト〜!

解の組み合わせが1つしかないとき

階段行列の階数と、連立方程式を構成している変数の個数を比較したとき、両者が等しければ、解が導き出せる場合において、その解の組み合わせが 1 通りだけになります。

連立1次方程式が1組だけの解を持つための必要十分条件

連立 1 次方程式Ax=bA\boldsymbol{x} = \boldsymbol{b}が 1 組の解を持つための必要十分条件は、次の式の成立である。

rankA=rank[A b]=n{\rm rank}A = {\rm rank}[A \ \boldsymbol{b}] = n

ただし、nnは係数行列AAの列数(変数の個数)である。

高校時代、「連立方程式を解こうと思うと、少なくとも式数が変数の数だけないと解が 1 つにならない」みたいな話を聞いたことがあると思いますが、そのような話を表した定理となります。

では、**「{\rm rank}[A \ \boldsymbol{b}] < n」**の場合はどうなるのでしょう?

この場合、変数の数から式の数(階数)を引いた数の変数について、答えを任意の記号(定数)で表した上で、残りの変数をこれらの記号を用いた解で書き表わせば ok です(前項における【例 1】がまさにそれです)。

念のため、**「rank[A b]>n{\rm rank}[A \ \boldsymbol{b}] > n」**の可能性についても説明しておきましょう。

階数の定義から、階数が階段行列の列数を上回ることはありません。階段行列の「段差」が 1 増える度に、左から並ぶ 0 の数が 1 つ以上増えるので、少なくとも階数が列数を上回ると、左から並ぶ 0 が列数より多くなるというあり得ない状況が生じます。

唯一、列数と階数が同じrank[A b]=n+1{\rm rank}[A \ \boldsymbol{b}] = n+1というシチュエーションが考えられますが、この場合はrankA=n{\rm rank}A=nなのが確定なので、rank[A b]rankA{\rm rank}[A \ \boldsymbol{b}] \neq {\rm rank}Aとなり、解なしであることがわかります。

同次形の連立方程式

定数項が全て 0 の連立方程式を同次形の方程式と言います。

同次形の方程式

Ax=oA\boldsymbol{x}=\boldsymbol{o}で表される方程式を同次形の方程式と呼ぶ。一般形は以下の通り。

{a11x1+a12x2++a1nxn=0a11x1+a12x2++a1nxn=0=am1x1+am2x2++amnxn=0\begin{aligned} \left\{ \begin{array}{ccc} a*{11}x_1+a*{12}x*2+\ldots+a*{1n}x_n &=& 0 \\ a*{11}x_1+a*{12}x*2+\ldots+a*{1n}x_n &=& 0 \\ \vdots &=& \vdots \\ a*{m1}x_1+a*{m2}x*2+\ldots+a*{mn}x_n &=& 0 \\ \end{array} \right. \end{aligned}

このような連立方程式を拡大係数行列で表すと、一番右の列が全て 0 になるので、

rankA=rank[A o]{\rm rank}A = {\rm rank}[A \ \boldsymbol{o}]

は絶対に成り立ちます。

っていうか、このような方程式は、変数が全部 0 のときに必ず成立するので、少なくとも

x1=x2==xn=0x_1=x_2=\ldots=x_n=0

を解の 1 つとして有します。正直言って当たり前すぎる話なので、上の解は自明解と呼ばれます。

一方で、自明解以外の解は必ずしも簡単に導くことができません。自明解以外の解を非自明解と呼びます。

非自明解が存在するための条件は以下の通りです。

同次形の連立方程式が非自明解を持つ条件

同次形の連立方程式が非自明解を持つ必要十分条件は以下の式の成立である。

rank[A o]<n{\rm rank}[A \ \boldsymbol{o}] < n

階数と変数の個数nnが同じだと解が 1 組のみになるので、同次形の連立方程式は自明解の身を持つ(非自明解を持たない)ことになることを押さえると理解できると思います。

もうお察しのことと思いますが、非自明解は、必ずなんらかの変数が記号(定数)で表され、解を無数に持つことになります。

▲ トップへ戻る

Copyright © 2016-2024 おぐえもん All Rights Reserved.

授業より分かるおぐえもんの線形代数が書籍化!