固有値，固有ベクトルの求め方

...(ＰＣ版)メニューに戻る
*** 大区分 ***
数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ 高卒・大学初年度
*** 中区分 ***
ベクトル・行列連立方程式複素数関数・数列微分積分微分方程式統計 maxima

※高卒から大学初年度向け「行列」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓ベクトル.行列の超基本
↓行列と一次変換
↓点の像と原像（高校）
↓行列と１次変換

↓ベクトルの直交条件
↓１次独立,１次従属,基底,次元,核,階数
↓行列の階数
↓転置行列,対称行列,対角行列,三角行列

↓逆行列(1)
↓逆行列(2)

↓行列式(1)
↓行列式(2)
↓行列式(3)
↓行列式.基本性質による変形

↓固有値.固有ベクトル（定義）
↓固有値と固有ベクトル(求め方)-現在地
↓固有値と固有ベクトル(問題)

↓行列の対角化とは（定義）
↓行列を対角化するには（求め方）

表計算などによる連立方程式の解き方

...（携帯版）メニューに戻る

※高卒から大学初年度向け「連立方程式」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓表計算オートフィルの使い方

↓Excelの行列計算(1) 行列の積

↓未知数がｎ個で逆行列を用いて解く場合
↓クラメールの公式で解く場合
↓クラメールの公式［問題］
↓wxMaximaで解く場合

↓不能解・不定解が出る場合
↓同(固有ベクトル)-現在地

↓行基本変形と掃き出し法による場合
↓同(不定解)
↓連立方程式(まとめ)

2次2次連立形

← PC用は別頁

≪固有値，固有ベクトルの求め方≫

■固有値，固有ベクトルを求めるには
　与えられた正方行列Aの固有値，固有ベクトルを求めるには，次のようにすればよい．

(1)　行列Aの固有方程式 det(A−λE)=0 を未知数λの方程式として解いて固有値λを求める．

Aがｎ次正方行列のとき，固有値は［重解・虚数解も含めると］全部でｎ個ある．

(2)　各々の固有値を連立方程式 (A−λE)→xw=→0w に代入して，対応する固有ベクトル→xwを求める．

固有ベクトルの定数倍もまた固有ベクトルとなるので，固有ベクトルを答えるときは

のように任意定数を付けた形で答えるとよい．

○　与えられた正方行列Aに対して
零ベクトルでなく：
.→xw≠→0w …(*1)
方向が変わらない：
A→xw=λ→xw …(*2)
となるようなベクトル→xwが存在するとき，
λを行列Aの固有値，→xwを固有ベクトルという．

○　(2)式を変形すると
(A−λE)→xw=→0w…(*3)
となるが，

　一般に，与えられた正方行列Pに逆行列（P−1）が存在すれば（det(P)≠0のとき）
P→xw=→0w　⇒　→xw=P−1→0w=→0w となり，P→xw=→0wを満たすベクトルは自明解 →xw=→0wだけとなる．

　したがって，自明解でない解が存在するためには P−1が存在しないこと
　←→　det(P)=0 が条件となる．

　(*3)式が自明解でない解をもつ条件はdet(A−λE)=0になる．

○　det(A−λE)はλのｎ次式になり，行列Aの固有多項式と呼ばれる．
また，det(A−λE)=0を行列Aの固有方程式という．固有方程式はλのｎ次方程式になるので，重解や虚数解をもつ場合もすべて数えると全部でｎ個の解をもつ．

例1 　A=

の固有値，固有ベクトルを求めよ．

（解答）
(1)　まず，固有方程式det

=0を解いて固有値を求める．

(8−λ)(5−λ)−4=0
λ2−13λ+40−4=0
λ2−13λ+36=0
(λ−4)(λ−9)=0
λ=4 , 9

(2)　次に，各々の固有値に対応する固有ベクトルを求める．

(i)　λ1=4を(A−λE)→xw=→0wに代入すると

←→　

←→　4x1+x2=0
←→　

　( t は任意定数 , t≠0 )
となるから，
固有ベクトルは

　( t は任意定数 , t≠0 )

(ii)　λ2=9を(A−λE)→xw=→0wに代入すると

←→　

←→　−x1+x2=0
←→　

　( t は任意定数 , t≠0 )
となるから，
固有ベクトルは

　( t は任意定数 , t≠0 )

ゆえに，
固有値λ1=4，固有ベクトル

　( t は任意定数 , t≠0 )
固有値λ2=9，固有ベクトル

　( t は任意定数 , t≠0)…（答）

※この結果，行列 $\left(\begin{array}{cc} 8 & 1\\ 4 & 5\end{array}\right)$ による一次変換で方向が変わらないベクトル（固有ベクトル）が２つあることになります．

