漸化式の全て　・・・　その解法の研究　　　　　　　　　　 　　　　　

１．漸化式の基本形　　全ての漸化式はこのタイプに帰着される。

　（１）　等差数列型　　ａ₁＝ａ　、ａ_ｎ+1＝ａ_ｎ＋ｄ　ならば、　ａ_ｎ＝ａ＋（ｎ−１）ｄ　（ｄ ： 公差）

　（２）　等比数列型　　ａ₁＝ａ　、ａ_ｎ+1＝ｒａ_ｎ　ならば、　ａ_ｎ＝ａ・ｒ^ｎ-1　（ｒ ： 公比）

　　　ただし、ａ、ｄ、ｒ は ｎ に無関係な定数。

２．漸化式の基本形くずれ　　Ｆ（ｎ）は ｎ の関数とする。

　（１）　ａ₁＝ａ　、ａ_ｎ+1＝ａ_ｎ＋Ｆ（ｎ）　型

　　　（解法）　ａ_ｎ+1−ａ_ｎ＝ｂ_ｎ と｛ｂ_ｎ｝は｛ａ_ｎ｝の階差数列だから、

　　　　　　　ｎ≧２　のとき、　ａ_ｎ＝ａ＋Σ_{ｋ=1〜ｎ-1} Ｆ（ｋ）

　（２）　ａ₁＝ａ　、ａ_ｎ+1＝ａ_ｎ・Ｆ（ｎ）　型

　　　（解法）　ａ_ｋ+1/ａ_ｋ＝Ｆ（ｋ）　（ｋ＝１、２、・・・、ｎ−１）　を辺々掛けて、

　　　　　　　ａ_ｎ/ａ＝Π_{ｋ=1〜ｎ-1} Ｆ（ｋ）　より、　ａ_ｎ＝ａ・Π_{ｋ=1〜ｎ-1} Ｆ（ｋ）

３．隣接２項間の漸化式　　（例）　ａ₁＝１　、ａ_ｎ+1＝２ａ_ｎ＋１

　（解法�T・・・逐次代入法）　　ａ₁＝１、ａ₂＝３、ａ₃＝７、・・・　より、ａ_ｎ＝２^ｎ−１　と類推され

　　　　　　　　　　　　　　　　る。この類推が正しいことを数学的帰納法により証明すればよい。

　（解法�U・・・特性解利用法）　α＝２α＋１　より、α＝−１　　これを利用して、

　　　　　　　　　　　　　　　　ａ_ｎ+1＋１＝２（ａ_ｎ＋１）　と変形される。

　　　　　　　　　　　　　　　　ａ_ｎ＋１＝ｂ_ｎ とおけば、１．（２）のタイプに帰着される。

　（解法�V・・・階差数列利用法）　　ａ_ｎ+2−ａ_ｎ+1＝２（ａ_ｎ+1−ａ_ｎ）　より、ａ_ｎ+1−ａ_ｎ＝ｂ_ｎ　と

　　　　　　　　　　　　　　　　おけば、１．（２）のタイプに帰着される。

（注意）　上記解法�T、�U、�Vを見ても分かる通り、特性解の利用が最も便利な方法である
　　　　が、特性解が直ぐに使えない場合もある。

４．少し工夫を要する漸化式　・・・　定数に ｎ が入っている場合

　（例１）　ａ₁＝１　、ａ_ｎ+1＝２ａ_ｎ＋ｎ

　　（解法）　ａ_ｎ+2−ａ_ｎ+1＝２（ａ_ｎ+1−ａ_ｎ）＋１　より、ａ_ｎ+1−ａ_ｎ＝ｂ_ｎ　とおけば、３．のタイプ

　　　　　　に帰着される。

　（例２）　ａ₁＝１　、ａ_ｎ+1＝３ａ_ｎ＋２^ｎ+1

　　（解法）　両辺を３^ｎ+1で割って、ａ_ｎ/３^ｎ＝ｂ_ｎ　とおくと、２．（１）のタイプに帰着される。

５．「４．少し工夫を要する漸化式」の一般化を、ＨＮ「Ren」さんよりいただきました。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（平成２８年７月２５日付け）

　（例）　ａ₁＝ａ　、ａ_ｎ+1＝ａ_ｎ・Ｆ（ｎ）＋Ｇ（ｎ）　型の漸化式の両辺をＨ(n)で割って階差型に帰

