問題は、与えられた3つの行列A, B, Cに対して、$n$乗を求めることです。 (1) $A = \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix}$ (2) $B = \begin{bmatrix} 3 & 0 & 0 \\ 0 & a & 0 \\ 0 & 0 & b \end{bmatrix}$ (3) $C = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix}$

代数学行列行列の累乗線形代数数学的帰納法
2025/6/10

1. 問題の内容

問題は、与えられた3つの行列A, B, Cに対して、nn乗を求めることです。
(1) A=[2101]A = \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix}
(2) B=[3000a000b]B = \begin{bmatrix} 3 & 0 & 0 \\ 0 & a & 0 \\ 0 & 0 & b \end{bmatrix}
(3) C=[010001100]C = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix}

2. 解き方の手順

(1) 行列Aのn乗を求める。
まず、A2A^2 を計算します。
A2=[2101][2101]=[4301]A^2 = \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 4 & 3 \\ 0 & 1 \end{bmatrix}
次に、A3A^3 を計算します。
A3=A2A=[4301][2101]=[8701]A^3 = A^2 A = \begin{bmatrix} 4 & 3 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 8 & 7 \\ 0 & 1 \end{bmatrix}
一般に、An=[2n2n101]A^n = \begin{bmatrix} 2^n & 2^n - 1 \\ 0 & 1 \end{bmatrix} と推測できます。
数学的帰納法で証明します。
n=1n=1 のとき、A1=[2121101]=[2101]A^1 = \begin{bmatrix} 2^1 & 2^1 - 1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix} で正しいです。
n=kn=k のとき、Ak=[2k2k101]A^k = \begin{bmatrix} 2^k & 2^k - 1 \\ 0 & 1 \end{bmatrix} が正しいと仮定します。
n=k+1n=k+1 のとき、Ak+1=AkA=[2k2k101][2101]=[2k+12k+2k101]=[2k+12k+1101]A^{k+1} = A^k A = \begin{bmatrix} 2^k & 2^k - 1 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} 2 & 1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 2^{k+1} & 2^k + 2^k - 1 \\ 0 & 1 \end{bmatrix} = \begin{bmatrix} 2^{k+1} & 2^{k+1} - 1 \\ 0 & 1 \end{bmatrix}
したがって、An=[2n2n101]A^n = \begin{bmatrix} 2^n & 2^n - 1 \\ 0 & 1 \end{bmatrix} が正しいです。
(2) 行列Bのn乗を求める。
Bは対角行列なので、BnB^nも対角行列です。
Bn=[3n000an000bn]B^n = \begin{bmatrix} 3^n & 0 & 0 \\ 0 & a^n & 0 \\ 0 & 0 & b^n \end{bmatrix}
(3) 行列Cのn乗を求める。
C=[010001100]C = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix}
C2=[001100010]C^2 = \begin{bmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix}
C3=[100010001]=IC^3 = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} = I
C4=C3C=CC^4 = C^3 C = C
C5=C2C^5 = C^2
C6=C3=IC^6 = C^3 = I
したがって、nnを3で割った余りが0のときCn=IC^n = I、1のときCn=CC^n = C、2のときCn=C2C^n = C^2となります。
n=3kn = 3k のとき、Cn=[100010001]C^n = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}
n=3k+1n = 3k+1 のとき、Cn=[010001100]C^n = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix}
n=3k+2n = 3k+2 のとき、Cn=[001100010]C^n = \begin{bmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix}

3. 最終的な答え

(1) An=[2n2n101]A^n = \begin{bmatrix} 2^n & 2^n - 1 \\ 0 & 1 \end{bmatrix}
(2) Bn=[3n000an000bn]B^n = \begin{bmatrix} 3^n & 0 & 0 \\ 0 & a^n & 0 \\ 0 & 0 & b^n \end{bmatrix}
(3) Cn={[100010001](n0(mod3))[010001100](n1(mod3))[001100010](n2(mod3))C^n = \begin{cases} \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} & (n \equiv 0 \pmod{3}) \\ \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix} & (n \equiv 1 \pmod{3}) \\ \begin{bmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix} & (n \equiv 2 \pmod{3}) \end{cases}

「代数学」の関連問題

与えられた関数 $f(x)$ と $g(x)$ について、指定された $x$ の値に対する関数の値を計算する問題です。 (1) $f(x) = 4x - 1$ に対して、$f(0), f(1), f(...

関数関数の値代入多項式
2025/6/15

問題は、次の式を展開することです。 問1: (1) $(x+3)(x+6)$ (2) $(x+1)(x-3)$ 問2: (1) $(x+1)(x+2)$ (2) $(x+6)(x-2)$ (3) $(...

式の展開多項式因数分解
2025/6/15

$n$ を正の整数とする。$x$ の3次方程式 $x^3 + (2n-3)x^2 - 7nx + 6 = 0$ の1つの解が正の整数 $m$ であるとき、$m\{-m^2 - (2n-3)m + 7n...

三次方程式整数解因数定理約数
2025/6/15

2次関数 $y = x^2 - ax + 4$ について、定義域 $0 \le x \le 1$ における最小値が0となるような定数 $a$ の値を求める。

二次関数最大最小平方完成定義域
2025/6/15

問題は、与えられた式を展開することです。 問1 (2) $(x+1)(x-3)$ 問2 (1) $(x+1)(x+2)$ 問2 (2) $(x+6)(x-2)$ 問2 (3) $(x-3)(x-4)$...

式の展開因数分解多項式
2025/6/15

(1) $\log_2 a = 5$, $\log_2 b = 7$ のとき、$\log_2 ab$, $\log_a b^2$, $\log_2(a+b)$ を求めよ。 (2) $\log_{10}...

対数対数関数計算
2025/6/15

$m$ を整数とするとき、2次方程式 $x^2 - mx + 3m + 1 = 0$ が異なる2つの整数解をもつような $m$ のうち最小のものを求めよ。

二次方程式解と係数の関係整数解
2025/6/15

不等式 $x+a < 3x-2 < -x+10$ を満たす整数 $x$ がちょうど5個存在するような定数 $a$ の値の範囲を求める。

不等式整数解範囲
2025/6/15

与えられた数式の値を求める問題です。数式は $\sqrt{(\sqrt{7}-3)^2}$ です。

根号絶対値平方根式の計算
2025/6/15

問題は2つの部分に分かれています。 (1) 関数 $y = 3^{x+3}$ のグラフが、関数 $y = 3^x$ のグラフをx軸方向にどれだけ平行移動したものか答えます。 (2) 関数 $y = 3...

指数関数グラフの平行移動グラフの対称移動
2025/6/15