「行列式の性質②(実際に行列式を計算するときに使う性質)」【線型代数学の基礎シリーズ】行列式編 その3

本記事の内容

本記事は、行列式の性質の一部を解説する記事です。
特に本記事で解説する性質は、行列式を計算する上で誠に有用な性質です。

本記事を読むにあたり、行列式について知っている必要があるため、以下の記事も合わせてご覧ください。

「行列式とその性質①」【線型代数学の基礎シリーズ】行列式編 その2

...

for-spring.com

2022.07.06

本記事で言いたいこと

本記事において、言いたいこと、つまり示したい定理を先に述べておきます。
つまり、本記事のゴールです。

この事実があるおかげで、行列式の計算が格段に楽ちんになります。

行列式って何だっけ？をチャラく復習

サラッと、チャラく復習します。

でした。
ただし、

です。

行を$c$倍すると、行列式も$c$倍になる。

次に示す定理は行列式のいろいろな性質を導くのに基本的な役割を持つ定理です。

この定理の証明は「行列式とは何か？」ということから直ちに分かります。

定理1.の証明

$n\in\mathbb{N}$、$A=\left( a_{ij}\right)$を$n$次正方行列とし、$A$の第$i$行を$c\in\mathbb{C}$倍した行列$A(i,c)$を
$$A(i,c)= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ ca_{i1}&\cdots&ca_{in}\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{pmatrix}$$
と書いたとします。
このとき、$A(i,c)$の行列式$\det(A(i,c))$は、$A$の第$i$行が$c$倍されているので、$\det(A)$の$a_{i\sigma(i)}$の部分が$ca_{i\sigma(i)}$となっていることに注意すると、
$$\begin{eqnarray} \det(A(i,c))&=& =\sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\cdots (ca_{i\sigma(i)})\cdots a_{n\sigma(n)}\\ &=& c\sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\cdots a_{i\sigma(i)}\cdots a_{n\sigma(n)}\\ &=&c\cdot\det(A) \end{eqnarray}$$

従って、成り立ちます。

定理1.の証明終わり

定理1.の系として以下が成り立ちます。

系2.の証明

定理1.において$c=0$の場合だと考えることができます。
実際、$n$次正方行列$A$の１つの行の成分がすべて$0$だったとすると、
$$A= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ 0&\cdots&0\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{pmatrix}= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ 0\times 0&\cdots&0\times 0\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{pmatrix}$$
となりますので、
$$\det(A)=0\times\det(A)=0$$
となるから成り立ちます。

系2.の証明終わり

「え？じゃあ列は？」となると思いますが、先にネタバラシしておくと列ベクトルについても全く同じことが成り立ちます。
詳しくは、次回に転置と行列式の関係を解説するので、そこで述べます。

第$i$行が、2つの行ベクトルの和ならば、行列式は他の行は同じで、第$i$行は各々のベクトルを取った行列の行列式の和になる。

「ん？何を言っとるだ？」となるかもしれませんので、主張を明示してしまいます。

この定理3.の証明は定理1.の証明とほぼ同じです。

定理3.の証明

$n\in\mathbb{N}$、$A=\left( a_{ij}\right)$を$n$次正方行列とし、$A$の第$i$行が
$$(a_{i1},\dots,a_{in})=(b_{i1}+c_{i1},\dots,b_{in}+c_{in})$$
だとします。
すなわち、
$$A= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{pmatrix}= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ b_{i1}+c_{i1}&\cdots&b_{in}+c_{in}\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{pmatrix}$$
とします。
このとき、$A$の行列式$\det(A)$は、$A$の第$i$行ベクトル$(a_{i1},\dots,a_{in})$が
$(a_{i1},\dots,a_{in})=(b_{i1}+c_{i1},\dots,b_{in}+c_{in})$となっているわけですので、$\det(A)$の$a_{i\sigma(i)}$の部分が$b_{i\sigma(i)}+c_{i\sigma(i)}$となっていることに注意すると、
$$\begin{eqnarray} \det(A)&=&\sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\cdots (b_{i\sigma(i)}+c_{i\sigma(i)})\cdots a_{n\sigma(n)}\\ &=& \sum_{\sigma\in S_n}{\rm sgn}(\sigma)\left(a_{1\sigma(1)}a_{2\sigma(2)}\cdots b_{i\sigma(i)}\cdots a_{n\sigma(n)}+a_{1\sigma(1)}a_{2\sigma(2)}\cdots c_{i\sigma(i)}\cdots a_{n\sigma(n)}\right)\\ &=& \sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\cdots b_{i\sigma(i)}\cdots a_{n\sigma(n)}+\sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}a_{2\sigma(2)}\cdots c_{i\sigma(i)}\cdots a_{n\sigma(n)}\\ &=& \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ b_{i1}&\cdots&b_{in}\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{array}\right|+ \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ c_{i1}&\cdots&c_{in}\\ \vdots&&\vdots\\ a_{n1}&\cdots &a_{nn}\\ \end{array}\right| \end{eqnarray}$$

