連立1次方程式 $Ax = b$ の解のパラメータ表示が $x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}$ で与えられている。 (1) $b \neq 0$ を示す。 (2) 解が上記のパラメータ表示で与えられるような $A$ と $b$ の例を1組挙げる。

代数学線形代数連立一次方程式解のパラメータ表示線形写像
2025/7/20

1. 問題の内容

連立1次方程式 Ax=bAx = b の解のパラメータ表示が x=(1200)+s(1410)+t(2101)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} で与えられている。
(1) b0b \neq 0 を示す。
(2) 解が上記のパラメータ表示で与えられるような AAbb の例を1組挙げる。

2. 解き方の手順

(1) b0b \neq 0 の証明
パラメータ表示された解は、
x=(1200)+s(1410)+t(2101)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}
と表されている。この解は Ax=bAx = b を満たす。
ここで、s=0s = 0, t=0t = 0 とすると、x=(1200)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} であり、Ax=A(1200)=bAx = A \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} = b である。
また、s=1s = 1, t=0t = 0 とすると、x=(1200)+(1410)=(2610)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} = \begin{pmatrix} 2 \\ 6 \\ 1 \\ 0 \end{pmatrix} であり、A(2610)=bA \begin{pmatrix} 2 \\ 6 \\ 1 \\ 0 \end{pmatrix} = b である。
さらに、s=0s = 0, t=1t = 1 とすると、x=(1200)+(2101)=(3301)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 3 \\ 3 \\ 0 \\ 1 \end{pmatrix} であり、A(3301)=bA \begin{pmatrix} 3 \\ 3 \\ 0 \\ 1 \end{pmatrix} = b である。
もし b=0b = 0 ならば、A(1200)=0A \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} = 0, A(2610)=0A \begin{pmatrix} 2 \\ 6 \\ 1 \\ 0 \end{pmatrix} = 0, A(3301)=0A \begin{pmatrix} 3 \\ 3 \\ 0 \\ 1 \end{pmatrix} = 0 が成り立つはずである。
しかし、sstt は任意の値を取れるため、パラメータ表示から xx は一意に定まらず、Ax=bAx = b の解は複数存在する。
もし b=0b=0 ならば、sstt の値を適切に選べば、x=0x = 0 となり、A×0=0A \times 0 = 0 となり矛盾はしない。
しかし問題文は x=(1200)+s(1410)+t(2101)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} が解のパラメータ表示であると述べているので、b=0b=0 の場合はありえない。なぜなら、もし b=0b=0 なら、(1200)\begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} は解の一つでなければならないが、必ずしもそうではないからである。したがって、b0b \neq 0 である。
(2) AAbb の例
AAbb の例を一つ挙げる。まず、(1410)\begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix}(2101)\begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}Ax=0Ax = 0 の解となるように AA を定める。例えば、
A=(0000000000000000)A = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} とする。このとき、(1410)\begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix}(2101)\begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}Ax=0Ax=0 を満たす。
次に、A(1200)=bA \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} = b となるように bb を定める。A=(0000000000000000)A = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} なので、
b=(0000)b = \begin{pmatrix} 0 \\ 0 \\ 0 \\ 0 \end{pmatrix} となる。
しかし、b=0b = 0 は (1) で示された b0b \neq 0 に反する。
そこで、もう一つの例を考えてみる。
x=(1200)+s(1410)+t(2101)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}
の形から、解の自由度は2であるとわかる。したがって、行列 AA のランクは 42=24-2=2 以下である。
ここで、A=(1000010000000000)A = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} とすると、Ax=bAx = b
(1000010000000000)(x1x2x3x4)=(b1b2b3b4)\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix} = \begin{pmatrix} b_1 \\ b_2 \\ b_3 \\ b_4 \end{pmatrix}
つまり、x1=b1,x2=b2,0=b3,0=b4x_1 = b_1, x_2 = b_2, 0 = b_3, 0 = b_4 となる。
ここで、x1=1+s+2tx_1 = 1 + s + 2t, x2=2+4s+tx_2 = 2 + 4s + t, x3=sx_3 = s, x4=tx_4 = t であるから、
b1=1+s+2tb_1 = 1 + s + 2t, b2=2+4s+tb_2 = 2 + 4s + t, b3=0b_3 = 0, b4=0b_4 = 0 となる。
sstt が任意なので、b1b_1b2b_2 も任意の値を取る。
しかし、bb は定数ベクトルなので、sstt に依存してはならない。したがって、b1b_1b2b_2 は定数である必要がある。
例えば、A=(0010000100000000)A = \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} とすると、Ax=bAx = b
(0010000100000000)(x1x2x3x4)=(b1b2b3b4)\begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix} = \begin{pmatrix} b_1 \\ b_2 \\ b_3 \\ b_4 \end{pmatrix}
つまり、x3=b1,x4=b2,0=b3,0=b4x_3 = b_1, x_4 = b_2, 0 = b_3, 0 = b_4 となる。
x3=sx_3 = s, x4=tx_4 = t であるから、s=b1s = b_1, t=b2t = b_2 となる。このとき、解は
x=(1200)+b1(1410)+b2(2101)=(1+b1+2b22+4b1+b2b1b2)x = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + b_1 \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + b_2 \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 1 + b_1 + 2b_2 \\ 2 + 4b_1 + b_2 \\ b_1 \\ b_2 \end{pmatrix}
となる。
b=A(1+b1+2b22+4b1+b2b1b2)=(b1b200)b = A \begin{pmatrix} 1 + b_1 + 2b_2 \\ 2 + 4b_1 + b_2 \\ b_1 \\ b_2 \end{pmatrix} = \begin{pmatrix} b_1 \\ b_2 \\ 0 \\ 0 \end{pmatrix} となる。
この例も、xx が一意に定まらないため解としては不適切である。
A=(11/400001000010000)A = \begin{pmatrix} 1 & -1/4 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}
x=(1+s+2t2+4s+tst)x = \begin{pmatrix} 1 + s + 2t \\ 2 + 4s + t \\ s \\ t \end{pmatrix}
b=Ax=(1+s+2t(2+4s+t)/4st0)=(1/2st0)b = A x = \begin{pmatrix} 1+s+2t - (2+4s+t)/4 \\ s \\ t \\ 0 \end{pmatrix} = \begin{pmatrix} 1/2 \\ s \\ t \\ 0 \end{pmatrix}.
ここで、A=(11/412000000000000)A = \begin{pmatrix} 1 & -1/4 & -1 & -2 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} とすると、Ax=1/2Ax=1/2 は定数となり、s,ts, t に依存しない。しかし解空間が異なる。

