利用者:あるうぃんす/翻訳:Zeckendorf's theorem
![]() |
ここはあるうぃんすさんの利用者サンドボックスです。編集を試したり下書きを置いておいたりするための場所であり、百科事典の記事ではありません。ただし、公開の場ですので、許諾されていない文章の転載はご遠慮ください。
登録利用者は自分用の利用者サンドボックスを作成できます(サンドボックスを作成する、解説)。 その他のサンドボックス: 共用サンドボックス | モジュールサンドボックス 記事がある程度できあがったら、編集方針を確認して、新規ページを作成しましょう。 |
翻訳は完了し, ゼッケンドルフの定理 で立項しました.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7b/Zeckendorf_representations.svg/320px-Zeckendorf_representations.svg.png)
ゼッケンドルフの定理は整数のフィボナッチ数の和としての表現に関する定理である。名前はベルギーの数学者、Edouard Zeckendorf に由来する。
ゼッケンドルフの定理は、任意の正の整数が、連続するフィボナッチ数を含まないような形で、相異なる1つ以上のフィボナッチ数の和として一意に表現できるというものである。より厳密には、N を任意の正の整数とすれば、ci + 1 > ci + 1 を満たす正の整数 ci ≥ 2 が存在して、
(ただし Fn は n 番目のフィボナッチ数)というものである。このような和は N の ゼッケンドルフの表現 と呼ばれる。
例えば、100 のゼッケンドルフの表現は
- 100 = 89 + 8 + 3
となる。100 をフィボナッチ数の和として表す方法は他にも
- 100 = 89 + 8 + 2 + 1
- 100 = 55 + 34 + 8 + 3
のように存在するが、これらはそれぞれ 1 と 2, 34 と 55 が連続するフィボナッチ数であるため、ゼッケンドルフ表現ではない。
任意の正の整数に対して、ゼッケンドルフの定理の条件を満たす表現は、各段階で可能な最大のフィボナッチ数を選ぶ貪欲法によって得ることができる。
証明
[編集][要出典] ゼッケンドルフの定理はふたつの部分に分けられる。
- 存在: 任意の正の整数 n に対してゼッケンドルフの表現が存在する。
- 一意性: どの正の整数 n も、相異なるふたつのゼッケンドルフの表現を持たない。
最初の部分(存在)は数学的帰納法によって示すことができる。n = 1, 2, 3 については(これらはフィボナッチ数だから)明らかに真であり、n = 4 に対しては 4 = 3 + 1 が当てはまる。さて、すべての n ≤ k に対してゼッケンドルフの表現が存在すると仮定する。k + 1 がフィボナッチ数ならばそれがゼッケンドルフの表現となり、そうでない場合には Fj < k + 1 < Fj + 1 となるような j が存在することになる。後者の場合に、 a = k + 1 − Fj を考えると、a ≤ k であるから、 a は帰納法の仮定により、ゼッケンドルフの表現を持つ。さらに、Fj + a < Fj + 1 でありまた Fj + 1 = Fj + Fj − 1 (フィボナッチ数の定義から)だから、a < Fj − 1 となって a のゼッケンドルフ表現は Fj − 1 を含まないことがいえる。よって、k + 1 は Fj と a のゼッケンドルフの表現の和として表すことができる。
後半(一意性)を示すには次の補題が必要となる。
- 補題: 最大の要素が Fj であるような、連続せず互いに異なったフィボナッチ数の任意の空でない集合について、その和は Fj + 1 より(実際に)小さい。
この補題は j についての帰納法で証明することができる。
さて、和の等しい、互いに異なった連続しないフィボナッチ数の空でない集合 S と T を考える。ここで集合 S′ と T′ を考える。これはそれぞれ S と T から共通する要素を取り除いたものである(つまり、S′ = S\T, T′ = T\S である)。S と T の和は等しく、それぞれの集合から S T を取り除いたものであることから、S′ の和と T′ の和もまた等しい。
ここから背理法によって S′ と T′ の一方は空であることを示す。S′ と T′ がいずれも空でないと仮定し、S′ の最大の要素を Fs, T′ の最大の要素を Ft とする。S′ と T′ には共通する要素はないから、Fs ≠ Ft である。ここで Fs < Ft としても一般性を失わない。このとき補題から、S′ の総和は Fs + 1 より小さく、従って Ft よりも小さいが、T′ の和は明らかに Ft 以上である。これは S′ と T′ の総和が等しいことと矛盾しており、従って S′ か T′ の少なくとも一方は空であるといえる。
このとき S′ が空であるとしても一般性を失わない。すると S′ の和は 0 であり、このため T′ の和も同様に 0 であるはずである。T′ の要素は正の整数のみであるから、これを満たすためには T′ は空集合でなければならない。従って S′ = T′ =, すなわち S = T であって、ゼッケンドルフの表現の一意性が示された。
フィボナッチ積
[編集]自然数 a, b に対して次のような演算 を定義することができる。ゼッケンドルフの表現 と に対して、フィボナッチ積
例えば、2 のゼッケンドルフの表現は F3, 4 に対するそれは F4 + F2 (F1 は用いない) であるから、 となる。
和の順序を入れ替えることでこれが可換であることは示すことができるが、ドナルド・クヌースはさらに、この演算が結合的でもあるということを証明した。
負数番のフィボナッチ数を用いた表現
[編集]フィボナッチ数列は、漸化式を書き換えて
とし、これをすべての整数について適用することで負数番 n にも拡張することができ、次の性質を満たす。
任意の整数は、連続したフィボナッチ数を使わない形で負数番のフィボナッチ数の和として一意に表すことができる[1]。例えば
- −11 = F−4 + F−6 = (−3) + (−8)
- 12 = F−2 + F−7 = (−1) + 13
- 24 = F−1 + F−4 + F−6 + F−9 = 1 + (−3) + (−8) + 34
- −43 = F−2 + F−7 + F−10 = (−1) + 13 + (−55)
- 0 は空集合に対する和として表される。
たとえば 0 = F−1 + F−2 であるから、この表現の一意性は連続するフィボナッチ数を用いないという条件に依存している。
この表現によって、ゼッケンドルフの表現と同様に整数を符号化することが可能である(en:NegaFibonacci_coding)。整数 x を表す文字列においては、n 番目の桁は Fn が x を表す和に現れるなら 1, そうでないなら 0 となる。例えば 24 = F−1 + F−4 + F−6 + F−9 であるから 24 は 9, 6, 4, 1 桁目に 1 を置いて 100101001 によって表現できる。整数 x が奇数桁でこのように表されることと、x > 0 であることは同値である。
関連項目
[編集]参考文献
[編集]- ^ 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>
- Knuth, Donald E. (1988). “Fibonacci multiplication”. Applied Mathematics Letters 1 (1): 57–60. doi:10.1016/0893-9659(88)90176-0. ISSN 0893-9659. Zbl 0633.10011.
- Zeckendorf, E. (1972). “Représentation des nombres naturels par une somme de nombres de Fibonacci ou de nombres de Lucas” (仏語). Bull. Soc. R. Sci. Liège 41: 179-182. ISSN 0037-9565. Zbl 0252.10011.
外部リンク
[編集]- Weisstein, Eric W. "Zeckendorf's Theorem". mathworld.wolfram.com (英語).
- Weisstein, Eric W. "Zeckendorf Representation". mathworld.wolfram.com (英語).
- cut-the-knot での Zeckendorf's theorem
- G.M. Phillips (2001), “Zeckendorf representation”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Sloane, N.J.A. (ed.). "Sequence A101330 (Knuth's Fibonacci (or circle) product)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
{{cite web}}
: Cite webテンプレートでは|access-date=
引数が必須です。 (説明)
この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目proof that the Zeckendorf representation of a positive integer is uniqueの本文を含む