行列のべき乗とフィボナッチ数列
http://tessy.org/wiki/index.php?%B9%D4%CE%F3%A4%CE%A4%D9%A4%AD%BE%E8%A4%C8%A5%D5%A5%A3%A5%DC%A5%CA%A5%C3%A5%C1%BF%F4%CE%F3
ツイート
[
トップ
] [
編集
|
凍結
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
最新の20件
2021-01-04
電源アダプタ
2020-10-22
お試しかっ!帰れま10で食べる皿の期待値
2020-09-03
池井戸潤原作のドラマ
2020-09-01
Raspberry Pi 3
2020-08-26
OpenCVの環境変数
2020-08-21
Arm
Rock Pi 4C
2020-08-14
ODROID-N2+
2020-06-12
ODROID-C4
2020-05-31
Raspberry Pi 4
2020-04-13
ODROID-N2
2019-10-04
BeagleBone AI
2019-07-30
Jetson Nano
Jetson TX1
2019-07-29
Jetson TX2
2019-07-13
ODROID-X2
2019-07-08
Tinker Board
ODROID-XU4
Le Potato
DragonBoard410c
数学ガール第4巻『数学ガール/乱択アルゴリズム』と数学ガール1巻の「フィボナッチ数の一般項」を読んでいて,フィボナッチ数列を行列のべき乗で求められるんじゃ無いかと思って試してみた
前提
†
フィボナッチ数
の定義
↑
行列
†
行列
なる行列がある
この行列のべき乗
となっている(詳しくは数学ガール4巻『数学ガール/乱択アルゴリズム』を参照)
,
,
,
,
という具合に,各行列のべき乗の左下と右上の要素がフィボナッチ数になっている
↑
問題
†
行列
のべき乗
からフィボナッチ数列の一般項を導出せよ
↑
対角化
†
と分解する
*1
ケーリー・ハミルトンの定理より,
ここで
とする
となるベクトル
を考える
のとき
より
のとき
より
これで行列
の固有値
と固有ベクトルがもとまった.よって
として,以下のように表せる
真ん中の
が対角化(=斜めの成分以外が全部0に)できた
↑
べき乗
†
を考える
と
が打ち消しあってくれるため
展開する
2列目(右側)がごちゃごちゃしてるので,もう少し整理する
(
で括った)
より
↑
恒等式
†
最初,行列
のべき乗
から始めて,
にたどり着いた
両方を比較すると,
次式が導かれる
今,
としたので,
↑
感想
†
4巻面白かった
きっかけは4巻と間違えた1巻を手にとってしまったこと
1巻ではフィボナッチ数列の一般項の話が出てくる
4巻でフィボナッチ数列を表す行列が出てきたとき,「あれ?」と思って挑戦してみた
テトラちゃんじゃないけれど,「例示は理解の試金石」で試しに行列の対角化に挑戦したが,高校で習ったこと全然覚えてなくて愕然・・・
行列の対角化は高校で習ったので,この行列を見たら,高校生の時にフィボナッチ数列の一般項を求められたことになる
数学って奥が深い・・・
やっぱり,数学ガールは読んで面白いけれど,自分で手を動かすとなおのこと面白い
特に,4巻はオーダ記法とかクーポン収集問題
*2
とか,扱ってる範囲が自分的にツボな所だけれで,本当に面白かった
ちゃんと導出できてよかった
:数学
*1
対角化の細かい原理は学ガール4巻『数学ガール/乱択アルゴリズム』を参照
*2
連チャン回数の期待値
や
お試しかっ!帰れま10で食べる皿の期待値
はクーポン収集問題の変形した問題
Last-modified: 2011-03-23 (水) 09:16:36 (3595d)
Link:
お試しかっ!帰れま10で食べる皿の期待値
(94d)
CodeIQ/マヨイドーロ問題
(1864d)
連チャン回数の期待値
(3994d)