フィボナッチ数列とリュカ数列の関係について

このQ&Aのポイント
  • フィボナッチ数列とリュカ数列には、特定の関係があります。
  • フィボナッチ数列とリュカ数列の母関数を比較すると、左辺と右辺が一致することがわかります。
  • 具体的な証明や詳細な解説は参考文献をご確認ください。
回答を見る
  • ベストアンサー

exp{L[1]x+L[2]x^2/2+L[3]x^3/3+…}=F[1]+F[2]x+F[3]x^2+…

フィボナッチ数列F[n]は、 F[1]=1,F[2]=1,F[n+2]=F[n+1]+F[n] で定義され、リュカ数列L[n]は、 L[1]=1,L[2]=3,L[n+2]=L[n+1]+L[n] で定義されます。このとき、 exp{L[1]x+L[2]x^2/2+L[3]x^3/3+…}=F[1]+F[2]x+F[3]x^2+… が成り立つそうなのですが、どうしてなのですか? 右辺は、フィボナッチ数列の母関数と似ていてなんとか求められるのですが、左辺をどうして求めていいかわかりません。 なお、式は http://mathworld.wolfram.com/FibonacciNumber.html の(68)を参照しました。

  • dfhsds
  • お礼率31% (100/319)

質問者が選んだベストアンサー

  • ベストアンサー
  • 20080715
  • ベストアンサー率68% (13/19)
回答No.1

↓ここに証明がありますね。 http://maths.dur.ac.uk/~dma0rcj/PED/fib.pdf (2.7 A surprising sum を見てください。)

参考URL:
http://maths.dur.ac.uk/~dma0rcj/PED/fib.pdf
dfhsds
質問者

お礼

納得しました。感謝します。