　１つは $\left(\begin{array}{cc} 1\\ -4\end{array}\right)$ に平行なベクトルで，
$\left(\begin{array}{cc} 8 & 1\\ 4 & 5\end{array}\right)\left(\begin{array}{cc} 1\\ -4\end{array}\right)=\left(\begin{array}{cc} 4\\ -16\end{array}\right)$
$\left(\begin{array}{cc} 8 & 1\\ 4 & 5\end{array}\right)\left(\begin{array}{cc} 2\\ -8\end{array}\right)=\left(\begin{array}{cc} 8\\ -32\end{array}\right)$
のように方向が変わらず大きさが固有値λ1=4倍になります

　もう一つは $\left(\begin{array}{cc} 1\\ 1\end{array}\right)$ に平行なベクトルで，
$\left(\begin{array}{cc} 8 & 1\\ 4 & 5\end{array}\right)\left(\begin{array}{cc} 1\\ 1\end{array}\right)=\left(\begin{array}{cc} 9\\ 9\end{array}\right)$
$\left(\begin{array}{cc} 8 & 1\\ 4 & 5\end{array}\right)\left(\begin{array}{cc} 2\\ 2\end{array}\right)=\left(\begin{array}{cc} 18\\ 18\end{array}\right)$
のように方向が変わらず大きさが固有値λ2=9倍になります

○　解が不定となる連立方程式の解き方1
　未知数が２個の連立方程式で２つの方程式が同じ式であるとき
例

　これらの連立方程式は，次の方程式が１つ与えられているのと同じになる． 4x+y=0 …(A) 　未知数が２個で方程式が１つなので，通常の連立方程式のように例えばx=2 , y=3というような確定的な解はない．（不定形の解になる．）
　実際には，「4x+y=0を満たすx , yの組」はすべて解となる．
　図形的には，「直線4x+y=0上の点 ( x , y )」はすべて解となる．…(C)

　問題によっては(C)のように文章で答えてもよいが，以下において連立方程式の不定解の表し方を考える．

　(A)だけでは方程式が１つしかないので，１つの文字についてだけ解くことができもう一つの文字については解くことができないと考えるとよい．見た目で混乱しないように解くことをあきらめる方の文字は右辺に移項してかっこに入れてしまうとよい．
y=(−4x)
　実質的にはこれで答えになっているが，もともと未知数が２個あったのに対して，この形ではyだけに「ひいき」していてxを「安っぽく」扱っているように見えるので，どちらにも偏らない第３の変数tを導入して，次のように表すと「見た目にもスマート」で「各々の変数を分けて表せる」．

　この解をベクトルの形式で表すと

となるが，このベクトルは次のように書ける．

［注］
(A)式をx=… の形にしてもよいが，その場合は途中経過と結果に分数が残り「見た目がスマートではない」のでこの形を好む解答者や採点官はあまりいない．（数学的にはまったく問題ない．）

　⇒　

例2 　A=

の固有値，固有ベクトルを求めよ．

（解答）
(1)　まず，固有方程式det

=0を解いて固有値を求める．

(1−λ)(2−λ)(3−λ)+0·0·2+0·1·(−1)−(1−λ)·(−1)·0−0·1·(3−λ)−0·2·(2−λ)=0
(1−λ)(2−λ)(3−λ)=0
λ=1 , 2 , 3

(2)　次に，各々の固有値に対応する固有ベクトルを求める．

(i)　λ1=1を(A−λE)→xw=→0wに代入すると

0x1=0は，どんな実数x1についても成り立つから，x1=t
( t は任意定数 , t≠0 )

←→　

　( t は任意定数 , t≠0 )
となるから，
固有ベクトルは

　( t は任意定数 , t≠0 )

(ii)　λ2=2を(A−λE)→xw=→0wに代入すると

←→　

　( t は任意定数 , t≠0 )
となるから，
固有ベクトルは

　( t は任意定数 , t≠0 )

(iii)　λ3=3を(A−λE)→xw=→0wに代入すると

←→　

　( t は任意定数 , t≠0 )
となるから，
固有ベクトルは

　( t は任意定数 , t≠0 )

ゆえに，
固有値λ1=1，固有ベクトル

　( t は任意定数 , t≠0 )
固有値λ2=2，固有ベクトル

　( t は任意定数 , t≠0 )
固有値λ3=3，固有ベクトル

　( t は任意定数 , t≠0)…（答）

○　解が不定となる連立方程式の解き方2
　未知数が３個の方程式２つのときも上と同様にして「１つの文字について解くのをあきらめる」とよい．
例

(B)(C)は同じ式だからこれらは次の連立方程式と同じ

ここで未知数yについて解くのをあきらめると，未知数２個，方程式２個の普通の方程式になって解ける．

⇒　

yの代わりに第３の変数tを立てる ⇒　

⇒　

○　解が不定となる連立方程式の解き方3
　条件式がない変数は任意の値をとることができる．　
例
　(i)において未知数がx1 , x2 , x3でx2=0 , x3=0という解が得られたとき，x1は制限条件が何もない．このとき，x1は任意定数になる．この事情を中学校で習った直線の方程式で思い出してみると．点(3 , 0)を通りx軸と垂直な直線は次の図のような点を通っている．

