Возвратные последовательности

Министерство образования Республики Беларусь

Учреждение образования

«Белорусский государственный педагогический университет

имени Максима Танка»

Математический факультет

Кафедра алгебры и аналитической геометрии

Курсовая работа

Возвратные последовательности

Выполнила студентка 4 курса

математического факультета, гр. 405

Волисова Елена Валерьевна

Руководитель:

кандидат физ.-мат. наук, доцент

Баркович Оксана Аркадьевна

Минск 2009

Содержание

Введение

Глава 1 (теоретическая часть)

§ 1. Определение возвратной последовательности

§ 2. Обобщение произвольных возвратных последовательностей

§ 3. Изучение и применение возвратных последовательностей в курсе средней школы

§ 4. Формулы вычисления любого члена возвратной последовательности. Базис возвратного уравнения

§ 5. Характеристическое уравнение для возвратного уравнения

§ 6. Возвратные задачи

Глава 2 (практическая часть)

Заключение

Список литературы

Введение

Понятие возвратной последовательности является широким обобщением понятия арифметической и геометрической прогрессии. Как частные случаи оно охватывает также последовательности квадратов или кубов натуральных чисел, последовательности цифр десятичного разложения рационального числа (и вообще любые периодические последовательности), последовательности коэффициентов частного от деления двух многочленов, расположенных по возрастающим степеням x, и т.д. Теория возвратных последовательностей составляет особую главу математической дисциплины, называемой исчислением конечных разностей.

Тема «Возвратные последовательности» не является изолированной, нигде не используемой теорией. Наоборот, возвратные последовательности близки к школьному курсу математики, используются в высшей алгебре, геометрии, математическом анализе и других математических дисциплинах.

Таким образом, возвратные последовательности являются настоящей маленькой теорией, законченной, простой, ясной.

Целью данной курсовой работы является изучение теории возвратных последовательностей и возможное применение её части на факультативах в школьном курсе математики.

В данной курсовой работе также рассмотрены возвратные задачи. В основе решения возвратных задач лежит идея возвратности (или рекуррентности), согласно которой решение всей задачи зависит от решения той же самой задачи меньших размеров.

Глава 1 (теоретическая часть)

§1. Определение возвратной последовательности

Будем записывать последовательности в виде

u_>1>, u_>2>, u_>3>, . . . , u_>n>, . . . , (1)

или, коротко, {u_>n>}. Если существует натуральное число k и числа a_>1>, a_>2>, … , a_>k> (действительные или мнимые), такие, что, начиная с некоторого номера n и для всех следующих номеров,

u_{>n + k} >== a_>1>u_{>n +k – 1}> + a_>2>u_{>n + k – 2} >+ … + a_>k>u_>n> (n _> > m _> > 1), (2)

то последовательность (1) называется возвратной последовательностью порядка k, а соотношение (2) – возвратным уравнением порядка k.

Таким образом, возвратная последовательность характеризуется тем, что каждый её член (начиная с некоторого из них) выражается через одно и то же количество k непосредственно предшествующих ему членов по формуле (2).

Само название «возвратная» (а также рекуррентная, от французского recurrente – возвращающаяся к началу) употребляется именно потому, что здесь для вычисления последующего члена возвращаются к предшествующим членам.

Пример 1. Геометрическая прогрессия. Пусть имеем геометрическую прогрессию:

u_>1> = a, u_>2> = aq, u_>3> = aq², . . . , u_>n> = aq^{n – 1}, . . . , (3)

для неё уравнение (2) принимает вид:

u_>n>_{> + 1}> = qu_>n>_>. >(4)

Здесь k = 1 и a_>1 >= q. Таким образом, геометрическая прогрессия является возвратной последовательностью первого порядка.

Пример 2. Арифметическая прогрессия. В случае арифметической прогрессии

u_>1> = a, u_>2> = a + d, u_>3> = a + 2d, . . . , u_>n> = a + (n - 1)d , . . . ,

имеем: u_>n>_{> + 1}> = u_>n>_> >+ d

- соотношение, не имеющее вида уравнения (2). Но если рассмотреть два соотношения, написанные для двух соседних значений n:

u_{>n + 2}> = u_{>n + 1} >+ d и u_{>n + 1}> = u_>n >+ d,

то получим из них, путём почленного вычитания:

u_{>n + 2}> - u_{>n + 1} >= u_{>n + 1}> - u_>n>,

или u_{>n + 2}>= 2u_{>n + 1}> - u_>n >(5)

- уравнение вида (2). Здесь k = 2, a_>1 >= 2, a_>2 >= -1. Следовательно, арифметическая прогрессия является возвратной последовательностью второго порядка.

Пример 3. Рассмотрим старинную задачу Фибоначчи о числе кроликов. В ней требуется определить число пар зрелых кроликов, образовавшихся от одной пары в течение года, если известно, что каждая зрелая пара кроликов ежемесячно рождает новую пару, причём новорождённые достигают половой зрелости в течение месяца. В этой задаче интересен не результат, а последовательность, члены которой выражают общее число зрелых пар кроликов в начальный момент (u_>1>), через месяц (u_>2>), через два месяца (u_>3>), и через n месяцев (u_>n+1>). Очевидно, что u_>1 >= 1. Через месяц прибавится пара новорождённых, но число зрелых пар будет прежнее: u_>2 >= 1. Через два месяца крольчата достигнут зрелости, и общее число зрелых пар будет равно двум: u_>3 >= 2.

Пусть вычислили уже количество зрелых пар через n – 1 месяцев – u_>n> и через n месяцев - u_>n+1>. Так как к этому времени u_>n> ранее имевшихся зрелых пар дадут ещё u_>n> пар приплода, то через n + 1 месяцев общее число зрелых пар будет:

u_>n+2 >= u_>n+1 >+ u_>n >._> >(6)

Отсюда u_>4 >= u_>3 >+ u_>2 >=3, u_>5 >= u_>4 >+ u_>3 >= 5, u_>6 >= u_>5 >+ u_>4 >= 8, u_>7 >= u_>6 >+ u_>5 >= 13, ...

Таким образом, получили последовательность

u_>1 >= 1, u_>2 >= 1, u_>3 >= 2, u_>4 >= 3, u_>5 >= 5, u_>6 >= 8, u_>7 >= 13, . . . , (7)

в которой каждый последующий член равен сумме двух предыдущих. Эта последовательность называется последовательностью Фибоначчи, а её члены – числами Фибоначчи.

Пример 4. Рассмотрим последовательность квадратов натуральных чисел:

u_>1 >= 1², u_>2 >= 2², u_>3 >= 3², . . . , u_>n>_> >= n², . . . (8)

Здесь u_{>n + 1} >= (n + 1)² = n² + 2n + 1 и, следовательно,

