Topic:数列

この教材はTopic:高校の数学の一部です。

数列とは

数列とは、名前の通り、数の列です。規則性のあるものないもの、有限無限など、様々な種類がありますが、今回は規則性のあるものを種類別にして紹介します。

漸化式と数学的帰納法

漸化式と数列

フィボナッチ数列の一般項の求め方

フィボナッチ数列

F₀ = 0

F₁ = 1

F_n = F_{n - 1} + F_{n - 2} (n ≥ 2)

の一般項が特性方程式x² - x - 1 = 0を解くことによって求められるのはなぜでしょうか。

行列の固有値問題でも特性方程式という用語が出てきますが、実は漸化式と行列は関係しています。

フィボナッチ数列は行列を使って次のように表すことができます。

$\left(\begin{array}{c}{F}_{n+1}\\ F_n\end{array}\right)=\left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}{F}_n\\ F_{n-1}\end{array}\right)$

これを

${\overrightarrow{F}}_n=𝐀{\overrightarrow{F}}_{n-1}$

と書けば、等比数列の一般項のようにして

${\overrightarrow{F}}_n={𝐀}^n{\overrightarrow{F}}_0$ … ①

と解けることは明らかでしょう。

行列Aのn乗は対角化によって簡単に計算することができます。

行列Aの固有値は特性方程式det(A - λI) = (1 - λ)·(-λ) - 1 = λ² - λ - 1 = 0の解なので、λ = φ, ψ（ただしφは黄金比、ψ = -φ^-1 = 1 - φ）、固有ベクトルはそれぞれ$\overrightarrow{v}=\left(\begin{array}{c}\varphi \\ 1\end{array}\right),\left(\begin{array}{c}\psi \\ 1\end{array}\right)$です。

いま$𝐏=\left(\begin{array}{cc}\varphi & \psi \\ 1& 1\end{array}\right)$とおくと、$𝐃={𝐏}^{-1}𝐀𝐏=\left(\begin{array}{cc}{\varphi }^n& 0\\ 0& {\psi }^n\end{array}\right)$は対角行列となり、A = PDP^-1から、Aⁿ = PDⁿP^-1と計算できます。これを①に代入すると

$\begin{array}{cc}\left(\begin{array}{c}{F}_{n+1}\\ F_n\end{array}\right)& =\left(\begin{array}{cc}\varphi & \psi \\ 1& 1\end{array}\right)\left(\begin{array}{cc}{\varphi }^n& 0\\ 0& {\psi }^n\end{array}\right){\left(\begin{array}{cc}\varphi & \psi \\ 1& 1\end{array}\right)}^{-1}\left(\begin{array}{c}{F}_1\\ F_0\end{array}\right)\\ & =\left(\begin{array}{c}\frac{{\varphi }^{n+1}-{\psi }^{n+1}}{\varphi -\psi }\\ \frac{{\varphi }^n-{\psi }^n}{\varphi -\psi }\end{array}\right)\end{array}$

となり、フィボナッチ数列の一般項F_n = (φⁿ - ψⁿ)/(φ - ψ) = (φⁿ - ψⁿ)/√5が求められました。

数学的帰納法

数学的帰納法は超準モデルを排除する?

右の明るい無限に続くドミノが標準の自然数（先頭のドミノが0）、左の暗いループしているドミノが超準数

数学的帰納法は強力な証明法ですが、もう一つ隠れた意味があるという見方もあります。

それは、0に1を足していって得られるもののみが自然数であるということです。

もし数学的帰納法が成り立たないとしたら、つまり「あるドミノが倒れたら次のドミノも倒れる」かつ「最初のドミノが倒れる」としても、すべてのドミノが倒れるとは限らないとしたら、それは違うドミノの列が存在することを意味します。

自然数に置き換えると、0, 1, 2, 3, 4, 5, …という自然数とは別に、到達不能な自然数が存在するということになってしまいます。

そのような自然数が存在しないことを数学的帰納法は保証しているとも考えられますが、これは正しくありません。

実際には、一階のペアノ算術 (PA) ではコンパクト性定理により超準モデルの存在を排除することはできないことが証明されています。