漸化式の基本

(1)等差数列

\[ a_{n+1}=a_{n}+d \]

の一般項
\[ a_{n}=a_{1}+(n-1)d \]

(2)等比数列

\[ a_{n+1}=ra_{n} \]

の一般項

\[ a_{n}=a_{1}r^{n-1} \]

(3)階差数列

\[ a_{n+1}=a_{n}+f(n) \]
の一般項

\[ a_{n}=a_{1}+\sum_{k=1}^{n-1}f(k) \]

(4)階比数列

\[ a_{n+1}=f(n)a_{n} \]
の一般項

\[ a_{n}=a_{1}\prod_{k=1}^{n-1}f(k) \]

(1)

\begin{align*} a_{n} & =a_{1}+\sum_{k=1}^{n-1}\left(a_{k+1}-a_{k}\right)\\ & =a_{1}+\sum_{k=1}^{n-1}d\\ & =a_{1}+(n-1)d \end{align*}

(2)

\(a_{1}\ne0\land r\ne0\)ならば\(a_{n}\ne0\)なので、
\begin{align*} a_{n} & =a_{1}\prod_{k=1}^{n-1}\frac{a_{k+1}}{a_{k}}\\ & =a_{1}\prod_{k=1}^{n-1}r\\ & =a_{1}r^{n-1} \end{align*}

\(a_{1}=0\lor r=0\)のときもこの式は成り立つ。ただし\(0^{0}=1\)とする。

(2)別解

\(a_{1}\ne0\land r\ne0\)ならば\(a_{n}\ne0\)なので、
\begin{align*} a_{n} & =\exp\left(\log a_{n}\right)\\ & =\exp\left(\log a_{1}+\sum_{k=1}^{n-1}\left(\log a_{n+1}-\log a_{n}\right)\right)\\ & =\exp\left(\log a_{1}+\sum_{k=1}^{n-1}\log r\right)\\ & =\exp\left(\log\left(a_{1}r^{n-1}\right)\right)\\ & =a_{1}r^{n-1} \end{align*}

\(a_{1}=0\lor r=0\)のときもこの式は成り立つ。ただし\(0^{0}=1\)とする。

(3)

\begin{align*} a_{n} & =a_{1}+\sum_{k=1}^{n-1}\left(a_{k+1}-a_{k}\right)\\ & =a_{1}+\sum_{k=1}^{n-1}f(k) \end{align*}

(4)

\(a_{1}\ne0\land\prod_{k=1}^{n-1}f_{k}\ne0\)ならば\(a_{n}\ne0\)なので、
\begin{align*} a_{n} & =a_{1}\prod_{k=1}^{n-1}\frac{a_{k+1}}{a_{k}}\\ & =a_{1}\prod_{k=1}^{n-1}f(k) \end{align*}

\(a_{1}=0\lor\prod_{k=1}^{n-1}f_{k}=0\)のときもこの式は成り立つ。

(4)別解

\(a_{1}\ne0\land\prod_{k=1}^{n-1}f_{k}\ne0\)ならば\(a_{n}\ne0\)なので、
\begin{align*} a_{n} & =\exp\left(\log a_{n}\right)\\ & =\exp\left(\log a_{1}+\sum_{k=1}^{n-1}\left(\log a_{k+1}-\log a_{k}\right)\right)\\ & =\exp\left(\log a_{1}+\sum_{k=1}^{n-1}\left(\log f(k\right)\right)\\ & =\exp\left(\log\left(a_{1}\prod_{k=1}^{n-1}f(k)\right)\right)\\ & =a_{1}\prod_{k=1}^{n-1}f(k) \end{align*}

\(a_{1}=0\lor\prod_{k=1}^{n-1}f_{k}=0\)のときもこの式は成り立つ。

ページ情報

タイトル

漸化式の基本

URL

https://www.nomuramath.com/dbilkque/

SNSボタン