u_{>n + 1} >= u_>n> + 2n + 1. (9)

Увеличивая n на единицу, получим:

u_{>n + 2} >= u_{>n + 1}> + 2n + 3. (10)

Вычитая почленно (9) из (10), получим:

u_{>n + 2} >- u_{>n + 1}> = u_{>n + 1}> - u_>n> + 2, или u_{>n + 2} >= 2u_{>n + 1}> - u_>n> + 2. (11)

Увеличивая в равенстве (11) n на единицу, будем иметь:

u_>n>_{> + 3} >= 2u_>n>_{> + 2}> - u_>n>_{> + 1}> + 2, (12)

откуда (вычитая почленно (11) из (12))

u_>n>_{> + 3} >- u_>n>_{> + 2}> = 2u_>n>_{> + 2}> - 2u_>n>_{> + 1}> + u_>n>_> >,

или u_{>n + 3} >= 3u_{>n + 2}> - 3u_{>n + 1}> + u_>n >. _> >(13)

Получили возвратное уравнение третьего порядка. Следовательно, последовательность (8) есть возвратная последовательность третьего порядка.

Пример 5. К возвратным относятся все периодические последовательности. Рассмотрим последовательность цифр десятичного разложения числа

_>> = 0,57132132132…

Здесь u_>1 >= 5, u_>2 >= 7, u_>3 >= 1, u_>4 >= 3, u_>5 >= 2, u_>6 >= 1, u_>7 >= 3, . . . , (14)

Очевидно, что u_>n>_{> + 3} >= u_>n>_> > (n ≥ 3). (15)

Чтобы представить это уравнение в виде (2), перепишем его следующим образом:

u_>n>_{> + 3} >= 0•u_>n>_{> + 2}> + 0•u_>n>_{> + 1}> + 1•u_>n>_> >.

Отсюда видно, что это возвратное уравнение третьего порядка ( k = 1, a_>1 >= 0, a_>2 >= 0, a_>3 >= 0). Значит последовательность (14) является возвратной последовательностью третьего порядка.

Пример 6. Рассмотрим последовательность коэффициентов частного от деления двух многочленов, расположенных по возрастающим степеням x. Пусть

P (x) = A_>0> + A_>1>x + . . . + A_>l>x^l

Q (x) = B_>0> + B_>1>x + . . . + B_>k>x^k (B_>0> ≠ 0).

Будем делить P (x) на Q (x). Если P (x) не делится на Q (x) без остатка, то деление можно продолжать неограниченно. В частном один за другим будут получаться члены:

D_>0> + D_>1>x + D_>2>x² + D_>3>x³ + . . . + D_>n>xⁿ + . . .

Рассмотрим последовательность

u_>1 >= D_>0>, u_>2 >= D_>1>, . . . , u_>n>_> >= D_>n>_{> - 1}>, . . . (16)

и докажем, что она является возвратной порядка k ( k – степень делителя). Фиксируем произвольное натуральное число n, удовлетворяющее единственному условию n ≥ l – k + 1, и остановимся в процессе деления на члене частного, содержащем x^{n + k} . Тогда в остатке получится некоторый многочлен R (x), содержащий x в степенях выше, чем n + k. Записывая соотношение между делимым, делителем, частным и остатком, получим следующее тождество:

A_>0>+A_>1>x+…+A_>l>x^l=(B_>0>+B_>1>x+...+B_>k>x^k)•(D_>0>+D_>1>x+D_>2>x²+D_>3>x³+...+D_>n+k>x^n+k)+R(x)

Найдём коэффициенты при x^{n + k} в левой и правой частях этого тождества и приравняем их между собой. Так как n + k ≥ l + 1, то коэффициент при x^{n + k} в левой части равен нулю. Поэтому должен равняться нулю и коэффициент при x^{n + k} в правой части. Но члены с x^{n + k} содержатся здесь только в произведении

( B_>0> + B_>1>x + . . . + B_>k>x^k ) • ( D_>0> + D_>1>x + D_>2>x² + D_>3>x³ + . . . + D_>n>_{> +} >_>k>x^{n + k} )

(остаток R (x) содержит x в более высоких степенях). Поэтому искомый коэффициент есть

D_>n>_{> +} >_>k>B_>0 >+ D_>n>_{> +} >_>k>_{> - 1}>B_>1 >+ . . . + D_>n>B_>k>_> >. (17)

По предыдущему он должен равняться нулю:

D_>n>_{> +} >_>k>B_>0 >+ D_>n>_{> +} >_>k>_{> - 1}>B_>1 >+ . . . + D_>n>B_>k>_> >= 0, откуда (B_>0> ≠ 0)

D_{>n + k} >= -_>> D_{>n + k – 1} >- . . . - _> >D_>n > (n ≥ l – k + 1). (18)

Это возвратное уравнение порядка k, откуда следует. Что последовательность (16) есть возвратная последовательность порядка k.

§2. Обобщение произвольных возвратных последовательностей

Из всех рассмотренных примеров наиболее общий характер имеет пример 6. Покажем, что произвольная возвратная последовательность порядка k

u_>1>, u_>2>, u_>3>, . . . , u_>n>, . . . , (19)

удовлетворяющая уравнению вида

u_{>n + k} >= a_>1>u_{>n +k – 1}> + a_>2>u_{>n + k – 2} >+ … + a_>k>u_>n> (n _> > m _> > 1), (20)

совпадает с последовательностью коэффициентов частного, полученного от деления многочлена P (x) на многочлен

Q (x) = 1 - a_>1>x - . . . - a_>k>x^k . (21)

Пусть n – произвольное натуральное число, удовлетворяющее условию n > k + m – 2; умножим многочлен Q (x) на u_>1> + u_>2>x + u_>3>x² + . . . +u_{>n + 1}>xⁿ . Получим:

(1 - a_>1>x – a_>2>x² - . . . - a_>k>x^k )( u_>1> + u_>2>x + . . . + u_{>k + m - 1}>x^{k + m - 2} + . . . +u_{>n + 1}>xⁿ) = = [u_>1 >+ (u_>2 >- a_>1>u_>1>)x + . . . +( u_{>k + m – 1} >- a_>1>u_{>k + m – 2} >- . . . - a_>k>u_{>m – 1} >)x^{k + m – 2}] +

+ [( u_{>k + m} >- a_>1>u_{>k + m – 1} >- . . . - a_>k>u_>m >)x^{k + m – 1} + . . . + ( u_{>n + 1} >- a_>1>u_>n >- . . . - a_>k>u_{>n - k + 1} >)xⁿ ] – - [(a_>1>u_{>n + 1} >+ . . . + a_>k>u_>n>_{> -} >_>k>_{> + 2}>) x^{n + 1} + . . . + a_>k>u_>n>_{> + 1} >x^{n + k}]. (22)

