数列

数列 に関する35記事をまとめました。くわしくは各リンク先を見てください。

等比数列の和の公式

初項 aa,公比 rr,項数 nn の等比数列の和は(r1r\neq 1 のもとで),

a(rn1)r1\dfrac{a(r^n-1)}{r-1}

→等比数列の和の公式(例題・証明・応用)

数列の極限は,

  1. (有限の値に)収束する
  2. 正の無限大に発散する/負の無限大に発散する
  3. 振動する

のいずれかである。2と3の場合をいずれも発散すると言う。

→数列の発散,収束,振動の意味と具体例

無限等比級数の公式

1<r<1-1<r<1 のとき,

a+ar+ar2+=a1ra+ar+ar^2+\cdots=\dfrac{a}{1-r}

→無限等比級数の収束,発散の条件と証明など

等差数列

等差数列とは,同じ数ずつ増えていく(または減っていく)数の列のことです。

等差数列の意味

→等差数列の和

逆数が等差数列である数列を調和数列と言う。例えば, 13,15,17,19,...\dfrac{1}{3},\dfrac{1}{5},\dfrac{1}{7},\dfrac{1}{9},... は逆数が 3,5,7,9,...3,5,7,9,... となり等差数列なので,調和数列。

→調和数列

(1)平行移動の公式: i=1nai=i=k+1n+kaik\displaystyle\sum_{i=1}^na_i=\displaystyle\sum_{i=k+1}^{n+k}a_{i-k}

→シグマ計算を機械的に行うための3つの公式

S1=t=1nt=12n(n+1)S_1=\displaystyle\sum_{t=1}^nt=\dfrac{1}{2}n(n+1)

S2=t=1nt2=16n(n+1)(2n+1)S_2=\displaystyle\sum_{t=1}^nt^2=\dfrac{1}{6}n(n+1)(2n+1)

S3=t=1nt3={12n(n+1)}2S_3=\displaystyle\sum_{t=1}^nt^3=\left\{\dfrac{1}{2}n(n+1)\right\}^2

S4=t=1nt4=130n(n+1)(2n+1)(3n2+3n1)S_4=\displaystyle\sum_{t=1}^nt^4=\dfrac{1}{30}n(n+1)(2n+1)(3n^2+3n-1)

S5=t=1nt5=112n2(n+1)2(2n2+2n1)S_5=\displaystyle\sum_{t=1}^nt^5=\dfrac{1}{12}n^2(n+1)^2(2n^2+2n-1)

→4乗の和,べき乗の和の公式

an+1=pan+f(n)a_{n+1}=pa_n+f(n)dd 回階差を取ることによって上記の「f(n)f(n) が定数の場合」に帰着できる

→f(n)を含む二項間漸化式の2通りの解法

等差×等比の和

等差数列×等比数列 の和は,公比倍してから差を取ることで計算できる。

→等差×等比,2乗×等比の和を求める2通りの方法

k=1nak\displaystyle\sum_{k=1}^na_k を計算したいときに,ak=bk+1bka_k=b_{k+1}-b_{k} と分解できれば,途中の項が打ち消し合って k=1nak=bn+1b1 \sum_{k=1}^na_k=b_{n+1}-b_1 のように計算できる。

→望遠鏡和~部分分数分解など差に分解する4つの恒等式

利息計算に使う数のいろいろな表現
  • aa :元金,元本,初期段階で持っている金額,現在価値(PV)

  • rr :利息率,年利率,運用利率,利回り

  • nn :考える期間(単位は「年」とすることが多い),運用期間

  • bb :最終段階で持っている金額,将来価値(FV)

→複利法の意味と計算方法,具体例

階差数列

「次の数との差」を並べた数列のことを階差数列と言います。

例えば,1,2,5,10,17,261,2,5,10,17,26 という数列に対する階差数列は,
1,3,5,7,91,3,5,7,9 です。

階差数列の和

→階差数列の意味と、もとの数列の一般項を求める方法

nn 段のハノイの塔の最短手数は 2n12^n-1

→ハノイの塔のルールと最短手数

問題

1と2を合わせて nn 個並べて,10進数で nn 桁の整数を作ることを考える。

例えば n=3n=3 のときは,111・112・121・122・211・212・221・222の8通りが考えられる。

(1) n=4n=4 のとき,何通りの整数がありうるか求めよ。

(2) 偶数は何通りできるか nn を用いて表せ。

(3) 3の倍数は何通りできるか nn を用いて表せ。

(4) n2n \geqq 2 のとき,最小の素因数が7以上である整数は何通りできるか nn を用いて表せ。

