SICP 1.13

標籤：style   http   os   2014   c   line   

解：

中文

原版

麻蛋的垃圾中文翻譯，艸

先證明提示中的：

Fib(0)成立，Fib(1)成立，Fib(2)成立，假設Fib(n)成立，則（那兩個拉丁字母用x y分別代替）：

x=(1+sqrt(5))/2, y=(1-sqrt(5))/2

Fib(n+1)=Fib(n)+Fib(n-1)=...=((x+1)*pow(x,n-1)-(y+1)*pow(y,n-1))/sqrt(5)

因為x+1=pow(x,2), y+1=pow(y,2)

所以Fib(n+1)=(pow(x,n+1)-pow(y,n+1))/sqrt(5)

所以有Fib(n)=(pow(x,n)-pow(y,n))/sqrt(5)成立

再證明題目中的：

Fib(n)-pow(x,n)/sqrt(5)=(pow(x,n)-pow(y,n))/sqrt(5)-pow(x,n)/sqrt(5)=-pow(y,n)/sqrt(5)

當n為奇數時，Fib(n)>pow(x,n)/sqrt(5)，於是

(pow(x,n)/sqrt(5)-(Fib(n)-1)) - (Fib(n)-pow(x,n)/sqrt(5)) >0

同理，當n為偶數時，Fib(n)<pow(x,n)/sqrt(5)，於是

((Fib(n)+1)-pow(x,n)/sqrt(5)) - (pow(x,n)/sqrt(5)-Fib(n)) > 0

所以Fib(n)是最接近pow(x,n)/sqrt(5)的整數。