　これらの点はx座標が3でy座標はいろいろな値がある．実はx=3という条件を満たしていればyはどんな値でもあり制限がない．
　方程式では制限のないものは書かないので，この直線の方程式はx=3と書く．

　逆に，方程式がx=3であるということはyは任意の値をとれるということを表している．
　x=3 ←→ x=3,yは任意 ←→ ( 3 , t )で表される点はすべて ←→ x=3, y=t
（なお，この直線は原点を通らないので，(x,y)=t(... , ...)の形には書けない）

　以上の簡単な復習から分かるように，左の連立方程式において，未知数がx1 , x2 , x3でx2=0 , x3=0という条件になるということは，x1には条件が指定されていないということで

x1は任意定数
x2=0
x3=0

ということになる．
したがって，

　( t は任意定数 , t≠0 )
が解となる．

■問題■　次の行列の固有値，固有ベクトルを求めよ．
(1)　A=

(2)　A=

（解答）
(1)
固有値−1，固有ベクトル

　( t は任意定数 , t≠0 )
固有値4，固有ベクトル

　( t は任意定数 , t≠0 )
(2)
（※成分に分けて書くと）
固有値2，固有ベクトルx1=0, x2=0, x3=t
固有値−1，固有ベクトルx1=t, x2=t, x3=−t
固有値1，固有ベクトルx1=−t, x2=t, x3=−3t
（いずれも，t は任意定数 , t≠0 ）

※固有値と固有ベクトルは wxMaximaを使うと簡単に求めることができます．→この頁

※【その他，固有値，固有ベクトル練習用の問題】

(1)　2次の正方行列が異なる2つの実固有値を持つ場合
$\begin{pmatrix}2 & 4\\ 5 & 3\end{pmatrix}$

引用元：ラング「線形代数学（下）」（芹沢正三訳/ちくま学芸文庫）p.078

固有方程式（特性方程式）は

det $\begin{pmatrix}2-\lambda & 4\\ 5 & 3-\lambda\end{pmatrix}=0$
より
$(2-\lambda )(3-\lambda)-20=0$
$\lambda^2-5\lambda + 6 -20=0$
$\lambda^2-5\lambda + -14=0$
$(\lambda + 2)(\lambda -7)=0$
固有値は $\lambda =-2,7$

$\lambda =-2$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}4 & 4\\ 5 & 5\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

4x+4y=0
5x+5y=0
←→x+y=0
←→y=(−x)
固有ベクトルは
$\begin{pmatrix} t\\ -t\end{pmatrix}=t\begin{pmatrix} 1\\ -1\end{pmatrix}$ （tは任意の数）

$\lambda =7$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}-5 & 4\\ 5 & -4\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

−5x+4y=0
5x−4y=0
←→5x−4y=0
←→ $y=(\frac{5}{4}x)$
固有ベクトルは
$\begin{pmatrix} t\\\frac{5}{4}t\end{pmatrix}=t\begin{pmatrix} 1\\\frac{5}{4}\end{pmatrix}$ （tは任意の数）
これは $s\begin{pmatrix} 4\\ 5\end{pmatrix}$ （sは任意の数）と書いてもよい

wxMaximaでは
Enterキーを押して入力欄を作り
A : matrix([2,4],[5,3]);
と入力し，
eigenvectors(A);
とすれば
[[[7,-2],[1,1]],[[[1,5/4]],[[1,-1]]]]
という結果が得られる．
これは固有値7は重複度１で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\\frac{5}{4}\end{pmatrix}$ ，
固有値−2は重複度１でこれに対応する固有ベクトルが $t\begin{pmatrix} 1\\ -1\end{pmatrix}$ であることを示している．

(2)　2次の正方行列が１つの実固有値（2重解）を持つ場合
$\begin{pmatrix}1 & 1\\ 0 & 1\end{pmatrix}$

引用元：ラング「線形代数学（下）」（芹沢正三訳/ちくま学芸文庫）p.079

固有方程式（特性方程式）は

det $\begin{pmatrix}1-\lambda & 1\\ 0 & 1-\lambda\end{pmatrix}=0$
より
$(1-\lambda )^2 - 0=0$
$(\lambda -1)^2=0$
固有値は $\lambda =1$ （2重解）

$\lambda =1$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}0 & 1\\ 0 & 0\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より
y=0 固有ベクトルは
$\begin{pmatrix} t\\ 0\end{pmatrix}=t\begin{pmatrix} 1\\ 0\end{pmatrix}$ （tは任意の数）

wxMaximaでは
Enterキーを押して入力欄を作り
A : matrix([1,1],[1,0]);
と入力し，
eigenvectors(A);
とすれば
[[[1],[2]],[[[1,0]]]]
という結果が得られる．
これは固有値1は重複度2で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\ 0\end{pmatrix}$ であることを示している．

(3)　実係数の2次の正方行列が異なる2つの虚数の固有値を持つ場合
$\begin{pmatrix}3 & 2\\ -2 & 3\end{pmatrix}$