　　　　着できる場合（４．（例２）のタイプの一般化）

　　　　Ｆ(n)/Ｈ(n)＝1/Ｈ(n-1)　つまり、　Ｈ(n)＝Ｆ(n)Ｈ(n-1)

　　　これを解いて、　Ｈ(n)＝Ｈ(1)Ｆ(1)Ｆ(2)…Ｆ(n)　となる。ここで、Ｈ(1)は定数なので無視で

　　きる。よって、　ｋＦ(1)Ｆ(2)…Ｆ(n)　(ｋはnに無関係の任意の実数)　で割ればいい。

　例　ａ₁＝ａ　、ａ_ｎ+1＝ｎ・ａ_ｎ＋ｎ！　のときは、両辺を ｎ！で割ればよい。

　例　ａ₁＝ａ　、ａ_ｎ+1＝２^ｎ・ａ_ｎ＋２^(n(n+1)/2) 　のときは、両辺を ２^(n(n+1)/2) で割ればよい。

６．隣接３項間の漸化式　　（例）　ａ₁＝１、ａ₂＝２　、ａ_ｎ+2−３ａ_ｎ+1＋２ａ_ｎ＝０

　　（解法）　特性方程式　α²−３α＋２＝０　を解いて、　α＝１、２

　　　　　　このとき、　ａ_ｎ+2−ａ_ｎ+1＝２（ａ_ｎ+1−ａ_ｎ）　より、　ａ_ｎ+1−ａ_ｎ＝２^ｎ-1

　　　　　　　　　　　　　ａ_ｎ+2−２ａ_ｎ+1＝ａ_ｎ+1−２ａ_ｎ　より、　ａ_ｎ+1−２ａ_ｎ＝０

　　　　　　この連立方程式を解いて、　ａ_ｎ＝２^ｎ-1

７．少し工夫を要する３項間漸化式　・・・　定数が０以外のとき

　（例）　ａ₁＝１、ａ₂＝２　、ａ_ｎ+2−３ａ_ｎ+1＋２ａ_ｎ＝６

　　（解法）　番号をずらして、　ａ_ｎ+3−３ａ_ｎ+2＋２ａ_ｎ+1＝６ なので、辺々引いて、

　　　　　　　ａ_ｎ+1−ａ_ｎ＝ｂ_ｎ　とおけば、６．のタイプに帰着される。

８．　対数をとる型の漸化式

　（例）　ａ₁＝３　、ａ_ｎ+1＝√ａ_ｎ

　　（解法）　任意のｎについて、ａ_ｎ＞０より、両辺の対数をとって、 ｌｏｇ ａ_ｎ+1＝(1/2)ｌｏｇ ａ_ｎ

　　　　　　そこで、ｌｏｇ ａ_ｎ＝ｂ_ｎ　とおけば、２．（２）のタイプに帰着される。

９．分数型漸化式

　（例１）　ａ₁＝１　、ａ_ｎ+1＝ａ_ｎ/（３−ａ_ｎ）

　　（解法）　ａ₁≠０　より、任意のｎについて、ａ_ｎ≠０　だから、両辺の逆数をとって、

　　　　　１/ａ_ｎ+1＝３/ａ_ｎ−１　　そこで、　１/ａ_ｎ＝ｂ_ｎ　とおけば、３．のタイプに帰着される。

　（例２）　ａ₁＝１　、ａ_ｎ+1＝（ａ_ｎ−４）/（ａ_ｎ−３）

　　（解法）　特性方程式　α＝（α−４）/（α−３）　を解いて、　α＝２　　そこで、

　　　　　ａ_ｎ+1−２＝（−ａ_ｎ＋２）/（ａ_ｎ−３）　となるから、　ａ_ｎ−２＝ｂ_ｎ　とおけば、９．（例１）

　　　　のタイプに帰着される。


１０．隣接４項間の漸化式　　（例）　ａ₁＝ａ₂＝ａ₃＝１　、ａ_ｎ+3＝−ａ_ｎ+2＋２ａ_ｎ+1＋８ａ_ｎ

　この（例）はＧＡＩ さんより頂きました。（平成２７年３月２６日付け）


　DD++さんから解法の指針を頂きました。（平成２７年３月２６日付け）

