数列の増加と減少

たとえば,数列 $\{a_n\}$ の一般項が

\[a_n=n\left(\frac{5}{6}\right)^{n-1}\left(\frac{1}{6}\right)\tag{1}\label{suretunozoukatogensyo}\]

で与えられるとき,この数列の増加や減少の様子はどうなるだろうか.

試しに, $\eqref{suretunozoukatogensyo}$ の $n$ に $n=1,2,3,4,5,6,7,8,\cdots$ を代入し,計算してみると

\begin{align} a_1&=1\left(\frac{5}{6}\right)^0\left(\frac{1}{6}\right)=\frac{1}{6}\fallingdotseq\boldsymbol{0.167}\\ a_2&=2\left(\frac{5}{6}\right)^1\left(\frac{1}{6}\right)=\frac{5}{18}\fallingdotseq\boldsymbol{0.278}\\ a_3&=3\left(\frac{5}{6}\right)^2\left(\frac{1}{6}\right)=\frac{25}{72}\fallingdotseq\boldsymbol{0.347}\\ a_4&=4\left(\frac{5}{6}\right)^3\left(\frac{1}{6}\right)=\frac{125}{324}\fallingdotseq\boldsymbol{0.386}\\ a_5&=5\left(\frac{5}{6}\right)^4\left(\frac{1}{6}\right)=\frac{3125}{7776}\fallingdotseq\boldsymbol{0.402}\\ a_6&=6\left(\frac{5}{6}\right)^5\left(\frac{1}{6}\right)=\frac{3125}{7776}\fallingdotseq\boldsymbol{0.402}\\ a_7&=7\left(\frac{5}{6}\right)^6\left(\frac{1}{6}\right)=\frac{109375}{279936}\fallingdotseq\boldsymbol{0.391}\\ a_8&=8\left(\frac{5}{6}\right)^7\left(\frac{1}{6}\right)=\frac{78125}{209952}\fallingdotseq\boldsymbol{0.372}\\ \vdots \end{align}

となるので,数列 $\{a_n\}$ は $n$ が1から5までは増加し,6から先では減少するのがわかる.

しかし,このような方法では,すべての自然数 $n$ について調べるのは不可能である.

そこで, $a_{n+1}-a_n$ という漸化式をつくってみよう.

\begin{align} &\qquad a_{n+1}-a_n\\ &=(n+1)\left(\frac{5}{6}\right)^n\left(\frac{1}{6}\right)-n\left(\frac{5}{6}\right)^{n-1}\left(\frac{1}{6}\right)\\ &=(n+1)\left(\frac{5}{6}\right)^n\left(\frac{1}{6}\right)\\ &\qquad-n\cdot\frac{6}{5}\left(\frac{5}{6}\right)^n\left(\frac{1}{6}\right)\\ &=\frac{1}{5}\left(\frac{5}{6}\right)^n\left(\frac{1}{6}\right)\{5(n+1)-6n\}\\ &=\underbrace{\frac{1}{5}\left(\frac{5}{6}\right)^n\left(\frac{1}{6}\right)}_{正}\underbrace{(5-n)}_{A} \end{align}

この式の $A$ の部分に着目すると

  1. $n=1,2,3,4$ のときは, $a_{n+1}-a_n$ が正,つまり $a_n\lt a_{n+1}$ となるから
  2. \[a_1\lt a_2\lt a_3\lt a_4\lt a_5\]

    がわかる.

  3. $n=5$ のときは, $a_{n+1}-a_n$ が0,つまり $a_n=a_{n+1}$ となるから
  4. \[a_5=a_6\]

    がわかる.

  5. $n=6,7,8,\cdots$ のときは, $a_{n+1}-a_n$ が負,つまり $a_n\gt a_{n+1}$ となるから
  6. \[a_6\gt a_7\gt a_8\gt\cdots\]

    がわかる.

以上, 1.~3. より

\begin{align} &a_1\lt a_2\lt a_3\lt\cdots\lt a_5\\ &\qquad=a_6\gt a_7\gt a_8\gt\cdots \end{align}

となるのがわかる.

以上,まとめておこう.

数列の増加・減少を調べる方法

一般項 $a_n$ に関する漸化式

\[a_{n+1}-a_n\]

をつくり,この値の正,負,0を調べることにより,数列 $\{a_n\}$ の増減がわかる.

数列の増減

$a_n=n\left(\dfrac{3}{4}\right)^{n-1}\left(\dfrac{1}{4}\right)$ の増減を調べよ

一般項 $a_n$ に関する漸化式をつくると

\begin{align} &\qquad a_{n+1}-a_n\\ &=(n+1)\left(\frac{3}{4}\right)^n\frac{1}{4}-n\left(\frac{3}{4}\right)^{n-1}\frac{1}{4}\\ &=\left(\frac{3}{4}\right)^{n-1}\frac{1}{4}\left\{\frac{3}{4}(n+1)-n\right\}\\ &=\left(\frac{3}{4}\right)^{n-1}\frac{1}{4}\left(-\frac{1}{4}n+\frac{3}{4}\right) \end{align}

よって

  1. $a_{n+1}-a_n\gt0$ を満たす $n$ は, $n\lt3$
  2. $a_{n+1}-a_n=0$ を満たす $n$ は, $n=3$
  3. $a_{n+1}-a_n\lt0$ を満たす $n$ は, $n\gt3$

すなわち, \begin{align} &\boldsymbol{a_1\lt a_2\lt a_3}\\ \boldsymbol{=}&\boldsymbol{a_4\gt a_5\gt a_6\gt a_7\gt\cdots} \end{align} となる.