行列 $A = \begin{bmatrix} 3 & 5 \\ 5 & 3 \end{bmatrix}$ を対角化し、さらに自然数 $n$ に対して $A^n$ を求めよ。

代数学線形代数行列対角化固有値固有ベクトル
2025/6/13

1. 問題の内容

行列 A=[3553]A = \begin{bmatrix} 3 & 5 \\ 5 & 3 \end{bmatrix} を対角化し、さらに自然数 nn に対して AnA^n を求めよ。

2. 解き方の手順

まず、行列 AA の固有値を求めます。固有方程式は
AλI=0|A - \lambda I| = 0
ここで II は単位行列です。したがって、
3λ553λ=(3λ)252=λ26λ+925=λ26λ16=(λ8)(λ+2)=0\begin{vmatrix} 3-\lambda & 5 \\ 5 & 3-\lambda \end{vmatrix} = (3-\lambda)^2 - 5^2 = \lambda^2 - 6\lambda + 9 - 25 = \lambda^2 - 6\lambda - 16 = (\lambda - 8)(\lambda + 2) = 0
よって、固有値は λ1=8\lambda_1 = 8λ2=2\lambda_2 = -2 です。
次に、各固有値に対応する固有ベクトルを求めます。
λ1=8\lambda_1 = 8 のとき、(A8I)v1=0(A - 8I)v_1 = 0 より
[5555][xy]=[00]\begin{bmatrix} -5 & 5 \\ 5 & -5 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \end{bmatrix}
5x+5y=0-5x + 5y = 0 より x=yx = y。よって、固有ベクトル v1=[11]v_1 = \begin{bmatrix} 1 \\ 1 \end{bmatrix} (またはその定数倍)。
λ2=2\lambda_2 = -2 のとき、(A+2I)v2=0(A + 2I)v_2 = 0 より
[5555][xy]=[00]\begin{bmatrix} 5 & 5 \\ 5 & 5 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \end{bmatrix}
5x+5y=05x + 5y = 0 より x=yx = -y。よって、固有ベクトル v2=[11]v_2 = \begin{bmatrix} 1 \\ -1 \end{bmatrix} (またはその定数倍)。
固有ベクトルを並べて行列 P=[1111]P = \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} を作り、このとき P1AP=D=[8002]P^{-1}AP = D = \begin{bmatrix} 8 & 0 \\ 0 & -2 \end{bmatrix} となります。
P1P^{-1} を計算します。PP の行列式は P=11=2|P| = -1 - 1 = -2 なので、
P1=12[1111]=[1/21/21/21/2]P^{-1} = \frac{1}{-2} \begin{bmatrix} -1 & -1 \\ -1 & 1 \end{bmatrix} = \begin{bmatrix} 1/2 & 1/2 \\ 1/2 & -1/2 \end{bmatrix}
A=PDP1A = PDP^{-1} なので、An=PDnP1A^n = PD^nP^{-1} です。
Dn=[8n00(2)n]D^n = \begin{bmatrix} 8^n & 0 \\ 0 & (-2)^n \end{bmatrix}
An=[1111][8n00(2)n][1/21/21/21/2]=[8n(2)n8n(2)n][1/21/21/21/2]A^n = \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix} \begin{bmatrix} 8^n & 0 \\ 0 & (-2)^n \end{bmatrix} \begin{bmatrix} 1/2 & 1/2 \\ 1/2 & -1/2 \end{bmatrix} = \begin{bmatrix} 8^n & (-2)^n \\ 8^n & -(-2)^n \end{bmatrix} \begin{bmatrix} 1/2 & 1/2 \\ 1/2 & -1/2 \end{bmatrix}
An=[8n+(2)n28n(2)n28n(2)n28n+(2)n2]A^n = \begin{bmatrix} \frac{8^n + (-2)^n}{2} & \frac{8^n - (-2)^n}{2} \\ \frac{8^n - (-2)^n}{2} & \frac{8^n + (-2)^n}{2} \end{bmatrix}

3. 最終的な答え

対角化: P=[1111]P = \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix}, D=[8002]D = \begin{bmatrix} 8 & 0 \\ 0 & -2 \end{bmatrix}
An=[8n+(2)n28n(2)n28n(2)n28n+(2)n2]A^n = \begin{bmatrix} \frac{8^n + (-2)^n}{2} & \frac{8^n - (-2)^n}{2} \\ \frac{8^n - (-2)^n}{2} & \frac{8^n + (-2)^n}{2} \end{bmatrix}

「代数学」の関連問題

公比が2、初項が1の等比数列 $\{a_n\}$ がある。 (1) 和 $\frac{1}{a_1} + \frac{1}{a_2} + \frac{1}{a_3} + \dots + \frac{1...

数列等比数列対数和の公式
2025/6/14

与えられた6つの2次関数について、グラフを描き、頂点の座標と軸の方程式を求める問題です。

二次関数グラフ平方完成頂点
2025/6/14

2次関数 $y=x^2-6x+5$ のグラフを描き、頂点の座標と軸の方程式を求める。

二次関数グラフ平方完成頂点
2025/6/14

$(\sqrt{3} + \sqrt{5})^2$ を展開し、式を完成させる問題です。

展開平方根式の計算
2025/6/14

多項式 $P(x) = x^3 - (a-1)x^2 + (b-5)x + a - 2b + 10$ が与えられており、$P(-1) = 0$ である。ここで、$a, b$ は実数の定数である。 (1...

多項式因数分解虚数解実数解解の公式判別式
2025/6/14

$(\sqrt{3} + \sqrt{5})^2$ を展開し、空欄を埋める問題です。

展開平方根計算
2025/6/14

$a, b$ を正の実数とする。直線 $ax + by = 1$ と曲線 $y = -\frac{1}{x}$ の2つの交点のうち、$y$ 座標が正のものを $P$、負のものを $Q$ とする。また、...

軌跡二次方程式解と係数の関係分数関数線分の長さ
2025/6/14

与えられた不等式を解く問題です。問題は全部で6問あります。

不等式一次不等式
2025/6/14

不等式 $x^2 - (a^2 - 2a + 1)x + a^2 - 2a < 0$ を満たす整数 $x$ が存在しないような定数 $a$ の値の範囲を求める。

不等式二次不等式因数分解整数解
2025/6/14

不等式 $x^2 - (a^2 - 2a + 1)x + a^2 - 2a < 0$ を満たす整数 $x$ が存在しないような定数 $a$ の値の範囲を求める問題です。

不等式二次不等式解の存在範囲因数分解
2025/6/14