となるため、成り立ちます。

定理3.の証明終わり

行列の行の順序を置換$\tau$によって変更すると、行列式は${\rm sgn}(\tau)$倍になる。

まずは置換が互換の場合、すなわち２つの行だけ(1回だけ)入れ替えた行列の行列式について解説します。

定理4.の証明

$n\in\mathbb{N}$、$A=\left( a_{ij}\right)$を$n$次正方行列として、
$$A= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{pmatrix}$$
と書いたとします。

第$i$行目と第$j$行目を入れ替えた行列を$A^\prime$と書くとすると、$A$は$i$行目と$j$行目を入れ替えた、ということなので、置換の言葉で表現すると$n$個の文字の各置換$\sigma$に対して、$\sigma$に右から互換$(i\ j)$を掛けたということになります。
この置換を$\tau=\sigma(i\ j)$とおくと、
$$\tau(i)=\sigma(j),\ \tau(j)=\sigma(i),\ \tau(k)=\sigma(k)\ (k\neq i,j)$$
を満たすということになります。
今、互換$(i\ j)$は固定されていますので、対応
$$\sigma\mapsto \sigma(i\ j)=\tau$$
は$S_n$から$S_n$への全単射です。
実際、$(i\ j)$が固定されていて、対応$\sigma\mapsto\sigma$は恒等写像なので全単射なので、固定された$(i\ j)$を掛けたところで全単射性は変わりません。
従って、$\sigma$が$S_n$の全体を動くと、$\tau$も$S_n$の全体を動く、ということになります。
また、この$\tau$の符号は
$${\rm sgn}(\tau)={\rm sgn}(\sigma(i\ j))={\rm sgn}(\sigma){\rm sgn}((i\ j))=-{\rm sgn}(\sigma)$$
となります。
ただし、以下の事実を使いました。

定理5.の証明は【線型代数学の基礎シリーズ】行列式編 その1を御覧ください。

以上の準備を元にして、実際に$A^\prime$($A^\prime$は$A$の第$i$行と第$j$行を交換した行列)の行列式を計算してみます。

$$\begin{eqnarray} \det(A^\prime)&=& \sum_{\sigma\in S_n}{\rm sgn}(\sigma)a_{1\sigma(1)}\cdots \color{red}{a_{j\sigma(i)}}\cdots \color{blue}{a_{i\sigma(j)}}\cdots a_{n\sigma(n)}\\ &=& \sum_{\tau\in S_n}-{\rm sgn}(\tau)a_{1\tau(1)}\cdots \color{red}{a_{j\tau(j)}}\cdots \color{blue}{a_{i\tau(i)}}\cdots a_{n\tau(n)}\\ &=& -\sum_{\tau\in S_n}{\rm sgn}(\tau)a_{1\tau(1)}\cdots \color{blue}{a_{i\tau(i)}}\cdots \color{red}{a_{j\tau(j)}}\cdots a_{n\tau(n)}\\ &=&-\det(A) \end{eqnarray}$$

従って、成り立ちます。

定理4.の証明終わり

定理4.は2つの行を入れ替える、という話で、入れ替えの回数でいうと１回です。
この入れ替えは互換で表現できるのでした。
入れ替え回数が$k$回の場合は置換で表現できます。
つまり、一般化した主張が次です。

定理6.の証明

以下の置換と互換の関係を使います。

定理7.の証明は【線型代数学の基礎シリーズ】行列式編 その1を御覧ください。

定理7.から任意の置換は互換の積で表すことができるので、$m$個の互換$\tau_1,\dots,\tau_m$を用いて
$$\tau=\tau_m\cdots\tau_1$$
と表すことができたとします。

このとき、与えられた行列の行を置換$\tau$によって並び替えた結果は、互換$\tau_1,\dots,\tau_m$によって、この順番で行を変更した結果と同じ行列ということになります。

