非同次連立1次方程式の解と自由度の関係

こんにちはコーヤです。

このページでは非同次連立1次方程式の解と自由度の関係を勉強します。線形結合や基底変換の分野で重要な知識です。

解ける式と解けない式

非同次連立1次方程式には解ける式と解けない式があります。それぞれ具体例を見ていきます。

まずは解ける非同次連立1次方程式です。

x+2y=43x4y=2

(x,y)=(2,1)です。

次に解けない非同次連立1次方程式です。

x+2y=42x4y=8

(x,y)=(2,1),(4,0),(2,3)たくさん答えがあります。

無理やり解を出すなら任意定数tを用いて(x,y)=(2t,t+2)となります。

厳密には「解けない」わけではありませんが「解が定まらない」ということですね。

さらに解けない式はもう1つパターンがあります。

x+2y=43x+6y=4

これは解なしになります。

これも厳密には「解けない」わけではありませんが「解が見つからない」ということです。

これを踏まえて読み進めるとスムーズにいくと思います。

拡大係数行列の作り方

今の例を使って拡大係数行列を作っていきます。やり方は簡単です。

x+2y=43x4y=2

これを行列の形に変更して

(1234)(xy)=(42)

こうなります。

係数行列A

A=(1234)

でしたが、拡大係数行列では右辺の値も行列の中に入れてあげます。

右辺の値をbとすると

b=(42)

です。

拡大係数行列A|b

(124342)

このように書きます。

解と自由度の関係

拡大係数行列から求める自由度と解の関係を調べます。

基本的には同次の時と同じような関係になるので、拡大係数行列の扱い方の注意ポイントを中心に見ていきます。

それではさっきの例で確認してみましょう。

解ける例

x+2y=43x4y=2

この非同次連立1次方程式の拡大係数行列は

(124342)

でした。これの階段行列を作ると

(12401010)

なのでランクは

rankA=rankA|b=2

です。

自由度は未知数の数から拡大係数行列のランクを引いたものなので、自由度0です。

実際に解は(x,y)=(2,1)でした。任意定数0個で解が表せています。

解が定まらない例

x+2y=42x4y=8

この非同次連立1次方程式の拡大係数行列は

(124248)

です。これの階段行列を作ると

(124000)

なのでランクは

rankA=rankA|b=1

です。

自由度は未知数の数から拡大係数行列のランクを引いたものなので、自由度1です。

実際に解は(x,y)=(2t,t+2)でした。任意定数1個で解が表せています。

解が見つからない例

x+2y=43x+6y=4

この非同次連立1次方程式の拡大係数行列は

(124364)

です。これの階段行列を作ると

(124008)

なのでランクは

rankA=1rankA|b=2

です。ここでストップ。

rankA<rankA|b

のときは解なしとなります。

グラフで見比べればさらに自由度のイメージが付きやすいと思います。

解と自由度

ランクの不等式が出てきましたが

rankA>rankA|b

となる場合はありません。

x+2y=42x4y=8

この非同次連立1次方程式の拡大係数行列は

(124248)

です。これの階段行列を作ると

(124080)

なのでランクは

rankA=rankA|b=2

です。

rankA=2rankA|b=1

と勘違いしそうですが、あくまで拡大係数行列は2行3列の行列としてランクを求めます。

非同次連立1次方程式の具体例

それでは具体例4つで非同次連立1次方程式の解を求める練習をしましょう。

具体例1

x+2y+3z=253x+4y+2z=412x+3y+5z=43

この非同次連立1次方程式の解を求めます。行列形式に変形して

(123342235)(xyz)=(254143)

拡大係数行列を階段行列に変形してランクを求めると

(123253424123543)(12325011700520)

係数行列、拡大係数行列どちらもランク3で一致しています。未知数の数はx,y,zの3個、ランクは3なので、自由度は0です。

つまり任意定数を使わずに解が求まります。

階段行列を使って式を書くと

(123011005)(xyz)=(25720)

行列形式から普通の方程式の形に変形して

x+2y+3z=25yz=75z=20

となります。この連立1次方程式を普通に解いて

(x,y,z)=(7,3,4)

となります。

具体例2

x+2y+3z=253x+4y+2z=414x+6y+5z=66

この非同次連立1次方程式の解を求めます。行列形式に変形して

(123342465)(xyz)=(254166)

拡大係数行列を階段行列に変形してランクを求めると

(123253424146566)(12325027340000)

係数行列、拡大係数行列どちらもランク2で一致しています。未知数の数はx,y,zの3個、ランクは2なので、自由度は1です。

自由度が1ということは、任意定数1個で解が表せるということです。

階段行列を使って式を書くと

(123027000)(xyz)=(25340)

行列形式から普通の方程式の形に変形して

x+2y+3z=252y7z=34

となります。ここで任意定数tの出番です。

z=2tとおくと、2行目の方程式からy=7t+17が求まります。

yzが分かったので、1行目の方程式からx=8t11が求まります。

よって

(x,y,z)=(8t11,7t+17,2t)

となります。

具体例3

x+2y+3z=252x+4y+6z=503x+6y+9z=75

この非同次連立1次方程式の解を求めます。行列形式に変形して

(123246369)(xyz)=(255075)

拡大係数行列を階段行列に変形してランクを求めると

(123252465036975)(1232500000000)

係数行列、拡大係数行列どちらもランク1で一致しています。未知数の数はx,y,zの3個、ランクは1なので、自由度は2です。

自由度が2ということは、任意定数2個で解が表せるということです。

階段行列を使って式を書くと

(123000000)(xyz)=(2500)

行列形式から普通の方程式の形に変形して

x+2y+3z=25

となります。ここで任意定数t1,t2の出番です。

y=t1,z=t2とすると、方程式からx=2t13t2+25が求まります。

よって

(x,y,z)=(2t13t2+25,t1,t2)

となります。

具体例4

x+2y+3z=253x+4y+2z=412x+2yz=43

この非同次連立1次方程式の解を求めます。行列形式に変形して

(123342221)(xyz)=(254143)

拡大係数行列を階段行列に変形してランクを求めると

(123253424122143)(123250273400027)

係数行列のランクは2で、拡大係数行列のランクは3です。

拡大係数行列のランクが係数行列のランクより大きいときは解なしです。

まとめ

未知数の数から拡大係数行列のランクを引いたものが自由度です。

自由度は解の任意定数の個数を表しています。

拡大係数行列のランクが係数行列のランクより大きいときは解なしです。

コメント欄