7

黄金の加法定理

155
0

加法定理の一 加法定理の一
加法定理の二 加法定理の二
前提知識 : 数学的帰納法, Lucas 数列, Fibonacci 数列, 三角関数の加法定理, (有理) 整数環のイデアル
Fibonacci 数列 : https://mathlog.info/articles/191
.
.
.
修正版 : 黄金数の加法定理 ( https://mathlog.info/articles/2184 )
.
.
.

三角関数との類似性

加法定理の四つの等式は, その式形から再帰法を用いれば容易に証明することができるのであるが, 先ずはこれらのみかたを述べる.

第一種の加法定理
2Lm+n=LmLn+5FmFn2Fm+n=LmFm+FmLnについて, これらの等式は三角関数の加法定理
cos(x+y)=cosxcosysinxsinysin(x+y)=cosxsiny+sinxcosyと構造を同じくしていることが見て取れるであろう. この性質は, 黄金比の累乗を表す等式
2ϕn=Ln+5Fn2ϕ¯n=Ln5Fnが, Euler の公式
eix=cosx+isinxeix=cosxisinxに似かようことに着眼すれば, 説明を付けることが可能である. ただし, iは虚数単位と見る.

黄金比の累乗

任意のnZに対して, {ϕn=Ln+5Fn2ϕ¯n=Ln5Fn2が成りたつ.

n=0,1のときは正しい. それぞれの等式について, あるn+1,nについて等式が成りたつならば, それらを辺々足しあわせることでn+2の場合が得られ. また辺々を引けばn1の場合が得られるので, 再帰的に命題は示された.

ここで, 複素数の全体における三角関数の加法定理が, 複素三角関数の定義式, すなわち Euler の公式の単純な拡張から
ei(x+y)=eixeiycos(x+y)+isin(x+y)=(cosx+isinx)(cosy+isiny)cos(x+y)+isin(x+y)=(cosxcosysinxsiny)+i(cosxsiny+sinxcosy){cos(x+y)=cosxcosysinxsinysin(x+y)=cosxsiny+sinxcosyと導出されることを確認しておく.

加法定理の一

任意のm,nZに対して, 以下が成りたつ.
(1L)2Lm+n=LmLn+5FmFn.
(1F)2Fm+n=LmFn+FmLn.

15は有理数の集合において線型独立の関係に在るから, 自明な等式ϕm+n=ϕmϕn
ϕm+n=ϕmϕnLm+n+5Fm+n2=Ln+5Fn2Lm+5Fm22Lm+n+25Fm+n4=(LmLn+5FmFn)+5(LmFn+FmLn)4{2Lm+n=LmLn+5FmFn2Fm+n=LmFm+FmLn.と同値変形される.

.
.
.
.
.
.

組みあわせ論的なみかた

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

整数論的なみかた

整数論的な立場では, たとえば, 第二種の加法定理の第二式にて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に対して, Fibonacci 数列の中でdの倍数であるような項のインデックスの成す集合*****
IF(d)={iZFidZ}は (有理) 整数環Zのイデアルと成り, Fibonacci 数列中のdの倍数はZにおいて均等に並ぶことが判る.
.
これは, 任意のdに対して空でないことが知られている.
.
.
.
.
.
.

帰納的証明

連立漸化式への書きかえ

任意のnZに対して, {2Ln+1=Ln+5Fn2Fn+1=Ln+Fnが成りたつ.

n{0,1}のときは正しい. それぞれの等式について, あるn+1,nについて等式が成りたつならば, それらを辺々足しあわせることでn+2の場合が得られ. また辺々を引けばn1の場合が得られるので, 再帰的に命題は示された.

加法定理

任意のm,nZに対して, 以下が成りたつ.
(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.

mを固定し, nに関する再帰性を主に用いる.
(1)n=0のとき, L0=2に注意すれば等式は自明であり, n=1のときは補題の等式そのものであるから正しい. それぞれの等式について, あるn+1,nについて等式が成りたつならば, それらを辺々足しあわせることでn+2の場合が得られ. また辺々を引けばn1の場合が得られるので, 再帰的に命題は示された.
(2)n{0,1}のときは正しい. それぞれの等式について, あるn+1,nについて等式が成りたつならば, それらを辺々足しあわせることでn+2の場合が得られ. また辺々を引けばn1の場合が得られるので, 再帰的に命題は示された.

.
.
.
.
.
.

投稿日:2020118
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 三角関数との類似性
  2. 組みあわせ論的なみかた
  3. 整数論的なみかた
  4. 帰納的証明