つまりどういうことか、というと、定理4.から互換$\tau_1$で並び替えた行列の行列式は、もとの行列の$-1$倍、$\tau_1$で並び替えた後に$\tau_2$で並び替えた行列の行列式ははさらにその$-1$倍(すなわち$(-1)\times(-1)$倍)となります。

これを$m$回繰り返すわけですので、行列式は$(-1)^m$倍となります。
ここで、${\rm sgn}(\tau)={\rm sgn}(\tau_m\dots\tau_1)=(-1)^m$だったわけですので、$\tau=\tau_m\cdots\tau_1$で$m$回だけ行を入れ替えた行列の行列式は、もとの行列の${\rm sgn}(\tau)$倍、すなわち$(-1)^m$倍と等しくなります。

定理6.の証明終わり

この定理6.から直ちに次の系が分かります。

系8.の証明

$n\in\mathbb{N}$、$A$を$n$次正方行列とします。
このとき、$A$の第$i$行ベクトルと第$j$行ベクトルが一致しているとします。
$A$は第$i$行ベクトルと第$j$行ベクトルが一致しているので、第$i$行と第$j$行を交入れ替えても行列として一致しています(値が同じ行ベクトル同士を入れ替えたところで同じ行列)。

しかし、第$i$行と第$j$行を1回入れ替えたため(つまり互換$(i\ j)$を掛けたため)、行列式は$-1$倍になります。
従って、
$$\det(A)=-\det(A)$$
です。
すなわち、$2\det(A)=0$なので$\det(A)=0$です。

系8.の証明終わり

行列の１つの行に任意の数を掛けて他の行に加えても、行列式の値は変わらない。

いよいよ最後です。
次の定理を証明して今回のゴールテープを切りましょう。
後少し！

定理1.と定理3.と系8.を使うことで証明することができます。

定理0.の証明

$n\in\mathbb{N}$、$A=\left( A_{ij}\right)$を$n$次正方行列として、
$$A= \begin{pmatrix} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{pmatrix}$$
と書いたとします。

このとき、定理3.(第$i$行が、2つの行ベクトルの和ならば、行列式は他の行は同じで、第$i$行は各々のベクトルを取った行列の行列式の和になる。)を使うことで、
$$\begin{eqnarray} \begin{array}{c} \\ \\ i行\rightarrow\\ \\ j行\rightarrow\\ \\ \\ \end{array} \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}+ca_{j1}&\cdots&a_{in}+ca_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right|&=& \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array} \right|+ \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ ca_{j1}&\cdots&ca_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right| \end{eqnarray}$$
が成り立ちます。
さらに、定理1.(行を$c$倍すると、行列式も$c$倍になる。)を使うことで、
$$\begin{eqnarray} \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array} \right|+ \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ ca_{j1}&\cdots&ca_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right|&=& \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array} \right|+ c\left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right| \end{eqnarray}$$

ここで、系8.から2つの行が等しい行列の行列式は$0$ですので、
$$\left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right|=0$$
となるので、
$$c\left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right|=0$$
となるから、
$$\begin{eqnarray} \begin{array}{c} \\ \\ i行\rightarrow\\ \\ j行\rightarrow\\ \\ \\ \end{array} \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}+ca_{j1}&\cdots&a_{in}+ca_{jn}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array}\right|&=& \left| \begin{array}{c} a_{11}&\cdots &a_{1n}\\ \vdots&&\vdots\\ a_{i1}&\cdots&a_{in}\\ \vdots&&\vdots\\ a_{j1}&\cdots&a_{jn}\\ \vdots&&\vdots\\ a_{n1}&\cdots&a_{nn}\\ \end{array} \right|=\det(A) \end{eqnarray}$$
となり、成り立ちます。

定理0.の証明終わり

このように、行列の１つの行に任意の数を掛けて他の行に加えるという操作を行基本変形といいます。
また、行列の１つの列に任意の数を掛けて他の列に加えるという操作を列基本変形といいます。

行列式の計算はこの行基本変形と列基本変形を駆使して計算します。

いっちょ計算してみっか

先の定理0.をどのようにして使うか、ということをいっちょ計算してみて確かめてみましょう。

例9.
$$\left| \begin{array}{c} 1&3&2&1\\ 2&4&1&2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|$$
を定理0.を使って求めてみましょう。

