Задача 60591

Темы:    [ Алгоритм Евклида ] [ Числа Фибоначчи ]

Сложность: 3 Классы: 8,9,10,11

Условие

Рассмотрим алгоритм Евклида из задачи 60488, состоящий из k шагов.
Докажите, что начальные числа m₀ и m₁ должны удовлетворять неравенствам  m₁ ≥ F_k+1,  m₀ ≥ F_k+2.

Подсказка

Индукцией по n докажите, что  m_k–n+2 ≥ F_n.

Источники и прецеденты использования

книга
Автор	Алфутова Н.Б., Устинов А.В.
Год издания	2002
Название	Алгебра и теория чисел
Издательство	МЦНМО
Издание	1
глава
Номер	3
Название	Алгоритм Евклида и основная теорема арифметики
Тема	Алгебра и арифметика
параграф
Номер	4
Название	О том, как размножаются кролики
Тема	Классическая комбинаторика
задача
Номер	03.139