证明每个正整数都有Zeckendorf表示


定理。正整数 n个有一个Zeckendorf表示数学世界行星号作为非连续的总和斐波那契数Dlmf公司数学世界行星号 F类

如果整数 n个=F类k个,其中F类x个表示斐波那契数,然后Z轴k个=1Z轴=0为所有人0<<k个,其中Z轴是二进制数字的数组k个是最多的索引有效数字

否则,我们分配j=n个-F类哪里F类是最大的斐波那契数,因此F类<n个.然后Z轴>0很明显j<F类,因为在这个关头可以安全地假设F类-2F类-1是不同的F类-2<F类-1因此F类<2F类-1.这证明了Z轴必须是1,但不能超过1。如果j是一个斐波那契数,我们现在可以停下来,否则,我们必须再次减去最大的斐波那奇数,减量相应地设置适当的Z轴=1。这个迭代过程最远的目标是=1,对应于F类1=1

此外Z轴它们之间必须有0,因为任何两个连续的1,例如at,Z轴Z轴-1表示没有认识到F类-1+F类=F类+1,因此Z轴Z轴-1可以设置为零以利于设置Z轴+1至1。(作为旁注梅森数应该被误认为是Zeckendorf代表;换句话说,没有反悔数学世界行星号Zeckendorf表示)。

标题 证明每个正整数都有Zeckendorf表示
规范名称 证明ThatEveryPositiveIntegrerHasAZeckendorf陈述
创建日期 2013-03-22 16:36:43
上次修改时间 2013-03-22 16:36:43
所有者 PrimeFan(13766)初级风扇
上次修改者 PrimeFan(13766)初级风扇
数字id 5
作者 PrimeFan(13766)初级风扇
条目类型 证明
分类 msc 11A63系列
分类 msc 11B39系列