引用元：ラング「線形代数学（下）」（芹沢正三訳/ちくま学芸文庫）p.078

固有方程式（特性方程式）は

det $\begin{pmatrix}3-\lambda & 2\\ -2 & 3-\lambda\end{pmatrix}=0$
より
$(3-\lambda )^2+ 4=0$
$(\lambda -3)^2 + 4=0$
$\lambda^2 - 6\lambda + 13=0$
2次方程式の解の公式により固有値は $\lambda =3\pm 2i$

$\lambda =3-2i$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}2i & 2\\ -2 & 2i\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

xi+y=0…(1)
−x+yi=0…(2)
(1)の両辺にiを掛けると(2)に一致するから(1)←→(2)
←→xi+y=0
←→y=(−xi)
固有ベクトルは
$\begin{pmatrix} t\\ -ti\end{pmatrix}=t\begin{pmatrix} 1\\ -i\end{pmatrix}$ （tは任意の数）

$\lambda =3+ 2i$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}-2i & 2\\ -2 & -2i\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

−xi+y=0…(1)
−x−yi=0…(2)
(1)の両辺に−iを掛けると(2)に一致するから(1)←→(2)
←→−xi+y=0
←→y=(xi)
固有ベクトルは
$\begin{pmatrix} t\\ ti\end{pmatrix}=t\begin{pmatrix} 1\\ i\end{pmatrix}$ （tは任意の数）

これらは $s\begin{pmatrix} 1\\\pm i\end{pmatrix}$ （tは任意の数）と書いてもよい

wxMaximaでは
Enterキーを押して入力欄を作り
A : matrix([3,2],[-2,3]);
と入力し，
eigenvectors(A);
とすれば
$\bigl[\bigl[\bigl[3-2%i,2%i + 3\bigr],\bigl[1,1\bigr]\bigr],$
$\bigl[\bigl[\bigl[1,%i\bigr]\bigr],\bigl[\bigl[1,-%i\bigr]\bigr]\bigr]\bigr]$
という結果が得られる．
これは固有値 $3-2i$ は重複度１で，これに対応する固有ベクトルが $\begin{pmatrix} 1\\ i\end{pmatrix}$ ，
固有値 $2i+ 3$ は重複度１で，これに対応する固有ベクトルが $\begin{pmatrix} 1\\ -i\end{pmatrix}$ であることを示している．

(4)　複素成分の2次の正方行列が異なる2つの固有値を持つ場合
$\begin{pmatrix}1 & i\\ i & -2\end{pmatrix}$

引用元：ラング「線形代数学（下）」（芹沢正三訳/ちくま学芸文庫）p.078

固有方程式（特性方程式）は

det $\begin{pmatrix}1-\lambda & i\\ i & -2-\lambda\end{pmatrix}=0$
より
$(1-\lambda )(-2-\lambda)-i^2=0$
$(\lambda -1)(\lambda + 2) + 1=0$
$\lambda^2 +\lambda -1=0$
2次方程式の解の公式により固有値は $\lambda =\frac{-1\pm\sqrt{5}}{2}$

$\lambda =\frac{-1-\sqrt{5}}{2}$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}\frac{3+\sqrt{5}}{2} & i\\ i &\frac{-3 +\sqrt{5}}{2}\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

$\frac{3+\sqrt{5}}{2}x+ yi=0$ …(1)
$xi+\frac{-3+\sqrt{5}}{2}y=0$ …(2)
(1)の両辺に $\frac{3-\sqrt{5}}{2}i$ を掛けると(2)に一致するから(1)←→(2)
←→ $\frac{3+\sqrt{5}}{2}x+ yi=0$
←→ $y=-\frac{3+\sqrt{5}}{2i}x=(\frac{3+\sqrt{5}}{2}xi)$
固有ベクトルは
$\begin{pmatrix} t\\\frac{3+\sqrt{5}}{2}ti\end{pmatrix}=t\begin{pmatrix} 1\\\frac{3+\sqrt{5}}{2}i\end{pmatrix}$ （tは任意の数）

$\lambda =\frac{-1+\sqrt{5}}{2}$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}\frac{3-\sqrt{5}}{2} & i\\ i &\frac{-3 -\sqrt{5}}{2}\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=\begin{pmatrix} 0\\ 0\end{pmatrix}$
より

$\frac{3-\sqrt{5}}{2}x+ yi=0$ …(1)
$xi+\frac{-3-\sqrt{5}}{2}y=0$ …(2)
(1)の両辺に $\frac{3+\sqrt{5}}{2}i$ を掛けると(2)に一致するから(1)←→(2)
←→ $\frac{3-\sqrt{5}}{2}x+ yi=0$
←→ $y=-\frac{3-\sqrt{5}}{2i}x=(\frac{3-\sqrt{5}}{2}xi)$
固有ベクトルは
$\begin{pmatrix} t\\\frac{3-\sqrt{5}}{2}ti\end{pmatrix}=t\begin{pmatrix} 1\\\frac{3-\sqrt{5}}{2}i\end{pmatrix}$ （tは任意の数）
これらは $s\begin{pmatrix} 2\\ (3-\sqrt{5})i\end{pmatrix}$ （tは任意の数）と書いてもよい

