Мы нашли пять возможностей, но где гарантия, что мы ничего не упустили? Есть способ проверить себя.
В левом конце рамки может быть или квадрат, или костяшка домино. В верхнем ряду на рисунке – варианты, когда слева квадрат, в нижнем ряду – когда слева домино.
Допустим, слева квадрат. Оставшуюся часть нужно заполнить квадратами и домино. Другими словами, нужно заполнить рамку 1 × 3. Это дает 3 варианта, так как
Если слева домино, размер оставшейся части 1 × 2, и заполнить ее можно двумя вариантами, так как
Таким образом, у нас есть 3 + 2 = 5 вариантов, и мы удостоверились, что
Теперь ваша очередь. Подумайте пару минут и найдите все варианты заполнения для рамки 1 × 5. Их немного. Решение – в конце главы. Можете отвлечься и подумать.
Вернемся к нашим квадратам. Хочется верить, что вы нашли 8 вариантов, так как есть 5 способов укладки, где слева квадрат, и еще 3 способа, где слева домино. Таким образом,
Подытожим. Мы обозначили
Двигаемся дальше. Чему равно
В первом случае нам остается пять квадратов, а мы знаем, что
Чему равно
Еще несколько шагов – и мы найдем искомое число
Числа Фибоначчи – это последовательность:
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, …
Она выстраивается по таким правилам:
– первые два числа 1 и 1;
– каждое следующее число получаем сложением двух предыдущих.
Будем обозначать n-ный элемент последовательности
Очередной элемент мы вычисляем по формуле:
Как мы видим, задача об укладке квадратов и домино привела нас к последовательности чисел Фибоначчи[96]
.Попробуем сложить первые несколько чисел Фибоначчи. Что мы можем сказать о сумме
Обратите внимание на результаты сложения внизу. Видите ли вы закономерность? Повремените немного, прежде чем двигаться дальше: будет лучше, если вы найдете ответ самостоятельно, а не прочтете уже готовое решение.
Хочется верить, вы увидели, что результаты суммирования, если к ним приплюсовать по единице, тоже выстраиваются в последовательность чисел Фибоначчи. Например, сложение чисел от F0
до F5 дает:Сложение чисел от
Вероятно, лично вам достаточно будет увидеть, что формула (*) работает в дюжине случаев, чтобы вы поверили, что она верна, но математики жаждут доказательств. Мы рады представить вам два возможных доказательства того, что она верна для всех неотрицательных целых чисел
Формула (*) представляет собой бесконечно много формул в свернутом виде. Доказать, что (*) верно для конкретного значения
Несложно увидеть, что
Перейдем к
(
Как и раньше, все сходится:
Если сейчас мы начнем проверять, работает ли формула для
Воспользуемся предыдущим результатом:
(
Мы, конечно, можем вычислить (