　ａ_ｎ+3＝−ａ_ｎ+2＋２ａ_ｎ+1＋８ａ_ｎ　から、　ａ_ｎ+3＋３ａ_ｎ+2＋４ａ_ｎ+1＝２（ａ_ｎ+2＋３ａ_ｎ+1＋４ａ_ｎ）

となるので、　ａ_ｎ+2＋３ａ_ｎ+1＋４ａ_ｎ＝２^ｎ-1（ａ₃＋３ａ₂＋４ａ₁）＝２^ｎ+2

　そこで、　ｂ_ｎ＝ａ_ｎ−２^ｎ+1/７　とおくと、　ｂ_ｎ+2＋３ｂ_ｎ+1＋４ｂ_ｎ＝０　となるので、

　ｂ₁＝３/７、ｂ₂＝−１/７　と合わせて３項間漸化式を解けばよいかと．．．。


　Ｓ（Ｈ）さんより、答えを頂きました。（平成２７年３月２６日付け）

　ａ_ｎ＝(２ⁿ⁺¹−（(−ｉ−３)/２)ⁿ−（(ｉ−３)/２)ⁿ)/７


（コメント）　実際に、DD++さんの解法の続きを計算してみました。

　ｘ²＋３ｘ＋４＝０　の解　α＝（−３＋ｉ）/２　、β＝（−３−ｉ）/２　として、

　ｂ_ｎ+2−αｂ_ｎ+1＝β（ｂ_ｎ+1−αｂ_ｎ）　より、　ｂ_ｎ+1−αｂ_ｎ＝β^ｎ-1（ｂ₂−αｂ₁）

　ｂ_ｎ+2−βｂ_ｎ+1＝α（ｂ_ｎ+1−βｂ_ｎ）　より、　ｂ_ｎ+1−βｂ_ｎ＝α^ｎ-1（ｂ₂−βｂ₁）

よって、　（α−β）ｂ_ｎ＝α^ｎ-1（ｂ₂−βｂ₁）−β^ｎ-1（ｂ₂−αｂ₁）　より、

　　ｉ・ｂ_ｎ＝α^ｎ-1（ｂ₂−βｂ₁）−β^ｎ-1（ｂ₂−αｂ₁）

　　　　　　　＝α^ｎ-1（＋３ｉ）/（２）−β^ｎ-1（−３ｉ）/（２）

　ゆえに、　ｂ_ｎ＝α^ｎ-1（−ｉ＋３）/１４−β^ｎ-1（−ｉ−３）/１４

　　　　　　　　　＝−（α^ｎ＋β^ｎ）/７

より、　ａ_ｎ＝（２^ｎ+1−（α^ｎ＋β^ｎ））/７　となる。


　ＧＡＩ さんからのコメントです。（平成２７年３月２６日付け）

　ヒント有難うございます。鮮やかな手法があるものですね。

　これを進めていきますと、ａ_ｎは確かにｎの式で書き下せる。ただし、式の中に複素数を含
むかなりややこしい式でした。しかし、これから生まれる各数は何故か平方数ばかりが発生
してくる。それが不思議でなりません。


　DD++さんからのコメントです。（平成２７年３月２６日付け）

　複素数（というか非有理数）こそ、この現象を起こしている本質なんですけどね。カラクリが
わかれば同じような数列は実は簡単に作れます。

　ａ₁＝１、ａ₂＝４、ａ₃＝４　、ａ_ｎ+3＝−２ａ_ｎ+2＋１２ａ_ｎ+1＋２１６ａ_ｎ

とか。ａ₅ までしか検算してませんが、平方数ばかりのはず。


　ＧＡＩ さんからのコメントです。（平成２７年３月２６日付け）

　確かにこれからは、平方数が出現しました。（→　参考）

なぜこんなことがたちどころに分かるんですか？なお、前漸化式から生じる数が、各自然数
ｎに対して、

　２^ｎ＝７ｘ²＋ｙ²

を満たす自然数の組(ｘ，ｙ)でのｘの値と関係していることと何か関係があるんでしょうか？

　ｎ＝３　→　２³＝７・１²＋１²
　ｎ＝４　→　２⁴＝７・１²＋３²
　ｎ＝５　→　２⁵＝７・１²＋５²
　　　・・・・・


　DD++さんからのコメントです。（平成２７年３月２６日付け）

