Русская Википедия:Числа Фибоначчи
Чи́сла Фибона́ччи (вариант написания — Фибона́чи[2]) — элементы числовой последовательности
- 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, … (Шаблон:OEIS),
в которой первые два числа равны 0 и 1, а каждое последующее число равно сумме двух предыдущих чиселШаблон:Sfn. Названы в честь средневекового математика Леонардо Пизанского (известного как Фибоначчи)[3].
Правда, в некоторых книгах, особенно в старыхШаблон:Каких, член <math>F_0</math>, равный нулю, опускается — тогда последовательность Фибоначчи начинается с <math>F_1 = F_2 = 1</math>Шаблон:SfnpШаблон:Sfn.
Говоря более формально, последовательность чисел Фибоначчи <math>\{F_n\}</math> задаётся линейным рекуррентным соотношением:
- <math>F_0 = 0,\quad F_1 = 1,\quad F_n = F_{n-1} + F_{n-2}</math>,
- где <math>\ n \geqslant 2,\ n \in \Z</math>.
Иногда числа Фибоначчи рассматривают и для отрицательных значений <math>n</math> как двусторонне бесконечную последовательность, удовлетворяющую тому же рекуррентному соотношению. Соответственно, члены с отрицательными индексами легко получить с помощью эквивалентной формулы «назад»: <math>F_n = F_{n+2} - F_{n+1}</math>:
n | … | −10 | −9 | −8 | −7 | −6 | −5 | −4 | −3 | −2 | −1 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | … |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
<math>F_n</math> | … | −55 | 34 | −21 | 13 | −8 | 5 | −3 | 2 | −1 | 1 | 0 | 1 | 1 | 2 | 3 | 5 | 8 | 13 | 21 | 34 | 55 | … |
Легко заметить, что <math>F_{-n} = (-1)^{n+1} F_n</math>.
Происхождение
Последовательность Фибоначчи была хорошо известна в древней Индии[4][5][6], где она применялась в метрических науках (просодии, другими словами — стихосложении) намного раньше, чем стала известна в Европе[5][7]Шаблон:Sfn.
Образец длиной n может быть построен путём добавления S к образцу длиной n − 1, либо L к образцу длиной n − 2 — и просодицисты показали, что число образцов длиною n является суммой двух предыдущих чисел в последовательности[6]. Дональд Кнут рассматривает этот эффект в книге «Искусство программирования».
На Западе эта последовательность была исследована Леонардо Пизанским, известным как Фибоначчи, в его труде «Книга абака» (1202)Шаблон:Sfn[8]. Он рассматривает развитие идеализированной (биологически нереальной) популяции кроликов, где условия таковы: изначально дана новорождённая пара кроликов (самец и самка); со второго месяца после своего рождения кролики начинают спариваться и производить новую пару кроликов, причём уже каждый месяц; кролики никогда не умирают[9][10], — а в качестве искомого выдвигает количество пар кроликов через год.
- В начале первого месяца есть только одна новорождённая пара (1).
- В конце первого месяца по-прежнему только одна пара кроликов, но уже спарившаяся (1).
- В конце второго месяца первая пара рождает новую пару и опять спаривается (2).
- В конце третьего месяца первая пара рождает ещё одну новую пару и спаривается, вторая пара только спаривается (3).
- В конце четвёртого месяца первая пара рождает ещё одну новую пару и спаривается, вторая пара рождает новую пару и спаривается, третья пара только спаривается (5).
В конце <math>n</math>-го месяца количество пар кроликов будет равно количеству пар в предыдущем месяце плюс количеству новорождённых пар, которых будет столько же, сколько пар было два месяца назад, то есть <math>F_n = F_{n-2} + F_{n-1}</math>[11]. Возможно, эта задача также оказалась первой, моделирующей экспоненциальный рост популяции.
Название «последовательность Фибоначчи» впервые было использовано теоретиком XIX века Эдуардом Люка[12].
Формула Бине
Формула Бине выражает в явном виде значение <math>F_n</math> как функцию от n:
- <math>F_n = \frac{\left(\frac{1 + \sqrt{5}}{2}\right)^n - \left(\frac{1 - \sqrt{5}}{2}\right)^n}{\sqrt{5}} = \frac{\varphi^n - (-\varphi )^{-n}}{\varphi - (-\varphi )^{-1}} = \frac{\varphi^n - (-\varphi )^{-n}}{2\varphi - 1},</math>
где <math>\varphi=\frac{1 + \sqrt{5}}{2}</math> — золотое сечение и <math>\varphi</math> и <math>(-\varphi )^{-1}=1-\varphi</math> являются корнями характеристического уравнения <math>x^2-x-1=0.</math> Вообще, аналогичная формула существует для любой линейной рекуррентной последовательности, какой служит и последовательность Фибоначчи.
Обоснование
Преобразуем характеристическое уравнение <math>x^2-x-1=0</math> к виду <math>x^2=x+1,</math> умножим обе части на <math>x</math>: <math>x^3=x^2+x</math> — и заменим в этой сумме <math>x^2</math> на <math>x+1</math>, что мы можем сделать в силу характеристического уравнения. Получим <math>x^3=x^2+x=(x+1)+x=2x+1.</math> Затем продолжим так же умножать на <math>x</math> и преобразовывать <math>x^2</math>, следуя первоначальному уравнению:
<math>\begin{align} x^4 & = 2x^2+x=2(x+1)+x= \\ & = 3x+2, \\ x^5 & = 3x^2+2x = 3(x+1)+2x=\\&=5x+3,\\ x^6 & = 5x^2+3x = 5(x+1)+3x=\\&=8x+5,\\ x^7 & = 8x^2+5x = 8(x+1)+5x=\\&=13x+8,\\ &\cdots\end{align}</math>
Таким образом образуется общее уравнение: <math>x^n=F_nx+F_{n-1}.</math> Чтобы это уравнение обратить в верное равенство и отсюда выразить сами числа Фибоначчи, нужно подставить корни <math>\varphi</math> и <math>-\varphi^{-1}\colon</math>
<math>\begin{cases} \varphi^n=F_n\varphi+F_{n-1}, \\ (-\varphi)^{-n}=-F_n\varphi^{-1}+F_{n-1}, \end{cases}</math>
<math>\varphi^n-(-\varphi)^{-n}=F_n[\varphi-(-\varphi)^{-1}],\qquad\varphi^n+(-\varphi)^{-n}\cdot\varphi^2=F_{n-1}(1+\varphi^2),</math>
<math>\color{Black}\tfrac1\sqrt5\left((\tfrac{1+\sqrt5}2)^n-(\tfrac{1-\sqrt5}2)^{n}\right)=F_n,\qquad\tfrac1\sqrt5\left((\tfrac{1+\sqrt5}2)^{n-1}-(\tfrac{1-\sqrt5}2)^{n-1}\right)=F_{n-1}.</math>
Следствие и обобщение
Из формулы Бине следует, что для всех <math>n\geqslant 0</math> число <math>F_n</math> есть округление <math>\frac{\varphi^n}{\sqrt{5}},</math> то есть <math>F_n = \left\lfloor\frac{\varphi^n}{\sqrt{5}}\right\rceil.</math> В частности, при <math>n\to\infty</math> справедлива асимптотика <math>F_n\sim \frac{\varphi^n}{\sqrt{5}}.</math>
Формула Бине может быть аналитически продолжена следующим образом:
- <math>F_z = \frac{1}{\sqrt{5}} \left( \varphi^z - \frac{\cos{\pi z}}{\varphi^z} \right).</math>
При этом соотношение <math> F_{z+2} = F_{z+1} + F_z </math> выполняется для любого комплексного числа z.
Тождества
- <math>F_1 + F_2 + F_3 + \dots + F_n = F_{n+2} - 1.</math>[15]
- Это тождество можно доказать вычитанием первого из второго: <math>\begin{alignat}{2} (F_1 + F_2 + \dots + F_{{\color{Red}2}n})-(F_1+F_3+\dots+F_{2n-1}) &= F_{{\color{Red}2}n+2} - 1-F_{2n}, \\
F_2+F_4+\dots+F_{2n} & = F_{2n+1}-1. \\ \end{alignat} </math>
- <math>F_{n+1} F_{n+2} - F_n F_{n+3} = (-1)^n.</math>[18]
- <math>F_1^2 + F_2^2 + F_3^2 + \dots + F_n^2 = F_n F_{n+1}</math> (см. рис.).
- <math>F_n^2 + F_{n+1}^2 = F_{2n+1}.</math>[15]
- <math>F_{2n} = F_{n+1}^2 - F_{n-1}^2.</math>[15]
- <math>F_{3n} = F_{n+1}^3 + F_n^3 - F_{n-1}^3.</math>[19]
- <math>F_{5n} = 25 F_n^5 + 25(-1)^n F_n^3 + 5 F_n.</math>
- <math>F_{n+1} = C^0_n + C^1_{n-1} + C^2_{n-2} + \dots</math>[20], где <math>C_n^k</math> — биномиальные коэффициенты.
И более общие формулы:
- <math>F_{n+m} = F_{n-1} F_m + F_n F_{m+1} = F_{n+1} F_{m+1} - F_{n-1} F_{m-1}.</math>[21]
- <math>F_{(k+1)n} = F_{n-1} F_{kn} + F_n F_{kn+1}.</math>
- <math>F_n = F_l F_{n-l+1} + F_{l-1} F_{n-l}.</math>
- Числа Фибоначчи представляются значениями континуант на наборе единиц: <math>F_{n+1} = K_n(1, \dots, 1),</math> то есть
- <math>F_{n+1} =
\det \begin{pmatrix}
1 & 1 & 0 & \cdots & 0 \\
-1 & 1 & 1 & \ddots & \vdots\\
0 & -1 & \ddots & \ddots & 0 \\
\vdots & \ddots & \ddots & \ddots & 1 \\
0 & \cdots & 0 & -1 & 1
\end{pmatrix}</math>, а также <math>\ F_{n+1} = \det \begin{pmatrix} 1 & i & 0 & \cdots & 0 \\ i & 1 & i & \ddots & \vdots\\ 0 & i & \ddots & \ddots & 0 \\ \vdots & \ddots & \ddots & \ddots & i \\ 0 & \cdots & 0 & i & 1 \end{pmatrix},</math>
- где матрицы имеют размер <math>n \times n</math> и где i — мнимая единица.
- Числа Фибоначчи можно выразить через многочлены Чебышёва:
- <math>F_{n+1} = (-i)^n U_n\left(\frac{-i}{2}\right),</math>
- <math>F_{2n+2} = U_n\left(\frac{3}{2}\right).</math>
- Для любого n справедливо
- <math>\begin{pmatrix}
1 & 1 \\ 1 & 0
\end{pmatrix}^n = \begin{pmatrix}
F_{n+1} & F_n \\ F_n & F_{n-1}
\end{pmatrix}.</math>
- Как следствие, подсчёт определителей даёт тождество Кассини:[22][23]
- <math>(-1)^n = F_{n+1} F_{n-1} - F_n^2.</math>
- С равенством Кассини сопряжено более общее утверждение, названное в честь Эжена Каталана:<math>F_n^2 - F_{n-r}F_{n+r} = (-1)^{n-r}F_r^2.</math>
- <math>F_{n+1} = \frac{F_n + \sqrt{5 F_n^2 + 4(-1)^n}}{2}.</math>
Это утверждение выводится из тождества Кассини при помощи основного соотношения чисел Фибоначчи: <math>(-1)^n = F_{n+1}(F_{n+1}-F_n) - F_n^2</math> <math>\Longleftrightarrow</math> <math>0 = {\color{Red}F_{n+1}}^2-{\color{Red}F_{n+1}}F_n - (F_n^2 + (-1)^n).</math>
Свойства
- Наибольший общий делитель двух чисел Фибоначчи равен числу Фибоначчи с индексом, равным наибольшему общему делителю индексов, то есть <math>(F_m,F_n) = F_{(m,n)}.</math> Следствия:
- <math>F_m</math> делится на <math>F_n</math> тогда и только тогда, когда <math>m</math> делится на <math>n</math> (за исключением <math>n=2</math>). В частности, <math>F_m</math> делится на <math>F_3=2</math> (то есть является чётным) только для <math>m=3k;</math> <math>F_m</math> делится на <math>F_4=3</math> только для <math>m=4k;</math> <math>F_m</math> делится на <math>F_5=5</math> только для <math>m=5k</math> и т. д.
- <math>F_m</math> может быть простым только для простых <math>m</math> (с единственным исключением <math>m=4</math>). Например, число <math>F_{13}=233</math> простое, и его индекс 13 также прост. Но, даже если число <math>m</math> простое, число <math>F_m</math> не всегда оказывается простым, и наименьший контрпример — <math>F_{19}=4181=37\cdot 113.</math> Неизвестно, бесконечно ли множество чисел Фибоначчи, являющихся простыми.
- Последовательность чисел Фибоначчи является частным случаем возвратной последовательности, её характеристический многочлен <math>x^2-x-1</math> имеет корни <math>\varphi</math> и <math>-\frac{1}{\varphi}.</math>
- Отношения <math>\frac{F_{n+1}}{F_n}</math> являются подходящими дробями золотого сечения <math>\phi\colon</math> в частности, <math>\lim_{n\to\infty} \frac{F_{n+1}}{F_n} = \varphi.</math>
- Суммы биномиальных коэффициентов на диагоналях треугольника Паскаля являются числами Фибоначчи ввиду формулы
- <math>F_{n+1} = \sum_{k=0}^{\lfloor n/2\rfloor} {n-k\choose k}.</math>
- Нахождение числа Фибоначчи <math>F_n</math> с помощью Бинома Ньютона <math>F_n = {1 \over 2^{n-1}} \sum_{k=0}^{\lfloor n/2\rfloor} {n\choose 2k+1} 5^k</math>
- В 1964 году Дж. Кон (J. H. E. Cohn) доказал,[24] что единственными точными квадратами среди чисел Фибоначчи являются числа Фибоначчи с индексами 0, 1, 2, 12:
- <math>F_0=0^2=0,</math> <math>F_1=1^2=1,</math> <math>F_2=1^2=1,</math> <math>F_{12}=12^2=144.</math>
- Производящей функцией последовательности чисел Фибоначчи является:
- <math>x + x^2 + 2 x^3 + 3 x^4 + 5 x^5 + \dots = \sum_{n=0}^{\infty} F_n x^n = \frac{x}{1-x-x^2}</math>
- В частности, 1/998,999 = 0.001001002003005008013021…
- Множество чисел Фибоначчи совпадает с множеством неотрицательных значений многочлена
- <math>z(x,y) = 2xy^4 + x^2 y^3 - 2 x^3 y^2 - y^5 - x^4 y + 2y</math>
- на множестве неотрицательных целых чисел x и y[25].
- Произведение и частное двух любых различных чисел Фибоначчи, отличных от единицы, никогда не является числом Фибоначчи.
- Период чисел Фибоначчи по модулю натурального числа <math>n</math> называется периодом Пизано и обозначается <math>\pi(n)</math>. Периоды Пизано <math>\pi(n)</math> образуют последовательность:
- 1, 3, 8, 6, 20, 24, 16, 12, 24, 60, 10, 24, 28, 48, 40, 24, 36, … (Шаблон:OEIS).
- В частности, последние цифры чисел Фибоначчи образуют периодическую последовательность с периодом <math>\pi(10)=60</math>, последняя пара цифр чисел Фибоначчи образует последовательность с периодом <math>\pi(100)=300</math>, последние три цифры — с периодом <math>\pi(1000)=1500,</math> последние четыре — с периодом <math>\pi(10000)=15000,</math> последние пять — с периодом <math>\pi(100000)=150000</math> и т. д.
- Натуральное число <math>N</math> является числом Фибоначчи тогда и только тогда, когда <math>5N^2 + 4</math> или <math>5N^2 - 4</math> является квадратом[26].
- Не существует арифметической прогрессии длиной больше 3, состоящей из чисел Фибоначчи[27].
- Число Фибоначчи <math>F_{n+2}=F_{n+1}+F_n</math> равно количеству кортежей длины n из нулей и единиц, в которых нет двух соседних единиц. При этом <math>F_{n+1}</math> равно количеству таких кортежей, начинающихся с нуля, а <math>F_n</math> — начинающихся с единицы.
- Произведение любых <math>n</math> подряд идущих чисел Фибоначчи делится на произведение первых <math>n</math> чисел Фибоначчи.
- Бесконечная сумма чисел, обратных числам Фибоначчи, сходится, его сумма («обратная постоянная Фибоначчи») равна 3,359884...
Вариации и обобщения
- Числа трибоначчи
- Числа Фибоначчи являются частным случаем последовательностей Люка <math>F_n = U_n(1,-1)</math>.
- При этом их дополнением являются числа Люка <math>L_n = V_n(1,-1)</math>.
В других областях
Существует мнение, что почти все утверждения, находящие числа Фибоначчи в природных и исторических явлениях, неверны — это распространённый миф, который часто оказывается неточной подгонкой под желаемый результат[29][30].
В природе
- Филлотаксис (листорасположение) у растений описывается последовательностью Фибоначчи, если листья (почки) на однолетнем приросте (побеге, стебле) имеют так называемое спиральное листорасположение. При этом число последовательно расположенных листьев (почек) по спирали плюс один, а также число совершенных при этом полных оборотов спирали вокруг оси однолетнего прироста (побега, стебля) выражаются обычно первыми числами Фибоначчи.
- Семена подсолнуха, сосновые шишки, лепестки цветков, ячейки ананаса также располагаются согласно последовательности Фибоначчи[31][32][33][34].
В искусстве
В поэзии чаще находят отношение «золотого сечения» (золотую пропорцию), связанное через формулу Бине с числами Фибоначчи. Например, в поэме Ш. Руставели «Витязь в тигровой шкуре» и на картинах художников[35].
Однако числа Фибоначчи встречаются и непосредственно в поэзии и в музыке[36]
В кодировании
В теории кодирования предложены устойчивые так называемые «коды Фибоначчи»[37], причём основание этих кодов — иррациональное число.
См. также
- Дерево Фибоначчи
- Метод Фибоначчи с запаздываниями
- Метод Фибоначчи поиска экстремума
- Фибоначчи
- Фибоначчиева система счисления
- Числа Бине
- Числа Леонардо
- Таблица Витхоффа
- Последовательность коров Нараяны
- Золотое сечение
- Пропорционирование
- Последовательность без простых чисел
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Книга
- Грант Аракелян. Математика и история золотого сечения. — М.: Логос, 2014. — 404 с. — ISBN 978-5-98704-663-0.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Книга
- Шаблон:Citation.
- Шаблон:Citation
Ссылки
- ↑ Шаблон:Книга
- ↑ См., например, Шаблон:Книга
- ↑ Шаблон:БСЭ3
- ↑ Шаблон:Citation
- ↑ 5,0 5,1 Шаблон:Citation
- ↑ 6,0 6,1 Шаблон:Citation
- ↑ Шаблон:Citation
- ↑ Шаблон:Cite web
- ↑ Шаблон:Книга
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Citation
- ↑ Шаблон:Cite web
- ↑ Шаблон:Книга
- ↑ 15,0 15,1 15,2 15,3 15,4 Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite news
- ↑ Шаблон:Книга
- ↑ Шаблон:Статья
- ↑ Шаблон:Книга
- ↑ Шаблон:Статья
- ↑ Fibonacci Flim-Flam. Шаблон:WaybackШаблон:Ref-en.
- ↑ The Myth That Will Not Go AwayШаблон:Ref-en.
- ↑ Золотое сечение в природе.
- ↑ Числа Фибоначчи.
- ↑ Числа Фибоначчи.
- ↑ Шаблон:Книга
- ↑ Волошинов А. В. Математика и искусство. Москва: Просвещение, 2000. 400 с. ISBN 5-09-008033-X
- ↑ Математика в стихах и музыке
- ↑ Стахов А., Слученкова А., Щербаков И. Код да Винчи и ряды Фибоначчи. СПБ. Издательство: Питер, 2006. 320 с. ISBN 5-469-01369-3
Шаблон:Выбор языка Шаблон:Последовательности и ряды