「いやいや、計算してみましょうっつったって、どの行に目をつけりゃあ良いんでしょうかね？」となると思います。
そこで、まず行列式を計算する際に目標をどこに置くのが定石か、という策の話をします。

大きく分けて以下の２つがあります。

• 行基本変形で三角行列の形にする。
• 次元を落として計算する。

それぞれの策について解説します。

策①：行基本変形で三角行列の形にする。

第1の策として上三角行列への変形です。
上三角行列とは何だったか、というと、

でした。
この三角行列の行列式の性質として、

があるのでした。
(※命題10.の証明は【線型代数学の基礎シリーズ】行列式編 その3を御覧ください。)

要するに、

という策です。

策②：次元を落として計算する。

「ﾅﾝｼﾞｬｿﾚ」となるかもしれませんが、行列式の性質で一番最初に解説した次の事実を使います。

※定理11.の証明は【線型代数学の基礎シリーズ】行列式編 その2を御覧ください。

要するに、

ということです。
実は、行基本変形により成り立つ行列式の性質は列基本変形についても成り立ちます(後の記事で解説)。
従って、行基本変形と列基本変形を”うま〜く”適用させてより簡単に求めようとするのが定石だと思います。

よっしゃ、いっちょ計算してみっか

さて、では計算してみましょう。
求めたい行列式を再掲しておきます。

例9.
$$\left| \begin{array}{c} 1&3&2&1\\ 2&4&1&2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|$$

これを真面目に求めようとすると、$4$次正方行列ですので、$4!=24$個の項が出現してそれらを足したり引いたりすることになります。
「ｴﾗｲｺｯﾁｬ」という感じです。
筆者は計算したくありません。

というわけで、上記に列挙した策①と策②を使って計算してみます。

正直、筆者の経験からして、主に策②を使います。
とはいえ、ここで初めて行列式を計算する方もいらっしゃると思いますので、策①を取った場合、策②を取った場合の双方を解説します。

「策①：行基本変形で三角行列の形にする。」の場合

「上三角行列に変形したいんだな」ということを念頭の置きながら読んでいただけると良いと思います。

操作１：第1行の$-2$倍を第2行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 2&4&1&2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|&=& \left| \begin{array}{c} 1&3&2&1\\ 2+(-2)\times1&4+(-2)\times3&1+(-2)\times2&2+(-2)\times1\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|\\ &=& \left| \begin{array}{c} 1&3&2&1\\ 2-2&4-6&1-4&2-2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|\\ &=& \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right| \end{eqnarray}$$

操作２：第1行の$1$倍を第3行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|&=& \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ -1+1&1+3&0+2&6+1\\ -3&-11&-3&-4 \end{array} \right|\\ &=& \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ -3&-11&-3&-4 \end{array} \right| \end{eqnarray}$$

操作３：第1行の$3$倍を第4行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ -3&-11&-3&-4 \end{array}\right|&=& \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ -3+3\times1&-11+3\times3&-3+3\times2&-4+3\times1 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right| \end{eqnarray}$$

操作４：第2行の$\displaystyle\frac{3}{2}$倍を第1行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right| &=& \left| \begin{array}{c} 1&3+\displaystyle\frac{3}{2}\times(-2)&2+\displaystyle\frac{3}{2}\times(-3)&1+\displaystyle\frac{3}{2}\times0\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&3-3&2-\displaystyle\frac{9}{2}&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right|\\ \end{eqnarray}$$

操作５：第2行の$2$倍を第3行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right|&=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&4+2\times(-2)&2+2\times(-3)&7+2\times0\\ 0&-2&3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&-2&3&-1 \end{array}\right| \end{eqnarray}$$

操作６：第2行の$-1$倍を第4行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&-2&3&-1 \end{array}\right|&=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&-2+(-2)\times1&3+(-1)\times(-3)&-1+(-1)\times0 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&0&6&-1 \end{array}\right| \end{eqnarray}$$

操作７：第3行の$\displaystyle\frac{3}{2}$倍を第4行に足す。

$$\begin{eqnarray} \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&0&6&-1 \end{array}\right|&=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&0&6+\displaystyle\frac{3}{2}\times(-4)&-1+\displaystyle\frac{3}{2}\times7 \end{array}\right|\\ &=& \left| \begin{array}{c} 1&0&-\displaystyle\frac{5}{2}&1\\ 0&-2&-3&0\\ 0&0&-4&7\\ 0&0&0&\displaystyle\frac{19}{2} \end{array}\right|\\ \end{eqnarray}$$