Здесь в первой квадратной скобке находится многочлен степени не выше l = k + m – 2, коэффициенты которого не зависят от взятого числа n; обозначим его через P (x):

P (x) = u_>1 >+ (u_>2 >- a_>1>u_>1>)x +

+ . . . +( u_{>k + m – 1} >- a_>1>u_{>k + m – 2} >- . . . - a_>k>u_{>m – 1} >)x^{k + m – 2} . (23)

В следующей квадратной скобке находится многочлен, все коэффициенты которого равны нулю, в силу равенства (20). В последней квадратной скобке заключается многочлен, коэффициенты которого зависят от n; он не содержит членов степени ниже n + 1. Обозначая его через R_>n> (x), перепишем тождество (22) в виде

P (x) = (1 - a_>1>x – a_>2>x² - . . . - a_>k>x^k )( u_>1> + u_>2>x + . . . +u_>n>_{> + 1}>xⁿ) + R_>n> (x). (24)

Отсюда видно, что u_>1> + u_>2>x + . . . +u_>n>_{> + 1}>xⁿ представляет частное, а R_>n> (x) – остаток от деления P (x) на

Q (x) = 1 - a_>1>x – a_>2>x² - . . . - a_>k>x^k , то есть

u_>1>, u_>2>, . . . , u_>n>, u_{>n + 1} >, . . . ,

действительно является последовательностью коэффициентов частного, получаемого от деления многочлена (23) на (21).

В виде примера рассмотрим последовательность Фибоначчи:

u_>1 >= 1, u_>2 >= 1, u_>3 >= 2, u_>4 >= 3, u_>5 >= 5, u_>6 >= 8, u_>7 >= 13, . . . ,

Так как её члены удовлетворяют уравнению

u_>n+2 >= u_>n+1 >+ u_>n >(n ≥ l),

то здесь m = 1, k = 2, a_>1 >= 1, a_>2 >= 1 и Q (x) = 1 – x – x² .

Многочлен P (x) должен иметь степень не выше k + m – 2 = 1. По формуле (23) получаем:

P (x) = 1 + (1 - 1•1)x = 1.

Итак, числа Фибоначчи совпадают с последовательностью коэффициентов частного от деления 1 на 1 – x – x² .

§3. Изучение и применение возвратных последовательностей в курсе средней школы

Один из вопросов, который приходится решать в курсе средней школы относительно арифметической и геометрической прогрессий, а также последовательности квадратов натуральных чисел, заключается в отыскании суммы n членов каждой их этих последовательностей. Пусть

u_>1>, u_>2>, u_>3>, . . . , u_>n>, . . . , (25)

- возвратная последовательность порядка k, члены которой удовлетворяют уравнению:

u_{>n + k} >== a_>1>u_{>n +k – 1}> + a_>2>u_{>n + k – 2} >+ … + a_>k>u_>n> (n _> > m). (26)

Рассмотрим новую последовательность, образованную суммами S_>n>_> >чисел (25):

S_>1 >= u_>1, >S_>2 >= u_>1 >+ u_>2 >, . . . , S_>n >= u_>1 >+ u_>2 >+ . . . + u_>n>, . . . , (27)

и покажем, что эта последовательность сумм является также возвратной, порядка k + 1, причём её члены удовлетворяют уравнению

S_{>n + 1 + k} >= (1 + a_>1>) S_{>n + k} >+ (a_>2> - a_>1>) S_{>n + k - 1} >+ . . . + (a_>k> – a_>k>_{> - 1}>) S_>n>_{> + 1} >- a_>k>S_>n>_> >. (28)

Заметим, что

u_>1 >= S_>1>, u_>2 >= S_>2 >- u_>1 >= S_>2 >– S_>1>, . . . , u_>n >= S_>n >– (u_>1 >+. . .+ u_{>n - 1}>)_> >= S_>n >- S_{>n – 1}>, (29)

Полагая S_>0 >= 0 так, что u_>1 >= S_>1 >– S_>0>, и подставляя в уравнение (26) вместо u_>1>, u_>2>, u_>3>, . . . , u_>n>, . . . , их выражения через S_>0>, S_>1>, S_>2>, . . . , S_>n>, . . . , получим:

S_{>n + k} >- S_{>n + k – 1} >=a_>1>(S_{>n + k – 1} >- S_{>n + k – 2}>)+ a_>2>(S_{>n + k – 2} >- S_{>n + k – 3}>) + ... + a_>k>(S_>n >- S_{>n – 1}>),

Откуда S_{>n + k} >= (1 + a_>1>) S_{>n + k – 1} >+ (a_>2> - a_>1>) S_{>n + k - 2} >+ . . . + (a_>k> – a_{>k - 1}>) S_>n >- a_>k>S_{>n – 1} >(n ≥ m),

или, заменяя здесь n через n+1:

S_{>n + k + 1} >= (1 + a_>1>) S_{>n + k} >+ (a_>2> - a_>1>) S_{>n + k - 1} >+ . . . + (a_>k> – a_{>k - 1}>) S_{>n + 1} >- a_>k>S_>n >(n ≥ m - 1).

Это – возвратное уравнение порядка k + 1.

Примеры:

Геометрическая прогрессия.

Здесь u_>n>_> >= aq^n-1 и

S_>n >= u_>1 >+ u_>2 >+ . . . + u_>n >= a + aq + . . . + aq^n-1 .

Так как члены {u_>n>} удовлетворяют уравнению вида u_>n>_{> + 1} >= q u_>n>_> >, то члены {S_>n>} должны удовлетворять уравнению

S_>n> (1 + q) S_>n>_{> + 1} >- q S_>n>_> >. (30)

Последовательность квадратов натуральных чисел.

Здесь u_>n>_> >= n² и S_>n>_> >= 1 + 2² + . . . + n² .

Так как члены {u_>n>} удовлетворяют уравнению

u_>n>_{> + 3} >= 3u_>n>_{> + 2}> - 3u_>n>_{> + 1}> + u_>n>_> >,

то члены {S_>n>} удовлетворяют уравнению вида

S_{>n + 4} >= 4S_{>n + 3}> - 6u_{>n + 2}> + 4S_{>n + 1} >- S_>n >.

Числа Фибоначчи.

Так как они удовлетворяют уравнению

u_>n+2 >= u_>n+1 >+ u_>n >,

то суммы их S_>n>_> >должны удовлетворять уравнению

S_>n+3 >= 2S_>n+2 >- S_>n >.

§4. Формулы вычисления любого члена возвратной последовательности. Базис возвратного уравнения