ただし整数 NN の素因数とは,NN を割り切る素数のことを意味する。

→数列分野:練習問題一覧|入試数学コンテスト過去問集

フィボナッチ数列

フィボナッチ数列(fibonacci sequence)とは,

  • 最初の2つは 11 で,
  • 3つめ以降は「前の2つを足したもの」

になる数列のこと。つまり,

1,1,2,3,5,8,13,21,34,1,1,2,3,5,8,13,21,34,\dots

フィボナッチ数列の定義

→フィボナッチ数列の8つの性質(一般項・黄金比・互いに素)

母関数

数列 ana_n に対して, f(x)=k=0akxk f(x)=\displaystyle\sum_{k=0}^{\infty} a_k x^k を(数列 ana_n の)母関数と呼ぶことがある。

→数列の母関数の意味とその応用例

三項間漸化式の特性方程式の解を α,β\alpha,\beta とおくと,漸化式の一般項は

an=Aαn+Bβna_{n}=A\alpha^n+B\beta^n

と表される。A,BA,B は初期条件から求める。

→三項間漸化式の3通りの解き方

方針

漸化式 an+1=4an(1an) a_{n+1} = 4 a_n (1-a_n) は,a1=sin2θa_1=\sin^2\theta と置くと倍角公式が出現してうまくいきます。知らないと厳しい問題です。

→ロジスティック写像と漸化式

漸化式の ana_nan1a_{n-1} の係数に nn が含まれている場合,両辺に何かしらかけたり割ったりして f(n+1)an+1f(n+1)a_{n+1}f(n)anf(n)a_n を作り出せばうまくいくことが多い

→階乗を用いる漸化式の解法

連分数

分数の分母にさらに分数が含まれている以下のような形のものを連分数と言います:

a0+b1a1+b2a2+b3a3+ a_0+\dfrac{b_1}{a_1+\frac{b_2}{a_2+\frac{b_3}{a_3+\cdots}}}

→連分数展開とその計算方法

定理

コッホ曲線,コッホ雪片の長さは無限大である。

→コッホ曲線の次元,曲線の長さなど

シュトルツ=チェザロの定理

数列 {an}\{ a_n \}{bn}\{ b_n \} について,次のどちらかを満たすとする。

  1. {bn}\{ b_n \} は単調増加(もしくは単調減少)で limnbn=±\displaystyle\lim_{n \to \infty} b_n = \pm\infty
  2. {bn}\{ b_n \} は単調増加(もしくは単調減少)で limnan=limnbn=0\displaystyle \lim_{n \to \infty} a_n = \lim_{n \to \infty} b_n = 0

このとき,極限 limnanan1bnbn1\displaystyle \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} が存在すれば, limnanbn=limnanan1bnbn1 \lim_{n \to \infty} \dfrac{a_n}{b_n} = \lim_{n \to \infty} \dfrac{a_n - a_{n-1}}{b_n - b_{n-1}} である。

→シュトルツ=チェザロの定理~ロピタルの定理の数列版

この記事の概要
  1. a1,a2,...,ana_1,a_2,...,a_n の中で最大のものを求める問題では,ak+1ak\dfrac{a_{k+1}}{a_k}11 を比較するとよい。

  2. (Ax+B)n(Ax+B)^{n} を展開したときの xkx^k の係数を aka_k とおく。aka_k を最大にするのは(多くの場合) kAnA+Bk\fallingdotseq \dfrac{An}{A+B} のとき。

  3. 反復試行の確率の最大値(二項分布の最頻値)も2からわかる。

  4. ak=nCk(mn)k(1mn)nka_k={}_n\mathrm{C}_k\left(\dfrac{m}{n}\right)^k\left(1-\dfrac{m}{n}\right)^{n-k} を最大にする kkk=mk=m

→隣どうしの比と1を比較する(展開式の係数の最大・確率の最大値)

東京科学大学2025年 第4問

数列 {an}\{ a_n \}a1=a2=1an+2=an+1+an\begin{aligned} & a_1 = a_2 = 1\\ & a_{n+2} = a_{n+1} + a_n \end{aligned} により定め,数列 {bn}\{ b_n \}tanbn=1an \tan b_n = \dfrac{1}{a_n} により定める。ただし,0<bn<π20 < b_n < \dfrac{\pi}{2} とする。

(1) n2n \geqq 2 に対して,an+1an1an2a_{n+1} a_{n-1} - {a_n}^2 を求めよ。

(2) m1m \geqq 1mm は整数)に対して,a2mtan(b2m+1+b2m+2)a_{2m} \cdot \tan (b_{2m+1} + b_{2m+2}) を求めよ。

