? 3.36 (任意定数を含む解って何?)
方程式
![$ x_{1}+x_{2}=0$](img1465.png)
の解を考えよう.
この方程式の解はどのように表現したらよいだろうか.
まずは具体的にいくつか解を書き下してみよう.
解は方程式に代入して成り立てばよいから,
![$\displaystyle x_{1}$](img1466.png) |
![$\displaystyle =1\,,\quad x_{2}=-1\,,$](img1467.png) |
(425) |
![$\displaystyle x_{1}$](img1468.png) |
![$\displaystyle =2\,,\quad x_{2}=-2\,,$](img1469.png) |
(426) |
![$\displaystyle x_{1}$](img1470.png) |
![$\displaystyle =3\,,\quad x_{2}=-3\,,$](img1471.png) |
(427) |
![$\displaystyle x_{1}$](img1472.png) |
![$\displaystyle =4\,,\quad x_{2}=-4\,,$](img1473.png) |
(428) |
|
![$\displaystyle \quad\,\vdots$](img1474.png) |
(429) |
は解となるのがすぐ分かる.
この解から予想できることとして
![$ x_{1}$](img1475.png)
は任意の値で良さそうである.
これを
![$ c$](img1476.png)
としよう.
![$ x_{1}=c$](img1477.png)
とおけば
![$ x_{2}=-c$](img1478.png)
である.
よって解として
![$\displaystyle \begin{bmatrix}x_{1} \\ x_{2} \end{bmatrix}= \begin{bmatrix}c \\ -c \end{bmatrix}\, \qquad (\forall c\in\mathbb{R})$](img1479.png) |
(430) |
を得る.確にこれが解となっているかは,
方程式
![$ x_{1}+x_{2}=0$](img1480.png)
に代入すればよい.
この解は任意定数を含む解である.
変数の個数は
![$ 2$](img1481.png)
個であり,
方程式の本数が
![$ 1$](img1482.png)
本であるので,
任意定数の個数は
![$ 2-1=1$](img1483.png)
個となる.
次に方程式
![$\displaystyle \left\{\begin{array}{l} x_{1}+x_{2}=0 \\ [.5ex] x_{3}+x_{4}=0 \end{array}\right.$](img1484.png) |
(431) |
を考えよう.第一式は先ほどの方程式と同じである.
であるから第一式を満たす解として
![$ (x_{1},x_{2})=(c,-c)$](img1485.png)
を得る.
第二式も第一式と同じ形をしており,
変数名が違うだけである.
よって解は
![$ (x_{3},x_{4})=(c,-c)$](img1486.png)
である.
しかし第一式と第二式とは独立しているので,
任意定数も独立してとり得る.
これを
![$ x_{1}=c_{1}$](img1487.png)
,
![$ x_{3}=c_{2}$](img1488.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})$](img1489.png) |
(432) |
を得る.
変数が
![$ 4$](img1490.png)
個,方程式が
![$ 2$](img1491.png)
本,
任意定数が
![$ 4-2=2$](img1492.png)
個である.
以上より,
任意定数の個数は変数の個数から方程式の(本質的な)本数を引い
たものである.
? 3.37 (簡約化って何?)
方程式
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & +x_{3} & +x_{4} & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1493.png) |
(433) |
を考えよう.第一式から第二式を引くと,
![$\displaystyle \left\{\begin{array}{ccccc} x_{1} & +x_{2} & & & =0 \\ [.5ex] & & x_{3} & +x_{4} & =0 \end{array}\right.$](img1494.png) |
(434) |
を得る.
第一式から変数が
![$ 2$](img1495.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}$](img1496.png) |
(435) |
のように変形される.
右の行列は簡約な行列となっている.
次に方程式
![$\displaystyle \left\{\begin{array}{ccc} 3x_{1} & +\,4x_{2} & =2 \\ [.5ex] x_{1} & +\,2x_{2} & =3 \end{array}\right.$](img1497.png) |
(436) |
を考えよう.
方程式と係数行列の変化をみよう:
|
![$\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]$](img1498.png) |
(437) |
|
![$\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]$](img1499.png) |
(438) |
|
![$\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]$](img1500.png) |
(439) |
|
![$\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]$](img1501.png) |
(440) |
|
![$\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]$](img1502.png) |
(441) |
このように基本変形により変数が減って行く.
この手順によりうまく変数を減らすことができる.
ある行列が与えられたとき,
その行列に対して簡約な行列は一意に定まる.
つまり,
与えられた方程式に対して常に
うまい変数の減らし方が存在することを意味する.