? 3.45 (任意定数を含む解って何?)
方程式
![$ x_{1}+x_{2}=0$](img1579.png)
の解を考えよう.
この方程式の解はどのように表現したらよいだろうか.
まずは具体的にいくつか解を書き下してみよう.
解は方程式に代入して成り立てばよいから,
![$\displaystyle x_{1}$](img1580.png) |
![$\displaystyle =1\,,\quad x_{2}=-1\,,$](img1581.png) |
(475) |
![$\displaystyle x_{1}$](img1580.png) |
![$\displaystyle =2\,,\quad x_{2}=-2\,,$](img1582.png) |
(476) |
![$\displaystyle x_{1}$](img1580.png) |
![$\displaystyle =3\,,\quad x_{2}=-3\,,$](img1583.png) |
(477) |
![$\displaystyle x_{1}$](img1580.png) |
![$\displaystyle =4\,,\quad x_{2}=-4\,,$](img1584.png) |
(478) |
|
![$\displaystyle \quad\,\vdots$](img1585.png) |
(479) |
は解となるのがすぐ分かる.
この解から予想できることとして
![$ x_{1}$](img479.png)
は任意の値で良さそうである.
これを
![$ c$](img1496.png)
としよう.
![$ x_{1}=c$](img1586.png)
とおけば
![$ x_{2}=-c$](img1587.png)
である.
よって解として
![$\displaystyle \begin{bmatrix}x_{1} \\ x_{2} \end{bmatrix}= \begin{bmatrix}c \\ -c \end{bmatrix}\, \qquad (\forall c\in\mathbb{R})$](img1588.png) |
(480) |
を得る.確にこれが解となっているかは,
方程式
![$ x_{1}+x_{2}=0$](img1579.png)
に代入すればよい.
この解は任意定数を含む解である.
変数の個数は
![$ 2$](img58.png)
個であり,
方程式の本数が
![$ 1$](img62.png)
本であるので,
任意定数の個数は
![$ 2-1=1$](img1589.png)
個となる.
次に方程式
![$\displaystyle \left\{\begin{array}{l} x_{1}+x_{2}=0 \\ [.5ex] x_{3}+x_{4}=0 \end{array}\right.$](img1590.png) |
(481) |
を考えよう.第一式は先ほどの方程式と同じである.
であるから第一式を満たす解として
![$ (x_{1},x_{2})=(c,-c)$](img1591.png)
を得る.
第二式も第一式と同じ形をしており,
変数名が違うだけである.
よって解は
![$ (x_{3},x_{4})=(c,-c)$](img1592.png)
である.
しかし第一式と第二式とは独立しているので,
任意定数も独立してとり得る.
これを
![$ x_{1}=c_{1}$](img1593.png)
,
![$ x_{3}=c_{2}$](img1594.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})$](img1595.png) |
(482) |
を得る.
変数が
![$ 4$](img211.png)
個,方程式が
![$ 2$](img58.png)
本,
任意定数が
![$ 4-2=2$](img1596.png)
個である.
以上より,
任意定数の個数は変数の個数から方程式の(本質的な)本数を引い
たものである.
? 3.46 (簡約化って何?)
方程式
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & +x_{3} & +x_{4} & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1597.png) |
(483) |
を考えよう.第一式から第二式を引くと,
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & & & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1598.png) |
(484) |
を得る.
第一式から変数が
![$ 2$](img58.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}$](img1599.png) |
(485) |
のように変形される.
右の行列は簡約な行列となっている.
次に方程式
![$\displaystyle \left\{\begin{array}{ccc} 3x_{1} & +\,4x_{2} & =2 \\ [.5ex] x_{1} & +\,2x_{2} & =3 \end{array}\right.$](img1600.png) |
(486) |
を考えよう.
方程式と係数行列の変化をみよう:
|
![$\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]$](img1601.png) |
(487) |
|
![$\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]$](img1602.png) |
(488) |
|
![$\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]$](img1603.png) |
(489) |
|
![$\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]$](img1604.png) |
(490) |
|
![$\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]$](img1605.png) |
(491) |
このように基本変形により変数が減って行く.
この手順によりうまく変数を減らすことができる.
ある行列が与えられたとき,
その行列に対して簡約な行列は一意に定まる.
つまり,
与えられた方程式に対して常に
うまい変数の減らし方が存在することを意味する.