(3) 無限級数 m=0b2m+1\displaystyle \sum_{m=0}^{\infty} b_{2m+1} を求めよ。

→フィボナッチ数列の逆数とタンジェント~東京科学大学2025第4問

東京大学理系数学2025年 第5問

nn22 以上の整数とする。11 から nn までの数字が書かれた札が各1枚ずつ合計 nn 枚あり,横一列におかれている。11 以上 (n1)(n-1) 以下の整数 ii に対して,次の操作 (Ti)(\mathrm{T}_i) を考える。

(Ti)(\mathrm{T}_i):左から ii 番目の札の数字が,左から (i+1)(i+1) 番目の札の数字よりも大きければ,これら2枚の札の位置を入れかえる。そうでなければ,札の位置をかえない。

最初の状態において札の数字は左から A1,A2,,AnA_1, A_2, \cdots , A_n であったとする。この状態から (n1)(n-1) 回の操作 (T1),(T2),,(Tn1)(\mathrm{T}_1), (\mathrm{T}_2) , \cdots , (\mathrm{T}_{n-1}) を順に行った後,続けて (n1)(n-1) 回の操作 (Tn1),,(T2),(T1)(\mathrm{T}_{n-1}), \cdots ,(\mathrm{T}_2) , (\mathrm{T}_{1}) を順に行ったところ,札の数字は左から 1,2,,n1,2, \cdots , n と小さい順に並んだ。以下の問いに答えよ。

  1. A1A_1A2A_2 のうち少なくとも一方は 22 以下であることを示せ。
  2. 最初の状態としてありうる札の数字の並び方 A1,A2,,AnA_1,A_2, \cdots , A_n の総数を cnc_n とする。nn44 以上の整数であるとき,cnc_ncn1c_{n-1}cn2c_{n-2} を用いて表せ。

→【解答・解説】東大理系数学2025 第5問

x,f(x),f(f(x)),f(f(f(x)))x,f(x),f(f(x)),f(f(f(x)))\cdots のみの関数方程式は漸化式を用いると解けることがある

→漸化式を用いた関数方程式の解法

シルベスターの数列(Sylvester's sequence)

a0=2,an+1=an2an+1a_0=2, a_{n+1}=a_n^2-a_n+1

で定義される数列をシルベスターの数列と言う。

→シルベスターの数列とその性質

ソモスの数列

22 以上の自然数 kk に対して,

初期条件: a0=a1==ak1=1a_0=a_1=\cdots=a_{k-1}=1

および漸化式: anank=i=1k/2aniank+ia_na_{n-k}=\displaystyle\sum_{i=1}^{\lfloor k/2\rfloor}a_{n-i}a_{n-k+i}

で定義される数列をソモスの数列という。

→ソモスの数列

ゼッケンドルフの定理(Zeckendorf's theorem):

任意の正の整数は「連続しない」フィボナッチ数の和で一意に表すことができる。

→ゼッケンドルフの定理とその証明

ファレイ数列とは

00 以上 11 以下であり,分母が nn 以下であるような既約分数を小さい順に並べた数列を(nn に対応する)ファレイ数列という。

→ファレイ数列の4つの性質とその証明

p0=3,p1=0,p2=2p_0=3,p_1=0,p_2=2, pn=pn2+pn3(n3)p_n=p_{n-2}+p_{n-3}\:(n\geqq 3)

によって定まる数列 pnp_nペラン数列と言う。

→ペラン数列の一般項および素数との関係

円周上に nn 個の頂点を打ち,その全ての2頂点間を線分で結ぶ。このとき,円は MM 個の領域に分割されるとする。

MM の最大値は an=124(n46n3+23n218n+24)a_n=\dfrac{1}{24}(n^4-6n^3+23n^2-18n+24)

→モーザー数列

性質1

各項の各桁は 1,2,31,2,3 のいずれかである。

→Look-and-say sequence(見て言って数列)

  • a0=a1==ak2=0a_0=a_1=\cdots=a_{k-2}=0
  • ak1=1a_{k-1}=1
  • an=an1+an2++ank(nk)a_n=a_{n-1}+a_{n-2}+\cdots +a_{n-k}\:(n\geqq k)

で定まる数列について考える。

→トリボナッチ数列、テトラナッチ数列とその一般項

群数列

ある規則にもとづいて区切られた(グループ分けされた)数列のことを群数列と呼ぶ。

例. 2,4,6,8,10,12,14,16,18,20,2, | 4, 6, | 8, 10, 12, | 14, 16, 18, 20, |\cdots

→群数列の問題と解き方のコツ