SICP 問題1.13

2017-08-15

1.2.2 木構造再帰 - 計算機プログラムの構造と解釈 第二版

φ=(1+√5)/2 として Fib(n) が φ^n/√5 に最も近い整数であることを証明せよ.
ヒント: ψ=(1-√5)/2 とする.
帰納法とFibonacci数の定義(1.2.2節参照)を用い, Fib(n)=(φ^n-ψ^n)/√5 を証明せよ.

まず帰納法が思い出せないので調べる。

数学的帰納法 - Wikipedia

なるほど。

正直全然わからないのでパスしよう。
また今度気が向いたら考え直す。