8

フィボナッチ数列で遊ぼ

1332
5

目次

1.はじめに
2.内容
3.最後に
4.おまけ

はじめに

どうも、色々やる数学徒です。
今回の記事ではフィボナッチ数列の一般項やフィボナッチ数列の一般化についても考えていきます。
随時更新予定です(☻-☻)

内容

フィボナッチ数列

Fn+2=Fn+Fn+1,F0=0,F1=1

具体的な値は以下のとおり

F0=0
F1=1
F2=1
F3=2
F4=3
F5=5
F6=8
F7=13
F8=21

n=0anxnの収束半径がrのときn=0anxn|x|<rで微分可能でddxn=0anxn=n=0nanxn1という級数になり、この級数の収束半径もrとなる

冪級数

f(x)=n=0Fnn!xn

このような冪級数を考えていきます。

冪級数の収束半径

f(x)の収束半径はである

|Fn+1n!Fn(n+1)!|=Fn+1(n+1)Fn

=Fn+Fn1(n+1)Fn

Fn+Fn(n+1)Fn

=2(n+1)
0(n)

以上より収束半径がであることがわかりましたね。

dkdxkn=0Fnn!xn=n=0Fn+kn!xn

証明は至って簡単です。(厳密な証明はいらないと思うのでk=1,一階微分だけ示します)

ddxn=0Fnn!xn=n=0nFnn!xn1

=n=1Fn(n1)!xn1
=n=0Fn+1n!xn

このことからある程度推測できますね。

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

Fn=15((1+52)n(152)n)

漸化式を使ってもいいけどそれじゃありきたりなので微分方程式を使ってエレガントに導いてみる。

f(x)=n=0Fn+2n!xn
=n=0Fn+1+Fnn!xn
=n=0Fn+1n!xn+n=0Fnn!xn
=f(x)+f(x)
yyy=0と考えて微分方程式を解く(yxに関する関数)
両辺ラプラス変換する。
(s2Ysy(0)y(0))(sYy(0))Y=0
y(0)=0,y(0)=1より
s2Y1sYY=0
(s2s1)Y=1
Y=1s2s1

=1(s1+52)(s152)

=15(s152)+15(s1+52)
逆ラプラス変換する
y=15(exp(1+52x)exp(152x))
n=0Fnn!xn=15(n=01n!(1+52x)nn=01n!(152x)n)

Fn=15((1+52)n(152)n)

では一般化を考えてみましょう。

フィボナッチ数列の一般化

Fk(n+k)=Fk(n)++Fk(n+k1),Fk(0)==Fk(k2)=0,Fk(k1)=1

この定義を自分で思いついてかなり面白いんじゃないかと思って遊んだものをツイートしたところ既出だったことがわかりました。(嬉しい反面、少し残念でした笑)apuさんの記事で紹介されているものによるとk-ナッチ数列というそうです。(itoさんに教えてもらった一般化もまた違うものだったと思います。色んな方法があるんですね…感動します)

では、このk-ナッチ数列の一般項について少し考えてみましょう。

一般項

Fk(x)=1detAl=1kdetAlλlx
A=(111λ1λ2λkλ1k1λ2k1λkk1)

Aj=(111011λ1λ2λj10λj+1λkλ1k2λ2k2λj1k20λj+1k2λkk2λ1k1λ2k1λj1k11λj+1k1λkk1)
λkλk1λ1=0の解をλ1,,λkとおく

僕が使ったのは、そうです!クラメルです。
上のk=2つまりフィボナッチ数列の場合のように特性方程式を作り定義より得られる初期値をそれぞれ代入していったときでてくる連立一次方程式をクラメルの公式を用いると上のようになります。
自力で導出できたときはまあまあ興奮しましたが、どうやら既出だったようです笑。

上の行列式はファンデルモンドの行列式なのでサラスの公式を使って手計算でもいけそうです。
とりあえずdetAがどんな感じに変化していくのか考えてみます。せっかくだし手計算でやってみます。

k=2のとき
det(111521+52)=5
ちゃんと定理通りになりますね
k=3のとき
det(11113(1+193333+19+3333)1316193333+i(19333319+333323)1316193333i(19333319+333323)19(1+193333+19+3333)2(1316193333+i(19333319+333323))2(1316193333i(19333319+333323)))=((1316193333+i(19333319+333323))13(1+193333+19+3333))(1316193333i(19333319+333323)13(1+193333+19+3333))(1316193333i(19333319+333323)(1316193333+i(19333319+333323)))

一応ちゃんと三次方程式もカルダノを使って手計算で出しました。
k=4は?
はい、無理でした。解を求めるところまではゴリゴリいけたのですが、さすがに行列式を求める気力は起きませんでした。(起きたら追加しときます(╹◡╹))
一番いいのはやっぱり文字で置いとくことですね。

k-ナッチ数列の一般項

Fk(x)=11i<jk(λjλi)l=1kdetAlλlx

n=11Fk(n)は無理数である

k=2のときはすでに証明されてるっぽいです。(超越数かどうかはまだわかっていない)

最後に

いかがだったでしょうか。
何気に知識としてフィボナッチ数を知っていても詳しく掘り下げて考えたことがなかったので楽しかったです。(中1の時に知って、ふーんぐらいにしか思わなくてなかなか触る機会がありませんでした)
フィボナッチ数は驚くべきことに自然界のあらゆるところに登場してきます。僕の予想ではフィボナッチ数に関する微分方程式を考えたときに現れた都合の良い性質が関連しているのではないかと思いました。
必然的なものなのか、はたまた偶然なのか…

おまけ

個人的に好きなフィボナッチ数列の性質を紹介して終わろうと思います。(いつか証明した記事も上げたいものです)

k=1Fknk=nn2n1

フィボナッチ数で出てくる平方数は1,144だけ

フィボナッチ数の逆数和は収束する

そこら辺で見つけたカタツムリの殻 そこら辺で見つけたカタツムリの殻
こんな感じでカタツムリの殻とかにもフィボナッチ数列は隠れています。

投稿日:2023127
更新日:202426
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

色数
色数
188
43210

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 目次
  2. はじめに
  3. 内容
  4. 最後に
  5. おまけ