30 Глава I. Числа и комбинаторика
и из леммы 2 следует, что F
k
6 b, а из леммы 4 следует, что
k 6 ⌊log
ϕ
(
√
5(b + 1
/
2))⌋.
На практике более удобно для применения следующее утверждение.
Следствие из теоремы 7 (Ламе *). Наибольшее число делений
в алгоритме Евклида нахождения (a, b) не превосходит 5k, где k
––
число десятичных знаков в наименьшем из чисел a, b.
Задачи и упражнения к § 1.4
1. Проверьте, что F
n
––
ближайшее целое к числу ϕ
n
/
√
5.
2. Докажите следствие из теоремы 7.
3. Сколькими способами можно замостить прямоугольник размера
2 ×n фишками домино размера 1 ×2?
У к а з а н и е. Можно применить задачу 10 из § 1.3 и лемму 3.
4. Сколько подмножеств можно выбрать в множестве чисел от 1
до n, не включающих двух соседних чисел?
У к а з а н и е. Можно применить задачу 10 из § 1.3 и лемму 3.
5. Докажите, что F
m+1
F
n
−F
m
F
n+1
= (−1)
m
F
n−m
.
6. Докажите, что (F
n
, F
n+1
) = 1.
7. Если продолжить последовательность Фибоначчи в
«
отрицатель
-
ную
»
сторону с сохранением равенства F
n
+ F
n+1
= F
n+2
, то будут вы
-
полняться равенства F
−k−1
= (−1)
k
F
k
и сохранятся все формулы преды
-
дущих задач.
Следующая задача обобщает задачу 6.
8*. (Люка **.) Докажите, что (F
n
, F
m
) = F
(n,m)
.
9. Последовательность Фибоначчи содержит бесконечно много по
-
парно взаимно простых чисел.
10*. Вместо чисел Фибоначчи рассмотрим остатки от их деления
на данное число m. Докажите, что последовательность остатков являет
-
ся чисто периодической с периодом, не большим m
2
−1.
11. В случае m = F
k
найдите точно период последовательности
из предыдущей задачи.
12*. Найдите остаток от деления F
n
на F
k
.
* Г. Ламе (Gabriel Lamé, 1795
–
1870)
––
французский инженер и математик, член Па
-
рижской и Петербургской академий наук.
** Эдуард Люка (Eduard Lucas, 1842
–
1891)
––
известный французский специалист по те
-
ории чисел и педагог, автор множества красивых задач и четырехтомника о математических
развлечениях, сильно сокращенный перевод которого был издан в 1885 г. в Санкт
-
Петер
-
бурге и с тех пор, к сожалению, не переиздавался.