Math ClubMath Club
v1 · padrão canônico

第16講 — 数列

数列を自然数を定義域とする関数として捉える。漸化式、単調性、有界性。極限概念への入口。

Used in: 高校1年生(15歳) · 日本版 Math B(第9章 数列) · 米国 Calculus I — プレビュー

(an)nN,an=f(n)(a_n)_{n \in \mathbb{N}}, \quad a_n = f(n)
Choose your door

Rigorous notation, full derivation, hypotheses

定義と性質

数列を記述する方法

  1. 明示的公式(一般項):an=2n+1a_n = 2n + 1 — 項は 3,5,7,9,3, 5, 7, 9, \ldots
  2. 漸化式a1=1a_1 = 1an+1=an+2a_{n+1} = a_n + 2 — 同じ結果。
  3. 記述:「n番目の素数」— 2,3,5,7,11,13,2, 3, 5, 7, 11, 13, \ldots(閉形式がない)。

単調性

  • 増加an+1>anna_{n+1} > a_n \quad \forall n
  • 非減少an+1ana_{n+1} \geq a_n
  • 減少an+1<ana_{n+1} < a_n
  • 定数an+1=ana_{n+1} = a_n

有界性

(an)(a_n)有界であるとは、ある M>0M > 0 が存在して、全ての nn について anM|a_n| \leq M となることである。上から有界:anM+a_n \leq M_+;下から有界:anMa_n \geq M_-

収束の直感的な理解(第41講で形式化される)

(an)(a_n)LL収束するとは、「nn が大きいとき、ana_nLL に任意に近づく」ことである。形式的には: limnan=L    ε>0, N:nNanL<ε\lim_{n \to \infty} a_n = L \iff \forall \varepsilon > 0,\ \exists N : n \geq N \Rightarrow |a_n - L| < \varepsilon

有名な数列

名前定義
自然数an=na_n = n1,2,3,1, 2, 3, \ldots
平方数an=n2a_n = n^21,4,9,16,1, 4, 9, 16, \ldots
調和数列an=1/na_n = 1/n1,1/2,1/3,1, 1/2, 1/3, \ldots
フィボナッチFn+2=Fn+1+FnF_{n+2} = F_{n+1} + F_nF1=F2=1F_1 = F_2 = 11,1,2,3,5,8,13,1, 1, 2, 3, 5, 8, 13, \ldots
等比数列an=qna_n = q^nq,q2,q3,q, q^2, q^3, \ldots

"数列は単なる数のリストだが、数学ではこのリストを無限に続ける。" — Active Calculus §8.2

解いた例

Exercise list

38 exercises · 9 with worked solution (25%)