wxMaximaでは
Enterキーを押して入力欄を作り
A : matrix([1,%i],[%i,-2]);
と入力し，
eigenvectors(A);
とすれば
$\bigl[\bigl[\bigl[-\frac{\sqrt{5}+ 1}{2},\frac{\sqrt{5}-1}{2}\bigr],\bigl[1,1\bigr]\bigr],$
$\bigl[\bigl[\bigl[1,\frac{(\sqrt{5}+ 3)i}{2}\bigr]\bigr],\bigl[\bigl[1,-\frac{(\sqrt{5}- 3)i}{2}\bigr]\bigr]\bigr]\bigr]$
という結果が得られる．
これは固有値 $-\frac{\sqrt{5}+ 1}{2}$ は重複度１で，これに対応する固有ベクトルが $\begin{pmatrix} 1\\\frac{(\sqrt{5}+ 3)i}{2}\end{pmatrix}$ ，
固有値 $\frac{\sqrt{5}- 1}{2}$ は重複度１で，これに対応する固有ベクトルが $\begin{pmatrix} 1\\ -\frac{(\sqrt{5}- 3)i}{2}\end{pmatrix}$ であることを示している．

(5)　3次の正方行列が異なる3つの実固有値を持つ場合
$\begin{pmatrix}-1 & 2 & 2\\ 2 & 2 & 2\\ -3 & -6 & -6\end{pmatrix}$

引用元：ラング「線形代数学（下）」（芹沢正三訳/ちくま学芸文庫）p.078

固有方程式（特性方程式）は

det $\begin{pmatrix}-1-\lambda & 2 & 2\\ 2 & 2-\lambda & 2\\ -3 & -6 & -6-\lambda\end{pmatrix}=0$
より
$(-1-\lambda)det\begin{pmatrix} 2-\lambda & 2\\ -6 & -6-\lambda\end{pmatrix}$
$-2det\begin{pmatrix} 2 & 2\\ -6 & -6-\lambda\end{pmatrix}$
$-3det\begin{pmatrix}2& 2\\ 2-\lambda& 2\end{pmatrix}=0$
$(-1-\lambda)((2-\lambda)(-6-\lambda)+ 12)$
$-2(2(-6-\lambda)+ 12)$
$-3(4-2(2-\lambda))=0$
この式を簡単にすると
$\lambda^3+ 5\lambda^2 + 6\lambda=0$
$\lambda(\lambda + 2)(\lambda + 3)=0$
固有値は $\lambda =-3,-2,0$

$\lambda =-3$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}2 & 2 & 2\\ 2 & 5 & 2\\ -3 & -6 & -3\end{pmatrix}\begin{pmatrix} x\\ y\\ z\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
より

2x+2y+2z=0
2x+5y+2z=0
−3x−6y−3z=0
←→

x+y+z=0…(1)
2x+5y+2z=0…(2)
x+2y+z=0…(3)
(1)−(3)よりy=0
これを使って(1)(2)(3)を書き直すとすべてx+z=0になるから

y=0
z=(−x)
固有ベクトルは
$\begin{pmatrix} t\\0\\ -t\end{pmatrix}=t\begin{pmatrix} 1\\0\\ -1\end{pmatrix}$ （tは任意の数）

$\lambda =-2$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}1 & 2 & 2\\ 2 & 4 & 2\\ -3 & -6 & -4\end{pmatrix}\begin{pmatrix} x\\ y\\ z\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
より

x+2y+2z=0
2x+4y+2z=0
−3x−6y−4z=0
←→

x+2y+2z=0…(1)
x+2y+z=0…(2)
3x+6y+4z=0…(3)
(1)−(2)よりz=0
これを使って(1)(2)(3)を書き直すとすべてx+2y=0になるから

z=0
$y=(-\frac{1}{2}x)$
固有ベクトルは
$\begin{pmatrix} t\\ -\frac{t}{2}\\ 0\end{pmatrix}=t\begin{pmatrix} 1\\0\\ -1\end{pmatrix}$ （tは任意の数）

$\lambda =0$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}-1 & 2 & 2\\ 2 & 2 & 2\\ -3 & -6 & -6\end{pmatrix}\begin{pmatrix} x\\ y\\ z\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
より

−x+2y+2z=0
2x+2y+2z=0
−3x−6y−6z=0
←→

−x+2y+2z=0…(1)
x+y+z=0…(2)
x+2y+2z=0…(3)
(1)−(3)よりx=0
これを使って(1)(2)(3)を書き直すとすべてy+z=0←→z=(−y)になるから

x=0
z=(−y)
固有ベクトルは
$\begin{pmatrix} 0\\ t\\ -t\end{pmatrix}=t\begin{pmatrix} 0\\ 1\\ -1\end{pmatrix}$ （tは任意の数）

