? 3.43 (任意定数を含む解って何?)
方程式
![$ x_{1}+x_{2}=0$](img986.png)
の解を考えよう.
この方程式の解はどのように表現したらよいだろうか.
まずは具体的にいくつか解を書き下してみよう.
解は方程式に代入して成り立てばよいから,
![$\displaystyle x_{1}$](img987.png) |
![$\displaystyle =1\,,\quad x_{2}=-1\,,$](img988.png) |
(481) |
![$\displaystyle x_{1}$](img987.png) |
![$\displaystyle =2\,,\quad x_{2}=-2\,,$](img989.png) |
(482) |
![$\displaystyle x_{1}$](img987.png) |
![$\displaystyle =3\,,\quad x_{2}=-3\,,$](img990.png) |
(483) |
![$\displaystyle x_{1}$](img987.png) |
![$\displaystyle =4\,,\quad x_{2}=-4\,,$](img991.png) |
(484) |
|
![$\displaystyle \quad\,\vdots$](img992.png) |
(485) |
は解となるのがすぐ分かる.
この解から予想できることとして
![$ x_{1}$](img328.png)
は任意の値で良さそうである.
これを
![$ c$](img901.png)
としよう.
![$ x_{1}=c$](img993.png)
とおけば
![$ x_{2}=-c$](img994.png)
である.
よって解として
![$\displaystyle \begin{bmatrix}x_{1} \\ x_{2} \end{bmatrix}= \begin{bmatrix}c \\ -c \end{bmatrix}\, \qquad (\forall c\in\mathbb{R})$](img995.png) |
(486) |
を得る.確にこれが解となっているかは,
方程式
![$ x_{1}+x_{2}=0$](img986.png)
に代入すればよい.
この解は任意定数を含む解である.
変数の個数は
![$ 2$](img54.png)
個であり,
方程式の本数が
![$ 1$](img58.png)
本であるので,
任意定数の個数は
![$ 2-1=1$](img996.png)
個となる.
次に方程式
![$\displaystyle \left\{\begin{array}{l} x_{1}+x_{2}=0 \\ [.5ex] x_{3}+x_{4}=0 \end{array}\right.$](img997.png) |
(487) |
を考えよう.第一式は先ほどの方程式と同じである.
であるから第一式を満たす解として
![$ (x_{1},x_{2})=(c,-c)$](img998.png)
を得る.
第二式も第一式と同じ形をしており,
変数名が違うだけである.
よって解は
![$ (x_{3},x_{4})=(c,-c)$](img999.png)
である.
しかし第一式と第二式とは独立しているので,
任意定数も独立してとり得る.
これを
![$ x_{1}=c_{1}$](img1000.png)
,
![$ x_{3}=c_{2}$](img1001.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})$](img1002.png) |
(488) |
を得る.
変数が
![$ 4$](img219.png)
個,方程式が
![$ 2$](img54.png)
本,
任意定数が
![$ 4-2=2$](img1003.png)
個である.
以上より,
任意定数の個数は変数の個数から方程式の(本質的な)本数を引い
たものである.
? 3.44 (簡約化って何?)
方程式
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & +x_{3} & +x_{4} & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1004.png) |
(489) |
を考えよう.第一式から第二式を引くと,
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & & & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1005.png) |
(490) |
を得る.
第一式から変数が
![$ 2$](img54.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}$](img1006.png) |
(491) |
のように変形される.
右の行列は簡約な行列となっている.
次に方程式
![$\displaystyle \left\{\begin{array}{ccc} 3x_{1} & +\,4x_{2} & =2 \\ [.5ex] x_{1} & +\,2x_{2} & =3 \end{array}\right.$](img1007.png) |
(492) |
を考えよう.
方程式と係数行列の変化をみよう:
|
![$\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]$](img1008.png) |
(493) |
|
![$\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]$](img1009.png) |
(494) |
|
![$\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]$](img1010.png) |
(495) |
|
![$\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]$](img1011.png) |
(496) |
|
![$\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]$](img1012.png) |
(497) |
このように基本変形により変数が減って行く.
この手順によりうまく変数を減らすことができる.
ある行列が与えられたとき,
その行列に対して簡約な行列は一意に定まる.
つまり,
与えられた方程式に対して常に
うまい変数の減らし方が存在することを意味する.