От Никиты любознательным

EXTRA
Vol. 1

7 ноября 2013 г.

Вступительное слово автора
Некоторые внимательные студенты заметили рекуррентные соотношения в третьем листке господина Никитина. Однако, наш коллега не предоставил инструменты для нахождения формулы общего
члена рекуррентной последовательности. Оно и понятно, ведь используя эту теорию, можно с лёгкостью можно решить задачу со звёздочкой, задачу
3.15. Но на семинаре по линалу возникла острая
необходимость использовать недополученные знания. Те объяснения, которые приводятся в задачнике Проскурякова, написаны трудным и непонятным языком. Эта маленькая брошюра посвящена
устранить пробелы в преподовании наших коллег.
Всё тут настолько просто и понятно, что всё пройдёт безболезненно. За то, что формат немного отличается от Сашиной книжки, то извините, у меня
7 по LATEX:)

2

Определение. Линейной реккурентной последовательностью 2-го порядка
называется последовательность 𝑎𝑛 , удовлетворяющая условию 𝑎𝑛+2 = 𝑝𝑎𝑛+1 +
+ 𝑞𝑎𝑛 для некоторых 𝑝 и 𝑞 . Уравнение 𝑥2 − 𝑝𝑥 − 𝑞 = 0 называется для него
характеристическим.
Замечание №1. Последовательность задается четырьмя числами – 𝑎0 , 𝑎1 , 𝑝, 𝑞 .
Замечание №2. Если две последовательности удовлетворяют одному и тому
же рекуррентному сооотношению, то их сумма тоже удовлетворяет этому соотношению.
Замечание №3. Если последовательность удовлетворяет рекуррентному сооотношению, то последовательность, полученная из исходной домножением на
константу, тоже удовлетворяет этому соотношению.
Утверждение №1. Покажем, что геометрическая прогрессия 𝑎𝑛 = 𝑐𝑥𝑛0 удовлетворяет соотношению 𝑎𝑛+2 = 𝑝𝑎𝑛+1 + 𝑞𝑎𝑛 тогда и только тогда, когда 𝑥0 –
корень характеристического уравнения.
Доказательство утверждения №1. 𝑛
+2 𝑎𝑛
= 𝑐𝑥𝑛0 ⇔ 𝑎𝑛+1 = 𝑐𝑥𝑛+1
⇔ 𝑝𝑎𝑛+1 + 𝑞𝑎𝑛 = 𝑐(𝑝𝑥𝑛+1
+ 𝑞𝑥𝑛0 ) =
0 , 𝑎𝑛+2 = 𝑐𝑥0
0
= 𝑐𝑥𝑛0 (𝑝𝑥0 + 𝑞) = 𝑐𝑥𝑛0 𝑥20 = 𝑐𝑥𝑛+2
= 𝑎𝑛+2
0
Утверждение №2. Пусть характеристическое уравнение имеет два различных корня 𝑥1 , 𝑥2 . Тогда при фиксированных 𝑎0 и 𝑎1 существует единственная
пара 𝑐1 ,𝑐2 такая, что 𝑎𝑛 = 𝑐1 𝑥𝑛1 + 𝑐2 𝑥𝑛2 .
Доказательство утверждения №2.
Согласно утверждению №1, последовательности 𝑎𝑛 = 𝑐𝑖 𝑥𝑛𝑖 (𝑖 = 1, 2) для любых 𝑐1 , 𝑐2 являются решениями уравнения 𝑎𝑛+2 = 𝑝𝑎𝑛+1 +𝑞𝑎𝑛 , поэтому их сумма
будет удовлетворять тому же уравнению. С другой стороны, числа 𝑐1 , 𝑐2 можно
подобрать так, чтобы 𝑎0 = 𝑐1 + 𝑐2 , 𝑎1 = 𝑐1 𝑥1 + 𝑐2 𝑥2 . После этого получается, что 𝑐
1 𝑥𝑛1 + 𝑐2 𝑥𝑛2 удовлетворяет рекуррентному соотношению, а начальные условия
соблюдены.
3

Формула Бине. Докажите, что если 𝐹0 = 𝐹1 = 1 и 𝐹𝑛 = 𝐹𝑛−1 + 𝐹𝑛−2 при 𝑛
> 1, то
(︁ √ )︁𝑛 (︁ √ )︁𝑛
1+ 5
− 1−2 5
2
√ 𝐹𝑛
=
5

Утверждение №3. Если 𝑥1 = 𝑥2 = 𝑥, то существует единственная пара 𝑐1 , 𝑐2
такая, что 𝑎𝑛 = (𝑐1 + 𝑐2 𝑛)𝑥𝑛 .
Доказательство утверждения №3.
В этом случае выражение 𝑐1 𝑥𝑛1 + 𝑐2 𝑥𝑛2 = 𝑐𝑥𝑛 уже не будет являться общим
решением. В результате остаётся только одна константа 𝑐, и выбрать её так,
чтобы уравнение удовлетворяло двум начальным условиям 𝑎0 и 𝑎1 , вообще говоря, невозможно.
Если 𝑥2 −𝑝𝑥−𝑞 = 0 и 𝑥1 = 𝑥2 = 𝑥, то по теореме Виета 𝑝 = 2𝑥, 𝑞 = −𝑥2 . Тогда 𝑎𝑛
+2 = 2𝑥𝑎𝑛+1 − 𝑥2 𝑎𝑛 . Заметим, что 𝑎𝑛 = 𝑛𝑥𝑛 удовлетворяет этому уравнению.
Это так, потому что 𝑎𝑛+2 = (𝑛 + 2)𝑥𝑛+2 = (2𝑛 + 2)𝑥𝑛+2 − 𝑛𝑥𝑛+2 = 2𝑥(𝑛 + 1)𝑥𝑛+1 −
− 𝑥2 𝑛𝑥𝑛 = 2𝑥𝑎𝑛+1 − 𝑥2 𝑎𝑛 .
Теперь мы знаем, что 𝑎𝑛 = 𝑥𝑛 и 𝑎𝑛 = 𝑛𝑥𝑛 являются решением рекурренты.
Значит, общее решение можно записать следующим образом: 𝑎𝑛 = (𝑐1 + 𝑐2 𝑛)𝑥𝑛 .
Константы 𝑐1 и 𝑐2 однознчно определяются из системы уравнений 𝑎0 = 𝑐1 и 𝑎
1 = (𝑐1 + 𝑐2 )𝑥.

4