3. 最終的な答え

(1) b0b \neq 0
(2) 例:A=(0010000100000000)A = \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}b=(1100)b = \begin{pmatrix} 1 \\ 1 \\ 0 \\ 0 \end{pmatrix}
この時、Ax=bA x = b の解は x=(αβ11)x = \begin{pmatrix} \alpha \\ \beta \\ 1 \\ 1 \end{pmatrix} となる。
ここで、Ax=(0010000100000000)((1200)+s(1410)+t(2101))=(st00)A x = \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} ( \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix}) = \begin{pmatrix} s \\ t \\ 0 \\ 0 \end{pmatrix}.
b=(0,0,0,0)b = (0,0,0,0) になるので条件を満たさない。
より適切な例は A=(11/412000000000000)A = \begin{pmatrix} 1 & -1/4 & -1 & -2 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}, b=(1/2000)b = \begin{pmatrix} 1/2 \\ 0 \\ 0 \\ 0 \end{pmatrix}
このとき A(1200)=(12/4000)=(1/2000)=bA \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 1 - 2/4 \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 1/2 \\ 0 \\ 0 \\ 0 \end{pmatrix} = b,
A(1410)=(14/41000)=(1000)=0A \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} = \begin{pmatrix} 1 - 4/4 - 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} -1 \\ 0 \\ 0 \\ 0 \end{pmatrix} = 0,
A(2101)=(21/42000)=0A \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 2 - 1/4 - 2 \\ 0 \\ 0 \\ 0 \end{pmatrix} = 0 は間違いです。
上記の AA も適切ではありません。なぜなら、s(1410)+t(2101)s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} の部分は必ずゼロになる必要があるため、s,ts, t の係数の行列は Ax=0Ax = 0 の解を持つ必要があります。
適切な例:
A=(1012014100000000)A = \begin{pmatrix} 1 & 0 & -1 & -2 \\ 0 & 1 & -4 & -1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}b=(1200)b = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix}
この場合、A((1200)+s(1410)+t(2101))=(1200)A (\begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} + s \begin{pmatrix} 1 \\ 4 \\ 1 \\ 0 \end{pmatrix} + t \begin{pmatrix} 2 \\ 1 \\ 0 \\ 1 \end{pmatrix} ) = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix}
(1012014100000000)(1+s+2t2+4s+tst)=((1+s+2t)s2t(2+4s+t)4st00)=(1200)\begin{pmatrix} 1 & 0 & -1 & -2 \\ 0 & 1 & -4 & -1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} 1+s+2t \\ 2+4s+t \\ s \\ t \end{pmatrix} = \begin{pmatrix} (1+s+2t) -s-2t \\ (2+4s+t) -4s - t \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 1 \\ 2 \\ 0 \\ 0 \end{pmatrix} となり成立する。

