edit
元連立1次方程式はの行列を使って以下のように表される.
ここで,は係数項,は定数項である. ベクトル表記で表すと,
となる.
連立1次方程式はクラメルの公式(Cramer's fomula)で理論的に解くことができる. に逆行列が存在するならば,上記の式は,
と解くことができる. 逆行列は余因子行列を用いると,
ここではの行列式(determinant)であり,でなければならない. また,余因子行列は,
の要素で構成される.ここで,はの行列を除いた の行列の行列式である.
この余因子行列を使った逆行列の式を代入する.
よって,
により各未知数を求めることができる. さらに,右辺のの項はの列目を\V{b}で置き換えた行列の行列式に等しいことから,
となる.これがクラメルの公式である.
クラメルの公式を用いた際の演算回数はとなり,非常に大きい. 行列のサイズが小さい時やこれから述べる数値解法で得られた解をチェックする際には有用であるが, 行列のサイズが非常に大きくなりがちな実際の問題に当てはめるのは難しい. そこで数値解法により近似的に解く方法を説明する.