码迷,mamicode.com
首页 > 其他好文 > 详细

SICP 1.13

时间:2014-07-22 00:13:33      阅读:195      评论:0      收藏:0      [点我收藏+]

标签:style   http   os   2014   c   line   

解:

中文

bubuko.com,布布扣

原版

bubuko.com,布布扣

麻蛋的垃圾中文翻译,艹


先证明提示中的:

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)的整数。

SICP 1.13,布布扣,bubuko.com

SICP 1.13

标签:style   http   os   2014   c   line   

原文地址:http://my.oschina.net/u/1445655/blog/293636

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!