操作８：対角成分の積を計算しておしまい。

$$1\times (-2)\times(-4)\times\frac{19}{2}=76$$

従って、
$$\left| \begin{array}{c} 1&3&2&1\\ 2&4&1&2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|=76$$
です。

「これ、本当に計算が楽ちんになったのか？」と思うかもしれませんが、真面目に計算しようとすると$4!=24$個の項を足し引きして計算するのでそれに比べたらまだマシだと思います。
さらに、24個の計算の中でも、「どの行からどの成分を取ってきたか」ということを24回考えなければならないのに対して、この方法は1つの行の四則演算だけ考えれば良いので幾分マシだと思います。

とはいえ、面倒ですよね。分かります。

「策②：次元を落として計算する。」の場合

策①の操作3まで同じです。
つまり、
$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 2&4&1&2\\ -1&1&0&6\\ -3&-11&-3&-4 \end{array} \right|= \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right| \end{eqnarray}$$
まで計算したとします。

操作４：定理11.を使って次元を落とす。

$$\begin{eqnarray} \left| \begin{array}{c} 1&3&2&1\\ 0&-2&-3&0\\ 0&4&2&7\\ 0&-2&3&-1 \end{array}\right|&=& 1\times \left| \begin{array}{c} -2&-3&0\\ 4&2&7\\ -2&3&-1 \end{array}\right|=\left| \begin{array}{c} -2&-3&0\\ 4&2&7\\ -2&3&-1 \end{array}\right| \end{eqnarray}$$

ここで、サラスの方法を使ってもOKです。
サラスの方法を使うと、
$$\begin{eqnarray} \left| \begin{array}{c} -2&-3&0\\ 4&2&7\\ -2&3&-1 \end{array}\right|&=&(-2)\times2\times(-1)+(-3)\times7\times(-2)+0\times4\times3\\ &&-(-3)\times4\times(-1)-0\times2\times(-2)-(-2)\times3\times7\\ &=&4+42+0-12+0+42=76 \end{eqnarray}$$

操作５：第1行目の$2$倍を第2行目に足す。

$$\begin{eqnarray} \left| \begin{array}{c} -2&-3&0\\ 4&2&7\\ -2&3&-1 \end{array}\right|&=& \left| \begin{array}{c} -2&-3&0\\ 4+2\times(-2)&2+2\times(-3)&7+2\times0\\ -2&3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} -2&-3&0\\ 4-4&2-6&7\\ -2&3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ -2&3&-1 \end{array}\right| \end{eqnarray}$$

操作６：第1行目の$1$倍を第3行目に足す。

$$\begin{eqnarray} \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ -2&3&-1 \end{array}\right|&=& \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ -2+(-1)\times(-2)&3+(-1)\times(-3)&-1+(-1)\times0 \end{array}\right|\\ &=& \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ -2+2&3+3&-1 \end{array}\right|\\ &=& \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ 0&6&-1 \end{array}\right|\\ \end{eqnarray}$$

操作７：定理11.を使って次元を落とす。

$$\begin{eqnarray} \left| \begin{array}{c} -2&-3&0\\ 0&-4&7\\ 0&6&-1 \end{array}\right| &=& -2 \left| \begin{array}{c} -4&7\\ 6&-1 \end{array}\right|\\ \end{eqnarray}$$

操作８：2次元の正方行列の行列式を計算しておしまい。

$$\begin{eqnarray} -2 \left| \begin{array}{c} -4&7\\ 6&-1 \end{array}\right|&=&-2\times\left\{(-4)\times(-1)-7\times6 \right\}\\ &=&-2\times\left\{4-42 \right\}\\ &=&-2\times(-38)\\ &=&76 \end{eqnarray}$$

この章のまとめ

結局、三角行列を目指して行基本変形をしようが、次元を落とすように行基本変形をしようが、どちらの策を使うかは好き好きです。

個人的には策②のほうが好きです。

結

今回は、行列式の計算をする際に有用な定理を説明して、証明しました。
また、その定理を具体的にどうやって使って行列式を計算するのか、ということも解説しました。

行列式の計算を真正直にやろうとすると骨が折れますが、行列式の性質(特に定理0.)を使うと計算の量とミスが少なくなります。

次回は転置行列の行列式について解説します。

乞うご期待！質問、コメントなどお待ちしております！