- •Предикаты
- •Действия над предикатами
- •Теорема о представлении квантора общности через конъюнкцию
- •Теорема о представление квантора существования через дизъюнкцию
- •Теорема о тождественной истинности предикатов
- •Теорема о тождественной ложности предикатов
- •Теорема о перестановке одноимённых кванторов
- •Теорема о перестановке кванторов общности
- •Теорема о перестановке кванторов существования
- •Теорема о перестановке разноимённых кванторов
- •Теорема об отрицании кванторов
- •Теорема об отрицании квантора общности
- •Теорема об отрицании квантора существования
- •Дистрибутивные свойства кванторов
- •Теорема о дистрибутивности квантора общности относительно конъюнкции
- •Теорема о дистрибутивности квантора существования относительно дизъюнкции
- •Теорема о полудистрибутивности квантора общности относительно дизъюнкции
- •Теорема о полудистрибутивности квантора существования относительно конъюнкции
- •Теорема о представлении предикатной формулы в приведённой форме
- •Теорема о переименовании связанных переменных
- •Теорема о распространении области действия квантора
- •Теорема о представлении предикатной формулы в предваренной нормальной форме
- •Комбинаторика
- •Основные правила комбинаторики
- •I. Выбор с возвращением
- •II. Выбор без возвращения
- •Размещения с повторениями
- •Размещения без повторений
- •Перестановки без повторений
- •Перестановки с повторениями
- •Сочетания с повторениями
- •Сочетания с повторениями
- •Формула бинома Ньютона
- •Свойства
- •Полиномиальная формула
- •Формула включений и исключений
- •Задачи о смещениях
- •Задачи о распределениях
- •Арифметический треугольник
- •Теорема о связи арифметического треугольника и m-ичной системы счисления
- •Свойства обобщённых арифметических коэффициентов
- •Рекуррентные соотношения
- •Задача Фибоначчи
- •Лемма о линейной комбинации решений
- •Теорема о виде общего решения соотношения (38)
- •Теорема о виде общего решения соотношения (40)
- •Элементы формальных теорий
Рекуррентные соотношения
Задача Фибоначчи
На начало года имеется пара новорожденных кроликов. Через 2 месяца кролики дают потомство и продолжают давать потомство каждый месяц. Сколько пар кроликов
будет к концу года? |
|
|
|
|
|
|
|
|
|
||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
1 |
1 |
2 |
3 |
5 |
8 |
13 |
21 |
34 |
55 |
89 |
144 |
|
Рекуррентным |
соотношением k-того |
порядка будем |
называть соотношение |
|||||||
f (n k), |
позволяющее |
вычислять |
члены |
последовательности |
|||||||
f (n k 1), |
f (n k 2),..., |
f (n) с номером n k через k предыдущих. |
|
|
|||||||
|
Последовательность |
{ f (n)} |
называется |
частным |
решением |
рекуррентного |
|||||
соотношения, если подстановка общего члена последовательности в рекуррентное соотношение превращает его в тождество.
Пример.
f (n 2) 3 f (n 1) 2 f (n)
Будет ли f (n) 2n являться частным решением этого соотношения? 2n 2 3 2n 1 2 2n 3 2n 1 2n 1 2n 2
Следовательно, f (n) 2n - частное решение рекуррентного соотношения.
Общим решением рекуррентного соотношения k-того порядка называется решение, содержащее k произвольных постоянных, путём подбора которых можем удовлетворить любые начальные условия.
Пример.
f (n 2) f (n 1) f (n), f (0) 0, f (1) 1, f (2) 1. f (n) xn - решение будем искать в таком виде.
xn 2 xn 1 xn |
|
|
|
|
|
|
|
| : xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
x2 |
x 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
x2 |
x |
1 0 - характеристическое уравнение. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
x |
1 |
|
|
|
|
|
|
, x |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
5 |
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
1 |
|
|
n |
|
1 |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
5 |
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
2 |
|
|
|
, |
|
|
|
2 |
|
|
|
|
|
|
- частные решения. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
1 |
|
|
|
n |
|
|
|
|
|
|
|
1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
C |
5 |
C |
|
|
5 |
|
- общее решение. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
2 |
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
f (0) 0 C1 C2 |
0 C2 |
|
C1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
|
|
|
C |
1 |
|
|
|
C ( |
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
||||||||||||||||||||||||||
f (1) 1 C |
|
|
|
|
5 |
5 |
|
|
|
|
|
,C |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
5) 1 C |
1 |
2 |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
1 |
|
|
|
2 |
|
|
|
|
|
1 |
|
|
|
5 |
|
|
5 |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
n |
1 |
|
|
1 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
f (n) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- формула общего члена последовательности |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
2 |
|
|
|
|
5 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Фибоначчи.
Линейным однородным рекуррентным соотношением второго порядка с
постоянными коэффициентами |
называется соотношение |
f (n 2) pf (n 1) qf (n) |
(38) |
18
x 2 px q (39) - характеристическое уравнение соотношения (38)
Лемма о линейной комбинации решений
Пусть f (n) и g(n) - решения (38), тогда линейная комбинация h(n) Af (n) Bg(n) также является решением (38).
Доказательство.
f (n 2) pf (n 1) qf (n) g(n 2) pg(n 1) qg(n)
Af (n 2) Bg(n 2) Apf (n 1) Aqf (n) Bpg(n 1) Bqg(n) p(Af (n 1)
Bg(n 1)) q(Af (n) Bg(n)) h(n 2) ph(n 1) qh(n)
Теорема о виде общего решения соотношения (38)
Пусть |
дано |
f (n 2) pf (n 1) qf (n) |
и |
|
его характеристическое |
|||||||||
x2 px q. Тогда: |
|
|
|
|
|
|
|
|
|
|
||||
1) |
x |
x |
, x |
R, x |
2 |
R f (n) C xn |
C |
2 |
xn - общее решение |
|||||
|
1 |
|
2 |
1 |
|
|
|
|
1 |
1 |
|
2 |
||
2) |
x |
x |
2 |
R f (n) xn (C |
nC |
) - общее решение |
||||||||
|
1 |
|
|
|
|
1 |
1 |
2 |
|
|
|
|
|
|
3) |
x1,2 r(cos i sin ), x1,2 |
C f (n) en (C1 cos n C2 sin n ) R |
||||||||||||
решение
Доказательство.
1) x1 x2 , x1 R, x2 R f (n) xn
уравнение
-общее
xn 2 pxn 1 qxn |
| : xn |
x2 px q 0 |
|
x1n , x2n - решения.
По лемме о линейной комбинации C1 x1n C2 x2n также является решением (38).
f(0) A
f(1) B
f(0) C1 C2 A
f(1) C1 x1 C2 x2 B
|
|
1 |
1 |
|
|
x2 x1 0 для любых A, B система имеет единственное решение |
||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||
|
|
|
x1 |
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) x1 |
x2 R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
x2 px q 0 |
|
|
по теореме Виета p 2x , |
q x2 |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
f (n 2) 2x f (n 1) x2 |
f (n) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Покажем, что f (n) xn |
(C nC |
) |
даёт решение. |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
||
|
xn 2 (C (n 2)C |
2 |
) 2x xn 1 |
(C (n 1)C |
2 |
) x2 xn (C nC |
) |
|||||||||||||||||||||
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
1 |
1 |
|
|
|
|
1 |
1 |
1 |
|
2 |
|
||
xn 2 |
(2C 2nC |
2 |
|
2C |
2 |
C |
nC |
) xn 2 |
(C |
C |
(n 2)) |
|
|
|||||||||||||||
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
2 |
1 |
|
1 |
|
2 |
|
|
|
|
||||
|
f (0) A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
f (1) B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
C1 A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
x C |
x C |
2 |
B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
19
|
|
1 |
|
0 |
|
x1 0 f (n) - общее решение. |
||||||
|
|
|||||||||||
|
|
|
|
x1 |
x1 |
|
|
|
|
|
|
|
3) x1,2 C |
|
|
|
|
||||||||
|
x1 |
r(cos i sin ) |
|
|
||||||||
|
x2 |
r(cos i sin ) |
|
|
||||||||
|
xn |
r n (cos n i sin n ) |
||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x2n |
r n (cos n i sin n ) |
||||||||||
|
xn |
xn |
r n cos n - является решением по лемме о линейной комбинации. |
|||||||||
|
1 |
2 |
|
|||||||||
|
|
2 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||
|
xn |
xn |
r n sin n - является решением по лемме о линейной комбинации. |
|||||||||
|
1 |
2 |
|
|||||||||
|
|
2i |
||||||||||
|
|
|
|
|
|
|
|
|
||||
|
f (n) C r n cos n C |
2 |
r n sin n - покажем, что это и есть общее решение. |
|||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
C1 A |
|
|
|
|
|
|
|
|||||
C r cos C |
2 |
r sin B |
||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
||
10
|
|
r cos |
|
|
|
r sin |
r sin 0 |
(если бы |
|
sin 0, то |
мнимая часть |
была |
бы |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
нулевая) f (n) |
- общее решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
Линейным однородным рекуррентным соотношением k-того порядка с |
||||||||||||||||||||||||||||||||||||||||||
постоянными коэффициентами – это соотношение вида: |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
f (n k) a1 |
f (n k 1) a2 |
f (n k |
2) ... ak f (n) |
|
(40) |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
xk |
a1 xk 1 |
|
a2 xk 2 |
... ak |
|
|
|
(41) |
|
- |
|
|
характеристическое |
уравнение |
||||||||||||||||||||||||||||
соотношения (40). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
Теорема о виде общего решения соотношения (40) |
|
|
||||||||||||||||||||||||||||||||||||
|
Пусть |
дано |
|
|
f (n k) a1 |
f (n k 1) a2 f (n k |
2) ... ak f (n) |
и |
его |
||||||||||||||||||||||||||||||||||
характеристическое уравнение |
|
xk |
a1 xk 1 |
a2 xk 2 |
|
... ak . Тогда общее решение будет |
|||||||||||||||||||||||||||||||||||||
представлять собой группу слагаемых, таких что: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
1) |
если |
корень |
xi R |
|
|
кратности |
|
m, |
|
то |
|
ему соответствует |
группа |
слагаемых |
||||||||||||||||||||||||||||
xn (C nC |
2 |
n2C |
3 |
... nm 1C |
m |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
i |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
2) если имеется пара комплексно сопряжённых корней |
|
r(cos i sin ) |
кратности |
|||||||||||||||||||||||||||||||||||||||
m, |
то |
|
|
|
этой |
|
|
|
паре |
|
|
корней |
|
будет |
|
соответствовать |
|
группа |
слагаемых |
||||||||||||||||||||||||
r n ((C nC |
2 |
n2C |
3 |
... nm 1C |
m |
)cos n (D nD |
2 |
n2 D |
|
... nm 1D |
m |
)sin n ) |
|
|
|||||||||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
||||||||
|
Пример. Рассмотрим соотношение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
f (n 6) 5 f (n 5) 7 f (n 4) f (n 3) 2 f (n 2) 4 f (n 1) 8 f (n). |
|
|
||||||||||||||||||||||||||||||||||||||||
|
x6 5x5 7x4 x3 2x2 4x 8 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
x |
1, x |
2 |
2, x |
3 |
2, x |
4 |
|
2, x |
5 |
i cos |
i sin , x |
6 |
i cos |
i sin . |
|
|||||||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
2 |
2 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
f (n) ( 1)n C 2n (C |
|
nC |
|
n2C |
|
) C |
|
cos |
n |
C |
|
sin |
n |
|
|
|
|
|
||||||||||||||||||||||||
|
2 |
3 |
4 |
5 |
|
6 |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
20