関連するQ&A

  • フィボナッチ数列とルーカス数列を使った証明

    フィボナッチ数列とルーカス数列(リュカ数列)使った証明です。 L(n)をルーカス数列のn番目の数字、F(n)をフィボナッチ数列のn番目の数字として、 L(0) = 2, L(1) = 1 F(0) = 0, F(1) = 1 の場合、 L(n) = F(n-1) + F(n+1) になることを証明しようと思ってます。 ビネの公式を使って証明しようと思ったんですが、うまく行きませんでした。それに、もっと簡単な方法があると思うんですが、どなたかわかりませんか?

  • f(x)=f1(x)におけるf(x)は何関数?

    例えば、xを変数にもつ以下の3つの関数、f(x)=f1(x)、f(x)=f2(x)、f(x)=g1(x)がある場合、この左辺のf(x)は何関数と呼ぶのでしょうか? 左辺の部分は、「xを変数にもつ関数」ということで、より広い一般的な関数を表し、 右辺は、「その実際の中身を表す関数」だと思うですが、 左辺のf(x)のような関数を何関数と呼ぶのでしょうか? (基本関数とか広義関数とかでしょうか(すみませんかなり適当にあてずっぽうに書いています。)) どなたか正しい呼び方を教えてください。 よろしくお願いします。

  • 整式で表された関数f(x)が

    整式で表された関数f(x)が、f'(x){f'(x)-x}=f(x)+2(x+1)を満たすとき、f(x)を求めよ。 という問題で、f(x)がn次式であるとすると、教科書では、 (a)n=0,1のときf(x)=ax+bとおけ、f'(x)=aより与式に代入して、恒等的に解いて、f(x)=-x-1 (b)n>=2のとき左辺は2(n-1)次式、右辺はn次式より、2(n-1)=n n=2より f(x)=px^2+qx+rとおいてf'(x)=2px+qより与式に代入して、恒等的に解いて、f(x)=(3/4)x^2+2x+2 ということらしいのですが、 n>=2のとき、例えば、f(x)=(1/2)x^2+cx+dのとき、f'(x)-xは定数(c)となり、左辺は1次式となって、 左辺は必ずしも2(2-1)=2次式とは言い切れないと思うのですが、どうでしょうか。解答として不十分なのでしょうか。 一度先生に質問してみたところ、n=2はあくまでも必要条件だから、このままでよいと言われましたが、 どういうことでしょうか。 解答お願いします。

  • フィボナッチ数列X(n+1)= X(n+1)+X(n) (X(1)=X

    フィボナッチ数列X(n+1)= X(n+1)+X(n) (X(1)=X(2)=1) の1項X(1)からX(30)までの値を表示するプログラムを再帰関数を使って作る方法を教えてください。 再帰関数がよくわかりません。

  • exp(x+y)=exp(x)exp(y)を和を計算することによって示

    exp(x+y)=exp(x)exp(y)を和を計算することによって示せ。 つまり Σ(0≦n≦∞)(x+y)^ n/n !={Σ(0≦n≦∞)(x)^n/n !}{Σ(0≦n≦∞)(y)^n/n !} を示せ という問題を出されたのですが、どうアプローチすればいいのかわかりません。 和の取り方を工夫すればいいと言われたのですが、どのように工夫すればいいのか見当もつきません。 始めてみたときは帰納法で証明できるかと思ってやってみたのですがうまくいきませんでした。 回答のとっかかりでもいいので教えてください。お願いします。

  • lim[n→∞]∫[0~1]f_n(x)dx=∫[0~1]f(x)dxが示せません

    宜しくお願いいたしました。 [問]各n∈Nに対し,f_n(x)=nx/(1+nx),x∈[0,1]とする。 数列{f_n}は[0,1]で積分可能関数fには各点収束するが一様収束しない事を示せ。 そしてlim[n→∞]∫[0~1]f_n(x)dx=∫[0~1]f(x)dxとなる事を示せ。 で「lim[n→∞]∫[0~1]f_n(x)dx=∫[0~1]f(x)dxとなる」が示せずに困っています。 f(x)= 1/e (x=1の時) 1 (0<x<1の時) 0 (x=0の時) と積分可能関数fが求めました。 でも 0<x<1の時 lim[n→∞]∫[0~1](f(x)-f_n(x)) =lim[n→∞]∫[0~1](1-nx/(1+nx))dx =lim[n→∞]∫[0~1](1/(1+nx))dx =lim[n→∞][-n/(1+nx)^2]^1_0 =lim[n→∞](-n/(1+n^2)+n) となり0になりません。何か勘違いしておりますでしょうか?

  • {s_n}をf∈L^+(a,b)の定義関数列とする時,lim[n→∞]∫[a..b](f(x)-s_n(x))dx=0を示せ

    L^+(a,b) を区間(a,b)上の非負可積分関数全体の集合とする。 f∈L^+(a,b)に対し,定義関数列{s_n}が存在する。その時, lim[n→∞]∫[a..b](f(x)-s_n(x))dx=0を示せ。 (この∫は単関数のルベーグ積分) という問題なのですがどのように証明していいのか分かりません。 定義関数列の定義からs_1(x)≦s_2(x)≦…≦f(x) でs_n(x)はf(x)に近づいていくので0となる事は直観では分かるのですが…。 どのようにすればいいのでしょう?

  • Nフィボナッチ数列の一般項について

    つぎのようにNフィボナッチ数列を定義します。ただしNは自然数。 F(1)=F (2)=...=F(N)=1 F(N+n)=F(N)+F(N+1)+...F(N+n-1) (n≧0)-(1) またx^N=Σ[k=0~N-1]x^kのN次方程式のN個の解をA1,A2、...ANと名付けます。 N=2のとき フィボナッチ数列になりますが、 (1)を変形してF(n+2)=(A1+A2)F(n+1)-A1A2F(n) よって F(n+2)-A2F(n+1)=A1{F(n+1)-A2F(n)} F(n+2)-A1F(n+1)=A2{F(n+1)-A1F(n)} 2つの漸化式ができて、ともに右辺を等比数列の和として計算できますので 2つを連立して、F(n+1)について解くと一般項が得られます。 N=3のときも同様にして、一般項が求まります。 そこでNが任意の自然数でもこれは成り立つのでしょうか? 解と係数の関係からN個の連立方程式が導けるとしてもよいのでしょうか? どなたか教えてください。お願いします。

  • フィボナッチ数列を関数に…

    フィボナッチ数列を関数に… フィボナッチ数列の一般項は Fn=(φ^n-(-φ)^n)/√5  (ただし、φは黄金比) で表されますが、それを f(x)=(φ^x-(-φ)^x)/√5 と関数で考えます。するとそのグラフは点々のグラフになります。 f(1)=1、f(2)=1、f(3)=2、f(4)=3、f(5)=5… それをどうにかして、連続したグラフにできないでしょうか? 特徴として ・どのx(実数)をとってもx+1に関数が存在する。 ・lim(x→∞)f(x+1)/f(x)=φ があげられると思います。 できるかできないかだけでも良いですので、回答よろしくお願いします。

  • f(f(x)) みたいなこと出来ないでしょうか?

    f1(x)=x^2+x+3=10 , f2(x)=(f1(x))^2+f2(x)+3 , f3(x)=(f2(x))^2+f3(x)+3 ・・・・・・ fN(x)=(f(Nー1)(x))^2+f(N-1)+3 Nに数字を入れると FN(x)の値がわかるような方法はないでしょうか? 数列のような気もするのですが・・・ fの後に続く文字は第何項という意味です わかりにくくてすみません><