加法定理の一
加法定理の二
前提知識 : 数学的帰納法, Lucas 数列, Fibonacci 数列, 三角関数の加法定理, (有理) 整数環のイデアル
Fibonacci 数列 :
https://mathlog.info/articles/191
修正版 : 黄金数の加法定理 (
https://mathlog.info/articles/2184
)
三角関数との類似性
加法定理の四つの等式は, その式形から再帰法を用いれば容易に証明することができるのであるが, 先ずはこれらのみかたを述べる.
第一種の加法定理
について, これらの等式は三角関数の加法定理
と構造を同じくしていることが見て取れるであろう. この性質は, 黄金比の累乗を表す等式
が, Euler の公式
に似かようことに着眼すれば, 説明を付けることが可能である. ただし, は虚数単位と見る.
のときは正しい. それぞれの等式について, あるについて等式が成りたつならば, それらを辺々足しあわせることでの場合が得られ. また辺々を引けばの場合が得られるので, 再帰的に命題は示された.
ここで, 複素数の全体における三角関数の加法定理が, 複素三角関数の定義式, すなわち Euler の公式の単純な拡張から
と導出されることを確認しておく.
とは有理数の集合において線型独立の関係に在るから, 自明な等式は
と同値変形される.
組みあわせ論的なみかた
第二種の加法定理
の第二式は Fibonacci 数のみによって記述される等式であり, がともに正なるとき, 組みあわせ論的に解釈することが可能である. より詳しくは, 段の階段を一段上がりと二段上がりを用いて上る方法を考えるとき, その個数を二通りの手法によって総べれば得られる. 具体的な論証については, 次の記事を参照されたく思う.
Fibonacci 数の組みあわせ論的な性質とその応用 :
https://mathlog.info/articles/210
整数論的なみかた
整数論的な立場では, たとえば, 第二種の加法定理の第二式にてをだけずらした等式
およびは大いに顕著なる性質を映しだす. それは, 若しの正なる公約数を取れば, 上によっては何れもの整数係数の線型結合に表されるため, これらにもによる整除性が移るということである. 従うに, 任意の正の整数に対して, Fibonacci 数列の中での倍数であるような項のインデックスの成す集合*****
は (有理) 整数環のイデアルと成り, Fibonacci 数列中のの倍数はにおいて均等に並ぶことが判る.
※これは, 任意のに対して空でないことが知られている.
帰納的証明
のときは正しい. それぞれの等式について, あるについて等式が成りたつならば, それらを辺々足しあわせることでの場合が得られ. また辺々を引けばの場合が得られるので, 再帰的に命題は示された.
を固定し, に関する再帰性を主に用いる.
のとき, に注意すれば等式は自明であり, のときは補題の等式そのものであるから正しい. それぞれの等式について, あるについて等式が成りたつならば, それらを辺々足しあわせることでの場合が得られ. また辺々を引けばの場合が得られるので, 再帰的に命題は示された.
のときは正しい. それぞれの等式について, あるについて等式が成りたつならば, それらを辺々足しあわせることでの場合が得られ. また辺々を引けばの場合が得られるので, 再帰的に命題は示された.