? 2.36 (任意定数を含む解って何?)
方程式
![$ x_{1}+x_{2}=0$](img587.png)
の解を考えよう.
この方程式の解はどのように表現したらよいだろうか.
まずは具体的にいくつか解を書き下してみよう.
解は方程式に代入して成り立てばよいから,
![$\displaystyle x_{1}$](img588.png) |
![$\displaystyle =1\,,\quad x_{2}=-1\,,$](img589.png) |
(220) |
![$\displaystyle x_{1}$](img590.png) |
![$\displaystyle =2\,,\quad x_{2}=-2\,,$](img591.png) |
(221) |
![$\displaystyle x_{1}$](img592.png) |
![$\displaystyle =3\,,\quad x_{2}=-3\,,$](img593.png) |
(222) |
![$\displaystyle x_{1}$](img594.png) |
![$\displaystyle =4\,,\quad x_{2}=-4\,,$](img595.png) |
(223) |
|
![$\displaystyle \quad\,\vdots$](img596.png) |
(224) |
は解となるのがすぐ分かる.
この解から予想できることとして
![$ x_{1}$](img597.png)
は任意の値で良さそうである.
これを
![$ c$](img598.png)
としよう.
![$ x_{1}=c$](img599.png)
とおけば
![$ x_{2}=-c$](img600.png)
である.
よって解として
![$\displaystyle \begin{bmatrix}x_{1} \\ x_{2} \end{bmatrix}= \begin{bmatrix}c \\ -c \end{bmatrix}\, \qquad (\forall c\in\mathbb{R})$](img601.png) |
(225) |
を得る.確にこれが解となっているかは,
方程式
![$ x_{1}+x_{2}=0$](img602.png)
に代入すればよい.
この解は任意定数を含む解である.
変数の個数は
![$ 2$](img603.png)
個であり,
方程式の本数が
![$ 1$](img604.png)
本であるので,
任意定数の個数は
![$ 2-1=1$](img605.png)
個となる.
次に方程式
![$\displaystyle \left\{\begin{array}{l} x_{1}+x_{2}=0 \\ [.5ex] x_{3}+x_{4}=0 \end{array}\right.$](img606.png) |
(226) |
を考えよう.第一式は先ほどの方程式と同じである.
であるから第一式を満たす解として
![$ (x_{1},x_{2})=(c,-c)$](img607.png)
を得る.
第二式も第一式と同じ形をしており,
変数名が違うだけである.
よって解は
![$ (x_{3},x_{4})=(c,-c)$](img608.png)
である.
しかし第一式と第二式とは独立しているので,
任意定数も独立してとり得る.
これを
![$ x_{1}=c_{1}$](img609.png)
,
![$ x_{3}=c_{2}$](img610.png)
としよう.
よって解として
![$\displaystyle \begin{bmatrix}x_{1} \\ x_{2} \\ x_{3} \\ x_{4} \end{bmatrix}= \b...
...2} \\ -c_{2} \end{bmatrix}\, \qquad (\forall c_{1}, \forall c_{2}\in\mathbb{R})$](img611.png) |
(227) |
を得る.
変数が
![$ 4$](img612.png)
個,方程式が
![$ 2$](img613.png)
本,
任意定数が
![$ 4-2=2$](img614.png)
個である.
以上より,
任意定数の個数は変数の個数から方程式の(本質的な)本数を引い
たものである.
? 2.37 (簡約化って何?)
方程式
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & +x_{3} & +x_{4} & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img615.png) |
(228) |
を考えよう.第一式から第二式を引くと,
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & & & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img616.png) |
(229) |
を得る.
第一式から変数が
![$ 2$](img617.png)
個減っている.
このとき係数行列は
![$\displaystyle \begin{bmatrix}1 & 1 & 1 & 1 \\ 0 & 0 & 1 & 1 \end{bmatrix} \qquad\to\qquad \begin{bmatrix}1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 \end{bmatrix}$](img618.png) |
(230) |
のように変形される.
右の行列は簡約な行列となっている.
次に方程式
![$\displaystyle \left\{\begin{array}{ccc} 3x_{1} & +\,4x_{2} & =2 \\ [.5ex] x_{1} & +\,2x_{2} & =3 \end{array}\right.$](img619.png) |
(231) |
を考えよう.
方程式と係数行列の変化をみよう:
|
![$\displaystyle \left\{\begin{array}{ccc} 3x_{1} & +\,4x_{2} & =2 \\ [.5ex] x_{1}...
...\qquad \left[\begin{array}{cc\vert c} 3 & 4 & 2 \\ 1 & 2 & 3 \end{array}\right]$](img620.png) |
(232) |
|
![$\displaystyle \to \left\{\begin{array}{ccc} 0 & -\,2x_{2} & =-7 \\ [.5ex] x_{1}...
... \to \left[\begin{array}{cc\vert c} 0 & -2 & -7 \\ 1 & 2 & 3 \end{array}\right]$](img621.png) |
(233) |
|
![$\displaystyle \to \left\{\begin{array}{ccc} x_{1} & +\,2x_{2} & =3 \\ [.5ex] & ...
... \to \left[\begin{array}{cc\vert c} 1 & 2 & 3 \\ 0 & -2 & -7 \end{array}\right]$](img622.png) |
(234) |
|
![$\displaystyle \to \left\{\begin{array}{ccc} x_{1} & 0 & =-4 \\ [.5ex] & -2x_{2}...
...\to \left[\begin{array}{cc\vert c} 1 & 0 & -4 \\ 0 & -2 & -7 \end{array}\right]$](img623.png) |
(235) |
|
![$\displaystyle \to \left\{\begin{array}{ccc} x_{1} & & =-4 \\ [.5ex] & x_{2} & =...
...\to \left[\begin{array}{cc\vert c} 1 & 0 & -4 \\ 0 & 1 & 7/2 \end{array}\right]$](img624.png) |
(236) |
このように基本変形により変数が減って行く.
この手順によりうまく変数を減らすことができる.
ある行列が与えられたとき,
その行列に対して簡約な行列は一意に定まる.
つまり,
与えられた方程式に対して常に
うまい変数の減らし方が存在することを意味する.