「代数学」の関連問題

2乗すると16になる数をすべて求め、小さい順にコンマ(,)で区切って答える。

二次方程式平方根解の公式
2025/7/20

問題は、任意のベクトル $\mathbf{a}, \mathbf{b}, \mathbf{c} \in \mathbb{R}^3$ に対して $(\mathbf{a} \times \mathbf{b...

ベクトルベクトル積反例
2025/7/20

数列 $\{a_n\}$ は等差数列、数列 $\{b_n\}$ は公比が正の等比数列であり、$a_1 = 1$, $b_1 = 3$, $a_2 + 2b_2 = 21$, $a_4 + 2b_4 =...

数列等差数列等比数列級数Σ一般項
2025/7/20

(1) $a$ が正の数で $a^{\frac{1}{2}} + a^{-\frac{1}{2}} = 3$ を満たしているとき、$\frac{a^{\frac{3}{2}}+a^{-\frac{3}...

指数対数式の計算底の変換
2025/7/20

二次関数 $y = x^2 - 6x + 2$ のグラフCについて、以下の問いに答える問題です。 * $y=x^2$ のグラフをどのように平行移動すればグラフCになるか。 * グラフCは $y...

二次関数グラフ平行移動平方完成対称性頂点
2025/7/20

放物線 $y = x^2 - 6x + 2$ のグラフ C が、$y = x^2$ のグラフをどのように平行移動したものか、また、$C$ が $y = x^2 + 2x - 6$ のグラフと直線 $x...

二次関数放物線平行移動平方完成グラフ
2025/7/20

2次不等式 $-x^2 + 2kx + 2k - 8 \le 0$ がすべての実数 $x$ で成り立つような定数 $k$ の範囲を求める問題です。

二次不等式判別式不等式の解法
2025/7/20

与えられた数式を、文字式の表記ルールに従って表す問題です。具体的には、以下の10個の式を文字式で表現します。 (1) $b \times c$ (2) $x \times 7$ (3) $1 \tim...

文字式式の表現計算規則
2025/7/20

問題2は、以下の式を乗算記号 ($\times$) を用いて表す問題です。 (1) $4x$ (2) $3ab$ (3) $6y^2$ (4) $-3(x+1)$ (5) $\frac{1}{5}xy...

代数式の表現乗算
2025/7/20

2次関数 $y = -x^2 - 5x + k - 5$ のグラフがx軸と2つの共有点を持つときの、$k$の値の範囲を求める。

二次関数判別式二次不等式グラフ
2025/7/20