No.3ベストアンサー
- 回答日時:
実際に計算してないでしょう?
計算してれば,αだけとかそういうことは思わないと思うが.
α,βの入力がつらいので,それぞれa,bとする.
F_n=F_{n-1}+F_{n}
F_n = (a+b)F_{n-1} - abF_{n}
これを変形すると
F_n - aF_{n-1}=b(F_{n-1} - aF_{n})・・・(1)
F_n - bF_{n-1}=a(F_{n-1} - bF_{n})・・・(2)
(1)より{F_n - aF_{n-1}}は初項F_2-aF_1,公比bの等比数列
(2)より{F_n - bF_{n-1}}は初項F_2-bF_1,公比aの等比数列
つまり
F_{n+1} - aF_{n} = (F_2 - aF_1)b^{n-1}
F_{n+1} - bF_{n} = (F_2 - bF_1)a^{n-1}
辺々ひいて
(b-a)F_{n} = (F_2 - aF_1)b^{n-1} - (F_2 - bF_1)a^{n-1}
あとはF_2=1,F_1=0といういつもの初期条件だったら
(b-a)F_{n} = b^{n-1} - a^{n-1}
nかn-1かという部分があるけど
これは,問題の初期設定(0項から始まるか1項からか)とかで
微妙に変化する.ここでは1項から始まることにする
#一応いっておくと wikipadiaでは0項から始まることにしてるから
#aとbの指数がnになっている
つまり,F_{n+1}とF_{n}に関する連立方程式をとく必要があるから
必然的に両方の解を使う必要があるということ.
となると疑問なのは
三項間漸化式で特性方程式が重解をもつようなものは
どうなるのか?
つまり
F_{n} -4 F_{n-1} + 4F_{n-2} = 0
というようなもの.
これも実際に計算すればいい
F_{n} - 2 F_{n-1} = 2 (F_{n-1} - 2F_{n-2})
だから
F_{n+1} - 2 F_{n} = 2^{n-1} (F_2-2F_1)
このタイプの漸化式は実は両辺を2^{n+1}で割れば解けるので
それでOK.もっと書けば
F_{n+1}/2^{n+1} - F_{n}/2^n = (F_2-2F_1)/4
となるので
数列{F_{n}/2^n}は等差数列となるということ
ここで,F_{n}の係数と公比が同じ(今は「2」)(つまり特性方程式が重解)というのが
効いているのがわかる?
この場合,重解だからうまく等差にもっていけるわけ.
==============
線型性とかに話をもっていくならば
まず数列全体がなす空間はベクトル空間であって
線型な漸化式は
そのベクトル空間で一次連立方程式を作ることになる.
三項間漸化式の場合・・・余次元が2の方程式で
その解空間の次元が2になるということです
#ここの部分の証明はきっと地道にやればできると思うが
#無限次元があいてだから難しいかもしれない
#漸化式が一次連立方程式をなすというのがポイントだと思う.
その解空間の基底として
{a^{n-1}},{b^{n-1}}が選べる
実際
a^2=a+1なんだから
n=,2,3,4...に対して
a^n = a^{n-2} a^2
= a^{n-2} (a+1)
= a^{n-1} + a^{n-2}
なんで,{a^{n-1}}は漸化式を満たし,bについても同様.
したがってその解空間の元は係数p,qを用いて
{pa^{n-1}+b^{n-1}}
となる.
内容は完全に大学生のものですな.
線型n階微分方程式の解空間の議論と似ている.
No.2
- 回答日時:
>解が二個出たときにはそういう風に代入するのでしょうか?
必ずしもそうとは限りません。
F_n=F_(n-1)+F_(n-2) の場合、線型性、つまり、
「A_n、B_nが条件を満たすなら、A_n+B_nも条件を満たす。」
「A_nが条件を満たすなら、任意の定数pに対し、pA_nも条件を満たす。」
があるからそういうことが可能です。
線型性の証明はそんなに難しくはないでしょう。
線型性がなければ、2つの解を足したり引いたり定数倍したり、なんてことはできません。
なるほど。 なぜ可能なのかはわかったのですが、例えば、αはr^n=r^(n-1)+r^(n-2)を満たすので、αだけ代入というわけにはなぜ行かないのですか?
No.1
- 回答日時:
F_n=F_(n-1)+F_(n-2)
を満たすだけなら、
F_n=pα^n+qβ^n
でも成り立ちます。
これに、初項F_0=0、F_1=0の条件を加えると、
F_0=p+q=0、F_1=pα+qβ=1 より、
p=1/(α-β)、q=-1/(α-β)
なので、
F_n=(α^n-β^n)/(α-β)
α,βは解と係数の関係より、
αβ=-1、α+β=1 ですから、
(α-β)^2=(α+β)^2-4αβ=1+4=5
α>β とすれば、α-β=√5 となります。
>F_n=F_(n-1)+F_(n-2)
を満たすだけなら、
F_n=pα^n+qβ^n
でも成り立ちます
ここがよくわからないんですよね
解が二個出たときにはそういう風に代入するのでしょうか? 多分特性方程式?というものがわかってないとおもうのですか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 数B の問題です。分かりません。解説お願いします! 1 2023/07/11 19:30
- 数学 階差数列型の漸化式についての質問です。 ある問を階差数列型の漸化式に当てはめると、1+2(n-1Σk 2 2023/03/01 09:01
- 数学 数列「1番の問題です。」 一般項は「1+2+3…k=1/2k(k+1)」 と書いてあったのですが、ど 2 2023/05/04 14:51
- Visual Basic(VBA) VBAで、1つのエクセルで、2つのシートからもう1つのシートに条件のある転記コードを教えてください。 1 2023/03/16 18:07
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 数学の問題の解き方を教えてください! 3 2022/11/02 17:32
- 数学 二項定理について質問です。 下の画像は、大門57-(2)の問題で、(x^3 – 1/x^2)^10 5 2023/01/08 00:28
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- Visual Basic(VBA) ExcelのVBAでをA列に第0〜19項のフィボナッチ数列を代入するプログラムを作りたいです。 どな 2 2022/11/10 10:26
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
確率の問題 数学と実生活と
-
「an=(n-1)/(n+1)のときlim[n→∞...
-
微分とは何か(2)
-
整数問題 兎に角 難問です 千葉...
-
BINGが間違えた、とっても簡単...
-
これの極限値を求める問題で、 ...
-
こちらの式はtan(z)のローラン...
-
30分の動画を2倍速で見たら、3...
-
分子生物
-
指数関数と階乗。グラフで表し...
-
iphone の自分の声が高すぎるん...
-
返信の続きはありますか
-
数学Aについて、4でも6でも割り...
-
△ABCの辺BCの延長上の点Dを通る...
-
連続的ポストごめんなさい
-
2024.4.7 03:42の質問に対する2...
-
逆三角関数の方程式の問題です...
-
ベクトル3重積
-
方程式の計算について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
整数問題 兎に角 難問です 千葉...
-
えこれわかるひといますか?
-
長方形の分類(幾何学)
-
京都大学理系 過去問 整数問題
-
天孫降臨の神武天皇のY染色体...
-
中学数学の図形の問題です。
-
数学I アホらしい質問なのでそ...
-
正方行列Aについて
-
このルートを外す計算どうすれ...
-
素数についての一考察
-
これて最後どうやりますか??
-
この数学の問題はどうやって解...
-
高校数学の整数問題です。
-
暗闇で2人が出会うには両方動...
-
なんでですか?
-
大学入試の数学で、解答を進め...
-
n^2+n-4032はどうやって解くん...
-
(-1) ^2πってなんで1じゃないん...
-
標準偏差
-
一橋大学過去問 整数 素数 かな...
おすすめ情報