В случае простейших возвратных последовательностей, например арифметической и геометрической прогрессий, последовательности квадратов или кубов натуральных чисел, а также периодической последовательности, можно находить любой член последовательности, не прибегая к вычислению предшествующих членов. Но в случае последовательности числе Фибоначчи или общей последовательности коэффициентов частного от деления двух многочленов, на первый взгляд это невозможно, и чтобы вычислить тринадцатое число Фибоначчи u_>13 >, нужно найти предварительно, один за другим, все предшествующие члены (пользуясь уравнением u_>n+2 >= u_>n+1 >+ u_>n>):

u_>1 >= 1, u_>2 >= 1, u_>3 >= 2, u_>4 >= 3, u_>5 >= 5, u_>6 >= 8, u_>7 >= 13, u_>8 >= 21, u_>9 >= 34,

u_>10 >= 55, u_>11 >= 89, u_>12 >= 144, u_>13 >= 233.

В ходе детального исследования структуры членов возвратной последовательности можно получить формулы, позволяющие вычислить в самом общем случае любой член возвратной последовательности, не прибегая к вычислению предшествующих членов. Эти формулы можно рассматривать как далеко идущие обобщения формул для общего члена арифметической или геометрической прогрессий. Пусть

u_>n>_{> +} >_>k>_> >== a_>1>u_>n>_{> +}>_>k>_{> – 1}> + a_>2>u_>n>_{> +} >_>k>_{> – 2} >+ … + a_>k>u_>n>_> >(31)

- возвратное уравнение порядка k. Если оно выполняется для всех натуральных значений n = 1, 2, 3, . . . , то, положив n = 1, получим:

u_>k>_{> + 1} >== a_>1>u_>k> + a_>2>u_>k>_{> – 1} >+ … + a_>k>u_>1 >.

Теперь зная u_>1>, u_>2>, u_>3>, . . . , u_>k>_> >можно вычислить u_>k>_{> + 1} >. Полагая в уравнении (31) n = 2 найдём:

u_>k>_{> + 2} >== a_>1>u_>k>_{> + 1}> + a_>2>u_>k>_> >+ … + a_>k>u_>2> .

Значит, уже известно и значение u_>k>_{> + 2} >. Если m – какое-либо натуральное число, и уже вычислены члены последовательности u_>1>, u_>2>, u_>3>, . . . , u_>k>, u_>k>_{> + 1}>, . . . , u_{>m +} >_>k>_{> – 1}>, то, полагая в уравнении (31) n = m, найдём из него следующий член u_{>m +} >_>k>.

Итак, члены возвратной последовательности порядка k, удовлетворяющей уравнению (31), определяются единственным образом с помощью этого уравнения, если известны первые k членов последовательности: u_>1>, u_>2>, u_>3>, . . . , u_>k>.

Выбирая их различными способами можно получить бесконечное множество различных последовательностей, удовлетворяющих уравнению (31). Их различие между собой будет проявляться уже в первых k членах и будет обнаруживаться также в дальнейших членах.

Так, например, уравнению первого порядка

u_>n>_{> + 1}> = qu_>n>

удовлетворяют всевозможные геометрические прогрессии со знаменателем q (они различаются друг от друга значениями первого члена u_>1>).

Пусть имеем некоторое количество последовательностей, удовлетворяющих одному и тому же уравнению (31):

x_>1>, x_>2>, . . . , x_>n>, . . . ,

y_>1>, y_>2>, . . . , y_>n>, . . . ,

. . . . . . . . . . . . . . . . (32)

z_>1>, z_>2>, . . . , z_>n>, . . . ,

Тогда выполняется уравнение:

x_{>n + k} >== a_>1>x_{>n +k – 1}> + a_>2>x_{>n + k – 2} >+ … + a_>k>x_>n >,

y_{>n + k} >== a_>1>y_{>n +k – 1}> + a_>2>y_{>n + k – 2} >+ … + a_>k>y_>n >,

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (33)

z_{>n + k} >== a_>1>z_{>n +k – 1}> + a_>2>z_{>n + k – 2} >+ … + a_>k>z_>n>_> >,

Возьмём произвольные числа A, B, . . . , C, по числу последовательностей (32), умножим все члены первого из уравнений на А, второго на В, . . . , последнего на С и сложим . Тогда получится равенство:

А x_>n>_{> +} >_>k>_> >+ В y_>n>_{> +} >_>k>_> >+ . . . + С z_>n>_{> +} >_>k>_> >=

= a_>1>(Аx_{>n +k – 1} >+ Вy_{>n +k – 1} >+ . . . + Cz_{>n +k – 1}>) +

+a_>2>(Аx_{>n +k – 2} >+ Вy_{>n +k – 2} >+ . . . + Cz_{>n +k – 2}>) + ... + a_>k>(Аx_>n>_> >+ Вy_>n>_> >+ ... + Cz_>n>).(34)

Из него следует, что последовательность

t_>1> = Аx_>1 >+ Вy_>1 >+ . . . + Cz_>1>,

t_>2> = Аx_>2 >+ Вy_>2 >+ . . . + Cz_>2>,

. . . . . . . . . . . . . . . . . . . . . (35)

t_>n> = Аx_>n>_> >+ Вy_>n>_> >+ . . . + Cz_>n>,

. . . . . . . . . . . . . . . . . . . . .

Получающаяся из последовательностей (32) путём умножения всех членов первой из них на А, второй на В, . . . , последней на С и затем почленного сложения последовательностей, удовлетворяет уравнению (31). Изменяя A, B, . . . , C, можно получить различные значения членов t_>1>, t_>2>, t_>3>, ...

Пусть

u_>1>, u_>2>, u_>3>, . . . , u_>n>, . . . , (36)

- какая-либо последовательность, удовлетворяющая уравнению (31). Если удастся придать числам A, B, . . . , C такие значения, чтобы первые k членов последовательности (35) совпали бы с первыми k членами последовательности (36), то совпадут и все члены последовательностей (35) и (36), т. е. при любом натуральном n будем иметь:

u_>n> = Аx_>n>_> >+ Вy_>n>_> >+ . . . + Cz_>n>. (37)

Таким образом, открывается возможность представить любую из бесконечного множества последовательностей, удовлетворяющих одному и тому же возвратному уравнению порядка k, через некоторые из них (32), по формуле (37).

Реализация этой возможности зависит от того, возможно ли подобрать числа A, B, . . . , C так, чтобы удовлетворялись уравнения:

Аx_>1 >+ Вy_>1 >+ . . . + Cz_>1> = u_>1>

Аx_>2 >+ Вy_>2 >+ . . . + Cz_>2> = u_>2>

. . . . . . . . . . . . . . . . . . . . . (38)

