Фибоначчиева система счисления: различия между версиями
w>Robiteria м (Разрешение значений с помощью бота: Ассоциативность — изменение ссылок на Ассоциативность (математика)) |
w>DmitTrix (оформление, викификация) |
||
Строка 1: | Строка 1: | ||
− | '''[[Фибоначчи]]ева система счисления''' | + | '''[[Фибоначчи]]ева система счисления''' — [[смешанная система счисления]] для [[целое число|целых чисел]] на основе [[числа Фибоначчи|чисел Фибоначчи]] F<sub>2</sub>=1, F<sub>3</sub>=2, F<sub>4</sub>=3, F<sub>5</sub>=5, F<sub>6</sub>=8 и т. д. |
{| align=right class=standard style="margin-left: 20px" | {| align=right class=standard style="margin-left: 20px" | ||
| colspan=3 |[[Файл:Zeckendorf representations.png|320px]] | | colspan=3 |[[Файл:Zeckendorf representations.png|320px]] | ||
|- | |- | ||
!Число | !Число | ||
− | !Запись<br />в ФСС | + | !Запись<br />в {{comment|ФСС|Фибоначчиева система счисления}} |
![[#В теории информации|Код<br />Фибоначчи]] | ![[#В теории информации|Код<br />Фибоначчи]] | ||
|- | |- | ||
Строка 45: | Строка 45: | ||
| colspan=3 align=center |… | | colspan=3 align=center |… | ||
|- | |- | ||
− | |F<sub>n</sub> | + | |F<sub>n</sub> − 1 |
|<tt> 101010</tt>… | |<tt> 101010</tt>… | ||
| align=right |…<tt>010101<font color=#B20080>1</font> </tt> | | align=right |…<tt>010101<font color=#B20080>1</font> </tt> | ||
Строка 53: | Строка 53: | ||
| align=right |<tt>00</tt>……<tt>01<font color=#B20080>1</font></tt> | | align=right |<tt>00</tt>……<tt>01<font color=#B20080>1</font></tt> | ||
|- | |- | ||
− | |F<sub>n</sub>+1 | + | |F<sub>n</sub> + 1 |
|<tt>10</tt>……<tt>01</tt> | |<tt>10</tt>……<tt>01</tt> | ||
| align=right |<tt>10</tt>……<tt>01<font color=#B20080>1</font></tt> | | align=right |<tt>10</tt>……<tt>01<font color=#B20080>1</font></tt> | ||
Строка 63: | Строка 63: | ||
=== Обоснование === | === Обоснование === | ||
− | В основе лежит ''теорема [[Цекендорф, Эдуард|Цекендорфа]]''<ref>[http://www.goldenmuseum.com/1601Mathematics_rus.html Эдуард Цекендорф]</ref> | + | В основе лежит ''теорема [[Цекендорф, Эдуард|Цекендорфа]]''<ref>[http://www.goldenmuseum.com/1601Mathematics_rus.html Эдуард Цекендорф]</ref> — любое неотрицательное целое число единственным образом представимо в виде суммы некоторого набора чисел Фибоначчи с индексами больше единицы, не содержащего пар соседних чисел Фибоначчи. |
Доказательство существования легко провести [[математическая индукция|по индукции]]. Любое целое число <math>a\ge 1</math> попадёт в промежуток между двумя соседними числами Фибоначчи, то есть для некоторого <math>n\ge 2</math> верно неравенство: <math>F_n \le a < F_{n+1}</math>. Таким образом, <math>a = F_n + a'</math>, где <math>a'=a-F_n\ <\ F_{n-1}</math>, так что разложение числа <math>a'</math> уже не будет содержать слагаемого <math>F_{n-1}</math>. | Доказательство существования легко провести [[математическая индукция|по индукции]]. Любое целое число <math>a\ge 1</math> попадёт в промежуток между двумя соседними числами Фибоначчи, то есть для некоторого <math>n\ge 2</math> верно неравенство: <math>F_n \le a < F_{n+1}</math>. Таким образом, <math>a = F_n + a'</math>, где <math>a'=a-F_n\ <\ F_{n-1}</math>, так что разложение числа <math>a'</math> уже не будет содержать слагаемого <math>F_{n-1}</math>. | ||
=== Использование === | === Использование === | ||
+ | |||
==== Юпана ==== | ==== Юпана ==== | ||
[[Файл:Yupana 1.GIF|thumb|Юпана]] | [[Файл:Yupana 1.GIF|thumb|Юпана]] | ||
Строка 73: | Строка 74: | ||
==== В теории информации ==== | ==== В теории информации ==== | ||
− | На основе фибоначчиевой системы счисления строится ''код (кодирование) Фибоначчи'' | + | На основе фибоначчиевой системы счисления строится ''код (кодирование) Фибоначчи'' — [[универсальный код]] для натуральных чисел (1,{{nbsp|1}}2,{{nbsp|1}}3…), использующий последовательности [[бит]]ов. Поскольку комбинация{{nbsp|1}}<tt>11</tt> запрещена в фибоначчиевой системе счисления, её можно использовать как маркер конца записи. |
− | Для составления кода Фибоначчи по записи числа в фибоначчиевой системе счисления следует переписать цифры в обратном порядке (так, что старшая единица оказывается последним символом) и приписать в конце ещё раз <tt>1</tt> (см. таблицу). То есть, кодовая последовательность имеет вид: | + | |
+ | Для составления кода Фибоначчи по записи числа в фибоначчиевой системе счисления следует переписать цифры в обратном порядке (так, что старшая единица оказывается последним символом) и приписать в конце ещё раз{{nbsp|1}}<tt>1</tt> (см. таблицу). То есть, кодовая последовательность имеет вид: | ||
: ε<sub>2</sub>ε<sub>3</sub>…ε<sub>''n''</sub><font color=#B20080>1</font>, | : ε<sub>2</sub>ε<sub>3</sub>…ε<sub>''n''</sub><font color=#B20080>1</font>, | ||
− | где ''n'' | + | где ''n'' — номер самого старшего разряда с единицей. |
=== Арифметика === | === Арифметика === | ||
Строка 82: | Строка 84: | ||
В фибоначчиевой системе счисления дело обстоит сложнее: | В фибоначчиевой системе счисления дело обстоит сложнее: | ||
− | * Во-первых, вес старших разрядов не является кратным весу разряда, из которого требуется перенос. При сложении двух единиц в одном разряде требуется перенос не только влево, но и вправо: <span style="background-color: rgb(102,255,51)">0<font color=red>2</font>00</span> = <span style="background-color: rgb(102,255,51)">1001</span>. При переносе в отсутствующие разряды ε<sub>1</sub> и ε<sub>0</sub> следует помнить, что F<sub>1</sub>=1=F<sub>2</sub> и F<sub>0</sub>=0. | + | * Во-первых, вес старших разрядов не является кратным весу разряда, из которого требуется перенос. При сложении двух единиц в одном разряде требуется перенос не только влево, но и вправо: <span style="background-color: rgb(102,255,51)">0<font color=red>2</font>00</span> = <span style="background-color: rgb(102,255,51)">1001</span>. При переносе в отсутствующие разряды ε<sub>1</sub> и ε<sub>0</sub> следует помнить, что F<sub>1</sub>=1=F<sub>2</sub> и F<sub>0</sub>=0. |
* Во-вторых, требуется избавляться от соседних единиц: <span style="background-color: rgb(102,255,51)">0<font color=red>11</font></span> = <span style="background-color: rgb(102,255,51)">100</span>. Правило для раскрытия двоек является следствием этого равенства: <span style="background-color: rgb(102,255,51)">0<font color=red>2</font>00</span> = <span style="background-color: rgb(102,255,51)">0100</span> + <span style="background-color: rgb(102,255,51)">00<font color=red>11</font></span> = <span style="background-color: rgb(102,255,51)">0<font color=red>11</font>1</span> = <span style="background-color: rgb(102,255,51)">1001</span>. | * Во-вторых, требуется избавляться от соседних единиц: <span style="background-color: rgb(102,255,51)">0<font color=red>11</font></span> = <span style="background-color: rgb(102,255,51)">100</span>. Правило для раскрытия двоек является следствием этого равенства: <span style="background-color: rgb(102,255,51)">0<font color=red>2</font>00</span> = <span style="background-color: rgb(102,255,51)">0100</span> + <span style="background-color: rgb(102,255,51)">00<font color=red>11</font></span> = <span style="background-color: rgb(102,255,51)">0<font color=red>11</font>1</span> = <span style="background-color: rgb(102,255,51)">1001</span>. | ||
− | |||
{{заготовка раздела}} | {{заготовка раздела}} | ||
Строка 92: | Строка 93: | ||
|- | |- | ||
! Число | ! Число | ||
− | ! Представление<br />через | + | ! Представление<br />через степени{{nbsp|1}}<math>\varphi</math> |
|- | |- | ||
− | | | + | | 1 |
− | |<tt> 1 | + | |<tt> 1</tt> |
|- | |- | ||
− | | | + | | 2 |
|<tt> 10,01</tt> | |<tt> 10,01</tt> | ||
|- | |- | ||
− | | | + | | 3 |
|<tt> 100,01</tt> | |<tt> 100,01</tt> | ||
|- | |- | ||
− | | | + | | 4 |
|<tt> 101,01</tt> | |<tt> 101,01</tt> | ||
|- | |- | ||
− | | | + | | 5 |
|<tt> 1000,1001</tt> | |<tt> 1000,1001</tt> | ||
|- | |- | ||
− | | | + | | 6 |
|<tt> 1010,0001</tt> | |<tt> 1010,0001</tt> | ||
|- | |- | ||
− | | | + | | 7 |
|<tt> 10000,0001</tt> | |<tt> 10000,0001</tt> | ||
|- | |- | ||
− | | | + | | 8 |
|<tt> 10001,0001</tt> | |<tt> 10001,0001</tt> | ||
|- | |- | ||
− | | | + | | 9 |
|<tt> 10010,0101</tt> | |<tt> 10010,0101</tt> | ||
|- | |- | ||
Строка 139: | Строка 140: | ||
Похожее устройство имеет [[позиционная система счисления]] с [[иррациональное число|иррациональным]] основанием, равным [[золотое сечение|золотому сечению]] <math>\varphi = (1 + \sqrt{5})/2</math>. | Похожее устройство имеет [[позиционная система счисления]] с [[иррациональное число|иррациональным]] основанием, равным [[золотое сечение|золотому сечению]] <math>\varphi = (1 + \sqrt{5})/2</math>. | ||
− | Любое [[вещественное число]] ''x'' из отрезка [0,1] допускает разложение в [[степенной ряд|ряд]] через отрицательные степени золотого сечения: | + | Любое [[вещественное число]] {{math|''x''}} из отрезка [0,1] допускает разложение в [[степенной ряд|ряд]] через отрицательные степени золотого сечения: |
: <math>x = \sum_{k=-1}^{-\infty} \varepsilon_k \varphi^k,\qquad \varepsilon_k \in \{0,1\}</math> | : <math>x = \sum_{k=-1}^{-\infty} \varepsilon_k \varphi^k,\qquad \varepsilon_k \in \{0,1\}</math> | ||
− | где | + | где <math>\left\{ \varepsilon_k \right\}</math> обладает тем же свойством отсутствия соседних единиц. |
− | Коэффициенты находятся последовательным сравнением ''x'' с <math>\varphi^{-1}</math> | + | Коэффициенты находятся последовательным сравнением {{math|''x''}} с <math>\varphi^{-1}</math> — золотым сечением отрезка [0,1], вычитанием <math>\varphi^{-1}</math> (если <math>\varepsilon_k = 1</math>) и умножением на <math>\varphi</math>. |
Из этого нетрудно видеть, что любое неотрицательное вещественное число допускает разложение: | Из этого нетрудно видеть, что любое неотрицательное вещественное число допускает разложение: | ||
: <math>a = \sum_{k=N-1}^{-\infty} \varepsilon_k \varphi^k\,,</math> | : <math>a = \sum_{k=N-1}^{-\infty} \varepsilon_k \varphi^k\,,</math> | ||
где ''N'' таково, что <math>a < \varphi^N</math>. | где ''N'' таково, что <math>a < \varphi^N</math>. | ||
− | Разумеется, следует считать что <math>\varepsilon_k = 0</math> для всех <math>k \ge N</math>. | + | Разумеется, следует считать, что <math>\varepsilon_k = 0</math> для всех <math>k \ge N</math>. |
Эти формулы полностью аналогичны формулам для обычных позиционных систем с целыми основаниями. | Эти формулы полностью аналогичны формулам для обычных позиционных систем с целыми основаниями. | ||
− | Оказывается, что любое неотрицательное целое число (и, более общо, всякий неотрицательный элемент [[ | + | Оказывается, что любое неотрицательное целое число (и, более общо, всякий неотрицательный элемент [[Кольцо (математика)|кольца]] <math>{\mathbb Z}+\varphi{\mathbb Z}</math>) имеет представление лишь с конечным количеством единиц, то есть в виде конечной суммы неповторяющихся степеней золотого сечения.<ref>{{iw|Система счисления на основе золотого сечения|||Golden ratio base}}<!-- тут хорошо бы найти настоящий источник --></ref> |
Аналогия между числами Фибоначчи и степенями золотого сечения основана на одинаковой форме тождеств: | Аналогия между числами Фибоначчи и степенями золотого сечения основана на одинаковой форме тождеств: | ||
− | : <math>F_k = F_{k-1} + F_{k-2} | + | : <math>F_k = F_{k-1} + F_{k-2}</math> |
− | позволяющих устранение соседних единиц. Прямой связи между представлением натуральных чисел в системе золотого сечения и в фибоначчиевой не имеется.<!-- | + | : <math>\varphi^k = \varphi^{k-1} + \varphi^{k-2}</math> |
+ | позволяющих устранение соседних единиц. Прямой связи между представлением натуральных чисел в системе золотого сечения и в фибоначчиевой не имеется.<!-- | ||
Тут надо уточнить, на самом деле связь будет с некоторыми оговорками и с точностью до множителя √5 или что-то такое. | Тут надо уточнить, на самом деле связь будет с некоторыми оговорками и с точностью до множителя √5 или что-то такое. | ||
Думаю, что должна быть связь с формулой секцией ниже, поскольку то умножение действует по той же логике, что и перемножение чисел в Φ-системе. | Думаю, что должна быть связь с формулой секцией ниже, поскольку то умножение действует по той же логике, что и перемножение чисел в Φ-системе. | ||
Строка 161: | Строка 163: | ||
== Фибоначчиево умножение == | == Фибоначчиево умножение == | ||
− | Для целых чисел <math>a = \sum_k \varepsilon_k F_k\ </math> и <math>b = \sum_l \zeta_l F_l\ </math> можно определить «умножение»<ref>{{OEIS|A101330}} | + | Для целых чисел <math>a = \sum_k \varepsilon_k F_k\ </math> и <math>b = \sum_l \zeta_l F_l\ </math> можно определить «умножение»<ref>{{OEIS|A101330}}{{ref-en}}, {{iw|Теорема Цекендорфа|||Zeckendorf’s theorem}}</ref> |
− | : <math>a\circ b = \sum_{k,l} \varepsilon_k \zeta_l F_{k+l},</math> | + | : <math>a \circ b = \sum_{k,l} \varepsilon_k \zeta_l F_{k+l},</math> |
которое аналогично умножению чисел в [[двоичная система счисления|двоичной системе счисления]]. | которое аналогично умножению чисел в [[двоичная система счисления|двоичной системе счисления]]. | ||
Разумеется, данная операция не является настоящим умножением чисел, и выражается формулой:<ref>[http://www.research.att.com/~njas/sequences/a101330.txt Notes on the Fibonacci circle and arroba products]{{ref-en}}</ref> | Разумеется, данная операция не является настоящим умножением чисел, и выражается формулой:<ref>[http://www.research.att.com/~njas/sequences/a101330.txt Notes on the Fibonacci circle and arroba products]{{ref-en}}</ref> | ||
− | : <math>a\circ b = 3 a b - a \lfloor(b+1)\varphi^{-2}\rfloor - b \lfloor(a+1)\varphi^{-2}\rfloor,</math> | + | : <math>a\circ b = 3 a b - a \lfloor(b+1)\varphi^{-2}\rfloor - b \lfloor(a+1)\varphi^{-2}\rfloor,</math> |
− | где <math>\lfloor\cdot\rfloor</math> | + | где <math>\lfloor\cdot\rfloor</math> — [[целая часть]], <math>\varphi=\frac{1+\sqrt{5}}{2}</math> — [[золотое сечение]]. |
− | Эта операция обладает [[ | + | Эта операция обладает [[Ассоциативная операция|ассоциативностью]], на что впервые обратил внимание [[Кнут, Дональд Эрвин|Дональд Кнут]]<ref>{{cite journal |author=D. E. Knuth |title=Fibonacci multiplication |journal=Applied Mathematics Letters |volume=1 |issue=1 |year=1988 |pages=57-60 |doi=10.1016/0893-9659(88)90176-0}}</ref>. Следует отметить, что другое «произведение» <math>\sum_{k,l} \varepsilon_k \zeta_l F_{k+l-2},</math> отличающееся лишь сдвигом на два разряда, уже не является |
− | Следует отметить, что другое «произведение» <math>\sum_{k,l} \varepsilon_k \zeta_l F_{k+l-2},</math> отличающееся лишь сдвигом на два разряда, уже не является | ||
{{заготовка раздела}} | {{заготовка раздела}} | ||
Строка 179: | Строка 180: | ||
== Литература == | == Литература == | ||
* {{книга | * {{книга | ||
− | |автор = Н. Н. | + | |автор = Воробьёв Н. Н. |
− | |заглавие = Числа Фибоначчи | + | |заглавие = Числа Фибоначчи |
− | |серия = [[Популярные лекции по математике]] | + | |серия = [[Популярные лекции по математике]] |
|издательство = Наука | |издательство = Наука | ||
− | |том = 39 | + | |том = 39 |
− | |год = 1978 | + | |год = 1978 |
− | |ссылка = http://ilib.mccme.ru/plm/ann/a06.htm | + | |ссылка = http://ilib.mccme.ru/plm/ann/a06.htm |
}} | }} | ||
Версия от 12:01, 8 октября 2014
Фибоначчиева система счисления — смешанная система счисления для целых чисел на основе чисел Фибоначчи F2=1, F3=2, F4=3, F5=5, F6=8 и т. д.
![]() | ||
Число | Запись в ФСС |
Код Фибоначчи |
---|---|---|
0 | 0……0 | |
F2=1 | 1 | 11 |
F3=2 | 10 | 011 |
F4=3 | 100 | 0011 |
4 | 101 | 1011 |
F5=5 | 1000 | 00011 |
6 | 1001 | 10011 |
7 | 1010 | 01011 |
F6=8 | 10000 | 000011 |
… | ||
Fn − 1 | 101010… | …0101011 |
Fn | 10……00 | 00……011 |
Fn + 1 | 10……01 | 10……011 |
Представление натуральных чисел
Любое неотрицательное целое число можно единственным образом представить последовательностью битов …εk…ε4ε3ε2 () так, что , причём последовательность {εk} содержит лишь конечное число единиц, и не имеет пар соседних единиц: . За исключением последнего свойства, данное представление аналогично двоичной системе счисления.
Обоснование
В основе лежит теорема Цекендорфа[1] — любое неотрицательное целое число единственным образом представимо в виде суммы некоторого набора чисел Фибоначчи с индексами больше единицы, не содержащего пар соседних чисел Фибоначчи.
Доказательство существования легко провести по индукции. Любое целое число попадёт в промежуток между двумя соседними числами Фибоначчи, то есть для некоторого верно неравенство: . Таким образом, , где , так что разложение числа уже не будет содержать слагаемого .
Использование
Юпана
Предполагают, что некоторые разновидности юпаны (абака инков) использовали фибоначчиеву систему счисления, чтобы минимизировать необходимое для вычислений число зёрен[2].
В теории информации
На основе фибоначчиевой системы счисления строится код (кодирование) Фибоначчи — универсальный код для натуральных чисел (1, 2, 3…), использующий последовательности битов. Поскольку комбинация 11 запрещена в фибоначчиевой системе счисления, её можно использовать как маркер конца записи.
Для составления кода Фибоначчи по записи числа в фибоначчиевой системе счисления следует переписать цифры в обратном порядке (так, что старшая единица оказывается последним символом) и приписать в конце ещё раз 1 (см. таблицу). То есть, кодовая последовательность имеет вид:
- ε2ε3…εn1,
где n — номер самого старшего разряда с единицей.
Арифметика
Сложение чисел в позиционных системах счисления выполняется с использованием переноса, позволяющего устранять последствия переполнения разряда. Например, в двоичной системе: 01 + 01 = 02 = 10.
В фибоначчиевой системе счисления дело обстоит сложнее:
- Во-первых, вес старших разрядов не является кратным весу разряда, из которого требуется перенос. При сложении двух единиц в одном разряде требуется перенос не только влево, но и вправо: 0200 = 1001. При переносе в отсутствующие разряды ε1 и ε0 следует помнить, что F1=1=F2 и F0=0.
- Во-вторых, требуется избавляться от соседних единиц: 011 = 100. Правило для раскрытия двоек является следствием этого равенства: 0200 = 0100 + 0011 = 0111 = 1001.
Параметр text не задан |
Обобщение на вещественные числа
Число | Представление через степени |
---|---|
1 | 1 |
2 | 10,01 |
3 | 100,01 |
4 | 101,01 |
5 | 1000,1001 |
6 | 1010,0001 |
7 | 10000,0001 |
8 | 10001,0001 |
9 | 10010,0101 |
10 | 10100,0101 |
11 | 10101,0101 |
12 | 100000,101001 |
13 | 100010,001001 |
14 | 100100,001001 |
Похожее устройство имеет позиционная система счисления с иррациональным основанием, равным золотому сечению .
Любое вещественное число x из отрезка [0,1] допускает разложение в ряд через отрицательные степени золотого сечения: где обладает тем же свойством отсутствия соседних единиц. Коэффициенты находятся последовательным сравнением x с — золотым сечением отрезка [0,1], вычитанием (если ) и умножением на . Из этого нетрудно видеть, что любое неотрицательное вещественное число допускает разложение: где N таково, что . Разумеется, следует считать, что для всех .
Эти формулы полностью аналогичны формулам для обычных позиционных систем с целыми основаниями. Оказывается, что любое неотрицательное целое число (и, более общо, всякий неотрицательный элемент кольца ) имеет представление лишь с конечным количеством единиц, то есть в виде конечной суммы неповторяющихся степеней золотого сечения.[3]
Аналогия между числами Фибоначчи и степенями золотого сечения основана на одинаковой форме тождеств: позволяющих устранение соседних единиц. Прямой связи между представлением натуральных чисел в системе золотого сечения и в фибоначчиевой не имеется.
Правила сложения аналогичны показанным выше с той поправкой, что перенос в сторону младших разрядов распространяется без ограничения. В данной системе счисления можно производить и умножение.
Фибоначчиево умножение
Для целых чисел и можно определить «умножение»[4] которое аналогично умножению чисел в двоичной системе счисления.
Разумеется, данная операция не является настоящим умножением чисел, и выражается формулой:[5] где — целая часть, — золотое сечение.
Эта операция обладает ассоциативностью, на что впервые обратил внимание Дональд Кнут[6]. Следует отметить, что другое «произведение» отличающееся лишь сдвигом на два разряда, уже не является
Параметр text не задан |
Примечания
- ↑ Эдуард Цекендорф
- ↑ Antonio Aimi, Nicolino De Pasquale. Andean Calculators . Дата обращения: 12 декабря 2009.
- ↑ Система счисления на основе золотого сечения[англ.]
- ↑ последовательность A101330 в OEIS (англ.), Теорема Цекендорфа[англ.]
- ↑ Notes on the Fibonacci circle and arroba products (англ.)
- ↑ D. E. Knuth (1988). "Fibonacci multiplication". Applied Mathematics Letters. 1 (1): 57–60. doi:10.1016/0893-9659(88)90176-0.
Литература
- Воробьёв Н. Н. Числа Фибоначчи. — Наука, 1978. — Т. 39. — (Популярные лекции по математике).