この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "線型方程式系"
数学において線型方程式系(せんけいほうていしきけい)とは、同時に成立する複数の線型方程式(一次方程式)の組のことである。線形等の用字・表記の揺れについては線型性を参照。
複数の方程式の組み合わせを方程式系あるいは連立方程式と呼ぶことから、線型方程式系のことを一次方程式系、連立線型方程式、連立一次方程式などとも呼ぶこともある。 以下の式は、2 変数の線型方程式系の例である。 { x + 2 y = 5 2 x + 3 y = 8 {\displaystyle {\begin{cases}x+2y=5\\2x+3y=8\end{cases}}} 左側の記号(中括弧)は、特に必要というわけではないが、方程式系であることを明示するためによく用いられる。この式において、2 つの線型方程式を同時に満たす (x, y) = (1, 2) が解である。 与えられた線型方程式系に属するすべての方程式を同時に満たすような変数の値のことを線型方程式系の解といい、線型方程式系の解を求めることを線型方程式系を解くという。 線型方程式系が与えられたとき、変数の数と方程式の本数を比べれば、その解は大まかに言って のようになっていると考えることができる。また、変数の数が多いときには、いくつかの変数を勝手な値をとることができる定数と思ってやることで、変数の数と方程式の本数が同じであると考えることができる。したがって、普段は方程式の数と変数の数が一致する方程式系を考えることが多い。 解法でよく知られたものとして以下の方法がある。いずれの方法も変数を減らしていき、一変数の方程式に帰着させることによって解く方法である。 n 変数 m 本の線型方程式系は一般に mn 個の係数 ai,j (i = 1, 2, ..., m, j = 1, 2, ..., n) および m 個の定数 b1, b2, ..., bm を用いて { a 1 , 1 x 1 + a 1 , 2 x 2 + ⋯ + a 1 , n x n = b 1 a 2 , 1 x 1 + a 2 , 2 x 2 + ⋯ + a 2 , n x n = b 2 ⋮ ⋮ ⋮ a m , 1 x 1 + a m , 2 x 2 + ⋯ + a m , n x n = b m {\displaystyle \left\{{\begin{matrix}a_{1,1}x_{1}+a_{1,2}x_{2}+\cdots +a_{1,n}x_{n}&=&b_{1}\\a_{2,1}x_{1}+a_{2,2}x_{2}+\cdots +a_{2,n}x_{n}&=&b_{2}\\\vdots &\vdots &\vdots \\a_{m,1}x_{1}+a_{m,2}x_{2}+\cdots +a_{m,n}x_{n}&=&b_{m}\end{matrix}}\right.} の形に表される。これを、記法を改めて [ a 1 , 1 a 1 , 2 ⋯ a 1 , n a 2 , 1 a 2 , 2 ⋯ a 2 , n ⋮ ⋮ ⋱ ⋮ a m , 1 a m , 2 ⋯ a m , n ] [ x 1 x 2 ⋮ x n ] = [ b 1 b 2 ⋮ b m ] {\displaystyle {\begin{bmatrix}a_{1,1}&a_{1,2}&\cdots &a_{1,n}\\a_{2,1}&a_{2,2}&\cdots &a_{2,n}\\\vdots &\vdots &\ddots &\vdots \\a_{m,1}&a_{m,2}&\cdots &a_{m,n}\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{bmatrix}}={\begin{bmatrix}b_{1}\\b_{2}\\\vdots \\b_{m}\end{bmatrix}}} と表示したり、あるいはさらに行列やベクトルを用いて、A = [ai j], x = [xj], b = [bi] などと置いてやれば A x = b {\displaystyle Ax=b}
初等的説明
変数の数の方が多いならば、(変数の数) − (方程式の本数)の分だけ変数を自由に定めることができ、解が一つに定まらない。
変数の数と方程式の本数が一致するならば、解が存在し、一つに定まる。
方程式の本数の方が多いならば、制約が過剰なので、解が存在しない。
代入法
いずれかの方程式を一つの変数について解き、他の方程式に代入することによって、変数を減らし、方程式を簡単にしてから解く方法。
等値法(等置法)
それぞれの方程式を、特定の変数について解いたときの値を等しいとして、変数を消去する方法。代入法の一種とも言える。
加減法
方程式の両辺を定数倍したり、足し引きすることによって、変数を消去する方法。
行列と線型方程式系