【連立方程式編】解を網羅する（基本解や特殊解）

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

前回の記事では、1 次独立・1 次従属の概念を紹介した上で、今まで扱ってきた階数(rank)は、実のところ 1 次独立な行 or 列の数を表すのだということを説明しました。

今回は、1 次独立などを用いつつ、解を網羅する方法について説明します。

Ax=oの非自明解を考える

一般的な場合を考える前に、まずは$A\boldsymbol{x}=\boldsymbol{o}$の場合を考えましょう。これは、同次形の連立 1 次方程式、すなわち、右辺が全部 0 で定数項を持たない方程式のことですね。

Ax=oが解を持つとき

まず、$A\boldsymbol{x}=\boldsymbol{o}$は「$\boldsymbol{x}=\boldsymbol{o}$」（→ どの変数も全部 0）という解を絶対に持ちます。これは自明とみなして、$\boldsymbol{x}=\boldsymbol{o}$以外の解（非自明解）を求めます。

同次形の連立 1 次方程式が非自明解を持つのは、次の場合でした。

厳密さを欠くの承知で簡単に言えば、変数の数が式の数よりも多い状況です。

さて、そんな時は、$n-{\rm rank}[A \ \boldsymbol{o}]$個の変数を任意にした上で、残りの変数をこれらの変数の組み合わせで表すことにもなっていました。

この辺の話については、例も含めて過去の記事をご覧ください。

Ax=oの非自明解を網羅する方法

ここで、真っ先に結論を言っちゃいますが、同次形の連立 1 次方程式が持つ非自明解を網羅するための方法は以下の通りになります。

網羅する方法の例

例として、5つの変数を持つ3式の同次連立1次方程式を用意しました。