Аx_>k>_> >+ Вy_>k>_> >+ . . . + Cz_>k>_> >= u_>k>

с произвольно заданными значениями правых частей u_>1>, u_>2>, u_>3>, . . . , u_>k>.

Так как неизвестными здесь являются числа A, B, . . . , C, а число уравнений равно порядку k возвратного уравнения, то отсюда следует, что и количество неизвестных A, B, . . . , C целесообразно взять также равным k. Известно, что наличие решений у системы k алгебраических уравнений (38) с k неизвестными A, B, . . . ,

C зависит от того, каковы коэффициенты этой системы: x_>1>, y_>1>, . . . , z_>1>, . . . , x_>k>, y_>k>, . . . ,z_>k>, т. е. от того, каковы начальные члены последовательностей (32).

Решение будет существовать при произвольных правых частях u_>1>, u_>2>, u_>3>, . . . , u_>k>, если положим

x_>1 >= 0,_> >y_>1 >= 0, . . . , z_>1> = 0

x_>2 >= 0,_> >y_>2 >= 0, . . . , z_>2> = 0

. . . . . . . . . . . . . . . . . . . . (39)

x_>k >= 0, y_>k >= 0, . . . , z_>k >= 1

В этом случае система (38) принимает простейший вид, сразу обнаруживающий решение системы

А = u_>1>

В = u_>2>

. . . . . .

C = u_>k>

Возможен иной выбор чисел x_>1>, y_>1>, . . . , z_>1>, . . . , x_>k>, y_>k>, . . . ,z_>k>, при котором система (38) имеет решение, каковы бы ни были правые части уравнений.

ТЕОРЕМА. Для того чтобы система k линейных алгебраических уравнений (38) с k неизвестными имела решение A, B, . . . , C и притом единственное, при любых значениях правых частей u_>1>, u_>2>, u_>3>, . . . , u_>k>, необходимо и достаточно, чтобы соответствующая ей однородная система

Аx_>1 >+ Вy_>1 >+ . . . + Cz_>1> = 0

Аx_>2 >+ Вy_>2 >+ . . . + Cz_>2> = 0