　手品の種明かしは無粋と相場が決まってますが、これは数学なので普通に種明かし。誘
導にしてみましたので、学生に戻った気分でどうぞ。

　複素数 α＝１＋ｉ　について、

(1) 　|α|² を求めてください。

　自然数ｎに対し、αⁿ＝X[n]＋Y[n]i で整数 X[n]、Y[n] を定義するとき、

(2)　X[n]²＋７Y[n]² を求めてください。

(3)　(2)の結果を、Y[n]²＝　に変形してください。

(4)　共役な複素数との和を考えることにより、X[n] を α、α^*（*：共役）、ｎ を用いて表して
　　ください。

(5)　(4)の結果を(3)に代入し、平方を展開、整理してください。

(6)　一般項が、ｐn、ｑn、ｒn の線形和で書ける任意の数列 A[n] は、

　　　　A[n+3]-(p+q+r)A[n+2]+(pq+qr+rp)A[n+1]-pqrA[n]=0

　　なる漸化式を満たすことを確認してください。

(7)　A[n]＝Y[n]² とするとき、(5)から p、q、r に該当する数を考え、実際に漸化式を作ってく
　　ださい。また A[3] までを求めてください。

(8)　適切な f(n) を用いて、ａ_ｎ＝ {f(n)}² A[n]　と変換することにより、より簡素な平方数の出
　　現する数列にしてください。

　これでおそらく GAI さんが最初に提示されたものになると思います。

(9)　α=X[1]+Y[1]√Di を他の値にして同様の性質をもつ漸化式を自由に構成してください。

（私が作ったのは、１＋ｉ を使っています。また、普通の二次無理数でも手順をわずかに
変えればたぶんできるはずです）


　ＧＡＩ さんからのコメントです。（平成２７年３月２７日付け）

　学生になって勉強してみました。

(1)　8

(2)　8ⁿ

(3)　Y[n]² = (8ⁿ-X[n]²)/7

(4)　X[n] = (αⁿ+(α^*)²)/2

(5)　Y[n]² = (2・8ⁿ-(-6+2i)ⁿ-(-6-2i)ⁿ)/28

(6)(7) 　p = 8、q = -6+2i、r = -6-2i より、p+q+r = -4、pq+qr+rp = -32、pqr = 512

　　漸化式が　A[n+3]+4A[n+2]-32A[n+1]-512A[n] = 0

　　また、A[1]=Y[1]²=1²=1、A[2]=Y[2]²=2²=4、A[3]=Y[3]²=(-4)²=16

(8)　f(n)=1/2^n-1　即ち、A[n]=(2^n-1)²・ａ_n　と置き換えることで、

　　(2ⁿ⁺²)²・a_n+3+4(2ⁿ⁺¹)²・a_n+2-32(2ⁿ)²・ａ_n+1-512(2^n-1)²・ａ_n=0

　　(2²ⁿ⁺⁴)・a_n+3+(2²ⁿ⁺⁴)・a_n+2-(2²ⁿ⁺⁵)・ａ_n+1-(2²ⁿ⁺⁷)・ａ_n=0

　　2²ⁿ⁺⁴・(a_n+3+a_n+2-2ａ_n+1-2³ａ_n)=0

   よって、 a_n+3+a_n+2-2ａ_n+1-2³ａ_n=0

   また、a(1)=f(1)²・A[1]=(1/2⁰)²*1=1*1=1
           a(2)=f(2)²・A[2]=(1/2)²*4=1/4*4=1
           a(3)=f(3)²・A[3]=(1/4)²*16=1/16*16=1

　以上で、ばっちり　　ａ₁＝ａ₂＝ａ₃＝１　のとき、４項間の漸化式

　　　ａ_ｎ+3＝−ａ_ｎ+2＋２ａ_ｎ+1＋８ａ_ｎ

が出現できました。逆に、このことから、上記の漸化式から産み出される数は平方数Ｙ[n]²
に色づけしたf(n)²・Ｙ[n]²（当然平方数）が出現してくるという訳なんですね。

　さらに、当然、以下のデオファントス方程式の解とも大いに関係していることになるのか！

　各自然数ｎに対して、　2ⁿ=7・x²+y²　を満たす自然数の組(x，y)

お陰様ですっきりしました。



　　　以下、工事中！