$$\left\{ \begin{array}{rcl} 2x_1+2x_2+6x_3+2x_4+2x_5&=&0 \\ x_1+2x_2+6x_3+2x_4+3x_5&=&0 \\ x_1+x_2+4x_3+2x_4+2x_5&=&0 \end{array} \right.$$

これの拡大係数行列を階段行列にすると、

$$\left( \begin{array}{cccccc} 1 & 1 & 4 & 2 & 2 & 0 \\ 0 & 1 & 2 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 & 1 & 0 \end{array} \right)$$

となり、階数が$3$だと判りました。

ここで、$5-3=2$つの変数を任意にしましょう。

$$x_4=\mu_1, \ x_5=\mu_2$$

$\mu_1,\mu_2$は両方とも任意の数をとることにします。

そして、先ほどの式に$x_4,x_5$を代入することで、解が求まるのですが、互いに1次独立な解を$5-3=2$つ用意すれば良いので、$(\mu_1,\mu_2)=(1,0)$の場合と$(\mu_1,\mu_2)=(0,1)$の場合について解を探してみましょう！$(\mu_1,\mu_2)$に与える値は'基本的に'何でも良い(求まった解が全て1次独立じゃないとNG)のですが、簡単な数の方が計算が楽です。

また、解を導くにあたって、連立1次方程式は階段行列に変形したときのものを使うとショートカットできます。

$$\left\{ \begin{array}{rcl} x_1+x_2+4x_3+2x_4+2x_5&=&0 \\ x_2+2x_3+x_5&=&0 \\ x_3+x_4+x_5&=&0 \end{array} \right.$$

【$(\mu_1,\mu_2)=(1,0)$の場合】

連立 1 次方程式は

$$\left\{ \begin{array}{rcl} x_1+x_2+4x_3+2&=&0 \\ x_2+2x_3&=&0 \\ x_3+1&=&0 \end{array} \right.$$

となります。既に$x_3$の値が分かっちゃってますし、楽勝すぎワロタですね。

解は**$(x_1,x_2,x_3,x_4,x_5)=(0,2,-1,1,0)$**です。

【$(\mu_1,\mu_2)=(0,1)$の場合】

連立 1 次方程式は

$$\left\{ \begin{array}{rcl} x_1+x_2+4x_3+2&=&0 \\ x_2+2x_3+1&=&0 \\ x_3+1&=&0 \end{array} \right.$$

となります。先ほどと同様にして、解は**$(x_1,x_2,x_3,x_4,x_5)=(1,1,-1,0,1)$**です。

このように、簡単に 2 つの解が導けました。この 2 解は互いに 1 次結合で表せない 1 次独立の関係性なので、非自明解$\boldsymbol{x}$は

$$\boldsymbol{x}=\lambda_1 \left( \begin{array}{c} 0 \\ 2 \\ -1 \\ 1 \\ 0 \end{array} \right) +\lambda_2 \left( \begin{array}{c} 1 \\ 1 \\ -1 \\ 0 \\ 1 \end{array} \right)= \left( \begin{array}{c} \lambda_2 \\ 2\lambda_1+\lambda_2 \\ -\lambda_1-\lambda_2 \\ \lambda_1 \\ \lambda_2 \end{array} \right)$$

という形にすることで網羅できます！

ただし、ここでも$\lambda_1,\lambda_2$は任意の数をとることとします。

基本解について

同次形の連立1次方程式の非自明解は、1次独立な「変数の個数 - 階数」個の解の1次結合で表わすことで、これを網羅することができました。

ここで、非自明解の網羅に必要な「変数の個数 - 階数」個の解を基本解と呼びます。

基本解は、「変数の個数 - 階数」個の解が1次独立ならばなんでも構いません（これ！ってのが1つに定まるタイプのものではありません）。

しかし、1次独立であることが何よりも重要なので、1次独立であることが確実で、なおかつシンプルな組み合わせが良く用いられます。

その例が、先ほども用いた、「ある$\mu$が$1$で、それ以外の$\mu$が全部$0$の場合における解」の組み合わせです。

つまり、任意の値を与えることになる「変数の個数($n$) - 階数($r$)」個の解$x*{r+1},\cdots,x*{n}$について、

$(x*{r+1},x*{r+2},x*{r+3},\cdots,x*{n})=(1,0,0,\cdots,0)$の場合の解$(x*1,\cdots,x*{r+1},\cdots,x\_{n})$と、
$(x*{r+1},x*{r+2},x*{r+3},\cdots,x*{n})=(0,1,0,\cdots,0)$の場合の解$(x*1,\cdots,x*{r+1},\cdots,x\_{n})$と、
$(x*{r+1},x*{r+2},x*{r+3},\cdots,x*{n})=(0,0,1,\cdots,0)$の場合の解$(x*1,\cdots,x*{r+1},\cdots,x\_{n})$と、
$\vdots$
$(x*{r+1},x*{r+2},x*{r+3},\cdots,x*{n})=(0,0,0,\cdots,1)$の場合の解$(x*1,\cdots,x*{r+1},\cdots,x\_{n})$

の$n-r$個を基本解とするのがオススメです！

基本解の一次結合って自明解も包含してるくない？

その通り！！解にある任意定数を全て0にすると、当然ながら解は0になるので、自明解も含みます！やったね！

まとめ

以上から、同次形の連立1次方程式は次の形で網羅できます。

Ax=bが解を持つとき

次は、より一般的な場合について考えます。今度は、先ほどとは異なり定数項がある(0 でない)場合の解です。

これも先に結論を言いますと、$A\boldsymbol{x}=\boldsymbol{b}$の解を 1 つ求めて、$A\boldsymbol{x}=\boldsymbol{o}$の任意解（全ての解）を足し合わせると網羅できます！

ここで、$A\boldsymbol{x}=\boldsymbol{b}$を満たす解の 1 つを特殊解と呼びます。

Ax=bの解に関する定理

理由は簡単。

(1),(2)ともに、命題の結びには**（任意解とは限らない）と書いているのですが、(1),(2)を結びつけることで、これらの解は任意解（全ての解）である**ことになります。よって、$A\boldsymbol{x}=\boldsymbol{b}$の任意解（全ての解）が、解の1つと、$A\boldsymbol{x}=\boldsymbol{o}$の任意解（全ての解）の和で表せることが言えました！

網羅する方法の例

先ほど解いた同次連立1次方程式の右辺に値を加えたものを用意しました。

$$\left\{ \begin{array}{rcl} 2x_1+2x_2+6x_3+2x_4+2x_5&=&2 \\ x_1+2x_2+6x_3+2x_4+3x_5&=&1 \\ x_1+x_2+4x_3+2x_4+2x_5&=&2 \end{array} \right.$$

ここで、改めて拡大係数行列を用意して、階段行列を作ります。

$$\left( \begin{array}{cccccc} 1 & 1 & 4 & 2 & 2 & 2 \\ 0 & 1 & 2 & 0 & 1 & -1 \\ 0 & 0 & 1 & 1 & 1 & 1 \end{array} \right)$$

となり、${\rm rank}[A \ \boldsymbol{b}]={\rm rank}A$である上、階数が$3$だと判りました。

同次形のときと同じく、$5-3=2$個の変数を任意に与えることができるので、計算を簡単にするため、$(x_4,x_5)=(0,0)$として計算を進めます。

階段行列を利用しつつ、$(x_4,x_5)$を代入した式がこちら。

$$\left\{ \begin{array}{rcl} x_1+x_2+4x_3&=&2 \\ x_2+2x_3&=&-1 \\ x_3&=&1 \end{array} \right.$$

これを解くと、　$(x_1,x_2,x_3,x_4,x_5)=(1,-3,1,0,0)$が導かれました。この解が特殊解です。

連立方程式の任意解は、これと同次連立1次方程式の任意解の和でした。よって、先ほど求めた同次連立1次方程式の任意解

$$\left( \begin{array}{c} \lambda_2 \\ 2\lambda_1+\lambda_2 \\ -\lambda_1-\lambda_2 \\ \lambda_1 \\ \lambda_2 \end{array} \right)$$

を合わせて、

$$\left( \begin{array}{c} 1 \\ -3 \\ 1 \\ 0 \\ 0 \end{array} \right)+\left( \begin{array}{c} \lambda_2 \\ 2\lambda_1+\lambda_2 \\ -\lambda_1-\lambda_2 \\ \lambda_1 \\ \lambda_2 \end{array} \right)=\left( \begin{array}{c} 1+\lambda_2 \\ -3+2\lambda_1+\lambda_2 \\ 1-\lambda_1-\lambda_2 \\ \lambda_1 \\ \lambda_2 \end{array} \right)$$

が連立方程式の任意解になります。

まとめ

以上の話を改めてまとめます。

連立1次方程式の解を網羅する方法（まとめ）

以上のクソ長い説明をまとめると、連立1次方程式の解は以下のようにして網羅できることになります。（解が求まるシチュエーションが前提です）

これで連立方程式編はおしまいです！ありがとうございました！