. . . . . . . . . . . . . . . . . . . . . (38')

Аx_>k>_> >+ Вy_>k>_> >+ . . . + Cz_>k>_> >= 0

имела бы одно только нулевое решение:

A = B = . . . = C = 0.

Если числа такого рода выбраны в качестве начальных членов последовательностей (32), то любая последовательность, удовлетворяющая возвратному уравнению (31), выразится по формуле (37), где числа A, B, . . . , C определяются из уравнений (38). Система k последовательностей (32), через которые члены любой последовательности, удовлетворяющей данному уравнению (31), выражаются по формулам (37), называется базисом возвратного уравнения.

Вывод: для каждого возвратного уравнения порядка k существует бесконечное множество различных, удовлетворяющих ему последовательностей. Любую из них можно составить из k последовательностей, удовлетворяющих этому уравнению и образующих его базис, путём умножения каждой из k последовательностей соответственно на некоторые числа A, B, . . . , C и почленного сложения.

Таким образом, для полного решения возвратного уравнения порядка k достаточно найти лишь конечное число k удовлетворяющих ему последовательностей, образующих базис этого уравнения.

§5. Характеристическое уравнение для возвратного уравнения

Покажем, что при некоторых условиях можно найти базис возвратного уравнения (31)

u_{>n + k} >== a_>1>u_{>n +k – 1}> + a_>2>u_{>n + k – 2} >+ … + a_>k>u_>n>_> >,

состоящий из k геометрических прогрессий с различными знаменателями. Выясним, при каких условиях некоторая геометрическая прогрессия

x_>1> = 1, x_>2> = q, . . . , x_>n> = q^{n – 1}, . . . , (q ≠ 0)

удовлетворяет уравнению (31). Замечая, что

x_>n>_{> + k}> = q^{n + k – 1}, x_>n>_{> + k - 1}> = q^{n + k – 2}, . . . , x_>n> = q^{n – 1}

и подставляя эти величины в уравнение (31) получим:

q^{n + k – 1} = a_>1> q^{n + k – 2}+ a_>2> q^{n + k – 3} + … + a_>n> q^{n – 1},

откуда q^k = a_>1> q^{k – 1}+ a_>2> q^{k – 2} + … + a_>k> . (40)

Итак, геометрическая прогрессия только тогда может удовлетворять возвратному уравнению (31) порядка k, когда знаменатель прогрессии q удовлетворяет алгебраическому уравнению (40) степени k с теми же коэффициентами, как и в уравнении (31). Уравнение (40) называется характеристическим для возвратного уравнения (31).

Вывод: возвратному уравнению порядка k соответствует алгебраическое уравнение степени k с теми же коэффициентами – его характеристическое уравнение. Каждый из корней характеристического уравнения представляет знаменатель геометрической прогрессии, удовлетворяющий данному возвратному уравнению. В случае, когда все корни характеристического уравнения различны между собой, получаются k различных геометрических прогрессий, образующих базис возвратного уравнения. Следовательно, в этом случае члены любой последовательности, удовлетворяющей возвратному уравнению, можно получить путём почленного сложения некоторых геометрических прогрессий (числом k).

При решении некоторых возвратных задач иногда используют следующую теорему.

ТЕОРЕМА. Пусть a и b – два натуральных числа, причём a < b; тогда число операций последовательного деления в алгоритме Евклида, необходимых для отыскания наибольшего общего делителя a и b, не превосходит упятерённого числа цифр числа а, записанного по десятичной системе счисления.

§6. Возвратные задачи

1. Задача о ханойской башне

Рассмотрим сначала маленькую изящную головоломку под названием ханойская башня, которую придумал французский математик Эдуард Люка в 1883 г. Башня представляет собой восемь дисков, нанизанных в порядке уменьшения размеров на один из трех колышков. Задача состоит в том, чтобы переместить всю башню на один из других колышков, перенося каждый раз только один диск, и не помещая больший диск на меньший.

Будем решать эту задачу в общем виде, т.е. посмотрим, что будет в случае n дисков.

Будем говорить, что T_>n> есть минимальное число перекладываний, необходимых для перемещения n дисков с одного колышка на другой по правилам Люка.

Рассмотрим крайние случаи: Т_>0 >= 0, T_>1 >= 1, T_>2 >= 3, T_>3 >= 7. Эксперимент с тремя дисками дает ключ к общему правилу перемещения n дисков: сначала мы перемещаем (n − 1) меньших дисков на любой из колышков (что требует Т_>n>_{> - 1}> перекладываний), затем перекладываем самый большой диск (одно перекладывание ) и, наконец, помещаем (n − 1) меньших дисков обратно на самый большой диск (еще Т_>n>_{> - 1}> перекладываний). Таким образом, n дисков (при n > 0) можно переместить самое большое за 2T_>n>_{> – 1} >+ 1 перекладываний (т.е. достаточно перекладываний):

T_>n>_> >≤ 2T_>n>_{> – 1} >+ 1.

Сейчас покажем, что необходимо 2T_>n>_{> – 1} >+ 1 перекладываний. На некотором этапе мы обязаны переместить самый большой диск. Когда мы это делаем, (n − 1) меньших дисков должны находиться на одном колышке, а для того чтобы собрать их вместе, потребуется по меньшей мере Т_>n>_{> - 1} >перекладываний. Самый большой диск можно перекладывать и более одного раза.

Но после перемещения самого большого диска в последний раз мы обязаны поместить (n − 1) меньших дисков (которые опять должны находиться на одном колышке) обратно на наибольший диск, что также требует Т_>n>_{> - 1} >перекладываний.

Следовательно,

T_>n>_> >≥ 2T_>n>_{> – 1} >+ 1.

Эти два неравенства вместе с тривиальным решением при n = 0 дают рекуррентное соотношение:

Т_>0 >= 0

T_>n>_> >= 2T_>n>_{> – 1} >+ 1 при n > 0 (41)

При достаточно большом n для вычисления Т_>n> потребуется слишком много времени, поэтому получим Т_>n>_> >в простой, компактной, «замкнутой форме», что позволит вычислить Т_>n> быстро.

Первый способ решения (угадывание правильного решения с последующим доказательством, что наша догадка верна). Вычислим:

Т_>3 >= 2∙3 + 1 = 7; Т_>4 >= 2∙7 + 1; Т_>5 >= 2∙15 + 1; Т_>6 >= 2∙31 + 1 = 63.

Теперь можно сделать предположение, что

Т_>n>_> >=2ⁿ − 1 при n ≥ 0. (42)

Докажем методом математической индукции по числу n:

База: n = 0, Т_>0>=2⁰ – 1 = 1 – 1 = 0 (верно);

Индуктивный переход: пусть доказано для всех чисел t ≤ (n – 1). Докажем для

t = n: Т_>n>_> >= 2T_>n>_{> – 1} >+1 _> > 2(2^{n – 1} − 1) + 1 = 2∙2^{n – 1} − 2 + 1 = 2ⁿ − 1

Из пунктов 1 и 2 следует: при n ≥ 0 Т_>n>_> >= 2ⁿ − 1

Второй способ решения.

К обеим частям соотношения (41) прибавим 1:

Т_>0>+1 = 1,

Т_>n>+1 = 2T_>n>_{> – 1} >+ 2 при n > 0.

Обозначим U_>n>_> >= T_>n>_> >+ 1, тогда получим

U_>0 >= 1

U_>n>_> >= 2U_>n>_{> - 1}> при n > 0.

Решением этой рекурсии есть U_>n>_> >= 2ⁿ; следовательно Т_>n> = 2ⁿ−1.

2. Задача о разрезании пиццы

Формулировка задачи: сколько кусков пиццы можно получить, делая n прямолинейных разрезов ножом? Или, каково максимальное число L_>n> областей, на которые плоскость делится n прямыми?

0100090000030202000002008a01000000008a01000026060f000a03574d464301000000000001006ea10000000001000000e802000000000000e8020000010000006c00000000000000010000000e000000250000000000000000000000033b0000280e000020454d4600000100e80200000e000000020000000000000000000000000000007606000023090000d2000000290100000000000000000000000000008a3403005d880400160000000c000000180000000a0000001000000000000000000000000900000010000000a60400001e010000250000000c0000000e000080120000000c00000001000000520000007001000001000000dfffffff00000000000000000000000090010000000000cc04400012540069006d006500730020004e0065007700200052006f006d0061006e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000cb30093000000000040000000000ae30083109300000000047169001cc0002020603050405020304877a0020000000800800000000000000ff01000000000000540069006d00650073002000000065007700200052006f006d0061006e00000000000000bd2d093050bbae30003314000100000000000000a0481100aab40230a04811004c3eaf30b84811006476000800000000250000000c00000001000000180000000c00000000000002540000005400000000000000010000000e0000002500000001000000d6244b41eb294b41000000001e000000010000004c000000040000000000000000000000a60400001d010000500000002000ffff0f00000046000000280000001c0000004744494302000000ffffffffffffffffa70400001e010000000000004600000014000000080000004744494303000000250000000c0000000e0000800e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0291005c02040000002e0118001c000000fb020800040000000000bc02000000cc0102022253797374656d0000000000000000000000000000000000000000000000000000040000002d01000004000000020101001c000000fb02efff0000000000009001000000cc0440001254696d6573204e657720526f6d616e0000000000000000000000000000000000040000002d010100050000000902000000020d000000320a0f00000001000400000000005c02910020b30800040000002d010000030000000000

Снова начнем с рассмотрения крайних случаев.

Эксперимент с тремя прямыми показывает, что добавленная третья прямая может рассекать самое большое три старых области вне зависимости от того, как расположены первые две прямые:

Таким образом, L_>3 >= 4 + 3 = 7 – самое большое, что можно сделать.

Обобщая, приходим к следующему выводу: новая n-я прямая (при n > 0) увеличивает число областей на k ó когда рассекает k старых областей ó когда пересекает прежние прямые в (k − 1) различных местах. Две прямые могут пересекаться не более чем в одной точке. Поэтому новая прямая может пересекать (n − 1) старых прямых не более чем в (n − 1) различных точках, и мы должны иметь k ≤ n. Установлена верхняя граница:

L_>n>_> >≤ L_>n>_{> – 1} >+ n при n > 0

В этой формуле можно достичь равенства следующим образом: проводим n-ю прямую так, чтобы она не была параллельна никакой другой прямой (следовательно, она пересекает каждую из них) и так, чтобы она не проходила ни через одну из имеющихся точек пересечения (следовательно, она пересекает каждую из прямых в различных местах). Поэтому рекуррентное соотношение имеет вид:

L_>0 >= 1

L_>n>_> >= L_>n>_{> - 1}>+ n при n > 0

Теперь получим решение в замкнутой форме.

L_>n>_> >= L_>n>_{> – 1} >+ n = L_>n>_{> – 2} >+ (n−1) + n = L_>n>_{> - 3}>+ (n−2) + (n−1) + n = … = L_>0>+ 1 + 2+ +… + (n−2) + (n−1) + n = 1 + _> >

L_>n> = _> > + 1 при n ≥ 0 (43)

Докажем полученное равенство методом математической индукции.

База: n=0, L_>0>=_>> = 1 (верно);

Индуктивный переход: пусть доказано для всех чисел t ≤ (n–1). Докажем для t=n:

L_>n>_> >= L_>n>_>-1>+ n _> > _> > = _> > = _> >

Из пунктов 1 и 2 следует: при n ≥ 0

L_>n> = _> > + 1

А теперь небольшая вариация на тему прямых на плоскости: предположим, что вместо прямых линий мы используем ломаные линии, каждая из которых представлена одним «зигом». Каково максимальное число Z_>n> областей, на которые плоскость делится n такими ломаными линиями?

Частные случаи:

Ломаная линия подобна двум прямым с тем лишь отличием, что области сливаются, если «две» прямые не продолжать после их пересечения:

Области 2, 3 и 4, которые были бы разделены при наличии двух прямых, превращаются в единую область в случае одной ломаной линии, т.е. мы теряем две области. И если привести все в надлежащий порядок, то точка излома должна лежать «по ту сторону» пересечений с другими линиями, и мы теряем только две области на одну линию. Таким образом,

Z_>n> = L_>2>_>n>_> >− 2n = _> > = 2n² −n+1 при n ≥ 0 (44)

Сравнивая решения в замкнутой форме (43) и (44), мы приходим к выводу, что при большом n,

L_>n> ~ _> >,

Z_>n> ~ 2n² ,

так что ломаные линии дают примерно в четыре раза больше областей, чем прямые.

Глава 2 (практическая часть)

1. Рассмотрим последовательность квадратов натуральных чисел:

u_>1 >= 1², u_>2 >= 2², u_>3 >= 3², . . . , u_>n>_> >= n², . . . (*)

Здесь u_{>n + 1} >= (n + 1)² = n² + 2n + 1 и, следовательно,

u_{>n + 1} >= u_>n> + 2n + 1. (1)

Увеличивая n на единицу, получим:

u_{>n + 2} >= (n + 2)² = n² + 4n + 4 = (n² + 2n + 1) + 2n + 3 = u_{>n + 1}> + 2n + 3.

u_>n>_{> + 2} >= u_>n>_{> + 1}> + 2n + 3 . (2)

Вычитая почленно (1) из (2), получим:

u_{>n + 2} >- u_{>n + 1}> = (u_{>n + 1}> + 2n + 3) – (u_{>n + 1} >= u_>n> + 2n + 1 ) = u_{>n + 1}> - u_>n> + 2,

u_>n>_{> + 2} >= 2u_>n>_{> + 1}> - u_>n> + 2. (3)

Увеличивая в равенстве (3) n на единицу, будем иметь:

u_{>n + 3} >= (n + 3)² = n² + 6n + 9 = (n² + 4n + 4) + 2n + 5 = u_{>n + 2}> + 2n + 5,

u_>n>_{> + 3} >= u_>n>_{> + 2}> + 2n + 5. (4)

Вычитая почленно (2) из (4), получим:

u_{>n + 3} >- u_{>n + 2} >= (u_{>n + 2}> + 2n + 5) – (u_{>n + 1}> + 2n + 3 ) = u_{>n + 2}> - u_{>n + 1}> + 2,

u_>n>_{> + 3} >= 2u_>n>_{> + 2}> - u_>n>_{> + 1}> + 2, (5)

Вычитая почленно (3) из (5), получим:

u_{>n + 3} >- u_{>n + 2}> = (2u_{>n + 2}> - u_{>n + 1}> + 2) – (2u_{>n + 1}> - u_>n> + 2) = 2u_{>n + 2}> - 3u_{>n + 1}> + u_>n >,

или u_{>n + 3} >= 3u_{>n + 2}> - 3u_{>n + 1}> + u_>n.. >(6)

Получили возвратное уравнение третьего порядка, т. е. k = 3, a_>1 >= 3, a_>2 >= -3, a_>3 >= 1.

Следовательно, последовательность (*) есть возвратная последовательность третьего порядка.

2. Рассмотрим последовательность кубов натуральных чисел:

u_>1 >= 1³, u_>2 >= 2³, u_>3 >= 3³, . . . , u_>n>_> >= n³, . . . (**)

Здесь u_{>n + 1} >= (n + 1)³ = n³ + 3n² + 3n + 1 и, следовательно,

u_{>n + 1} >= u_>n> + 3n² + 3n + 1. (7)

Увеличивая n на единицу, получим:

u_{>n + 2} >= (n + 2)³ = n³ + 6n² + 12n + 8 = (n³ + 3n² + 3n + 1) + 3n² + 9n + 7 = = u_{>n + 1}> + 3n² + 9n + 7,

u_>n>_{> + 2} >= u_>n>_{> + 1}> + 3n² + 9n + 7. (8)

Вычитая почленно (7) из (8), получим:

u_{>n + 2} >- u_{>n + 1}> = (u_{>n + 1}> + 3n² + 9n + 7) – (u_>n> + 3n² + 3n + 1) = u_{>n + 1}> - u_>n> + 6n + 6,

u_>n>_{> + 2} >= 2u_>n>_{> + 1}> - u_>n> + 6n + 6. (9)

Увеличивая в равенстве (9) n на единицу, будем иметь:

u_{>n + 3} >= (n + 3)³ = n³ + 9n² + 27n + 27 = (n³ + 6n² + 12n + 8) + 3n² + 15n + 19= u_{>n + 2}> + 3n² + 15n + 19,

u_>n>_{> + 3} >= u_>n>_{> + 2}> + 3n² + 15n + 19. (10)

Вычитая почленно (8) из (10), получим:

u_{>n + 3} >- u_{>n + 2} >= (u_{>n + 2}> + 3n² + 15n + 19) – (u_{>n + 1}> + 3n² + 9n + 7) = u_{>n + 2}> - u_{>n + 1}> + 6n + 12,

u_>n>_{> + 3} >= 2u_>n>_{> + 2}> - u_>n>_{> + 1}> + 6n + 12. (11)

Вычитая почленно (9) из (11), получим:

u_{>n + 3} >- u_{>n + 2}> = (2u_{>n + 2}> - u_{>n + 1}> + 6n + 12) – (2u_{>n + 1}> - u_>n> + 6n + 6) = 2u_{>n + 2}> - 3u_{>n + 1}> + u_>n >+ 6_> >,

или u_{>n + 3} >= 3u_{>n + 2}> - 3u_{>n + 1}> + u_>n >+ 6_>. >(12)

Увеличивая в равенстве (12) n на единицу, будем иметь:

u_{>n + 4} >= (n + 4)³ = n³ + 12n² + 48n + 64 = (n³ + 9n² + 27n + 27) + 3n² + 21n + + 37 = u_{>n + 3}> + 3n² + 21n + 37,

u_>n>_{> + 4} >= u_>n>_{> + 3}> + 3n² + 21n + 37. (13)

Вычитая почленно (10) из (13), получим:

u_{>n + 4} >- u_{>n + 3} >= (u_{>n + 3}> + 3n² + 21n + 37) – (u_{>n + 2}> + 3n² + 15n + 19) = = u_{>n + 3}> - u_{>n + 2}> + 6n + 18,

u_>n>_{> + 4} >= 2u_>n>_{> + 3}> - u_>n>_{> + 2}> + 6n + 18. (14)

Вычитая почленно (11) из (14), получим:

u_{>n + 4} >- u_{>n + 3}> = (2u_{>n + 3}> - u_{>n + 2}> + 6n + 18) – (2u_{>n + 2}> - u_{>n + 1}> + 6n + 12) = = 2u_{>n + 3}> - 3u_{>n + 2}> + u_{>n + 1} >+ 6_> >,

или u_{>n + 4} >= 3u_{>n + 3}> - 3u_{>n + 2}> + u_{>n + 1} >+ 6_>. >(15)

Вычитая почленно (12) из (15), получим:

u_{>n + 4} >- u_{>n + 3}> = (3u_{>n + 3}> - 3u_{>n + 2}> + u_{>n + 1} >+ 6) – (3u_{>n + 2}> - 3u_{>n + 1}> + u_>n >+ 6) = 3u_{>n + 3}> - 6u_{>n + 2}> + 4u_{>n + 1} >- u_>n >,

или u_{>n + 4} >= 4u_{>n + 3}> - 6u_{>n + 2}> + 4u_{>n + 1} >- u_{>n .} >(15)

Получили возвратное уравнение четвёртого порядка, т. е. k = 4, a_>1 >= 4, a_>2 >= -6, a_>3 >= 4, a_>4 >= - 1.

Следовательно, последовательность (**) есть возвратная последовательность четвёртого порядка.

3. Проверим, что условие теоремы:

Для того чтобы система k линейных алгебраических уравнений

Аx_>1 >+ Вy_>1 >+ . . . + Cz_>1> = u_>1>

Аx_>2 >+ Вy_>2 >+ . . . + Cz_>2> = u_>2>

. . . . . . . . . . . . . . . . . . . . . (16)

Аx_>k>_> >+ Вy_>k>_> >+ . . . + Cz_>k>_> >= u_>k>

с k неизвестными имела решение A, B, . . . , C и притом единственное, при любых значениях правых частей u_>1>, u_>2>, u_>3>, . . . , u_>k>, необходимо и достаточно, чтобы соответствующая ей однородная система

Аx_>1 >+ Вy_>1 >+ . . . + Cz_>1> = 0

Аx_>2 >+ Вy_>2 >+ . . . + Cz_>2> = 0

. . . . . . . . . . . . . . . . . . . . . (17)

Аx_>k>_> >+ Вy_>k>_> >+ . . . + Cz_>k>_> >= 0

имела бы одно только нулевое решение: A = B = . . . = C = 0 – выполняется в частных случаях

x_>1 >= 0,_> >y_>1 >= 0, . . . , z_>1> = 0

x_>2 >= 0,_> >y_>2 >= 0, . . . , z_>2> = 0 (18)

x_>k >= 0, y_>k >= 0, . . . , z_>k >= 1

x_>1 >= 1,_> >y_>1 >= 1, . . . , z_>1> = 1

x_>2 >= 0,_> >y_>2 >= 1, . . . , z_>2> = 1 (19)

x_>k >= 0, y_>k >= 0, . . . , z_>k >= 1

1) x_>1 >= 0,_> >y_>1 >= 0, . . . , z_>1> = 0

