5

黄金数の加法定理 (修正版)

217
0

第一加法定理 第一加法定理
第二加法定理 第二加法定理
前提知識 : 数学的帰納法, 黄金比, Lucas 数列, Fibonacci 数列, 三角関数の加法定理
Lucas 数列と Fibonacci 数列 : https://mathlog.info/articles/191

本記事は, 以前に投稿した「黄金の加法定理」 ( https://mathlog.info/articles/320 ) を大幅に修正したものである.
.
.
.
.
.
.

黄金数の加法定理

黄金数の加法定理とは, 以下に並べる四式のことを指す. 何れも, インデックスm+nに対応する Lucas 数および Fibonacci 数を, Lm,Ln,Fm,Fnによって書きかえる役割を持つ等式である.

黄金の加法定理

あらゆる整数m,nに対して, 以下の等式が成りたつ.
(1L) 2Lm+n=LmLn+5FmFn.
(1F) 2Fm+n=LmFn+FmLn.
(2L) Lm+n+1=Lm+1Fn+1+LmFn.
(2F) Fm+n+1=Fm+1Fn+1+FmFn.

愚直な帰納法

変数nを任意の値として固定し, mに関する再帰性を用いる.

四つの等式の中から何れか一つを選び, ある二つのm,m+1についてその等式が真であることを仮定すると, それらの両辺をそのまま足すことによってm+2についての等式が得られ, この足し算を繰りかえせば以降の全てのmに対して等式が成立することが判る. また逆に, 成立を仮定した二式の両辺の差を取ればm1についての等式が得られ, これを繰りかえすことで以前の全てのmについて成立が云えることになる. 由って, ある連続する二つのmの値について等式を証明することができれば, その結果は全ての整数mに伝播する.

そこでm=0およびm=1の場合の各等式を考えるのであるが, それぞれは
m=0;(2L0+n=L0Ln+5F0Fn2F0+n=L0Fn+F0LnL0+n+1=L0+1Fn+1+L0FnF0+n+1=F0+1Fn+1+F0Fni.e.(2Ln=2Ln2Fn=2FnLn+1=Fn+1+2FnFn+1=Fn+1 m=1;(2L1+n=L1Ln+5F1Fn2F1+n=L1Fn+F1LnL1+n+1=L1+1Fn+1+L1FnF1+n+1=F1+1Fn+1+F1Fni.e.(2Ln1=Ln+5Fn2Fn1=Fn+LnLn=2Fn+1FnFn=Fn 
のようになって, 更に以下の等式が真であることを確かめる必要が有る.

本記事では以上の等式のより繊細な意味を提示することを目標として, 指数法則との連関や整数論的な応用について成るべく簡潔に記す.

.
.
.
.
.
.

指数法則からの導出, 三角関数との類似性

黄金比ϕの冪乗を二種類の方法によって表しなおすことを考える.

あらゆる整数nに対して, 以下の等式が成りたつ.
(1) ϕn=(Ln+Fn5)/2)(5基準の式).
(2) 5ϕn=Lnϕ+Ln1(黄金比基準の式).
(3) ϕn=Fnϕ+Fn1(黄金比基準の式).

帰納法

変数nに関する再帰性を用いる.

二つの等式の何れか一つを選び, ある二つのn,n+1についてその等式が真であることを仮定すると, それらの両辺をそのまま足すことによってn+2についての等式が得られ, この足し算を繰りかえせば以降の全てのnに対して等式が成立することが判る. また逆に, 成立を仮定した二式の両辺の差を取ればn1についての等式が得られ, これを繰りかえすことで以前の全てのnについて成立が云えることになる. 由って, ある連続する二つのnの値について等式を証明することができれば, その結果は全ての整数nに伝播する.

由ってn=0およびn=1の場合に等式が成立していることを確かめて
n=0;(ϕ0=(L0+F05)/25ϕ0=L0ϕ+L01ϕ0=F0ϕ+F01 n=1;(ϕ1=(L1+F15)/25ϕ1=L1ϕ+L11ϕ1=F1ϕ+F11 
とすれば証明が完了する.

これらの等式を代入して指数法則ϕm+n=ϕmϕnを展開することで, 容易に加法定理の四式を得ることができる.

第一加法定理の導出

あらゆる整数m,nについて成立する指数法則ϕm+n=ϕmϕnに上記命題の等式(1)を代入すると
Lm+n+Fm+n52=Lm+Fm52×Ln+Fn52
即ち
2Lm+n+2Fm+n5=LmLn+5FmFn+LmFn5+FmLn5
となり, 両辺の有理数部分と無理数部分とをそれぞれ等号で繋げば第一加法定理の二式が得られる.

第二加法定理の導出

あらゆる整数m,nについて成立する指数法則ϕm+n=ϕmϕnの両辺に5を乗じて上記命題の等式(2)を代入すると
Lm+nϕ+Lm+n1=(Lmϕ+Lm1)(Fnϕ+Fn1)=LmFnϕ2+LmFn1ϕ+Lm1Fnϕ+Lm1Fn1=LmFnϕ+LmFn1ϕ+Lm1Fnϕ=+LmFn+Lm1Fn1
となり, 両辺の有理数部分をそれぞれ等号で繋げば第二加法定理のLの式が得られる.

第二加法定理の導出

あらゆる整数m,nについて成立する指数法則ϕm+n=ϕmϕnに上記命題の等式(3)を代入すると
Fm+nϕ+Fm+n1=(Fmϕ+Fm1)(Fnϕ+Fn1)=FmFnϕ2+FmFn1ϕ+Fm1Fnϕ+Fm1Fn1=FmFnϕ+FmFn1ϕ+Fm1Fnϕ=+FmFn+Fm1Fn1
となり, 両辺の有理数部分をそれぞれ等号で繋げば第二加法定理のFの式が得られる.

このような指数法則との対応関係は三角関数や双曲線関数にも類似するものである.
(Ln,Fn), (Ln,Ln1), (Fn,Fn1)(1,5)(1,ϕ)(1,ϕ)Basisϕn=Ln+Fn525ϕn=Lnϕ+Ln1ϕn=Fnϕ+Fn1ExpansioPotestatisϕ¯n=LnFn525ϕ¯n=Lnϕ¯+Ln1ϕ¯n=Fnϕ¯+Fn1Coniugatio(Ln=ϕn+ϕ¯nFn=ϕnϕ¯n5Ln=ϕn+ϕ¯nFn=ϕnϕ¯nϕϕ¯Componentia(2Lm+n=LmLn+5FmFn2Fm+n=LmFn+FmLnLm+n+1=Lm+1Fn+1+LmFnFm+n+1=Fm+1Fn+1+FmFnAdditioTheorema(2L2n=LnLn+5FnFnF2n=LnFnL2n+1=Ln+1Fn+1+LnFnF2n+1=Fn+1Fn+1+FnFnDupulusIndexFormulaLnLn5FnFn=4(1)nLn+1Ln1LnLn=5(1)nFn+1Fn1FnFn=(1)nNormaPotestatis (cosx,sinx)(1,1)Basise1x=cosx+sinx1ExpansioPotestatise1x=cosxsinx1Coniugatio(cosx=e1x+e1x2sinx=e1xe1x21Componentia(cos(x+y)=cosxcosysinxsinysin(x+y)=cosxsiny+sinxcosyAdditioTheorema(cos2x=cos2xsin2xsin2x=2cosxsinxDuplusAngulusFourmulacos2x+sin2x=1NormaPotestatis (coshx,sinhx)Basisex=cosx+sinxExpansioPotestatisex=cosxsinx(Coniugatio)(coshx=ex+ex2sinhx=exex2Componentia(cosh(x+y)=coshxcoshy+sinhxsinhysinh(x+y)=coshxsinhy+sinhxcoshyAdditioTheorema(cosh2x=cosh2x+sinh2xsinh2x=2coshxsinhxDuplusAngulusFormulacosh2xsinh2x=1(NormaPotestatis)

.
.
.
.
.
.

組みあわせ論的な導出

第二種の加法定理
Lm+n+1=Lm+1Fn+1+LmFnFm+n+1=Fm+1Fn+1+FmFnFの式は Fibonacci 数のみによって記述される等式であり, m,nがともに正なるとき, 組みあわせ論的に解釈することが可能である. より詳しくは, m+n段の階段を一段上がりと二段上がりを用いて上る方法を考えるとき, 上り方の数をある二通りの手法によって総べれば得ることができる. 具体的な論証については, 次の記事にて解説している.
Fibonacci 数の組みあわせ論的な性質とその応用 : https://mathlog.info/articles/210

.
.
.
.
.
.

積和公式

ここでは, 次の等式を既知のものとして用いる.

インデックスの符号反転公式

あらゆる整数nに対して, 以下の等式が成りたつ.
(1) Ln=(1)nLn.
(2) Fn=(1)n+1Fn.

帰納法によって確かめることができる (略).

積和公式

あらゆる整数m,nに対して, 以下の等式が成りたつ.
(1) LmLn=Lm+n+(1)nLmn.
(2) LmFn=Fm+n(1)nFmn.

 (1) 第一加法定理のLの式は
2Lm+n=LmLn+5FmFn
というものであった. この等式においてnnに擦りかえ, 符号反転公式を適用すると
2Lmn=(1)nLmLn+5(1)n1FmFn
のようになるので, 5FmFnの項を打ちけすよう両辺に(1)nを掛けて, 元の加法定理と足しあわせると
2Lm+n+2(1)nLmn=2LmLn+0
が得られる.

 (2) 第一加法定理のFの式は
2Fm+n=LmFn+FmLn
というものであった. この等式においてnnに擦りかえ, 符号反転公式を適用すると
2Fmn=(1)n1LmFn+(1)nFmLn
のようになるので, FmLnの項を打ちけすよう両辺に(1)n1を掛けて, 元の加法定理と足しあわせると
2Fm+n+2(1)n1Fmn=2LmFn+0
が得られる.

.
.
.
.
.
.

整数論への応用

整数論的な立場では, 例えば, 第二加法定理のFの式にてm1だけずらした等式
Fm+n=FmFn+1+Fm1FnおよびFmn=FmFn+1+Fm1Fn=FmFn+1+(1)n+1Fm1Fnはこの数列の顕著なる性質を理るものである. それは, 若し(Fm,Fn)の正なる公約数dを取れば, この等式によりFm+n,Fmnは何れもあるFm,Fnの整数係数の線型結合に等しくなるため, 肖ってこれらにもdによる整除性が移るということである. 整除の記号を用いて記述すれば, 全ての正の整数dについて
dFm et FndFm+n et Fmn
が成立するということであり, Fibonacci 数列の中でdの倍数であるような項のインデックスの成す集合*****
I(d)={iZFidZ}

m et nI(d)m+n et mnI(d)
なる特性を持つことが判る.

下の条件に従うようなあらゆるZの部分集合Iに対して, I=dZなる正の整数dが存在するか, I{0}に等しいか, あるいは空である.
条件 あらゆるIの元mnに対して, m+nIかつmnIが成りたつ.

(略).

このような集合Iのうち空でないものはZのイデアル (独 ideal) と呼ばれる.

あらゆる正の整数dに対して, dFnなる正の整数nが存在する.

dにおいて数列(Fn)n>0に当たる剰余の列を考えて, その中に0が存在することを証明する. この剰余列の隣接する二項を一組としたものの全体を
Nd={(Fn mod.d,Fn+1 mod.d)nZ>0}
と書けば, これはp2個以下の元を持つ有限集合であるので, ある二つの (異なる) 正の整数a,bであって
(Fa mod.d,Fa+1 mod.d)=(Fb mod.d,Fb+1 mod.d)となるようなものが存在するはずである. この相等式は
FaFbetFa+1Fb+1  (mod.d)
とも表すことができ, 合同式において漸化式Fi=Fi+2Fi+1の適用を繰りかえすことによって
Fa+xFb+x  (mod.d)(xZ, a+x0 et b+x0)
なる等式群を得られる. abよりも大きいときにはx=bにて右辺が終にF0となり, Fab0からdFabなる正の整数abの存在が判る. 逆にabよりも小さいときにはx=aにて左辺が終にF0となり, 0FbaからdFbaなる正の整数baの存在が判る.

あらゆる正の整数dに対して, Fibonacci 数列にはdの倍数は無数に現れ, 然もそれらは均等に並ぶ.

先に示した二つの命題がこれに同値な内容を保証するため, この命題も正しい.

この他にも, 加法定理は例えば無限和の計算などにおいて重宝する. 詳細は以下の三つの記事に纏めてあるので, 宜しければ是非.

Fibonacci 数を含む基礎的な無限級数
(1) の記事 : https://mathlog.info/articles/1468
(2) の記事 : https://mathlog.info/articles/1469
(3) の記事 : https://mathlog.info/articles/1479

.
.
.
.
.
.

投稿日:2021425
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

ゆう
ゆう
148
13146
好きな整数は 0, 1, 1, φ, 2, 5, 6, 12, 89 など. || フィボナッチ数列 bot (@Aureus_N) 管理人. || hatena blog || indeterminate equations involving Fibonacci numbers || Disquisitiones Arithmeticae...

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 黄金数の加法定理
  2. 指数法則からの導出, 三角関数との類似性
  3. 組みあわせ論的な導出
  4. 積和公式
  5. 整数論への応用