数列 $\{a_n\}$ は $a_1 = 6$, $a_{n+1} = a_n + 2 \cdot 3^{n-1}$ で定義され、数列 $\{b_n\}$ は等比数列で、初項から第3項までの和が56, 第4項から第6項までの和が448である。 (1) 数列 $\{a_n\}$ と $\{b_n\}$ の一般項を求めよ。 (2) 数列 $\{a_n\}$ の各項を5で割った余りを並べた数列を $\{c_n\}$, 数列 $\{b_n\}$ の各項を7で割った余りを並べた数列を $\{d_n\}$ とするとき、$U = \sum_{k=1}^{100} (c_k - d_k)$ を求めよ。

代数学数列等比数列周期性合同式
2025/7/23

1. 問題の内容

数列 {an}\{a_n\}a1=6a_1 = 6, an+1=an+23n1a_{n+1} = a_n + 2 \cdot 3^{n-1} で定義され、数列 {bn}\{b_n\} は等比数列で、初項から第3項までの和が56, 第4項から第6項までの和が448である。
(1) 数列 {an}\{a_n\}{bn}\{b_n\} の一般項を求めよ。
(2) 数列 {an}\{a_n\} の各項を5で割った余りを並べた数列を {cn}\{c_n\}, 数列 {bn}\{b_n\} の各項を7で割った余りを並べた数列を {dn}\{d_n\} とするとき、U=k=1100(ckdk)U = \sum_{k=1}^{100} (c_k - d_k) を求めよ。

2. 解き方の手順

(1) 数列 {an}\{a_n\} について、an+1an=23n1a_{n+1} - a_n = 2 \cdot 3^{n-1} より、階差数列は 23n12 \cdot 3^{n-1} である。
n2n \ge 2 のとき、
an=a1+k=1n123k1=6+2k=1n13k1=6+23n1131=6+3n11=5+3n1a_n = a_1 + \sum_{k=1}^{n-1} 2 \cdot 3^{k-1} = 6 + 2 \sum_{k=1}^{n-1} 3^{k-1} = 6 + 2 \cdot \frac{3^{n-1} - 1}{3-1} = 6 + 3^{n-1} - 1 = 5 + 3^{n-1}
n=1n=1 のとき、a1=5+30=6a_1 = 5 + 3^0 = 6 となり、成り立つ。
よって、an=5+3n1a_n = 5 + 3^{n-1}
数列 {bn}\{b_n\} について、初項を b1=bb_1 = b, 公比を rr とすると、
b1+b2+b3=b+br+br2=b(1+r+r2)=56b_1 + b_2 + b_3 = b + br + br^2 = b(1 + r + r^2) = 56
b4+b5+b6=br3+br4+br5=br3(1+r+r2)=448b_4 + b_5 + b_6 = br^3 + br^4 + br^5 = br^3 (1 + r + r^2) = 448
br3(1+r+r2)b(1+r+r2)=44856=8\frac{br^3 (1 + r + r^2)}{b(1 + r + r^2)} = \frac{448}{56} = 8
r3=8r^3 = 8 より、r=2r = 2
b(1+2+4)=7b=56b(1 + 2 + 4) = 7b = 56 より、b=8b = 8
よって、bn=82n1=2n+2b_n = 8 \cdot 2^{n-1} = 2^{n+2}
(2) 数列 {cn}\{c_n\} について、an=5+3n1a_n = 5 + 3^{n-1} を5で割った余りを考える。
cnc_n3n13^{n-1} を5で割った余りとなる。
301(mod5)3^0 \equiv 1 \pmod{5}, 313(mod5)3^1 \equiv 3 \pmod{5}, 324(mod5)3^2 \equiv 4 \pmod{5}, 332(mod5)3^3 \equiv 2 \pmod{5}, 341(mod5)3^4 \equiv 1 \pmod{5}
よって、{cn}\{c_n\}{1,3,4,2,1,3,4,2,}\{1, 3, 4, 2, 1, 3, 4, 2, \dots\} という周期4の数列になる。
数列 {dn}\{d_n\} について、bn=2n+2b_n = 2^{n+2} を7で割った余りを考える。
231(mod7)2^3 \equiv 1 \pmod{7} より、周期3である。
231(mod7)2^3 \equiv 1 \pmod{7}, 242(mod7)2^4 \equiv 2 \pmod{7}, 254(mod7)2^5 \equiv 4 \pmod{7}
よって、bn=2n+2b_n = 2^{n+2} を7で割った余りは、n+2n+2 を3で割った余りが1のとき1, 2のとき2, 0のとき4である。
したがって、dnd_n は、n+21,2,0(mod3)n+2 \equiv 1, 2, 0 \pmod{3} に応じて、2n+24,1,2(mod7)2^{n+2} \equiv 4, 1, 2 \pmod{7}
{dn}\{d_n\}{4,1,2,4,1,2,}\{4, 1, 2, 4, 1, 2, \dots\} という周期3の数列になる。
k=1100(ckdk)\sum_{k=1}^{100} (c_k - d_k) を計算する。
{cn}\{c_n\} は周期4, {dn}\{d_n\} は周期3なので、周期12で考える。
k=112(ckdk)=(14)+(31)+(42)+(24)+(11)+(32)+(44)+(21)+(12)+(34)+(41)+(22)\sum_{k=1}^{12} (c_k - d_k) = (1-4) + (3-1) + (4-2) + (2-4) + (1-1) + (3-2) + (4-4) + (2-1) + (1-2) + (3-4) + (4-1) + (2-2)
=3+2+22+0+1+0+111+3+0=2= -3 + 2 + 2 - 2 + 0 + 1 + 0 + 1 - 1 - 1 + 3 + 0 = 2
100=128+4100 = 12 \cdot 8 + 4 より、
k=1100(ckdk)=8k=112(ckdk)+k=14(ckdk)\sum_{k=1}^{100} (c_k - d_k) = 8 \sum_{k=1}^{12} (c_k - d_k) + \sum_{k=1}^4 (c_k - d_k)
=8(2)+(14)+(31)+(42)+(24)=163+2+22=15= 8(2) + (1-4) + (3-1) + (4-2) + (2-4) = 16 - 3 + 2 + 2 - 2 = 15

