【行列式編】「クラメルの公式」で連立方程式を行列式で表す！

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事では、逆行列を求めるための方法について扱いました。逆行列を利用することで、連立方程式の解を求められますが、解の求め方として行列式を用いる方法も存在します。今回は、連立方程式の解を行列式で表す「クラメルの公式」について扱います。

目次（クリックで該当箇所へ移動）

クラメルの公式とは

これは、連立方程式の解の求め方に関する定理です。早速いきましょう！

クラメルの公式

連立方程式$A\boldsymbol{x}=\boldsymbol{b}$について、その解$\boldsymbol{x}$の第$i$成分を$x_i$とする。
このとき、以下の式が成立する。
$$x_i=\frac{|A_i|}{|A|}$$ここで、$A_i$は、行列$A$の$i$列目を$\boldsymbol{b}$に置き換えた行列である。

このように、連立方程式の解は、2つの行列の行列式の割り算で表現できるというシンプルな公式です。

これが成り立つ理由は、逆行列の公式を利用することで確かめられます。
$$ \begin{eqnarray} \boldsymbol{x}&=&A^{-1}\boldsymbol{b}\\ &=&\frac{1}{|A|} \left( \begin{array}{cccc} A_{11} & A_{21} & \cdots & A_{n1} \\ A_{12} & A_{22} & \cdots & A_{n2} \\ \vdots & \vdots & \ddots & \vdots \\ A_{1n} & A_{2n} & \cdots & A_{nn} \end{array} \right) \left( \begin{array}{c} b_1 \\ b_2 \\ \vdots \\ b_n \end{array} \right) \end{eqnarray} $$ここで、掛け算の定義などから、$\boldsymbol{x}$の$i$行目の成分は次のように表されます。
$$x_i=\frac{1}{|A|}(\underline{A_{1i}b_1+\dots+A_{ni}b_n})$$この式の下線部に余因子展開の臭いを感じますね〜
実は、下線部は、行列$A$の$i$列目を$\boldsymbol{b}$に置き換えた行列の、$i$列成分に対する余因子展開に一致します。つまり、下線部の値は上の公式における「$A_{i}$」の行列式$|A_i|$になります。
よって、$$x_i=\frac{1}{|A|}|A_i|=\frac{|A_i|}{|A|}$$が導かれました。

一緒に例題を解こう

次の連立方程式の解を求めましょう。
$$ \left\{ \begin{array}{l} 2x_1-2x_2+3x_3=7 \\ 3x_1+2x_2-4x_3=-5 \\ 4x_1-3x_2+2x_3=4 \end{array} \right. $$

Step1: 行列で表す

行列を用いた式に変換すると次のようになります。これを用いて解を求めることになります。
$$A=\left( \begin{array}{cccc} 2 & -2 & 3 \\ 3 & 2 & -4 \\ 4 & -3 & 2 \end{array} \right),\boldsymbol{b}=\left( \begin{array}{cccc} 7\\ -5\\ 4 \end{array} \right)$$ついでに、$A_1〜A_3$も求めておきます。
$$A_1=\left( \begin{array}{cccc} 7 & -2 & 3 \\ -5 & 2 & -4 \\ 4 & -3 & 2 \end{array} \right) \\ A_2=\left( \begin{array}{cccc} 2 & 7 & 3 \\ 3 & -5 & -4 \\ 4 & 4 & 2 \end{array} \right) \\ A_3=\left( \begin{array}{cccc} 2 & -2 & 7 \\ 3 & 2 & -5 \\ 4 & -3 & 4 \end{array} \right) $$

Step2: 行列式を求める

さて、行列式を求めましょう。ここでは導く過程を省略して、結果だけを記しておきます（計算量はかなり多いです）。
$$|A|=-23,\ |A_1|=-23,\\ |A_2|=-46,\ |A_3|=-69$$

Step3: 解を求める

あとは割り算をするだけです。
$$ x_1=\frac{|A_1|}{|A|}=\frac{-23}{-23}=1 \\ x_2=\frac{|A_2|}{|A|}=\frac{-46}{-23}=2 \\ x_3=\frac{|A_3|}{|A|}=\frac{-69}{-23}=3 $$以上で解が求まりました。$$\underline{\boldsymbol{x}=\left( \begin{array}{c} 1 \\ 2 \\ 3 \end{array} \right)}$$実際に初めの連立方程式へ解を代入すると、式が成立することが確かめられます。

これって便利なの？

クラメルの公式は、式の形こそシンプルですが、$n$次正方行列の行列式をたくさん求める必要があるため、次数が多いと莫大な計算量になります。実際に問題を解く場合は、特別な指定がない場合、シンプルに消去法（ガウスの消去法）などを用いることをお勧めします。使い道があんまりないのにわざわざページ割く意味ある？とか言うなー！！