x_>2 >= 0,_> >y_>2 >= 0, . . . , z_>2> = 0

x_>k>_> >= 0, y_>k>_> >= 0, . . . , z_>k>_> >= 1

Тогда однородная для (16) система (17) примет вид

А•1 = 0

В•1_> >= 0

. . . . . .

C•1_> >= 0

А = 0

В_> >= 0

. . . . . .

C_> >= 0

Т. е. A = B = . . . = C = 0.

Получили, что k линейных алгебраических уравнений (16) с k неизвестными имеет единственное решение

A = B = . . . = C = 0.

2) x_>1 >= 1,_> >y_>1 >= 1, . . . , z_>1> = 1

x_>2 >= 0,_> >y_>2 >= 1, . . . , z_>2> = 1

x_>k >= 0, y_>k >= 0, . . . , z_>k >= 1

Тогда однородная для (16) система (17) примет вид

А•1_> >+ В•1_> >+ . . . + C•1 = 0

В•1+ . . . + C•1 = 0

. . . . . . . . . . . . . . . . . . . . .

C•1_> >= 0

Решая эту систему с конца, получим A = B = . . . = C = 0. Получили, что k линейных алгебраических уравнений (16) с k неизвестными имеет единственное решение A = B = . . . = C = 0.

Заключение

