はじめまして. りぼーすと申します.
今回は自己紹介と僕が好きなフィボナッチ数列について少し書いていきます.
Mathlogを書くのは初めてですので拙い点も多いとは思いますがぜひ最後まで読んでくれると嬉しいです.
情報はすべて2022年1月時点でのものです.
更新頻度は遅いと思いますがよろしくお願いします!
ここから本題(?)に入ります.
初めに定義です. よくあるやつですが, ここでは必要に応じて負の項も考えます.
数列
文脈によって誤解を招かない範囲で正のフィボナッチ数のことを単にフィボナッチ数と呼びます.
この
ここからはその色々な性質を少しだけ探っていきます.
まず一般項です. 有名なやつです.
任意の
証明は普通の三項間漸化式なので割愛します. 次に定理を二つほど.
任意の
任意の
定理の名前は一般的ではないです. 加法定理のほうはそこそこ知名度があるかもしれませんが, 乗法定理は中学生のころ某教室で発見されたものなので知っている人はほとんどいないのではないでしょうか(いたらDMください). 証明していきます.
帰納法で示す.
となるのですべての整数に対して成立する.
となるので示された.
乗法定理の
次に, フィボナッチ数かどうかの判定法についてです. 判定法がわかれば, ある条件を満たすフィボナッチ数といったものも探しやすくなります.
全てのフィボナッチ数に共通する分かりやすい性質を見つけていきます.
任意の
乗法定理の
今,
余談ですが
しかしこれだけわかってもあまり嬉しくないです. 逆も示したいのです. というわけで逆を示していきます. 逆の示し方はいくつかありますが, 次回以降を考えて若干回りくどい方法で示します.
判別式について考えたので, 実際に上の二次方程式を解いてみます.
すると,
となります. 見た目がごついですが, これを用いて前者関数, 後者関数という関数を定義します.
集合
で定め, 全射となるよう終域を制限したものをそれぞれ
赤字にあるような性質が見つかれば, 実際に逆関数になっていることを示したくなるのが人間というものです. 示していきましょう. といってもほとんど代入作業だけで書くのも読むのも面倒くさいので概略のみここでは書きます.
偶奇に注意すれば括弧内は正整数である.よって
このことから
逆関数が存在するということは特に全単射です.
ここまでくればあと一息です. 一気に逆を示していきます.
今,
というわけで
これを使って
判定法より
このとき
のいずれかのパターンになる.
よって,
読みづらい点も多かったかと思いますが最後まで読んでいただきありがとうございます. 次回は(やる気があれば)前者関数, 後者関数についてさらに考察したことをまとめる予定です. 不備等ございましたらご指摘いただけると幸いです.