※固有ベクトルが零ベクトルになることはないが，固有値が0になることはあります．固有値が0の場合はこの問題のようにt≠0となるどんな値tについても，零ベクトルではないベクトル $\begin{pmatrix} 0\\ t\\ -t\end{pmatrix}$ が
$\begin{pmatrix}-1 & 2 & 2\\ 2 & 2 & 2\\ -3 & -6 & -6\end{pmatrix}\begin{pmatrix} 0\\ t\\ -t\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
となって原点(0,0,0)に移されます．

wxMaximaでは
Enterキーを押して入力欄を作り
A:matrix([-1,2,2],[2,2,2],[-3,-6,-6]);
と入力し，
eigenvectors(A);
とすれば
[[[-3,-2,0],[1,1,1]],[[[1,0,-1]],[[1,-1/2,0]],[[0,1,-1]]]]
という結果が得られる．
これは固有値−3は重複度１で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\ 0\\ -1\end{pmatrix}$ ，
固有値−2は重複度１で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\ -\frac{1}{2}\\ 0\end{pmatrix}$ ，
固有値0は重複度１で，これに対応する固有ベクトルが $t\begin{pmatrix} 0\\ 1\\ -1\end{pmatrix}$ であることを示している．

上記の途中経過に登場する3元連立1次方程式を解くには
linsolve([2*x+2*y+2*z=0, 2*x+5*y+2*z=0, -3*x-6*y-3*z=0], [x,y,z]);
などと入力すればよく，そのとき得られる出力
[x=-%r1,y=0,z=%r1]
は，%r1が上記の解説のtに対応するパラメータで，このパラメータで表示される不定解となることを示している．

(6)　3次の正方行列が1つの実数解と１つの2重解とを持つ場合
$\begin{pmatrix}1 & 0 & -1\\ 2 & 2 & 2\\ 2 & 1 & 2\end{pmatrix}$

引用元：新編高専の数学2 問題集（田代嘉宏編/森北出版）p.112

固有方程式（特性方程式）は

det $\begin{pmatrix}1-\lambda & 0 & -1\\ 2 & 2-\lambda & 2\\ 2 & 1 & 2-\lambda\end{pmatrix}=0$
より
$(1-\lambda)det\begin{pmatrix} 2-\lambda & 2\\ 1 & 2-\lambda\end{pmatrix}$
$-2det\begin{pmatrix} 0 & -1\\ 1 & 2-\lambda\end{pmatrix}$
$+ det\begin{pmatrix}0& -1\\ 2-\lambda& 2\end{pmatrix}=0$
$(1-\lambda)((2-\lambda)^2-2)-2+ 2(2-\lambda)=0$
この式を簡単にすると
$\lambda^3-5\lambda^2 + 8\lambda-4=0$
因数定理を用いて因数分解する． $\lambda=1$ を代入すると成り立つから左辺は $\lambda-1$ で割り切れる．因数分解すると
$(\lambda-1)(\lambda - 2)^2=0$
固有値は $\lambda =1,2$ 　（ $\lambda=2$ は2重解）

$\lambda =1$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}0 & 0 & -1\\ 2 & 1 & 2\\ 2 & 1 & 1\end{pmatrix}\begin{pmatrix} x\\ y\\ z\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
より

−z=0…(1)
2x+y+2z=0…(2)
2x+y+z=0…(3)
(1)よりz=0
これを使って(2)(3)を書き直すと2x+y=0になるから

z=0
y=(−2x)
固有ベクトルは
$\begin{pmatrix} t\\-2t\\ 0\end{pmatrix}=t\begin{pmatrix} 1\\ -2\\ 0\end{pmatrix}$ （tは任意の数）

$\lambda =2$ のとき $(A-\lambda E)\vec{x}=\vec{0}$ に代入すると

$\begin{pmatrix}-1 & 0 & -1\\ 2 & 0 & 2\\ 2 & 1 & 0\end{pmatrix}\begin{pmatrix} x\\ y\\ z\end{pmatrix}=\begin{pmatrix} 0\\ 0\\ 0\end{pmatrix}$
より

−x−z=0…(1)
2x+2z=0…(2)
2x+y=0…(3)
(1)−(2)よりz=(−x)
(3)よりy=(−2x)
固有ベクトルは
$\begin{pmatrix} t\\ -2t\\ -t\end{pmatrix}=t\begin{pmatrix} 1\\-2\\ -1\end{pmatrix}$ （tは任意の数）

wxMaximaでは
Enterキーを押して入力欄を作り
A:matrix([1,0,-1],[2,2,2],[2,1,2]);
と入力し，
eigenvectors(A);
とすれば
[[[1,2],[1,2]],[[[1,-2,0]],[[1,-2,-1]]]]
という結果が得られる．
これは固有値1は重複度１で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\ -2\\ 0\end{pmatrix}$ ，
固有値2は重複度2で，これに対応する固有ベクトルが $t\begin{pmatrix} 1\\ -2\\ -1\end{pmatrix}$ であることを示している．

