第一加法定理
第二加法定理
前提知識 : 数学的帰納法, 黄金比, Lucas 数列, Fibonacci 数列, 三角関数の加法定理
Lucas 数列と Fibonacci 数列 :
https://mathlog.info/articles/191
本記事は, 以前に投稿した「黄金の加法定理」 (
https://mathlog.info/articles/320
) を大幅に修正したものである.
黄金数の加法定理
黄金数の加法定理とは, 以下に並べる四式のことを指す. 何れも, インデックスに対応する Lucas 数および Fibonacci 数を, によって書きかえる役割を持つ等式である.
愚直な帰納法
変数を任意の値として固定し, に関する再帰性を用いる.
四つの等式の中から何れか一つを選び, ある二つのについてその等式が真であることを仮定すると, それらの両辺をそのまま足すことによってについての等式が得られ, この足し算を繰りかえせば以降の全てのに対して等式が成立することが判る. また逆に, 成立を仮定した二式の両辺の差を取ればについての等式が得られ, これを繰りかえすことで以前の全てのについて成立が云えることになる. 由って, ある連続する二つのの値について等式を証明することができれば, その結果は全ての整数に伝播する.
そこでおよびの場合の各等式を考えるのであるが, それぞれは
のようになって, 更に以下の等式が真であることを確かめる必要が有る.
本記事では以上の等式のより繊細な意味を提示することを目標として, 指数法則との連関や整数論的な応用について成るべく簡潔に記す.
指数法則からの導出, 三角関数との類似性
黄金比の冪乗を二種類の方法によって表しなおすことを考える.
あらゆる整数に対して, 以下の等式が成りたつ.
(基準の式)
(黄金比基準の式)
(黄金比基準の式)
帰納法
変数に関する再帰性を用いる.
二つの等式の何れか一つを選び, ある二つのについてその等式が真であることを仮定すると, それらの両辺をそのまま足すことによってについての等式が得られ, この足し算を繰りかえせば以降の全てのに対して等式が成立することが判る. また逆に, 成立を仮定した二式の両辺の差を取ればについての等式が得られ, これを繰りかえすことで以前の全てのについて成立が云えることになる. 由って, ある連続する二つのの値について等式を証明することができれば, その結果は全ての整数に伝播する.
由っておよびの場合に等式が成立していることを確かめて
とすれば証明が完了する.
これらの等式を代入して指数法則を展開することで, 容易に加法定理の四式を得ることができる.
第一加法定理の導出
あらゆる整数について成立する指数法則に上記命題の等式を代入すると
即ち
となり, 両辺の有理数部分と無理数部分とをそれぞれ等号で繋げば第一加法定理の二式が得られる.
第二加法定理の導出
あらゆる整数について成立する指数法則の両辺にを乗じて上記命題の等式を代入すると
となり, 両辺の有理数部分をそれぞれ等号で繋げば第二加法定理のの式が得られる.
第二加法定理の導出
あらゆる整数について成立する指数法則に上記命題の等式を代入すると
となり, 両辺の有理数部分をそれぞれ等号で繋げば第二加法定理のの式が得られる.
このような指数法則との対応関係は三角関数や双曲線関数にも類似するものである.
組みあわせ論的な導出
第二種の加法定理
のの式は Fibonacci 数のみによって記述される等式であり, がともに正なるとき, 組みあわせ論的に解釈することが可能である. より詳しくは, 段の階段を一段上がりと二段上がりを用いて上る方法を考えるとき, 上り方の数をある二通りの手法によって総べれば得ることができる. 具体的な論証については, 次の記事にて解説している.
Fibonacci 数の組みあわせ論的な性質とその応用 :
https://mathlog.info/articles/210
積和公式
ここでは, 次の等式を既知のものとして用いる.
第一加法定理のの式は
というものであった. この等式においてをに擦りかえ, 符号反転公式を適用すると
のようになるので, の項を打ちけすよう両辺にを掛けて, 元の加法定理と足しあわせると
が得られる.
第一加法定理のの式は
というものであった. この等式においてをに擦りかえ, 符号反転公式を適用すると
のようになるので, の項を打ちけすよう両辺にを掛けて, 元の加法定理と足しあわせると
が得られる.
整数論への応用
整数論的な立場では, 例えば, 第二加法定理のの式にてをだけずらした等式
およびはこの数列の顕著なる性質を理るものである. それは, 若しの正なる公約数を取れば, この等式によりは何れもあるの整数係数の線型結合に等しくなるため, 肖ってこれらにもによる整除性が移るということである. 整除の記号を用いて記述すれば, 全ての正の整数について
が成立するということであり, Fibonacci 数列の中での倍数であるような項のインデックスの成す集合*****
は
なる特性を持つことが判る.
下の条件に従うようなあらゆるの部分集合に対して, なる正の整数が存在するか, はに等しいか, あるいは空である.
条件 あらゆるの元とに対して, かつが成りたつ.
このような集合のうち空でないものはのイデアル (独 ideal) と呼ばれる.
あらゆる正の整数に対して, なる正の整数が存在する.
法において数列に当たる剰余の列を考えて, その中にが存在することを証明する. この剰余列の隣接する二項を一組としたものの全体を
と書けば, これは個以下の元を持つ有限集合であるので, ある二つの (異なる) 正の整数であって
となるようなものが存在するはずである. この相等式は
とも表すことができ, 合同式において漸化式の適用を繰りかえすことによって
なる等式群を得られる. がよりも大きいときにはにて右辺が終にとなり, からなる正の整数の存在が判る. 逆にがよりも小さいときにはにて左辺が終にとなり, からなる正の整数の存在が判る.
あらゆる正の整数に対して, Fibonacci 数列にはの倍数は無数に現れ, 然もそれらは均等に並ぶ.
先に示した二つの命題がこれに同値な内容を保証するため, この命題も正しい.
この他にも, 加法定理は例えば無限和の計算などにおいて重宝する. 詳細は以下の三つの記事に纏めてあるので, 宜しければ是非.
Fibonacci 数を含む基礎的な無限級数
(1) の記事 :
https://mathlog.info/articles/1468
(2) の記事 :
https://mathlog.info/articles/1469
(3) の記事 :
https://mathlog.info/articles/1479