Application 17Understanding 18Modeling 1Proof 2
  1. Ex. 16.1Application

    an=2n+1a_n = 2n + 1 の最初の5項を書け。

  2. Ex. 16.2Application

    an=(1)n/na_n = (-1)^n / n の最初の5項を書け。

  3. Ex. 16.3Application

    an=n2na_n = n^2 - n の最初の5項を書け。

  4. Ex. 16.4Application

    1,3,5,7,9,1, 3, 5, 7, 9, \ldots の一般項を見つけよ。

  5. Ex. 16.5Application

    2,5,10,17,26,2, 5, 10, 17, 26, \ldots の一般項を見つけよ。

  6. Ex. 16.6Application

    1/2,1/4,1/8,1/16,1/2, 1/4, 1/8, 1/16, \ldots の一般項を見つけよ。

  7. Ex. 16.7Application

    1,1,1,1,1,-1, 1, -1, 1, -1, \ldots の一般項を見つけよ。

  8. Ex. 16.8Application

    an=3n1a_n = 3n - 1 に対して a20a_{20} を計算せよ。

  9. Ex. 16.9Application

    an=2n4a_n = 2n - 4 に対して an=100a_n = 100 となる nn はどれか。

  10. Ex. 16.10Application

    数列 an=5n1a_n = 5n - 1 の項のうち、200より小さいものはいくつあるか。

  11. Ex. 16.11Application

    数列:a1=2a_1 = 2an+1=3an+1a_{n+1} = 3 a_n + 1。最初の5項を計算せよ。

  12. Ex. 16.12Application

    Fibonacci:F1=F2=1F_1 = F_2 = 1Fn+2=Fn+1+FnF_{n+2} = F_{n+1} + F_nF10F_{10} まで計算せよ。

  13. Ex. 16.13Application

    数列:a1=1a_1 = 1an+1=an+2na_{n+1} = a_n + 2na5a_5 まで計算せよ。

  14. Ex. 16.14Understanding

    Fibonacci 数列が Fn2Fn1Fn+1=(1)n1F_n^2 - F_{n-1} F_{n+1} = (-1)^{n-1}(Cassini 恒等式)を満たすことを示せ。n=2n = 2n=3n = 3 について検証せよ。

  15. Ex. 16.15Application

    a1=1a_1 = 1an+1=2ana_{n+1} = 2 a_n に対して明示的な公式を見つけよ。

  16. Ex. 16.16Application

    数列:a1=5a_1 = 5an+1=an2a_{n+1} = a_n - 2。一般項 ana_n を決定せよ。

  17. Ex. 16.17ProofAnswer key

    a1=1a_1 = 1 かつ an+1=2an+1a_{n+1} = 2 a_n + 1 を満たす an=2n1a_n = 2^n - 1 を帰納法で示せ。

  18. Ex. 16.18Understanding

    数列 a1=1a_1 = 1an+1=(an+2/an)/2a_{n+1} = (a_n + 2/a_n)/22\sqrt 2 の Newton 反復)。a2,a3,a4a_2, a_3, a_4 を計算し、21,4142\sqrt 2 \approx 1{,}4142 と比較せよ。

  19. Ex. 16.19Understanding

    数列 an+1=an22a_{n+1} = a_n^2 - 2a1=3a_1 = 3 が爆発する(無限大に行く)ことを示せ。

  20. Ex. 16.20UnderstandingAnswer key

    nn月目のウサギのペアの数」(Fibonacci)の数列をモデル化し、漸化式を正当化せよ。

  21. Ex. 16.21Understanding

    an=(n+1)/na_n = (n+1)/n が減少で、1以上の下界を持つことを示せ。

  22. Ex. 16.22Understanding

    an=21/na_n = 2 - 1/n が増加で、2以下の上界を持つことを示せ。

  23. Ex. 16.23UnderstandingAnswer key

    数列 an=(1)nna_n = (-1)^n n は有界か。増加か。

  24. Ex. 16.24UnderstandingAnswer key

    an=1/n2a_n = 1/n^2 が減少で、1によって有界であることを示せ。

  25. Ex. 16.25Understanding

    どの nnan=1/n<0,001a_n = 1/n < 0{,}001 となるか。

  26. Ex. 16.26Understanding

    an=(1+1/n)na_n = (1 + 1/n)^n が増加であることを示せ。(難 — 数 ee のプレビュー。)

  27. Ex. 16.27Understanding

    数列 an=sin(n)a_n = \sin(n)nn はラジアン)は有界か。収束するか。

  28. Ex. 16.28UnderstandingAnswer key

    数列 an=n/(n+1)a_n = n/(n+1) について、どの nn から an>0,99a_n > 0{,}99 となるか計算せよ。

  29. Ex. 16.29UnderstandingAnswer key

    nn \to \infty のとき、an=1/na_n = 1/n はどの値に「近づく」か。

  30. Ex. 16.30UnderstandingAnswer key

    nn \to \infty のとき、an=(n+5)/na_n = (n + 5)/n はどの値に近づくか。

  31. Ex. 16.31UnderstandingAnswer key

    数列 an=(1)na_n = (-1)^n は収束するか。直感的に正当化せよ。

  32. Ex. 16.32Understanding

    an=(3n2+2)/(n2+1)a_n = (3n^2 + 2)/(n^2 + 1) はどの値に近づくか。

  33. Ex. 16.33Understanding

    数列 an=2na_n = 2^n は収束するか。正当化せよ。

  34. Ex. 16.34UnderstandingAnswer key

    数列 an=(1/2)na_n = (1/2)^n は何に近づくか。最初の4項を計算して説明せよ。

  35. Ex. 16.35Modeling

    冷えるコーヒーの温度をモデル化:各分 Tn=650,9n+25T_n = 65 \cdot 0{,}9^n + 25。どの値に向かうか。

  36. Ex. 16.36Application

    an=2nn2+1a_n = \dfrac{2n}{n^2+1} の最初の5項を書け。

  37. Ex. 16.37Application

    数列 an=1+14+19++1n2a_n = 1 + \dfrac{1}{4} + \dfrac{1}{9} + \ldots + \dfrac{1}{n^2}(部分和)。最初の5項を書け。

  38. Ex. 16.38Proof

    帰納法で F12+F22++Fn2=FnFn+1F_1^2 + F_2^2 + \ldots + F_n^2 = F_n F_{n+1} を示せ。

出典

Updated on 2026-05-11 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.