岐阜大学の数列――補助数列が消そうとしているものを読む

この分野で本当に問われていること

岐阜大学の数列では、一般項の公式を当てることより、与えられた補助数列や小問の順序から「何を消せば単純になるか」を読む力が重要である。

誘導で新しい数列が定義されたら、その数列自体を計算対象と見るのではなく、次のどれを消す装置か考える。

積・累乗
$n$ に依存する定数項
固定値
無理数部分
和の中間項

最終問が和・積・極限なら、一般項は最終処理に適した形まで整える。一般項を得た時点で止まらない。

誘導の設計図を読む

2025年度第2問――対数、差、平行移動を三段階で行う

元の漸化式には累乗と平方根があり、問題文が

b_n=\log_2 a_n

を定義している。これは「対数を使うか考えよ」ではなく、「積・累乗を一次式へ変えよ」という明示的な指示である。

設問は次の順で進む。

初項付近を計算する。
$b_{n+1}$ を $b_n,n$ で表す。
$c_n=b_{n+1}-b_n$ を導入する。
$b_n$ の一般項を求める。
$a_1a_2\cdots a_n$ の対数を求める。

第3問の差 $c_n$ は、 $b_n$ の漸化式に残る $n$ を消すために導入される。ただし、差を取っても定数項が残るため、さらに固定値を引いて等比数列へ直す。

ここでの思考順序は、

\text{累乗を対数で消す} \to \text{n を差で消す} \to \text{定数項を固定値との差で消す}

である。補助数列を覚えるのではなく、各変換が何を消したかを追う。

最終問は積 $P_n$ だが、元の $a_n$ を直接掛けない。

\log_2 P_n=\sum_{k=1}^{n}b_k

とし、前問の一般項を和へ変える。第1問から第4問は、最終積を加法へ落とすための準備である。

2023年度第2問――共役な変化を同時に走らせる

$\sqrt2$ を含む漸化式で、 $a_n=p_n+\sqrt2 q_n$ と整数部分・無理数部分に分ける。設問は $p_n,q_n$ の漸化式を作った後、固定値との差 $b_n$ 、さらに共役な式 $c_n=p_n-\sqrt2 q_n$ を導入させる。

ここで $c_n$ は技巧的な思いつきではない。 $p_n+\sqrt2 q_n$ だけでは二つの整数列を分離できないため、 $\sqrt2$ の符号を変えた式を同時に追い、和と差で $p_n,q_n$ を復元する。

問題文に「 $p_n,q_n$ をそれぞれ求めよ」とあるなら、一つの式だけでは情報が足りない。共役なもう一本を作る必要がある、と逆算できる。

2021年度第3問――初項計算は一般項の候補を作る実験

分数型の漸化式で初めの数項を計算させ、単純な形を予想させる。その後は元の漸化式へ代入して帰納法で確定し、最後の積を連続約分へ持ち込む。

初項計算の目的は答えを稼ぐことではない。分子と分母のどちらが一定差・一定比で動くかを観察し、最終積で消えやすい一般項を予想することである。

最終問が積なら、一般項を「前の項の分母と次の項の分子が一致する形」へ整える。一般項の見た目を簡潔にするより、積で消える構造を見せる方が誘導に合う。

2022年度第3問――先に因数分解してから逆数を見る

等差数列の和から $b_n$ を作り、その逆数の和を求める。前半で $b_n$ を因数分解できれば、

\frac1{b_n}

を部分分数へ分け、中間項を消せる。

最終問が逆数和なら、前問の式は展開形より因数形で残す。どの形が「正しい答え」かは、次の小問で決まる。

最終問から逆算して途中式の形を選ぶ

最終問	一般項・途中式で残したい形
積	連続約分、対数を取った和
逆数の和	連続する二因子、部分分数
極限	極限値との差、誤差の縮小率
最小の自然数	単調性と評価しやすい不等式
整数条件	因数分解、約数、奇偶が見える形
図形の無限和	長さ比・面積比の等比形

途中式をどの形で止めるかは、最終問の演算から決める。

問題の特徴から変換を思いつく

問題文の特徴	消したいもの	第一候補
積・累乗・平方根付き累乗	乗法構造	対数
$n$ を含む一次漸化式	$n$ の項	隣接差
定数項のある一次漸化式	定数項	固定値との差
分数型漸化式	複雑な分母	固定値、二固定点からの比
共役な無理数	無理数部分	符号を変えた共役式
部分和 $S_n$	累積	$S_n-S_{n-1}$
逆数和	中間項	因数分解と部分分数
同じ図形の反復	図形設定	相似比から等比数列

補助数列を読解する三つの質問

元の式のどの項が、補助数列を入れると消えるか。
変換後の漸化式には、まだ何が残っているか。
その残りを消す次の変換は、差・比・平行移動のどれか。

一回の変換で完成しない問題がある。2025年度のように、対数の後に差、差の後に固定値の平行移動が必要な場合、各段階で「何が単純になり、何がまだ邪魔か」を見る。

よくある遠回り

初項計算から一般項を当て、証明せずに進む。
与えられた補助数列を機械的に計算し、導入目的を考えない。
一般項を展開して、最終の和や積で消える形を壊す。
対数を取った後、正値性の確認を忘れる。
極限値が見えているのに、数列そのものを評価し続ける。
共役な式が必要なのに、一つの漸化式だけで二つの整数列を求めようとする。

詰まったときの戻り先

最終問の演算が和・積・極限のどれか確認する。
直前の式を、その演算で消えやすい形へ変形する。
補助数列が消した項と、まだ残っている項を分ける。
差、比、固定値との差、対数の順に候補を試す。

数列で思いつかないときは、一般項の候補を探す前に「何を消したいか」を特定する。

演習で確認する観点

各補助数列が消したものを説明できるか。
初項計算から何を予想したかを言語化できるか。
最終問から逆算して一般項の形を選んだか。
一般項を元の漸化式で確定したか。
和・積・極限へ移るとき、前問の式を作り直していないか。

この五点が揃えば、漸化式の型暗記ではなく、誘導を利用した変換判断ができている。