320px|thumb|正の整数の最初 160 個（X軸上) をゼッケンドルフの表現で表したもの。長方形それぞれの色がフィボナッチ数列での番号、高さが値に対応している。 数学におけるゼッケンドルフの定理とは、任意の正の整数は、1つ以上の、番号が連続しないフィボナッチ数の和として一意に表せるという定理である。名前はベルギーの数学者、Edouard Zeckendorf に由来する。より厳密には、

というものである。このような和は のゼッケンドルフの表現と呼ばれる。

例えば、100 のゼッケンドルフの表現は

となる。100 をフィボナッチ数の和として表す方法は他にも

のように存在するが、これらはそれぞれ 1 と 2, 34 と 55 が連続するフィボナッチ数であるため、ゼッケンドルフ表現ではない。

与えられた任意の正の整数のゼッケンドルフ表現は、その数を超えない最大のフィボナッチ数を取っていく貪欲法によって得られる。

証明 ゼッケンドルフの定理は2つの部分に分けられる。 存在：任意の正の整数 n に対してゼッケンドルフの表現が存在する。 一意性：どの正の整数 n も、相異なる2つのゼッケンドルフの表現を持たない。

存在 最初の部分（存在）は数学的帰納法によって示すことができる。 については（これらはフィボナッチ数だから）明らかに真であり、 に対しては が当てはまる。さて、すべての に対してゼッケンドルフの表現が存在すると仮定する。 がフィボナッチ数ならばそれがゼッケンドルフの表現となり、そうでない場合には となる が存在することになる。後者の場合に、 を考えると、 であるから、 は帰納法の仮定により、ゼッケンドルフの表現を持つ。さらに、 でありまた （フィボナッチ数の定義から）だから、 となって のゼッケンドルフ表現は を含まないことがいえる。よって、 は と のゼッケンドルフの表現の和として表すことができる。 一意性 後半（一意性）を示すには次の補題が必要となる。

この補題は についての帰納法で証明することができる。

さて、和の等しい、互いに異なった連続しないフィボナッチ数の空でない集合 と を考える。ここで集合 と を考える。これはそれぞれ と から共通する要素を取り除いたものである（つまり、, である）。 と の和は等しく、それぞれの集合から を取り除いたものであることから、 の和と の和もまた等しい。

ここから背理法によって と の一方は空であることを示す。 と がいずれも空でないと仮定し、 の最大の要素を の最大の要素を とする。 と には共通する要素はないから、 である。ここで としても一般性を失わない。このとき補題から、 の総和は より小さく、従って よりも小さいが、 の和は明らかに 以上である。これは と の総和が等しいことと矛盾しており、従って か の少なくとも一方は空であるといえる。

このとき が空であるとしても一般性を失わない。すると の和は 0 であり、このため の和も同様に 0 であるはずである。 の要素は正の整数のみであるから、これを満たすためには は空集合でなければならない。従って , すなわち であって、ゼッケンドルフの表現の一意性が示された。

フィボナッチ積 自然数 に対して次の演算 を定義することができる。ゼッケンドルフの表現 と に対して、フィボナッチ積

例えば、2 のゼッケンドルフの表現は , 4 に対するそれは ( は用いない) であるから、 となる。

和の順序を入れ替えることでこれが可換であることは示すことができるが、ドナルド・クヌースはさらに、この演算が結合的でもあるということを証明した。

負数番のフィボナッチ数を用いた表現 フィボナッチ数列は、漸化式を書き換えて

とし、これをすべての整数について適用することで負数番  にも拡張することができ、次の性質を満たす。

任意の整数は、連続したフィボナッチ数を使わない形で負数番のフィボナッチ数の和として一意に表すことができるKnuth, Donald. "Negafibonacci Numbers and the Hyperbolic Plane" Paper presented at the annual meeting of the Mathematical Association of America, The Fairmont Hotel, San Jose, CA. 2008-12-11 <http://www.allacademic.com/meta/p206842_index.html>。例えば

0 は空集合に対する和として表される。

たとえば であるから、この表現の一意性は連続するフィボナッチ数を用いないという条件に依存している。

この表現によって、ゼッケンドルフの表現と同様に整数を符号化することが可能である 。整数 を表す文字列においては、 番目の桁は が を表す和に現れるなら 1, そうでないなら 0 となる。例えば であるから 24 は 9, 6, 4, 1 桁目に 1 を置いて 100101001 によって表現できる。整数 が奇数桁でこのように表されることと、 であることは同値である。

関連項目 ワイソフのゲーム（2山の片方からまたは、両方から同数ずつ取る石取りゲーム）の後手必勝形は、次のようにゼッケンドルフ表示できるWythoff_setumei.pdf 数学パズル・ゲームの広場： （ は連続しない自然数）

脚注

参考文献

関連項目

外部リンク

cut-the-knot での Zeckendorf's theorem