- ベストアンサー
Z会の問題、今まで見たこともない漸化式
wloopの回答
- wloop
- ベストアンサー率76% (13/17)
#4です。#8で長々と書きました。 アドバイスでなく疑問なんですが 逆に初期値f[1]からf[n]を求めることを考えるとg(x)の逆関数、 つまりy=xに関して対称なグラフを考えて同様なことをすれば いいと思うのですが、f[n]>0で考えると、初期値f[1]が0<f[1]<2 の場合は、そのグラフからはf[2]が一意に決まらず二つの候補がでる。 つまりa[3]の候補がふたつでる。2<f[1]の場合、f[n]>0の範囲で はf[2]すら求まらない。つまりa[3]がもとまらない。 これは#3さんがいわれてる枝分かれと関係してるんでしょうか? #8の話は初期値f[1]=2以外の場合も漸化式を使って議論してるように みえるのですが、初期値f[1]=2以外で漸化式を考える意味はないよう な気がしています。
関連するQ&A
- Z会の今まで見たこともない漸化式からある不思議な関連を発見
とても不思議と僕は思っておりますので、ちょっと長くなりますが、どうかお付き合いください。 Z会の問題をヒントに、次のことを発見しました。 a[1]=1 , a[2]=4 a[n+2] - 3a[n+1] + a[n] = 0 ⇔ a[n]<a[n+1] , a[1]=1 a[n+1]^2 - 3a[n]a[n+1] + a[n]^2 = 5 という、漸化式の不思議な同値性です。 ちなみに、{a[n]}={1,4,11,29,76,199,521,…} (⇒)を示すのは比較的簡単です。見通しよくするために構成的に証明してみます。 t^2-3t+1=0の解をα,βとすると、α+β=3,αβ=1 a[n+2] - αa[n+1] = β(a[n+1] - αa[n]) よって、 a[n+1] - αa[n] = β^(n-1) (4 - α) 同様に、 a[n+1] - βa[n] = α^(n-1) (4 - β) これらをかけて、整理すると、 a[n+1]^2 - 3a[n]a[n+1] + a[n]^2 = 5 また、a[n]<a[n+1]は数学的帰納法で示すことが出来ます。 しかし、反対方向の証明がわかりません。 数列の正体は、 a[n]={(1+√5)/2}{(3+√5)/2}^(n-1) + {(1-√5)/2}{(3-√5)/2}^(n-1) なので、それを仲介して大量の計算をすれば証明できるかもしれませんが、見通しよくありません。 a[n+2] - 3a[n+1] + a[n] = 0 という漸化式の解空間は、2次元線形空間になります。つまり、二つの解の和も解だし、一つの解の実数倍も解だし、第一項と第二項が定まれば全部の項が定まるので2次元です。 a[1]=1 , a[n+1]^2 - 3a[n]a[n+1] + a[n]^2 = 5 という2項間漸化式は、 a[n]の値からa[n+1]の値を求めるとき、2つに分岐しますが、それを適当に定めることによって、3項間線形漸化式に帰着されるのはなぜでしょうか? どのような構造があるのでしょうか? http://oshiete1.goo.ne.jp/qa4936699.html で質問させていただいたことと関連して、背景が気になります。
- 締切済み
- 数学・算数
- 漸化式から非負を言いたい
a_(n+3)=5a_(n+2)+5a_(n+1)-a_n a_0=1 a_1=0 a_2=5 の漸化式から、すべてのnについて、a_n≧0を言いたいのですが、帰納法をどう使えばいいでしょか。 直接示せたりするものでしょうか。
- ベストアンサー
- 数学・算数
- 漸化式 a_n = (n+1)a_(n-1) - (n+1)a_(n-2) +1 の解き方
漸化式が解けなくて困っています. (漸化式): a_n = (n+1)a_(n-1) - (n+1)a_(n-2) +1 (条件) : a_1=1, a_2=4 この漸化式を解く方法,または,そのヒントをどなたか教えていただけないでしょうか? 出来れば,高校生が分かるレベルでの解法でお願いします. あと,係数に変数が入っている漸化式は,数学的帰納法を使えない場合,一般的にどうやって解けばいいのでしょうか? よろしくお願いします.
- 締切済み
- 数学・算数
- すごく特殊な漸化式、一見解けそうにも無いけど解けるもの
僕は、高校の数学にたずさわるものです。 長年、高校数学をやっていると、たとえば、普通の漸化式などは、見ていて飽きてきます。 そこで、アンケート的で申し訳ないですが、表題のような漸化式と、その解法を紹介していただけないでしょうか。 できるかぎり珍しいものが好みです。 僕のほうから、例を一つ。 a_(n+1)=2(a_n)^2-1 , a_1=c (ただし、-1≦c≦1) (解法) a_n=cos b_n とおくと、 cos b_(n+1)=2(cos b_n)^2-1=cos 2b_n (2倍角より) よって、 a_n=cos b_n =cos 2b_(n-1) =……=cos {b_1*2^(n-1)} ただし、cos b_1=cよりb_1=arccos c ただ、初項を区間(1,∞)に変化させればどうなるとか、漸化式の係数を変化させればどうなるかとかは、わかりませんので、それについてもアイデアがありましたら、教えていただきたいです。
- ベストアンサー
- 数学・算数
- 漸化式を解く問題なのですが。
この漸化式、nに具体的に数値をいれていくと簡単に法則性が見つかって、数学的帰納法で一般項は出るのですが。 式変形をして等比数列の形に持って行って解くなどの解き方はありませんかね? 言い換えると 具体的に数値代入→規則性発見→帰納法で証明 以外の一般項の導き方はありませんか?
- ベストアンサー
- 数学・算数
お礼
まことに恐縮です。じっくり拝読いたしました。 >いいと思うのですが、f[n]>0で考えると、初期値f[1]が0<f[1]<2 の場合は、そのグラフからはf[2]が一意に決まらず二つの候補がでる。 つまりa[3]の候補がふたつでる。 ここでは、元の問題の条件、 a[n]>0 a[1]=1 a[2]=2 をはずして考えます。 y=g(x):=x・(5・x+4)/(x^3+6) のグラフを、xが負の範囲も含めて考えると、初期値f[1]=a[2]/a[1]が決まったとき、 f[1]=x・(5・x+4)/(x^3+6) の解xがf[2]になりますが、解の個数の可能性はグラフから、1個or2個or3個になります。 つまりa[3]の候補も、1個or2個or3個になります。 そういった枝分かれをしていくと思います。 しかし、f[n]からf[n-1],…,f[1]が一意的に定まるということは、 それらの枝分かれはすべて異なっていると思います。 枝分かれということで思い浮かぶのは、ピタゴラス数です。 http://mathworld.wolfram.com/PythagoreanTriple.html 枝分かれを含めて考えたほうが面白いかもしれません。