В данной работе поставленные цели достигнуты.

В работе изучены основные теоретические сведения о возвратных последовательностях, приведены примеры таких последовательностей, также доказаны некоторые теоремы. Нужно заметить, что часть теоретического материала рассматривается именно через примеры, с помощью которых выводятся основные формулы теории возвратных последовательностей. Также затронута тема «возвратные задачи», в работе подробно разобраны некоторые из них. Третья глава посвящена изучению и применению возвратных последовательностей в школьном курсе математики, что можно включить в учебную программу факультатива по математике в средней школе.

В практической части применены полученные знания теории возвратных последовательностей. А именно: доказано по определению, что последовательности являются возвратными и проверено условие выполнения теоремы в частных случаях.

Тема «Возвратные последовательности» не является изолированной, Она близка к школьному курсу математики (арифметическая и геометрическая прогрессии, последовательности квадратов и кубов натуральных чисел и т.д.), используется в высшей алгебре, геометрии, математическом анализе и других математических дисциплинах. Теория возвратных последовательностей составляет особую главу математической дисциплины, называемой исчислением конечных разностей; представляет собой частную главу о последовательностях.

Таким образом, в данной курсовой работе изучена очень важная и актуальная на сегодняшний день тема.

Список литературы

Грехем, Р. Конкретная математика. Основание информатики. / Р. Грехем, Д. Кнут, О. Паташник. Пер. с англ. – М.:Мир, 1998. – С. 17−37.

Маркушевич А. И. Возвратные последовательности. Популярные лекции по математике. - М.: Наука, 1950.

Мантуров О. В. Математика в понятиях, определениях и терминах. Ч.2 / О. В. Мантуров, Ю. К. Солнцев, Ю. И. Соркин, Н. Г. Федин; Под. ред. Л. В. Сабинина. – М.: Просвещение, 1982. – С. 207–208.