を実数とする。連立 1 次方程式 を、拡大係数行列に行基本変形(掃き出し法)を行って解け。解を組 で答えよ。
掃き出し法と連立 1 次方程式
拡大係数行列を行基本変形で階段行列にして、連立 1 次方程式の解(一般解)を求められる
前提
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
この技能までの道筋(26 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 乗法公式による展開 (中学数学 数と式)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
説明
連立 1 次方程式を、係数と右辺だけを並べた「拡大係数行列」に書き直します。そのうえで行に対する 3 種類の操作(行基本変形)をくり返し、解がひと目で読み取れる形(階段行列)にする方法を学びます。未知数が 3 個以上あっても機械的に計算できます。解がただ 1 つの場合、無数にある場合(一般解をパラメータで表す)、解がない場合のどれなのかも同時に判定できます。
なぜそうしてよいのか
連立 1 次方程式 は、行列の積を使うと と書けます。 は係数を並べた 行列、 は未知数を縦に並べたベクトルです。中学で習った加減法は「ある式を何倍かして別の式に足す」操作でした。計算に実際に関わっているのは係数と右辺の数だけです。そこで、それらを並べた拡大係数行列 の各行を「1 本の式」とみなして操作すれば、文字を書かずに加減法ができます。
使ってよい操作(行基本変形)は次の 3 つです。
(1) 2 つの行を入れ替える。
(2) ある行に 0 でない数 を掛ける。
(3) ある行に別の行の 倍を加える(書き換えるのはその 1 行だけで、使った行はそのまま残す)。
どの操作にも、元に戻す操作が同じ種類の操作として存在します((2) は 倍、(3) は 倍を加える)。したがって、変形前の式を満たす は変形後の式も満たし、逆も成り立ちます。つまり行基本変形で解の集合はまったく変わりません。0 倍を許さないのは、0 倍すると式の情報が消えて元に戻せなくなるからです。
この操作で目指すのが「階段行列」です。各行の最初の 0 でない成分を主成分(ピボット)といい、主成分が下の行ほど右にずれ、0 だけの行は一番下に集まった形をいいます。主成分は対角線上に並ぶとは限らず、段が 2 列以上ずれることもあります。たとえば についての拡大係数行列 を考えます。1 列目を掃き出すと となり、2 列目は 2 行目以下がすべて 0 です。この列には主成分を作れないので飛ばし、2 行目の主成分は 3 列目に置きます。3 行目に 2 行目の 倍を加えると となり、4 列目に主成分ができます。
さらに各主成分を 1 にし、主成分のある列のほかの成分をすべて 0 にした形を「簡約な階段行列」といいます。上の例では になります。各行は「主成分の未知数 定数 (主成分のない未知数の式)」と読めます。主成分のない 2 列目の は自由に選べるので ( は任意の実数)とおくと、一般解は です。
手順
拡大係数行列 を作る。未知数の順に係数を並べ、ない項は係数 0 として書き、縦線の右に右辺を書く。
左の列から順に、まだ主成分の決まっていない一番上の行(以下「今の行」)以下で、その列の 0 でない成分を 1 つ選んで主成分にする。必要なら行を入れ替えて今の行に持ってくる。その行の 倍を下の行に加えて、その列の下の成分をすべて 0 にし、今の行を 1 つ下へ進める。その列の今の行以下の成分がすべて 0 なら、その列には主成分を作らず、今の行は同じ位置のまま次の列へ進む。これを最後の列(縦線の左)までくり返して階段行列にする。
解の有無を判定する。 で の行が現れたら、 という矛盾なので解なし。
主成分を 1 にする(その行を主成分の値で割る)。下の行から順に、主成分のある列の上の成分も 0 にして、簡約な階段行列にする。
解を読み取る。主成分のない列に対応する未知数を、自由に動けるパラメータ (任意の実数)とおき、主成分の未知数をそれらで表す。主成分のない列がなければ解はただ 1 つ。
例題
連立 1 次方程式 の解 を求めよ。
例題の解答
【手順 1】拡大係数行列は 。
【手順 2】1 列目の主成分を 1 行目の 1 とする。2 行目に 1 行目の 倍を、3 行目に 1 行目の 倍を加えて 。2 列目の 2 行目以下は 0 でない(2 行目が 1)ので、これを主成分とする。3 行目に 2 行目の 倍を加えて 。3 列目は 3 行目の 1 が主成分で、これで階段行列になった(今回は主成分を作れない列はなかった)。
【手順 3】, の行はないので解をもつ。
【手順 4】主成分はすでにすべて 1。まず 3 列目の上を消す。2 行目に 3 行目の 倍、1 行目に 3 行目の 倍を加えて 。次に 2 列目の上を消す。1 行目に 2 行目の 倍を加えて 。
【手順 5】すべての列に主成分があるので、解はただ 1 つで 。検算すると 、、 で、すべて成り立つ。
答え:
よくある誤り
縦線の右の列(右辺)を変形し忘れる誤り。例えば 2 行目に 1 行目の 倍を加えるとき、係数だけ にして右辺を 9 のままにしてしまう。正しくは右辺も と同時に変形する。
のような行を「0 の行なので無視してよい」と扱う誤り。この行は 、つまり を意味するので、正しくは「解なし」と判定する。無視してよいのは の行だけ。
主成分は必ず対角線上(2 行 2 列、3 行 3 列、…)に並ぶと思い込む誤り。例えば で 2 行 2 列が 0 だからと、1 行目と入れ替えたり、そこで手が止まったりしてしまう。1 行目は 1 列目の主成分の行なので、入れ替えると階段の形が崩れる。正しくは、2 列目は 2 行目以下がすべて 0 なので飛ばし、2 行目の主成分を 3 列目に置いて掃き出しを続ける。
自由変数をおかずに「解が決まらない」で止めてしまう誤り。例えば簡約な階段行列が のとき、正しくは主成分のない を ( は任意の実数)とおき、一般解 と答える。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を実数とする。連立 1 次方程式
を、拡大係数行列に行基本変形を行う掃き出し法で解け。解を の組で答えよ。実数の未知数 についての連立 1 次方程式
を考える。係数行列を 、拡大係数行列を とする。、、および解の自由度(解が存在するときの 、すなわち一般解に含まれる任意定数の個数)を、この順に組 で答えよ。実数 についての連立 1 次方程式
を考える。係数行列を 、拡大係数行列を とする。、、および解の自由度(一般解に含まれる任意定数の個数)をこの順に組 で答えよ。を実数の定数とする。 の 3 つのベクトル
が一次従属になるような の値を求めよ。を実数とする。 の 3 つのベクトル
が一次従属になるような の値を求めよ。線形写像 を で定める。ただし
とする。像 の次元と核 の次元を求め、 の順に組で答えよ。線形写像 を で定める。ただし
とする。核 の次元と像 の次元を、 の順の組で求めよ。
この技能を使う問題
を実数の定数とする。 についての連立 1 次方程式
が無数の解をもつような の値を求めよ。の列ベクトル , に対して
と定めると、これは の内積である。この内積に関するノルムを とする。, で張られる部分空間を とし、 とする。この内積に関する と の距離、すなわち から への直交射影を としたときの を求めよ。
ルベーグ測度に関する実ヒルベルト空間 (内積 )を考える。実数 を動かすとき、
の最小値を求めよ。一様な静止した空気(密度 )の中の 1 点で、エネルギー が瞬間的に放出されて強い球面衝撃波が広がる。放出から時刻 における衝撃波面の半径 は、 だけで決まり、
の形に書けるとする。ここで は次元をもたない定数、 は実数の定数である。(空気のはじめの圧力、重力などの影響は無視する。)次元解析により、指数 の値を求めよ。
5 個のデータ点
に、実数 を係数とする直線 を当てはめる。残差の二乗和
を最小にする を、正規方程式 ( は第 行が の 行列、)を解いて求め、組 の形で答えよ。実数 についての次の連立一次方程式を考える。
この連立方程式は解をもたない。そこで、各式の左辺と右辺の差の二乗和
を最小にする実数の組 (最小二乗解)を考える。 を最小にする を求めよ。の部分空間 を次のように定める。
ここで は、並べたベクトルで張られる部分空間を表す。和空間 の次元と共通部分 の次元を、この順に組 の形で求めよ。平面上の 5 点で、ある量 を測定したところ、次のデータ を得た。
このデータに、実数 を係数とする平面のモデル を当てはめる。残差の二乗和
を が実数全体を動くときに考える。 の最小値を求めよ。次の 個のデータ が与えられている。
このデータに 次関数のモデル ( は実数)を当てはめる。残差の二乗和
を最小にする を最小二乗法で求めたとき、 の最小値を求めよ。一様な密度 の静止した空気中の 1 点で、時刻 に大きさ のエネルギーが瞬間的に放出され、球面状の強い衝撃波が広がっていく。周囲の空気の圧力の影響は無視でき、空気の比熱比は一定とする。このとき、時刻 における衝撃波の半径 は , , だけで決まり、
の形に書けるとする。ここで は正の無次元定数(比熱比によって決まる)、, , は実数の定数である。次元解析により , , を決めたうえで、衝撃波の半径がちょうど になった瞬間の衝撃波面の広がる速さ を、, , , を用いて表せ。
十分に長いまっすぐな円管(半径 )の中を、粘性率 の非圧縮性ニュートン流体が定常な層流として流れている。管の単位長さあたりの圧力降下を (単位 )とする。単位時間に管の断面を通過する流体の体積(体積流量) は だけで決まり、
と表されるとする。ここで は次元をもたない定数で、管や流体によらない。いま、ある管と流体の組(状態 A)で流量が であった。管の半径を 倍にし、流体を粘性率が 倍の別の流体に取り替え、単位長さあたりの圧力降下 は同じに保った(状態 B)。状態 B の流量を とするとき、比 を既約分数で求めよ。
を実数の定数とする。 についての連立 1 次方程式
が無数の解をもつような実数の組 を求めよ。5 個のデータ点
に、実数 を係数とする 2 次関数 を当てはめる。残差の二乗和
を最小にするように を定めるとき、 の最小値を求めよ。実数 についての次の線形計画問題 を考える。
の双対問題を作って解き、相補性条件を用いることで、 の最適解 を求めよ(最適解はただ 1 つに定まる)。答えは組 の形で答えよ。を 以上の整数とする。 を の標準基底とし、 個のテンソル積 を考える。複素リー群 ( の 個の直積)を に
を線形に拡張して作用させる。ベクトル
( 番目の因子だけが で、残りがすべて であるテンソルの和)の等方部分群
の複素次元を の式で求めよ。正の整数 に対して とし、 が正の整数でないときは と定める。上半平面 上で とおき、
とする。次の事実を用いてよい。- は に関する重さ の正則モジュラー形式である。
- に関する重さ の正則モジュラー形式全体のなす 上のベクトル空間は 次元であり、, , はその基底をなす。
以上の整数 に対して、 を
を満たす整数の組 の個数とする。 を求めよ。実数係数の の多項式で次数が 以下のもの全体のなす実線形空間に、内積
を考える。実数 を動かすとき
の最小値を求めよ。実数を成分とする 3 次正方行列全体のなす実線形空間を とし、
とする。線形写像 を で定めるとき、像 の次元を求めよ。を実数の定数とする。 についての連立 1 次方程式
が解をもたないような の値をすべて求めよ。水平で十分に広い平らな床の上に、密度 、粘性率 の非圧縮性ニュートン流体を、体積 だけ時刻 に 1 点のまわりに一度に置いた。流体は重力によって軸対称に広がり、十分に時間がたつと、厚さが広がりの半径に比べてずっと薄い層になる。重力加速度の大きさを とし、慣性・表面張力・周囲の空気の影響は無視する。
このとき、中心からの距離 、時刻 における層の厚さ は、潤滑近似により
にしたがい、体積は
で一定に保たれる。ここで は層の先端の半径である。十分に時間がたった後の は、初期の置き方の詳細によらず だけで決まるものとする。上の 2 式では、水平方向の長さ()と鉛直方向の長さ()がそれぞれ別々の組み合わせで現れるので、両者を互いに独立な次元として扱ってよい。このことを用いて次元解析を行い、 と表したときの指数 を求めよ。
状態 、入力 をもつ線形時不変系
に、状態フィードバック を施す。ここで は実数を成分とする行ベクトルであり、閉ループ系 の極( の固有値)が となるように定める( は虚数単位)。この閉ループ系を初期状態 から動かしたとき、
の値を求めよ。水平な床の上の 1 点から粘性の大きい液体を注入し、液体が軸対称に広がっていく様子を考える。注入点からの水平距離を (単位 )、時刻を (単位 )、液体層の厚さを (単位 )とする。潤滑近似のもとで、 は次の方程式に従うとする。
ここで は正の定数(単位 )である。 は液体の先端の位置で、 とし、 では とする。注入流量は時間に比例して増加し、時刻 までに注入された液体の体積は
である( は正の定数、単位 )。この問題が、相似解 をもつとする。ここで , は で微分可能な正の関数であり、 は によらない関数で、 で連続かつ で 2 回微分可能とする。このとき先端の位置が
( は , , によらない正の無次元定数、 は実数)と表されるとして、組 を求めよ。
この技能の次に学べること
- 行列の階数と解の存在 (大学数学 線形代数)
- 掃き出し法による逆行列 (大学数学 線形代数)
- マルコフ決定過程と方策の価値 (大学数学 オペレーションズ・リサーチ)
- ポテンシャル法による輸送問題の最適化 (大学数学 オペレーションズ・リサーチ)
- 次元解析 (大学数学 数理モデル)
- 線形計画の双対定理 (大学院数学 凸最適化・組合せ最適化)
- 端点(基底解)の列挙による最適解 (大学数学 最適化・線形計画法)
- 整数行列の単因子(スミス標準形) (大学院数学 群論)
- 節点解析 (大学物理 電気回路)
- 網目解析 (大学物理 電気回路)