対角成分のみ異なる行列の行列式の演算

下記の行列1,2の固有値を求めよ。
<行列1>
\begin{eqnarray}A=\begin{vmatrix} a & 1 & 1 & 1 \\ 1 & a & 1 & 1 \\ 1 & 1 & a & 1 \\ 1 & 1 & 1 & a \end{vmatrix}\end{eqnarray}
<行列2>
\begin{eqnarray}\dfrac{1}{2}\begin{vmatrix} a+b+c & -c & -b \\ -c & a+b+c & -a \\ -b & -a & a+b+c \end{vmatrix}\end{eqnarray}

はじめに
本問で覚えたいこと
解答例 <行列1>
解答例 <行列2>
最後に
参考文献

はじめに

こちらの問題、まじめに計算すると途方もない時間がかかります。1行目をサラスの式で3*3行列に展開し、演算を続ける。。。限りある試験時間で行うものではありません。

にもかかわらず、大学によっては意外と上記の形式の行列は出てきます。こういったときに効率よく計算する方法を本記事では紹介します。

本問で覚えたいこと

下記のように、工夫して行列式を求めます。

行列式の演算に関しては、列基本変形しても良い
第1列に2列目以降の要素を全て足し合わせ、行基本変形すると簡単な形になる(行列1)

特に重要な項目は一番目(列基本変形)です。固有ベクトルを求める問題ばかり行っているといつの間にか抜けている方もいらっしゃるかもしれません。

確かに、固有ベクトルの計算(連立方程式を解く)に対しては使えないのですが、行列式の演算では列基本変形を行っても問題ないことは教科書で説明されています。詳しい説明は、他の文献にお任せするとし、本記事では標記の問題を実際に解いてみます。

解答例 <行列1>

固有値を\(\lambda\)とし、\(|A-\lambda E| \)を考える。

\begin{align}&\begin{vmatrix} a-\lambda & 1 & 1 & 1 \\ 1 & a-\lambda & 1 & 1 \\ 1 & 1 & a-\lambda & 1 \\ 1 & 1 & 1 & a-\lambda \end{vmatrix}& \\ &= \begin{vmatrix} a-\lambda+3 & 1 & 1 & 1 \\ a-\lambda+3 & a-\lambda & 1 & 1 \\ a-\lambda+3 & 1 & a-\lambda & 1 \\ a-\lambda+3 & 1 & 1 & a-\lambda & \end{vmatrix} \\ &= \begin{vmatrix} a-\lambda+3 & 1 & 1 & 1 \\ 0 & a-\lambda-1 & 0 & 0 \\ 0 & 0 & a-\lambda-1 & 0 \\ 0 & 0 & 0 & a-\lambda-1 \end{vmatrix}\end{align}

(4)式まで変形した結果、１列目が１行目以外全て0になりました。これならば、簡単に固有値を求められそうです。

補足として、１式目→２式目で列基本変形。２式目→３式目で行基本変形しています。

続きに行きます。

(4)式をサラスの公式を用いて変形すると

\begin{align}&(a-\lambda+3)\begin{vmatrix} a- \lambda -1 & 0 & 0 \\ 0 & a-\lambda -1 & 0 \\ 0 & 0 & a-\lambda-1 \end{vmatrix} &\\ &=(a-\lambda+3)(a-\lambda-1)^{3}& \\ &=0 &\end{align}

よって、求める固有値は、\(\lambda=a+3,a-1\)(重解)

解答例 <行列2>

列基本変形と行基本変形を駆使します。行列1のように、１列目に全ての要素を足し合わせると解決するわけではありません。下記の手順で行います。

(第1列+第2列)、(第2列+第3列)を足し合わせ、共通因数(a+b),(b+c)を作り出す
(第1行+第3行)し、(1,1),(1,2)要素を0値にする。
1行目を展開し、行列式を求める。

複数箇所を列基本変形し、最後に行基本変形することがポイントです。対称式のため、上手い具合に余分な項が打ち消しあい、因数を作れる形になります。

まず、手順1に基づいて列基本変形する。

\begin{align}&\dfrac{1}{2}\begin{vmatrix} a+b+c & -c & -b \\ -c & a+b+c & -a \\ -b & -a & a+b+c \end{vmatrix} \\ &= \dfrac{1}{2}\begin{vmatrix} a+b & -\left( b+c\right) & -b \\ a+b & b+c & -a \\ -\left( a+b\right) & b+c & a+b+c \end{vmatrix} \\ &=\dfrac{1}{2}(a+b)(b+c)\begin{vmatrix} 1 & -1 & -b \\ 1 & 1 & -a \\ -1 & 1 & a+b+c \end{vmatrix} \end{align}

手順2により、3行目を1行目に足し、展開すると

\begin{align}&\dfrac{1}{2}(a+b)(b+c)\begin{vmatrix} 0 & 0 & a+c \\ 1 & 1 & -a \\ -1 & 1 & a+b+c \end{vmatrix} \\ &=\dfrac{1}{2}(a+b)(b+c)(a+c)\begin{vmatrix} 1 & 1 \\ -1 & 1 \end{vmatrix} \\ &=(a+b)(b+c)(a+c) \end{align}

を得られた。