3. 最終的な答え

ア: 5, イ: +, ウ: 3, エ: 4, オ: 2, カキク: 15
an=5+3n1a_n = 5 + 3^{n-1}
bn=42nb_n = 4 \cdot 2^n
U=15

「代数学」の関連問題

実数 $x, y$ に対して、命題 $p$ が命題 $q$ であるための必要条件、十分条件、必要十分条件のどれに当てはまるかを答える問題です。 (1) $p: 0 < x < 2$ $q: x^...

命題必要条件十分条件不等式論理
2025/7/23

実数 $a$ を定数とする。実数 $x$ について、$a-1 < x < a+1$ が $-2 < x < 3$ であるための十分条件となるような $a$ の値の範囲を求める。

不等式実数十分条件範囲
2025/7/23

実数 $x$、自然数 $a$ に対して、集合 $P$, $Q$, $R$ が次のように定義される。 $P = \{x \mid |x - \frac{13}{2}| \ge 3 \}$, $Q = \...

不等式集合絶対値二次不等式
2025/7/23

$\theta$ が鈍角で、$\tan{\theta} = -2$ のとき、$\sin{\theta}$ と $\cos{\theta}$ の値を求める。

三角関数三角比三角関数の相互関係
2025/7/23

実数全体を全体集合とし、$A = \{x \mid -3 \le x \le 5\}$, $B = \{x \mid |x| < 4\}$, $C = \{x \mid k-7 \le x < k+3...

集合不等式集合演算包含関係
2025/7/23

$m, n$ は整数とする。命題「$n^3 + 1$ が奇数ならば、$n$ は偶数である」を証明する。

整数命題対偶整数の性質
2025/7/23

関数 $f(x) = x^2 + 3x + m$ について、$m \le x \le m+2$ の範囲における最小値を $g$ とする。 (1) $g$ を $m$ を用いて表せ。 (2) $m$ が...

二次関数最大・最小場合分け平方完成
2025/7/23

有理数 $x, y$ が与えられた等式 $(3+\sqrt{2})x + (2-3\sqrt{2})y = 12 - 7\sqrt{2}$ を満たすとき、$x$ と $y$ の値を求める問題です。

連立方程式有理数無理数方程式
2025/7/23

以下の行列式の値が0となるような $a$ をすべて求める問題です。 $\begin{vmatrix} a & 2 & 2 & 2 \\ 2 & a & 2 & 2 \\ 2 & 2 & a & 2 \...

行列式連立一次方程式クラメルの公式余因子行列
2025/7/23

与えられた複素数を極形式 $re^{i\theta}$ で表す問題です。ここでは、$1 - \sqrt{3}i$ の極形式を求めます。

複素数極形式絶対値偏角
2025/7/23