徳島大学/2023年度/前期

3徳島大学 2023年 数学 第3問解答・解説

数列極限

1問題

徳島大学2023年度第3問
数列 {an}\{a_n\} は次を満たす。a1=1,a2=1,an+1=1an+an−1(n=2,3,4,⋯ )a_1=1,\quad a_2=1,\quad a_{n+1}=\frac1{a_n}+a_{n-1}\quad(n=2,3,4,\cdots)
(1) a3,a4,a5a_3,a_4,a_5 を求めよ。
(2) n≧3n\geqq3 のとき、1<an<n1<a_n<n を示せ。
(3) lim⁡n→∞a2n+1=∞\displaystyle \lim_{n\to\infty}a_{2n+1}=\infty を示せ。

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • (1)  a3=2,a4=32,a5=83.(2)  1<an<n(n≧3).(3)  lim⁡n→∞a2n+1=∞.\begin{aligned}(1)\;&a_3=2,\quad a_4=\frac32,\quad a_5=\frac83.\\(2)\;&1<a_n<n\quad(n\geqq3).\\(3)\;&\lim_{n\to\infty}a_{2n+1}=\infty.\end{aligned}

3解答

解答を見る途中式つきの解答

解答

(1) 漸化式に順に代入すると
a3=1a2+a1=2,a4=1a3+a2=32,a5=1a4+a3=83. a_3=\frac1{a_2}+a_1=2,\qquad a_4=\frac1{a_3}+a_2=\frac32,\qquad a_5=\frac1{a_4}+a_3=\frac83.

(2) a1=a2=1>0a_1=a_2=1>0 であり、正の項から an+1=an−1+1/an>0a_{n+1}=a_{n-1}+1/a_n>0 なので全項は正である。また an+1>an−1a_{n+1}>a_{n-1} だから奇数項、偶数項はそれぞれ増加し、n≧3n\geqq3 で an>1a_n>1。
偶数項と奇数項に分けて帰納する。a2=1<2, a3=2<3a_2=1<2,\ a_3=2<3。m≧2m\geqq2 で am<ma_m<m とすると、先に示した am+1>1a_{m+1}>1 より
am+2=am+1am+1<am+1<m+1<m+2. a_{m+2}=a_m+\frac1{a_{m+1}}<a_m+1<m+1<m+2.
したがって各偶奇列について an<na_n<n が続く。よって 1<an<n (n≧3)1<a_n<n\ (n\geqq3)。

(3) 漸化式から
a2k+1−a2k−1=1a2k(k≧1), a_{2k+1}-a_{2k-1}=\frac1{a_{2k}}\quad(k\geqq1),
したがって
a2n+1=a1+∑k=1n1a2k. a_{2n+1}=a_1+\sum_{k=1}^{n}\frac1{a_{2k}}.
(2)より a2k<2ka_{2k}<2k だから
a2n+1>1+12∑k=1n1k. a_{2n+1}>1+\frac12\sum_{k=1}^{n}\frac1k.
n=2mn=2^m とし、各 j=1,…,mj=1,\ldots,m で 2j−1<k≦2j2^{j-1}<k\leqq2^j の 2j−12^{j-1} 項をまとめると、そのブロックの ∑1/k\sum 1/k は少なくとも 1/21/2。従って
∑k=12m12k≧12+m4⟶∞. \sum_{k=1}^{2^m}\frac1{2k}\geqq\frac12+\frac m4\longrightarrow\infty.
さらに a2n+1a_{2n+1} は差 1/a2n+2>01/a_{2n+2}>0 で増加するので、
lim⁡n→∞a2n+1=∞. \lim_{n\to\infty}a_{2n+1}=\infty.

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • recurrence
  • parity-wise induction
  • telescoping differences
  • harmonic lower bound

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

徳島大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第4問へ進む数学と人間の活動(整数)

徳島大学のほかの年度

似た問題を、ほかの大学で