上記の途中経過に登場する3元連立1次方程式(1)82)(3)を解くには
linsolve([-x-z=0,2*x+2*z=0,2*x+y=0],[x,y,z]);
などと入力すればよく，そのとき得られる出力
[x=%r2,y=-2*%r2,z=-%r2]
は，%r2が上記の解説のtに対応するパラメータで，このパラメータで表示される不定解となることを示している．

*** メモ ***
○ここまでは，行列→固有値→固有ベクトルの順に求めるという基本を解説しており，この基本を身に付けてもらうことが重要なことですが，「必ず固有値が固有ベクトルよりも先に決まるとは限りません」．

○何らかの事情で固有ベクトルが先に求まった場合にも，それに対応する固有値を求めることができます．

問題(1)を例にとって示します．
行列 $A$ の固有値が $\lambda$ でこれに対応する固有ベクトルが $\vec{x}$ であるとき，
$A\vec{x}=\lambda\vec{x}$
が成り立ちます．
そこで，何らかの事情で $\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$ の固有ベクトルが $\begin{pmatrix}1\\ -1\end{pmatrix}$ であることが分かれば
$\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}\begin{pmatrix}1\\ -1\end{pmatrix}=\begin{pmatrix}-1\\ 1\end{pmatrix}=-1\begin{pmatrix}1\\ -1\end{pmatrix}$
により，固有値−1が求められます．
同様にして $\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$ の固有ベクトルが $\begin{pmatrix}2\\ 3\end{pmatrix}$ であることが分かれば
$\begin{pmatrix}1& 2\\ 3& 2\end{pmatrix}\begin{pmatrix}2\\ 3\end{pmatrix}=\begin{pmatrix}8\\ 12\end{pmatrix}=4\begin{pmatrix}2\\ 3\end{pmatrix}$
により，固有値4が求められます．

※固有ベクトルを０倍以外の定数倍したものもまた固有ベクトルなので，上記の議論は $\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$ の固有ベクトルを $\begin{pmatrix}s\\ -s\end{pmatrix}(s\ne 0)$ とした場合でも同様に
$\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}\begin{pmatrix}s\\ -s\end{pmatrix}=\begin{pmatrix}-s\\ s\end{pmatrix}=-1\begin{pmatrix}s\\ -s\end{pmatrix}$
により，固有値−1が求められます．

$\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$ の固有ベクトルを $\begin{pmatrix}2t\\ 3t\end{pmatrix}(s\ne 0)$ とした場合でも同様に
$\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}\begin{pmatrix}2t\\ 3t\end{pmatrix}=\begin{pmatrix}8t\\ 12t\end{pmatrix}=4\begin{pmatrix}2t\\ 3t\end{pmatrix}$
により，固有値4が求められます．

○さらに，固有値と固有ベクトルの組が与えられれば元の行列は次のように復元できる．

問題(1)を例にとって示します．
行列 $A=\begin{pmatrix}a & b\\ c & d\end{pmatrix}$ が未知で，
固有値−1に対応する固有ベクトルが $\begin{pmatrix}1\\ -1\end{pmatrix}$
固有値4に対応する固有ベクトルが $\begin{pmatrix}2\\ 3\end{pmatrix}$ であるとき
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}1\\ -1\end{pmatrix}=\begin{pmatrix}-1\\ 1\end{pmatrix}$
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\hspace{20}\begin{pmatrix}2\\ 3\end{pmatrix}=\hspace{20}\begin{pmatrix}8\\ 12\end{pmatrix}$
まとめて書くと
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}1& 2\\ -1 & 3\end{pmatrix}=\begin{pmatrix}-1 & 8\\ 1 & 12\end{pmatrix}$
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}=\begin{pmatrix}-1 & 8\\ 1 & 12\end{pmatrix}\begin{pmatrix}1& 2\\ -1 & 3\end{pmatrix}^{-1}$
$=\begin{pmatrix}-1 & 8\\ 1 & 12\end{pmatrix}\frac{1}{5}\begin{pmatrix}3& -2\\ 1 & 1\end{pmatrix}$
$=\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$
となって，元の行列 $A$ が求められる．

※固有ベクトルを０倍以外の定数倍したものもまた固有ベクトルなので，上記の議論は，固有値−1に対応する固有ベクトルが $\begin{pmatrix}s\\ -s\end{pmatrix}$ ，固有値4に対応する固有ベクトルが $\begin{pmatrix}2t\\ 3t\end{pmatrix}$ としたときも同様にして
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}s& 2t\\ -s & 3t\end{pmatrix}=\begin{pmatrix}-s & 8t\\ s & 12t\end{pmatrix}$
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}=\begin{pmatrix}-s & 8t\\ s & 12t\end{pmatrix}\begin{pmatrix}s& 2t\\ -s & 3t\end{pmatrix}^{-1}$
$=\begin{pmatrix}-s& 8t\\ s& 12t\end{pmatrix}\frac{1}{5st}\begin{pmatrix}3t& -2t\\ s& s\end{pmatrix}$
$=\begin{pmatrix}1 & 2\\ 3 & 2\end{pmatrix}$
となって，元の行列 $A$ が求められる．

