Дискретная математика и теория чисел · Последовательность Фибоначчи

Последовательность Фибоначчи

Последовательность Фибоначчи 1, 1, 2, 3, 5, 8, … начинается с двух единиц; каждый следующий член равен сумме двух предыдущих. Отношение соседних членов стремится к золотому сечению φ = (1 + √5)/2 ≈ 1.618. Так же ведёт себя любая последовательность с той же рекурсией и двумя положительными начальными значениями.

Последовательность Фибоначчи в этой визуализации

Последовательность Фибоначчи 1, 1, 2, 3, 5, 8, 13, … начинается с двух единиц; каждый следующий член равен сумме двух предыдущих. Та же рекурсия xk=xk−1+xk−2x_k = x_{k-1} + x_{k-2} может начинаться с любых положительных чисел x1=ax_1 = a и x2=bx_2 = b; начало 2, 1 даёт числа Люка (2, 1, 3, 4, 7, 11, …). Здесь можно построить такую последовательность, добавляя квадраты к прямоугольнику, проследить приближение отношения соседних членов rk=xk/xk−1r_k = x_k / x_{k-1} к золотому сечению φ и увидеть на паутинной диаграмме, почему это происходит при любом положительном начале.

В начале дан прямоугольник ширины a и высоты b. Каждый новый член получается добавлением квадрата к стороне длиной с последний член: к прямоугольнику со сторонами xk−1x_{k-1} и xk−2x_{k-2} прикладывается квадрат со стороной xk−1x_{k-1}, и получается прямоугольник xkx_k на xk−1x_{k-1}. Поэтому с третьего члена rkr_k — это длинная сторона, делённая на короткую, то есть форма прямоугольника. На рисунке его размер остаётся постоянным: видно, как стабилизируется форма, а не как растут числа.

Квадрат меняет отношение по фиксированному правилу rk+1=(xk+xk−1)/xk=1+1/rkr_{k+1} = (x_k + x_{k-1})/x_k = 1 + 1/r_k. Чтобы добавление квадрата сохраняло форму, нужно r=1+1/rr = 1 + 1/r, то есть r2=r+1r^2 = r + 1. Положительный корень этого уравнения — золотое сечение φ=(1+5)/2≈1.618\varphi = (1 + \sqrt5)/2 \approx 1.618. Так устроен золотой прямоугольник: добавление квадрата даёт ту же форму с линейным масштабом в φ раз больше. Паутинная диаграмма изображает правило. От отношения r поднимитесь к кривой y=1+1/ry = 1 + 1/r, чтобы прочитать следующее отношение, затем двигайтесь по горизонтали к диагонали y=ry = r, чтобы начать новый шаг с него. Кривая и диагональ пересекаются в (φ, φ).

Почему отношение меняет сторону и сходится при любых положительных начальных значениях? Поскольку φ=1+1/φ\varphi = 1 + 1/\varphi, один шаг преобразует отклонение от φ в точности по формуле

Отклонение после ещё одного квадрата
rk+1−φ=−rk−φφ rkr_{k+1} - \varphi = -\frac{r_k - \varphi}{\varphi\, r_k}

Знак минус переносит каждое отношение на другую сторону от φ по сравнению с предыдущим, кроме случая точно золотого начала. Начиная с r3r_3 все отношения больше 1, поэтому на каждом шаге модуль отклонения умножается на число меньше 1/φ≈0.6181/\varphi \approx 0.618 и стремится к 0. Удалить может лишь первый шаг: если r2=b/ar_2 = b/a меньше 1/φ, отклонение растёт. Вблизи φ множитель стремится к −1/φ2≈−0.382-1/\varphi^2 \approx -0.382, наклону кривой в точке пересечения с диагональю; в итоге каждый шаг оставляет примерно 0.382 прежнего отклонения.

Сами члены растут почти как геометрическая прогрессия: каждый всё ближе к предыдущему, умноженному на φ. Для чисел Фибоначчи F1=F2=1F_1 = F_2 = 1 формула Бине даёт точное выражение:

Формула Бине
Fn=φn−ψn5,ψ=1−52=−1φF_n = \frac{\varphi^n - \psi^n}{\sqrt5}, \qquad \psi = \frac{1 - \sqrt5}{2} = -\frac{1}{\varphi}

Поскольку ∣ψ∣<1|\psi| < 1, FnF_n — ближайшее к φn/5\varphi^n/\sqrt5 целое число. На странице собственных векторов эти же два числа появляются как собственные значения матрицы, переводящей пару соседних членов в следующую пару.

На что обратить внимание

  • Отношение равно φ только тогда, когда предыдущее тоже было равно φ: 1+1/r=φ1 + 1/r = \varphi выполняется в точности при r=φr = \varphi. Поэтому без золотого начала отношение никогда не достигает φ, а лишь приближается к нему. Соседние отношения Фибоначчи отличаются ровно на 1/(FkFk−1)1/(F_k F_{k-1}).

Управление

  • Нажмите или перетащите точку вдоль оси r диаграммы, чтобы изменить b, а значит, и начальную форму r2=b/ar_2 = b/a; b притягивается к целым числам.

Связанные темы