連立一次方程式とは、同じ変数を共有する2本以上の一次関係の集まりです。各方程式は、変数と定数の間に直線的な関係を表します。複数の制約を同時に満たす必要があるときに現れ、線形代数や応用数学の多くの基礎を成します。基本的な背景については数学、単独の方程式の基本要素については一次方程式を参照してください。これらの方程式で未知となる量が、共通して含まれる変数です。
特徴と標準形
連立方程式は、方程式の一覧としても、拡大係数行列の形でも、あるいは行列記法 A x = b を用いて簡潔に表すこともできます。重要な特徴には、方程式数と変数数の関係、係数の構造（疎行列か密行列か）、そして係数が実数・複素数・その他の体のどれに属するかなどがあります。解集合は、ただ1つの解をもつ場合、解が存在しない場合（不整合）、無数に解がある場合（従属）の3種類に分かれます。
代表的な解法
連立一次方程式は、手計算でも計算機でも解かれます。小規模な問題では、代入法や加減法が基本です。授業やソフトウェアで用いられる体系的な方法には、ガウスの消去法、ガウス・ジョルダン法、LU分解、さらにクラメールの公式のように行列式を使う方法がありますが、これは正方で非特異な系に限られます。大規模または構造をもつ系では、ヤコビ法、ガウス＝ザイデル法、共役勾配法などの反復法が数値計算で重要です。
簡単な歴史と発展
同時に成り立つ一次関係を解く考え方は、複数の未知数を扱う実用的な問題を解いていた古代文明までさかのぼります。代数学の形式は何世紀にもわたって発展し、現代の行列・ベクトル表現へとつながりました。これにより、階数や線形独立の概念を通して、解の存在と一意性がより明確になりました。19世紀から20世紀にかけては、より複雑で大規模な系に対応するため、体系的な線形代数と数値解析が発展しました。
応用と例
連立一次方程式は、回路解析、構造力学、経済均衡、画像処理、データ当てはめなど、さまざまな実問題をモデル化します。簡単な例として、x + 2y = 5 と 3x - y = 4 のような2元2方程式があり、加減法によって両方の制約を同時に満たす組 (x,y) を求められます。工学や科学では、物理モデルを離散化して得られる大規模な系が、最適化された数値ライブラリによって解かれます。
区別点と注目すべき事実
- 階数は整合性を決めます。拡大係数行列の階数が係数行列の階数より大きい場合、その系は不整合です。
- 正方系（独立な方程式数と未知数の数が同じ系）は、非特異なら一意解をもち、特異なら解なしまたは無数の解をもちます。
- 実際の計算では、大規模問題に対してアルゴリズムを選ぶ際、安定性・疎性・効率が重視されます。