【要約】　行列A ←→ 固有値，固有ベクトルのすべての組

(7)　
行列 $\begin{pmatrix}3 & -5\\ 0 & -2\end{pmatrix}$ の固有ベクトル $\begin{pmatrix}1\\ 1\end{pmatrix}$ に対応する固有値を求めてください．また，固有ベクトル $\begin{pmatrix}1\\ 0\end{pmatrix}$ に対応する固有値を求めてください．

解説

$A\vec{x}=\lambda\vec{x}\hspace{20}(\vec{x}\ne\vec{0})$ となる値 $\lambda$ が固有値です．
$\begin{pmatrix}3 & -5\\ 0 & -2\end{pmatrix}\begin{pmatrix}1\\ 1\end{pmatrix}=\begin{pmatrix}-2\\ -2\end{pmatrix}=-2\begin{pmatrix}1\\ 1\end{pmatrix}$ だから固有値は−2です．
また
$\begin{pmatrix}3 & -5\\ 0 & -2\end{pmatrix}\begin{pmatrix}1\\ 0\end{pmatrix}=\begin{pmatrix}3\\ 0\end{pmatrix}=3\begin{pmatrix}1\\ 0\end{pmatrix}$ だから固有値は3です．

(8)　
行列 $\begin{pmatrix}1 & 0\\ 12 & -3\end{pmatrix}$ の固有ベクトル $\begin{pmatrix}0\\ 1\end{pmatrix}$ に対応する固有値を求めてください．また，固有ベクトル $\begin{pmatrix}1\\ 3\end{pmatrix}$ に対応する固有値を求めてください．

解説

$\begin{pmatrix}1 & 0\\ 12 & -3\end{pmatrix}\begin{pmatrix}0\\ 1\end{pmatrix}=\begin{pmatrix}0\\ -3\end{pmatrix}=-3\begin{pmatrix}0\\ 1\end{pmatrix}$ だから固有値は−3です．
また
$\begin{pmatrix}1 & 0\\ 12 & -3\end{pmatrix}\begin{pmatrix}1\\ 3\end{pmatrix}=\begin{pmatrix}1\\ 3\end{pmatrix}=1\begin{pmatrix}1\\ 3\end{pmatrix}$ だから固有値は1です．

(9)　
固有値−3に対応する固有ベクトルが $\begin{pmatrix}2\\ 3\end{pmatrix}$ で，固有値4に対応する固有ベクトルが $\begin{pmatrix}1\\ -2\end{pmatrix}$ となる行列を求めてください．

解説

$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}2\\ 3\end{pmatrix}=-3\begin{pmatrix}2\\ 3\end{pmatrix}=\begin{pmatrix}-6\\ -9\end{pmatrix}$
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}1\\ -2\end{pmatrix}=4\begin{pmatrix}1\\ -2\end{pmatrix}=\begin{pmatrix}4\\ -8\end{pmatrix}$
これらをまとめて書くと
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}\begin{pmatrix}2 & 1\\ 3 & -2\end{pmatrix}=\begin{pmatrix}-6 & 4\\ -9 & -8\end{pmatrix}$
$\begin{pmatrix}a & b\\ c & d\end{pmatrix}=\begin{pmatrix}-6 & 4\\ -9 & -8\end{pmatrix}\begin{pmatrix}2 & 1\\ 3 & -2\end{pmatrix}^{-1}$
$=\begin{pmatrix}-6 & 4\\ -9 & -8\end{pmatrix}\begin{pmatrix}\frac{2}{7}&\frac{1}{7}\\\frac{3}{7}& -\frac{2}{7}\end{pmatrix}$
$=\begin{pmatrix}0 & -2\\ -6 & 1\end{pmatrix}$

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

■［個別の頁からの質問に対する回答］[固有値，固有ベクトルの求め方について／17.1.13］

（５）のλ＝ー３のときの３列目の３行目がー6ではなくてー3だと思います。あとは（6）が分かりにくく感じました(;'∀')
＝＞［作者］：連絡ありがとう．(5)は訂正しました．

■このサイト内のGoogle検索■

△このページの先頭に戻る△【アンケート送信】
… このアンケートは教材改善の参考にさせていただきます

■この頁について，良い所，悪い所，間違いの指摘，その他の感想があれば送信してください．

○文章の形をしている感想は全部読ませてもらっています．
○感想の内で，どの問題がどうであったかを正確な文章で伝えていただいた改善要望に対しては，可能な限り対応するようにしています．（※なお，攻撃的な文章になっている場合は，それを公開すると筆者だけでなく読者も読むことになりますので，採用しません．）

質問に対する回答の中学版はこの頁，高校版はこの頁にあります