Rozwi屡毰呕zywanie r wna 盲 rekurencyjnych


R贸wnania rekurencyjne 1
R脫WNANIA REKURENCYJNE
1. Ci膮gi arytmetyczne i geometryczne
Z najprostszymi r贸wnaniami rekurencyjnymi zetkn臋li艣my si臋 ju偶 w szkole. Zacznijmy od
przypomnienia definicji ci膮gu arytmetycznego. Niech b臋d膮 dane dwie liczby rzeczywiste
a i r. Ci膮giem arytmetycznym nazywamy ci膮g (an) liczb rzeczywistych okre艣lony
wzorami
a0 = a, an+1 = an + r dla n e" 0.
Ze szko艂y znamy te偶 wz贸r og贸lny (lub wz贸r jawny) ci膮gu arytmetycznego (an):
an = a + nr
dla n = 0, 1, 2, . . .
W podobny spos贸b definiujemy ci膮gi geometryczne. Za艂贸偶my, 偶e dane s膮 liczby rze-
czywiste a i q. Ci膮giem geometrycznym nazywamy ci膮g (an) liczb rzeczywistych
zdefiniowany wzorami
a0 = a, an+1 = anq dla n e" 0.
Zn贸w wz贸r og贸lny ci膮gu geometrycznego (an) jest znany ze szko艂y:
an = aqn
dla n = 0, 1, 2, . . .
2. Wie偶e Hanoi
Znaczenie r贸wna艅 rekurencyjnych w kombinatoryce polega na tym, 偶e wielokrotnie
umiemy do艣膰 艂atwo znalez膰 rozwi膮zanie rekurencyjne zadania kombinatorycznego, pod-
czas gdy znalezienie wzoru og贸lnego nie jest oczywiste. Z drugiej strony, znamy wiele
metod otrzymywania wzor贸w og贸lnych z r贸wna艅 rekurencyjnych. Kilka takich metod
poznamy w tym i nast臋pnym wyk艂adzie. Zacznijmy od przyk艂adu: zadania o tzw. wie-
偶ach Hanoi.
Aamig艂贸wka o nazwie  Wie偶e Hanoi wygl膮da w nast臋puj膮cy spos贸b. Mamy trzy pa-
艂eczki. Na jedn膮 z nich nadziano 64 kr膮偶ki w kolejno艣ci od najwi臋kszego na dole do
najmniejszego na g贸rze. Nale偶y przenie艣膰 wszystkie kr膮偶ki z jednej pa艂eczki na drug膮,
przy czym wolno za ka偶dym razem przenosi膰 tylko jeden kr膮偶ek i nie wolno k艂a艣膰 wi臋k-
szego kr膮偶ka na mniejszy. W czasie przenoszenia wolno k艂a艣膰 kr膮偶ki na wszystkich trzech
pa艂eczkach. Ile najmniej ruch贸w (tzn. pojedynczych przeniesie艅 kr膮偶k贸w) potrzeba, by
przenie艣膰 wszystkie 64 kr膮偶ki?
Oznaczmy przez Hn najmniejsz膮 liczb臋 ruch贸w, kt贸re nale偶y wykona膰 by przenie艣膰 n
kr膮偶k贸w z jednej pa艂eczki na inn膮. Jest przy tym oboj臋tne, z kt贸rej pa艂eczki na kt贸r膮
przenosimy te kr膮偶ki. R贸wnie偶 jest oboj臋tne, czy na tych pa艂eczkach ju偶 le偶膮 jakie艣
kr膮偶ki, byle by艂y one wi臋ksze od wszystkich kr膮偶k贸w, kt贸re przenosimy. Oczywi艣cie
H0 = 0. Przypu艣膰my, 偶e umiemy przenie艣膰 n kr膮偶k贸w w minimalnej liczbie Hn ruch贸w.
Chcemy teraz przenie艣膰 n+1 kr膮偶k贸w z pierwszej pa艂eczki na drug膮. W kt贸rym艣 momen-
cie b臋dziemy musieli przenie艣膰 najwi臋kszy kr膮偶ek, le偶膮cy na samym dole na pierwszej
Wyk艂ady z kombinatoryki
2 Wyk艂ad 4
pa艂eczce. Oczywi艣cie musimy przedtem zdj膮膰 z niego wszystkie mniejsze kr膮偶ki. Nie
mog膮 one te偶 le偶e膰 na drugiej pa艂eczce, bo tam mamy po艂o偶y膰 najwi臋kszy kr膮偶ek. Mu-
simy zatem przenie艣膰 n kr膮偶k贸w z pierwszej pa艂eczki na trzeci膮. Wykonamy w tym celu
Hn ruch贸w. Nast臋pnie przenosimy najwi臋kszy kr膮偶ek (to jest jeden ruch) i wreszcie
przenosimy n kr膮偶k贸w z trzeciej pa艂eczki na drug膮 (tu zn贸w mamy Hn ruch贸w). Razem
wykonamy wi臋c 2 Hn + 1 ruch贸w. Widzimy, 偶e z jednej strony jest to minimalna liczba
ruch贸w, kt贸re musimy wykona膰, a z drugiej, 偶e ta liczba ruch贸w jest te偶 wystarczaj膮ca.
Zatem otrzymujemy r贸wnanie rekurencyjne:
H0 = 0, Hn+1 = 2 Hn + 1 dla n e" 0.
Obliczmy kilka pocz膮tkowych wyraz贸w ci膮gu (Hn):
H0 = 0,
H1 = 2H0 + 1 = 1,
H2 = 2H1 + 1 = 3,
H3 = 2H2 + 1 = 7,
H4 = 2H3 + 1 = 15
i tak dalej. Aatwo domy艣lamy si臋 wzoru og贸lnego:
Hn = 2n - 1
dla n = 0, 1, 2, . . . Mo偶emy teraz sprawdzi膰 przez indukcj臋, 偶e ten odgadni臋ty wz贸r
og贸lny jest poprawny.
3. R贸wnania rekurencyjne liniowe pierwszego rz臋du o sta艂ych wsp贸艂czynni-
kach
Niech b臋d膮 dane liczby rzeczywiste a, b i c. Przypu艣膰my nast臋pnie, 偶e ci膮g (an) zosta艂
okre艣lony za pomoc膮 r贸wnania rekurencyjnego
a0 = a, an+1 = b an + c dla n e" 0.
Ci膮g (Hn) okre艣lony wy偶ej otrzymamy przyjmuj膮c a = 0, b = 2 i c = 1. Przyjmijmy
ponadto, 偶e b = 1 (w przeciwnym razie mieliby艣my do czynienia z ci膮giem arytmetycz-

nym). Obliczmy kilka pocz膮tkowych wyraz贸w ci膮gu (an):
a0 = a,
a1 = ba0 + c = ab + c,
a2 = ba1 + c = ab2 + bc + c,
a3 = ba2 + c = ab3 + b2c + bc + c,
a4 = ba3 + c = ab4 + b3c + b2c + bc + c,
a5 = ba4 + c = ab5 + b4c + b3c + b2c + bc + c
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 3
i tak dalej. Zn贸w domy艣lamy si臋 wzoru og贸lnego:
bn - 1
an = abn + c(1 + b + b2 + . . . + bn-1) = abn + c
b - 1
dla n = 0, 1, 2, . . . Sprawdzimy przez indukcj臋, 偶e ten wz贸r jest poprawny.
Dla n = 0 mamy
b0 - 1
a0 = ab0 + c = a.
b - 1
Przypu艣膰my nast臋pnie, 偶e nasz wz贸r jest spe艂niony dla pewnego n i obliczmy an+1:

bn - 1 bn+1 - b
an+1 = ban + c = b abn + c + c = abn+1 + c + c =
b - 1 b - 1
bn+1 - b + b - 1 bn+1 - 1
= abn+1 + c = abn+1 + c ,
b - 1 b - 1
co ko艅czy dow贸d indukcyjny.
Wz贸r og贸lny tego ci膮gu mo偶na wyznaczy膰 te偶 w inny spos贸b, wprowadzaj膮c ci膮g po-
mocniczy (bn) zdefiniowany wzorem
bn = an+1 - an
dla n = 0, 1, 2, . . . W贸wczas
bn+1 = an+2 - an+1 = (ban+1 + c) - (ban + c) = b (an+1 - an) = b bn,
sk膮d dostajemy
bn = b0 bn
dla n = 0, 1, 2, . . . Zatem
an+1 = an + b0 bn
dla n = 0, 1, 2, . . . Wypiszmy n pocz膮tkowych r贸wno艣ci:
a1 = a0 + b0 b0,
a2 = a1 + b0 b1,
a3 = a2 + b0 b2,
an-1 = an-2 + b0 bn-2,
an = an-1 + b0 bn-1.
Po dodaniu stronami tych nier贸wno艣ci i skr贸ceniu wyst臋puj膮cych po obu stronach wy-
raz贸w a1, a2, . . . , an-1, otrzymamy
bn - 1
an = a0 + b0 (b0 + b1 + b2 + . . . + bn-1) = a0 + b0 =
b - 1
bn - 1 bn - 1 bn - 1
= a + (ab + c - a) = a + a(b - 1) + c =
b - 1 b - 1 b - 1
bn - 1 bn - 1
= a + a(bn - 1) + c = abn + c .
b - 1 b - 1
Wyk艂ady z kombinatoryki
4 Wyk艂ad 4
4. R贸wnania rekurencyjne liniowe pierwszego rz臋du o zmiennych wsp贸艂czyn-
nikach
Rozwi膮偶emy najpierw zadanie o tzw. sortowaniu przez 艂膮czenie. Mamy 2n monet, ka偶da
innej wagi. Dysponujemy wag膮 szalkow膮 bez odwa偶nik贸w. Naszym zadaniem b臋dzie
u艂o偶enie wszystkich monet w kolejno艣ci od najci臋偶szej do najl偶ejszej. B臋dziemy to ro-
bili w nast臋puj膮cy spos贸b. Najpierw podzielimy monety na dwie cz臋艣ci po 2n-1 monet.
Nast臋pnie ka偶d膮 z tych cz臋艣ci uporz膮dkujemy od najci臋偶szej do najl偶ejszej. Potem po-
r贸wnamy najci臋偶sze monety z obu cz臋艣ci i ci臋偶sz膮 z nich od艂o偶ymy jako najci臋偶sz膮 ze
wszystkich. Potem por贸wnamy najci臋偶sze monety obu cz臋艣ci (jedna z tych cz臋艣ci jest
teraz mniejsza, uby艂a z niej jedna moneta). Ci臋偶sz膮 monet臋 odk艂adamy na bok jako
drug膮 z kolei. I tak dalej. Trzeba jeszcze wyja艣ni膰, w jaki spos贸b porz膮dkujemy obie
cz臋艣ci. Ot贸偶 zrobimy to w taki sam spos贸b. Ka偶d膮 z tych cz臋艣ci podzielimy zn贸w na
dwie cz臋艣ci, uporz膮dkujemy je i po艂膮czymy ze sob膮. Ka偶d膮 z tych mniejszych cz臋艣ci
zn贸w porz膮dkujemy tak samo: dzielimy na dwie cz臋艣ci i potem 艂膮czymy ze sob膮. I tak
dalej. Wreszcie dojdziemy do cz臋艣ci licz膮cych tylko dwie monety i wtedy wystarczy
jedno wa偶enie, by tak膮 ma艂膮 cz臋艣膰 uporz膮dkowa膰. Ile potrzeba wa偶e艅, by za pomoc膮 tej
metody uporz膮dkowa膰 wszystkie monety?
Oznaczmy przez Pn maksymaln膮 liczb臋 wa偶e艅 potrzebnych do uporz膮dkowania 2n mo-
net w spos贸b opisany w zadaniu. Oczywi艣cie P0 = 0. Je艣li bowiem mamy 20, czyli 1
monet臋, to nie musimy nic wa偶y膰. Przypu艣膰my teraz, 偶e umiemy ju偶 uporz膮dkowa膰 2n
monet za pomoc膮 Pn wa偶e艅. Spr贸bujmy zatem uporz膮dkowa膰 2n+1 monet. Najpierw
dzielimy je na dwie cz臋艣ci, po 2n monet ka偶da. Nast臋pnie porz膮dkujemy ka偶d膮 z tych
cz臋艣ci. Do uporz膮dkowania ka偶dej cz臋艣ci potrzebujemy Pn wa偶e艅. Wreszcie musimy po-
艂膮czy膰 obie cz臋艣ci. Zauwa偶amy wi臋c, 偶e ka偶de wa偶enie pozwala nam od艂o偶y膰 na bok, jako
kolejn膮, tylko jedn膮 monet臋. Do uporz膮dkowania wszystkich 2n+1 monet b臋dziemy wi臋c
potrzebowali co najwy偶ej 2n+1-1 wa偶e艅. (Czasami to 艂膮czenie mo偶e zako艅czy膰 si臋 wcze-
艣niej, gdy przy odk艂adaniu monet na bok jedn膮 z cz臋艣ci wyczerpiemy du偶o wcze艣niej ni偶
drug膮; na pewno jednak nie b臋dziemy potrzebowali wi臋kszej liczby wa偶e艅.) A膮czna mak-
symalna liczba wa偶e艅 potrzebnych do uporz膮dkowania wszystkich 2n+1 monet wynosi
wi臋c 2 Pn + 2n+1 - 1.
Ci膮g liczb (Pn) jest zatem okre艣lony wzorami: rekurencyjnymi
P0 = 0, Pn+1 = 2 Pn + 2n+1 - 1 dla n e" 0.
Zn贸w obliczmy kilka pocz膮tkowych wyraz贸w ci膮gu (Pn):
P0 = 0,
P1 = 2 0 + 21 - 1 = 1,
P2 = 2 1 + 22 - 1 = 5,
P3 = 2 5 + 23 - 1 = 17,
P4 = 2 17 + 24 - 1 = 49,
P5 = 2 49 + 25 - 1 = 129,
P6 = 2 129 + 26 - 1 = 321
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 5
i tak dalej. Tu domy艣lenie si臋 wzoru og贸lnego jest trudniejsze. Mo偶na jednak zauwa偶y膰,
偶e
P0 - 1 = -1 = (-1) 20,
P1 - 1 = 0 = 0 21,
P2 - 1 = 4 = 1 22,
P3 - 1 = 16 = 2 23,
P4 - 1 = 48 = 3 24,
P5 - 1 = 128 = 4 25,
P6 - 1 = 320 = 5 26
i tak dalej. Widzimy ju偶 wz贸r og贸lny
Pn = (n - 1) 2n + 1
dla n = 0, 1, 2, . . . Sprawdzenie poprawno艣ci tego wzoru przez indukcj臋 jest prostym
膰wiczeniem.
5. Metoda czynnika sumacyjnego
R贸wnanie rekurencyjne otrzymane w ostatnim paragrafie mo偶na rozwi膮za膰 w spos贸b
nast臋puj膮cy. Rozwa偶my ci膮g (Qn) okre艣lony wzorem
Pn
Qn = dla n e" 0.
2n
W贸wczas oczywi艣cie Q0 = 0. Podzielmy teraz obie strony r贸wnania
Pn+1 = 2 Pn + 2n+1 - 1
przez 2n+1. Otrzymamy
Pn+1 Pn 1
= + 1 - ,
2n+1 2n 2n+1
czyli
1
Qn+1 = Qn + 1 -
2n+1
dla n = 0, 1, 2, . . . Wypiszmy teraz otrzymane zale偶no艣ci dla pocz膮tkowych warto艣ci n:
1
Q1 = Q0 + 1 - ,
21
1
Q2 = Q1 + 1 - ,
22
1
Q3 = Q2 + 1 - ,
23
1
Q4 = Q3 + 1 - ,
24
. . . . . .
1
Qn-1 = Qn-2 + 1 - ,
2n-1
1
Qn = Qn-1 + 1 - .
2n
Wyk艂ady z kombinatoryki
6 Wyk艂ad 4
Dodajemy teraz te r贸wno艣ci stronami i po skr贸ceniu jednakowych sk艂adnik贸w wyst臋pu-
j膮cych po obu stronach, otrzymujemy
1 1 1 1
Qn = Q0 + n - - - - . . . - .
21 22 23 2n
Mno偶ymy obie strony przez 2n, otrzymuj膮c
Pn = n 2n - (1 + 2 + 4 + . . . + 2n-1) = n 2n - (2n - 1) = (n - 1) 2n + 1.
Powstaje pytanie, w jaki spos贸b dobieramy na pocz膮tku ci膮g (Qn) i liczb臋, przez kt贸r膮
dzielimy obie strony r贸wnania rekurencyjnego. Popatrzmy zatem na ten problem nieco
og贸lniej. Przypu艣膰my, 偶e mamy dane trzy ci膮gi (an), (bn) i (cn) oraz, 偶e ci膮g (tn) jest
okre艣lony wzorami rekurancyjnymi
t0 = t, antn+1 = bntn + cn dla n e" 0.
Wybieramy nast臋pnie ci膮g (sn) (tzw. czynnik sumacyjny) o tej w艂asno艣ci, 偶e
ansn = bn+1sn+1
dla n = 0, 1, 2, . . . Nast臋pnie mno偶ymy obie strony r贸wnania
antn+1 = bntn + cn
przez sn:
ansntn+1 = bnsntn + cnsn,
czyli
bn+1sn+1tn+1 = bnsntn + cnsn
dla n = 0, 1, 2, . . . Okre艣lamy teraz ci膮g (un) wzorem
un = bnsntn
dla n = 0, 1, 2, . . . i wypisujemy n pocz膮tkowych r贸wna艅:
u1 = u0 + c0s0,
u2 = u1 + c1s1,
u3 = u2 + c2s2,
. . . . . .
un = un-1 + cn-1sn-1.
Dodajemy stronami otrzymane r贸wno艣ci i po skr贸ceniu dostajemy
n-1

un = u0 + cksk,
k=0
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 7
czyli

n-1

1
tn = b0s0t + cksk
bnsn
k=0
dla n = 0, 1, 2, . . .
W naszym przyk艂adzie mieli艣my an = 1, bn = 2 oraz cn = 2n+1 - 1. Dobierali艣my
czynnik sumacyjny sn tak, by ansn = bn+1sn+1, czyli sn = 2sn+1. W tym momencie
wyb贸r
1
sn =
2n
jest ju偶 naturalny.
6. R贸wnania rekurencyjne liniowe pierwszego rz臋du o zmiennych wsp贸艂czyn-
nikach  c. d.
W ostatnim przyk艂adzie mieli艣my do czynienia z ci膮giem zdefiniowanym za pomoc膮
r贸wnania rekurencyjnego liniowego postaci
t0 = t, antn+1 = bntn + cn dla n e" 0,
w kt贸rym ci膮gi (an) i (bn) by艂y sta艂e i tylko wyrazy ci膮gu (cn) zale偶a艂y od n. Znamy
jednak dobrze ci膮g zdefiniowany rekurencyjnie, w kt贸rym wsp贸艂czynnik bn zale偶y od n.
Jest to silnia:
0! = 1, (n + 1)! = (n + 1) n! dla n e" 0.
W tym paragrafie przyjrzymy si臋 zastosowaniu metody czynnika sumacyjnego do zna-
lezienia wzoru og贸lnego dla ci膮gu zdefiniowanego podobnymi wzorami. Przypu艣膰my, 偶e
ci膮g (an) jest zdefiniowany wzorami
a0 = 1, an+1 = (n + 1) an + 1 dla n e" 1.
Definiujemy ci膮g (bn) wzorem
an
bn =
n!
dla n = 0, 1, 2, . . . Nast臋pnie dzielimy obie strony r贸wnania
an+1 = (n + 1) an + 1
przez (n + 1)!. Otrzymujemy
an+1 an 1
= +
(n + 1)! n! n!
dla n = 0, 1, 2, . . ., czyli
1
bn+1 = bn +
(n + 1)!
dla n = 0, 1, 2, . . . Podobnie jak w poprzednich paragrafach otrzymujemy st膮d
1 1 1 1 1 1 1
bn = b0 + + + . . . + = + + + . . . + ,
1! 2! n! 0! 1! 2! n!
Wyk艂ady z kombinatoryki
8 Wyk艂ad 4
czyli

1 1 1
an = n! + + . . . +
0! 1! n!
dla n = 0, 1, 2, . . . Dla du偶ych n mamy zatem an H" n! e.
7. Suma odwrotno艣ci wsp贸艂czynnik贸w dwumianowych
Metod臋 czynnika sumacyjnego mo偶emy zastosowa膰 tak偶e do obliczenia nast臋puj膮cych
dw贸ch sum. Oznaczmy:
n n

1 k
n n
Sn = , Tn =
k k
k=0 k=0
dla n = 0, 1, 2, . . . Wtedy:
n

n - k n
n
Tn = = n Sn - Tn, czyli Tn = Sn.
2
k
k=0
Nast臋pnie:
n n n

1 1 1 k
n
Sn = 1 + = 1 + n-1 = 1 + n-1 =
n
n
k
k k-1 k-1
k=1 k=1 k=1
n

1 k + 1 1
= 1 + n-1 = 1 + (Sn-1 + Tn-1) =
n n
k
k=0
1 1 1 n - 1
= 1 + Sn-1 + Tn-1 = 1 + Sn-1 + Sn-1 =
n n n 2n
n + 1
= Sn-1 + 1
2n
dla n = 1, 2, 3, . . . Mamy zatem r贸wnanie rekurencyjne postaci Sn = anSn-1 + 1, gdzie
n+1
an = . Takie r贸wnania umiemy rozwi膮zywa膰 za pomoc膮 czynnika sumacyjnego.
2n
Dobieramy czynnik sn tak, by by艂y spe艂nione r贸wno艣ci snan = sn-1 dla wszystkich
n e" 1. Przyjmujemy
sn-1
s0 = 1 oraz sn = dla n e" 1.
an
Wtedy otrzymujemy:
snSn = snanSn-1 + sn
czyli
snSn = sn-1Sn-1 + sn
dla n = 1, 2, 3, . . .. Przyjmuj膮c nast臋pnie Un = snSn, otrzymujemy r贸wnanie rekuren-
cyjne
U0 = 1, Un = Un-1 + sn dla n e" 1.
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 9
To r贸wnanie rekurencyjne oczywi艣cie ma rozwi膮zanie w postaci sumy:
n

Un = U0 + sk
k=1
dla n = 0, 1, 2, . . . Nietrudno zauwa偶y膰, 偶e czynniki sumacyjne sn s膮 r贸wne
n

s0 1 2k 2n
sn = = = =
a1a2 . . . an a1a2 . . . an k=1 k + 1 n + 1
dla n = 1, 2, 3, . . . Ponadto s0 = 1. St膮d otrzymujemy
n

2k n 2k
Un = 1 + =
k + 1 k + 1
k-1 k=0
dla n = 0, 1, 2, . . . Ostatecznie:
n n n n+1

1 2k n + 1 2k n + 1 2k+1 n + 1 2k
Sn = = = =
sn k=0 k + 1 2n k + 1 2n+1 k + 1 2n+1 k
k=0 k=0 k=1
oraz
n+1

n(n + 1) 2k
Tn =
2n+2 k
k=1
dla n = 0, 1, 2, . . .
8. Co trzeci wsp贸艂czynnik dwumianowy
W tym paragrafie obliczymy sum臋

n

3n 3n
Sn = =
3k k
k=0 3|k
dla n = 0, 1, 2, . . . W drugiej sumie wskaznik k przebiega wszystkie liczby podzielne przez
3, dla kt贸rych dodawany sk艂adnik jest niezerowy. Przypominamy tu, 偶e ka偶dy wiersz
tr贸jk膮ta Pascala traktujemy jako sk艂adaj膮cy si臋 z niesko艅czenie wielu wsp贸艂czynnik贸w
dwumianowych, w艣r贸d kt贸rych jest tylko sko艅czenie wiele r贸偶nych od zera. Tej umowy
b臋dziemy si臋 trzyma膰 we wszystkich rozwa偶anych dalej sumach. Przyst膮pimy teraz do
u艂o偶enia r贸wnania rekurencyjnego dla ci膮gu (Sn).
Przyjrzymy si臋 dok艂adniej strukturze tr贸jk膮ta Pascala. Mamy obliczy膰 sum臋 co trzeciego
wyrazu w co trzecim wierszu tego tr贸jk膮ta. Pami臋tamy, 偶e ka偶dy wyraz tr贸jk膮ta Pascala
jest sum膮 dw贸ch wyraz贸w stoj膮cych bezpo艣rednio nad nim, z jego lewej i prawej strony.
Te wyrazy z kolei s膮 sumami wyraz贸w stoj膮cych wy偶ej itd. Spr贸bujemy wyrazi膰 sum臋
co trzeciego wyrazu wiersza o numerze 3n + 3 za pomoc膮 analogicznej sumy wyraz贸w
Wyk艂ady z kombinatoryki
10 Wyk艂ad 4
wiersza o numerze 3n. Popatrzmy w tym celu na przyk艂adowy fragment tr贸jk膮ta Pascala
(wiersze od n = 9 do n = 12):
`& e& e& `& e& e& `& e& e& `&
e& e& e& e& e& e& e& e& e& e& e&
e& e& e& e& e& e& e& e& e& e& e& e&
`& e& e& `& e& e& `& e& e& `& e& e& `&
Na powy偶szym rysunku nie wpisali艣my liczb. Zaznaczyli艣my tylko miejsca, na kt贸rych
si臋 znajduj膮 dwoma znakami: `& i e&. Okazuje si臋 bowiem, 偶e dla uzyskania r贸wnania
rekurencyjnego zupe艂nie nie jest istotne, jakie liczby dodajemy, ale wa偶ne jest to, na
jakich miejscach si臋 one znajduj膮. I tak symbolem `& s膮 oznaczone te miejsca w tr贸jk膮cie
Pascala, gdzie znajduj膮 si臋 liczby, kt贸re b臋dziemy sumowa膰. Symbolem e& oznaczone
s膮 wszystkie pozosta艂e miejsca w tym tr贸jk膮cie. Teraz popatrzmy, jak liczby stoj膮ce
na miejscach `& najni偶szego wiersza powstaj膮 z liczb stoj膮cych w wierszu po艂o偶onym
najwy偶ej na naszym rysunku:
`& e& e& `& e& e& `& e& e& `&
e& e& e& e& e& e& e& e& e& e& e&
e& e& e& e& e& e& e& e& e& e& e& e&
`& e& e& `& e& e& `& e& e& `& e& e& `&
Symbole `& i e& s膮 teraz w ramkach. Pojedyncza ramka oznacza, 偶e dana liczba by艂a
u偶yta jeden raz do obliczenia odpowiedniej liczby dolnego wiersza. Takimi s膮 na przyk艂ad
liczby drugiego wiersza od do艂u. Jednak w trzecim wierszu od do艂u pojawia si臋 ju偶 liczba,
kt贸ra zosta艂a u偶yta dwa razy: po jednym razie do obliczenia ka偶dej z obramowanych
liczb drugiego wiersza od do艂u. W najwy偶szym wierszu naszego rysunku niekt贸re liczby
maj膮 nawet trzy ramki: te, kt贸re by艂y potrzebne do obliczenia liczby w podw贸jnej ramce
ni偶szego rz臋du. Tak samo b臋dzie dla ka偶dej interesuj膮cej nas liczby najni偶szego rz臋du.
Mo偶emy to zapisa膰 w postaci wzoru:

3n + 3 3n 3n 3n 3n
= + 3 + 3 +
3k 3k - 3 3k - 2 3k - 1 3k
Nietrudno teraz dostrzec zale偶no艣膰 rekurencyjn膮 (przyjmujemy, 偶e sumowanie rozci膮ga
si臋 na wszystkie niezerowe wyrazy danej sumy):


3n 3n 3n 3n
Sn+1 = 2 + 3 = 3 - = 3 23n - Sn
k k k k
3|k 3 $" k k 3|k
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 11
dla n = 0, 1, 2, . . .
Wz贸r ten mo偶emy otrzyma膰 te偶 za pomoc膮 bezpo艣rednich oblicze艅:

3n + 3 3n + 2 3n + 2
= + =
3k 3k - 1 3k

3n + 1 3n + 1 3n + 1 3n + 1
= + + + =
3k - 2 3k - 1 3k - 1 3k

3n + 1 3n + 1 3n + 1
= + 2 + =
3k - 2 3k - 1 3k

3n 3n + 1 3n 3n 3n 3n
= + + 2 + 2 + + =
3k - 3 3k - 2 3k - 2 3k - 1 3k - 1 3k

3n 3n 3n 3n
= + 3 + 3 +
3k - 3 3k - 2 3k - 1 3k
St膮d wynika, 偶e (pami臋tamy, 偶e sumowanie rozci膮ga si臋 na wszystkie niezerowe wyrazy
danej sumy):


3n + 3 3n 3n 3n 3n
Sn+1 = = + 3 + 3 + .
3k 3k - 3 3k - 2 3k - 1 3k
k k k k k
Teraz nale偶y zauwa偶y膰, 偶e


3n 3n
= .
3k - 3 3k
k k
3n
W obu sumach wyst臋puj膮 bowiem te same sk艂adniki niezerowe wiersza o numerze
k
3n: te mianowicie, dla kt贸rych liczba k jest podzielna przez 3. Mamy zatem


3n + 3
Sn+1 = =
3k
k


3n 3n 3n
= 2 + 3 + 3 =
3k - 3 3k - 2 3k - 1
k k k


3n 3n
= 3 - =
k k
k 3|k
= 3 23n - Sn
dla n = 0, 1, 2, . . .
Nietrudno zauwa偶y膰, 偶e S0 = 1. Pozostaje nam wyprowadzenie wzoru og贸lnego na Sn
ze wzor贸w rekurencyjnych
S0 = 1, Sn+1 = 3 23n - Sn = 3 8n - Sn dla n e" 0.
Wyk艂ady z kombinatoryki
12 Wyk艂ad 4
Mo偶emy to osi膮gn膮膰 bardzo prosto wyra偶aj膮c Sn+2 za pomoc膮 Sn:
Sn+2 = 3 8n+1 - Sn+1 = 3 8n+1 - 3 8n + Sn,
czyli
Sn+2 = Sn + 21 8n.
Teraz ju偶 艂atwo zauwa偶y膰, 偶e dla liczby nieparzystej n mamy
Sn = S1 + 21 (81 + 83 + . . . + 8n-2)
i ze wzoru na sum臋 ci膮gu geometrycznego otrzymujemy
8n - 8 8n - 8 8n - 2
Sn = 2 + 21 = 2 + = .
82 - 1 3 3
Dla n parzystych skorzystamy ze wzoru rekurencyjnego:
8n-1 - 2 9 8n-1 - 8n-1 + 2 8n + 2
Sn = 3 8n-1 - Sn-1 = 3 8n-1 - = = .
3 3 3
A膮cz膮c razem otrzymane wzory dla n parzystych i n nieparzystych dostajemy wz贸r

n

3n 8n + 2 (-1)n
Sn = = .
3k 3
k=0
R贸wnanie rekurencyjne
S0 = 1, Sn+1 = 3 8n - Sn dla n e" 0
mo偶na rozwi膮za膰 te偶 za pomoc膮 czynnika sumacyjnego. Zdefiniujmy ci膮g (Tn) wzorem:
Tn = (-1)n Sn
dla n = 0, 1, 2, . . . i pomn贸偶my obie strony r贸wnania
Sn+1 = 3 8n - Sn
przez (-1)n+1. Otrzymamy
(-1)n+1 Sn+1 = 3 (-1)n+1 8n + (-1)n Sn,
czyli
Tn+1 = Tn - 3 (-1)n 8n = Tn - 3 (-8)n.
St膮d ju偶 艂atwo stwierdzimy, 偶e (pami臋taj膮c, 偶e T0 = 1):
Tn = T0 - 3 (-8)0 - 3 (-8)1 - . . . - 3 (-8)n-1 =

= T0 - 3 1 + (-8)2 + (-8)2 + . . . + (-8)n-1 =
(-8)n - 1 (-8)n - 1 (-8)n + 2
= T0 - 3 = 1 + = .
-8 - 1 3 3
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 13
Poniewa偶 Tn = (-1)n Sn, wi臋c
(-8)n + 2 8n + 2 (-1)n
Sn = (-1)n =
3 3
dla n = 0, 1, 2, . . .
Dow贸d kombinatoryczny. R贸wnanie rekurencyjne
S0 = 1, Sn+1 = 3 8n - Sn dla n e" 0
mo偶na te偶 otrzyma膰 za pomoc膮 rozumowania kombinatorycznego. Mamy bowiem


A
Sn = 膮" [3n] : 3 | |A|
dla n = 0, 1, 2, . . . Mo偶emy teraz zastanowi膰 si臋, jak wygl膮daj膮 podzbiory zbioru [3n+3]
o liczbie element贸w podzielnej przez 3. Te podzbiory mo偶emy pogrupowa膰 w cztery
zbiory:
1) A 膮" [3n], gdzie 3 | |A|,
2) A = B *" {3n + 1, 3n + 2, 3n + 3}, gdzie B 膮" [3n] i 3 | |B|,
3) A = B *" {3n + 1} lub A = B *" {3n + 2} lub A = B *" {3n + 3}, gdzie B 膮" [3n]
i |B| a" 2 (mod 3),
4) A = B *" {3n + 1, 3n + 2} lub A = B *" {3n + 1, 3n + 3} lub A = B *" {3n + 2, 3n + 3},
gdzie B 膮" [3n] i |B| a" 1 (mod 3).
W pierwszej i drugiej grupie mamy po Sn zbior贸w, w trzeciej i czwartej mamy 艂膮cznie
3 (23n - Sn) zbior贸w. St膮d otrzymujemy r贸wnanie
Sn+1 = 2Sn + 3 23n - 3Sn = 3 8n - Sn.
Rozwi膮zanie algebraiczne. Zadanie obliczenia sumy Sn mo偶na rozwi膮za膰 metodami
algebry. W tym celu wezmy zespolony pierwiastek trzeciego stopnia z jedno艣ci:
3 = 1.
Wtedy  jest pierwiastkiem r贸wnania x3 - 1 = 0, czyli (x - 1)(x2 + x + 1) = 0. St膮d
wynika, 偶e nierzeczywisty pierwiastek tego r贸wnania spe艂nia r贸wnanie
2 +  + 1 = 0.
Obliczymy teraz dwoma sposobami sum臋
(1 + 0)3n + (1 + 1)3n + (1 + 2)3n.
Najpierw skorzystamy ze wzoru dwumianowego Newtona:
(1 + 0)3n + (1 + 1)3n + (1 + 2)3n =

3n 3n 3n

3n 3n 3n
= 0穔 + 1穔 + 2穔 =
k k k
k=0 k=0 k=0

3n

3n
= (0 + k + 2k).
k
k=0
Wyk艂ady z kombinatoryki
14 Wyk艂ad 4
Popatrzmy teraz, jak wygl膮daj膮 sumy
1 + k + 2k
dla r贸偶nych k. Oczywi艣cie dla liczb k podzielnych przez 3 dodajemy do siebie trzy
jedynki. Zatem suma jest r贸wna 3. Niech teraz k = 3l + 1. Wtedy
1 + k + 2k = 1 + 3l  + 6l 2 = 1 +  + 2 = 0.
Podobnie dla k = 3l + 2 stwierdzimy, 偶e ta suma r贸wna jest 0. Zatem, kontynuuj膮c
przerwane obliczenia, dostajemy

3n n n

3n 3n 3n
(0 + k + 2k) = 3 = 3 .
k 3k 3k
k=0 k=0 k=0
Nast臋pnie obliczymy t臋 sam膮 sum臋 bez odwo艂ywania si臋 do wzoru Newtona. Mamy
wtedy:
(1 + 0)3n + (1 + 1)3n + (1 + 2)3n =
= (1 + 1)3n + (1 + )3n + (1 + 2)3n =
= 23n + (-2)3n + (-)3n =
= 23n + (-1)3n6n + (-1)3n3n =
= 23n + (-1)n(3)n + (-1)n(3)n =
= 23n + (-1)n + (-1)n =
= 23n + 2 (-1)n.
W tym dowodzie korzystali艣my z oczywistych r贸wno艣ci:
(-1)3n = (-1)n, 1 +  = -2, 1 + 2 = -.
Por贸wnuj膮c wyniki obu oblicze艅, otrzymamy:

n

3n
3 = 8n + 2 (-1)n,
3k
k=0
czyli ostatecznie

n

3n 8n + 2 (-1)n
= .
3k 3
k=0
9. Nieporz膮dki
W tym paragrafie rozwi膮偶emy znane nam ju偶 zadanie o liczbie nieporz膮dk贸w. Mamy
zadanie:
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 15
" Piszemy n list贸w i adresujemy n kopert. Na ile sposob贸w mo偶emy w艂o偶y膰 te listy
do kopert tak, by 偶aden list nie trafi艂 do w艂a艣ciwej koperty?
Ponumerujmy listy i koperty liczbami od 1 do n; zak艂adamy przy tym, 偶e list o numerze
k powinien trafi膰 do koperty o numerze k. Popatrzmy teraz na ci膮g numer贸w list贸w
w艂o偶onych do kopert: a1 jest numerem listu w艂o偶onego do koperty z numerem 1, a2
jest numerem listu w kopercie z numerem 2 i tak dalej. Og贸lnie ak jest numerem listu
w艂o偶onego do koperty o numerze k. Oczywi艣cie ci膮g liczb (a1, a2, . . . , an) jest permutacj膮
zbioru liczb od 1 do n. B臋dziemy u偶ywa膰 znanego oznaczenia permutacji: permutacj臋
(a1, a2, . . . , an-1, an) oznaczamy symbolem

1 2 . . . n - 1 n
a1 a2 . . . an-1 an
wskazuj膮c w ten spos贸b w g贸rnym wierszu numery kopert i pod nimi w dolnym wierszu
numery list贸w, kt贸re trafi艂y do kolejnych kopert.
Przypomnijmy, 偶e liczba k jest punktem sta艂ym permutacji (a1, . . . , an), je艣li ak = k,
tzn. je艣li liczba ak stoi na swoim, tzn. k-tym miejscu. Interesuje nas liczba nieporz膮d-
k贸w, czyli tych permutacji, kt贸re nie maj膮 punkt贸w sta艂ych, tzn. permutacji (a1, . . . , ak)
takich, 偶e 偶adna liczba ak nie stoi na swoim miejscu:

(a1, . . . , an) : "k ak = k .
Dn =
Przyjrzyjmy si臋, w jaki spos贸b mo偶emy pogrupowa膰 nieporz膮dki. Popatrzmy na n-t膮
kopert臋. M贸g艂 do niej trafi膰 jeden z n -1 list贸w: ka偶dy z wyj膮tkiem n-tego. Niech zatem
b臋dzie to list o numerze k. Mamy teraz dwa przypadki.
Przypadek 1. List o numerze n trafi艂 do koperty z numerem k. Inaczej m贸wi膮c, listy
z numerami n i k  zamieni艂y si臋 kopertami. Mamy wi臋c sytuacj臋:

1 2 3 . . . k . . . n - 1 n
a1 a2 a3 . . . n . . . an-1 k
Oczywi艣cie wtedy pozosta艂e listy (a jest ich n - 2) musz膮 te偶 by膰  wymieszane , czyli
ich numery musz膮 tworzy膰 nieporz膮dek zbioru pozosta艂ych liczb:

1 2 3 . . . k - 1 k + 1 . . . n - 1
.
a1 a2 a3 . . . ak-1 ak+1 . . . an-1
Tak w艂o偶y膰 te n - 2 listy do kopert mo偶na na Dn-2 sposob贸w. Inaczej m贸wi膮c, istniej膮
Dn-2 nieporz膮dki n liczb, w kt贸rych na n tym miejscu stoi dana liczba k i na k-tym
miejscu stoi liczba n. Uwzgl臋dniaj膮c liczb臋 mo偶liwych k (jest ich n - 1) widzimy, 偶e
w tym przypadku mamy 艂膮cznie (n - 1)Dn-2 sposob贸w w艂o偶enia list贸w do kopert.
Popatrzmy na przyk艂ad. Przypu艣膰my, 偶e listy o numerach 5 i 2 zamieni艂y si臋 miejscami.
Istniej膮 2 nieporz膮dki zbioru liczb {1, 3, 4}:

1 3 4 1 3 4
.
3 4 1 4 3 1
Wyk艂ady z kombinatoryki
16 Wyk艂ad 4
Z nich powstaj膮 2 nieporz膮dki liczb od 1 do 5, w kt贸rych 2 i 5 zamieni艂y si臋 miejscami:

1 3 4 1 2 3 4 5
- ,
3 4 1 3 5 4 1 2

1 3 4 1 2 3 4 5
- .
4 3 1 4 5 1 3 2
Przypadek 2. List o numerze n trafi艂 do koperty z numerem l, przy czym k = l. Mamy

wi臋c sytuacj臋:

1 2 3 . . . l . . . n - 1 n
.
a1 a2 a3 . . . n . . . an-1 k
Wtedy na chwil臋 przek艂adamy listy: list o numerze n wk艂adamy do w艂a艣ciwej (tzn.
n-tej) koperty, a list o numerze k wk艂adamy do koperty z numerem l (czyli zamieniamy
miejscami k-ty i n-ty list):

1 2 3 . . . l . . . n - 1 n
.
a1 a2 a3 . . . k . . . an-1 n
Po tej zamianie mamy jeden list (o numerze n) we w艂a艣ciwej kopercie i pozosta艂e n - 1
list贸w dok艂adnie wymieszanych, tzn. ich numery tworz膮 nieporz膮dek n - 1 liczb od 1 do
n - 1:

1 2 3 . . . l . . . n - 1
.
a1 a2 a3 . . . k . . . an-1
Odwrotnie, je艣li mamy nieporz膮dek liczb od 1 do n-1, to wk艂adamy list z numerem n do
n-tej koperty, a nast臋pnie zamieniamy listy z numerami k i n, otrzymuj膮c nieporz膮dek
n numer贸w list贸w. Mamy Dn-1 nieporz膮dk贸w liczb od 1 do n - 1 i z ka偶dego takiego
nieporz膮dku dostajemy jeden nieporz膮dek n liczb, w kt贸rym na miejscu n-tym stoi
liczba k. Uwzgl臋dniaj膮c liczb臋 mo偶liwych k, dostajemy w tym przypadku (n - 1)Dn-1
sposob贸w w艂o偶enia list贸w.
Popatrzmy na przyk艂ad. Istnieje 9 nieporz膮dk贸w liczb od 1 do 4:

1 2 3 4 1 2 3 4 1 2 3 4
2 1 4 3 2 3 4 1 2 4 1 3

1 2 3 4 1 2 3 4 1 2 3 4
3 1 4 2 3 4 1 2 3 4 2 1

1 2 3 4 1 2 3 4 1 2 3 4
4 1 2 3 4 3 1 2 4 3 2 1
Z ka偶dego z tych dziewi臋ciu nieporz膮dk贸w otrzymamy jeden nieporz膮dek liczb od 1 do
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 17
5, w kt贸rym na miejscu pi膮tym stoi liczba 2:

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
2 1 4 3 2 1 4 3 5 5 1 4 3 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
2 3 4 1 2 3 4 1 5 5 3 4 1 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
2 4 1 3 2 4 1 3 5 5 4 1 3 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
3 1 4 2 3 1 4 2 5 3 1 4 5 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
3 4 1 2 3 4 1 2 5 3 4 1 5 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
3 4 2 1 3 4 2 1 5 3 4 5 1 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
4 1 2 3 4 1 2 3 5 4 1 5 3 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
4 3 1 2 4 3 1 2 5 4 3 1 5 2

1 2 3 4 1 2 3 4 5 1 2 3 4 5
- - ,
4 3 2 1 4 3 2 1 5 4 3 5 1 2
A膮cznie mamy w obu przypadkach (n - 1) (Dn-2 + Dn-1) sposob贸w w艂o偶enia list贸w.
Poniewa偶 D1 = 0 oraz D2 = 1, wi臋c otrzymujemy r贸wnanie rekurencyjne:

D1 = 0, D2 = 1, Dn = (n - 1) Dn-2 + Dn-1 dla n > 2.
Zwr贸膰my uwag臋 na to, 偶e otrzymali艣my r贸wnanie rekurencyjne drugiego rz臋du: do
obliczenia kolejnego wyrazu ci膮gu musimy zna膰 dwa poprzednie wyrazy. Zajmiemy si臋
teraz poszukiwaniem wzoru og贸lnego na liczb臋 nieporz膮dk贸w.
Definiujemy nowy ci膮g:
En = Dn - nDn-1
dla n e" 2. Wtedy mamy:
En = Dn - nDn-1 = -(Dn-1 - (n - 1)Dn-2) = -En-1.
Ci膮g (En) jest wi臋c ci膮giem geometrycznym o ilorazie -1, kt贸rego pocz膮tkowym wyra-
zem jest E2. Mamy zatem
En = E2 (-1)n-2.
Poniewa偶 E2 = D2 - 2D1 = 1, wi臋c ostatecznie otrzymujemy
En = (-1)n,
Wyk艂ady z kombinatoryki
18 Wyk艂ad 4
czyli
Dn = nDn-1 + (-1)n.
Otrzymane nowe r贸wnanie rekurencyjne ci膮gu (Dn) umiemy ju偶 rozwi膮za膰 metod膮 czyn-
nika sumacyjnego. Podzielmy obie strony ostatniego r贸wnania przez n!:
Dn nDn-1 (-1)n
= + ,
n! n! n!
czyli
Dn Dn-1 (-1)n
= + .
n! (n - 1)! n!
Definiujemy ci膮g (Gn) wzorem
Dn
Gn =
n!
dla n = 1, 2, 3, . . . Wtedy
(-1)n
Gn = Gn-1 + ,
n!
sk膮d 艂atwo wynika, 偶e
(-1)2 (-1)3 (-1)4 (-1)n
Gn = G1 + + + + . . . + .
2! 3! 4! n!
Poniewa偶 G1 = 0, wi臋c ostatni wz贸r mo偶emy zapisa膰 w postaci
(-1)1 (-1)2 (-1)3 (-1)n
Gn = 1 + + + + . . . + .
1! 2! 3! n!
St膮d otrzymujemy ostatecznie

n

(-1)1 (-1)2 (-1)3 (-1)n (-1)k
Dn = n! 1 + + + + . . . + = n!
1! 2! 3! n! k!
k=0
dla n = 1, 2, 3, . . . Dla du偶ych n mamy znane ju偶 przybli偶enie Dn H" n!積-1 H" 0,367879n.
10. Sortowanie szybkie
Analizuj膮c 艣redni czas dzia艂ania algorytmu tzw. sortowania szybkiego (ang. quicksort)
dochodzimy do nast臋puj膮cego r贸wnania rekurencyjnego:
n-1

2
C0 = 0, Cn = n - 1 + Ck dla n e" 1.
n
k=0
Zauwa偶my, 偶e ka偶dy wyraz Cn (dla n e" 1) ci膮gu okre艣lonego tym r贸wnaniem zale偶y od
wszystkich wyraz贸w poprzednich. Pierwszym krokiem na drodze do znalezienia wzoru
og贸lnego b臋dzie zmniejszenie rz臋du rekurencji. Pomn贸偶my obie strony r贸wnania
n-1

2
Cn = n - 1 + Ck
n
k=0
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 19
przez n. Otrzymamy r贸wnanie
n-1

nCn = n(n - 1) + 2 Ck.
k=0
Podstawmy w tym r贸wnaniu n + 1 w miejsce n:
n

(n + 1)Cn+1 = n(n + 1) + 2 Ck.
k=0
Nast臋pnie odejmijmy stronami otrzymane r贸wnania:
(n + 1)Cn+1 - nCn = n(n + 1) - n(n - 1) + 2Cn,
czyli
(n + 1)Cn+1 = (n + 2)Cn + 2n.
Otrzymali艣my r贸wnanie rekurencyjne liniowe pierwszego rz臋du, kt贸re mo偶emy rozwi膮za膰
metod膮 czynnika sumacyjnego. Podzielmy teraz obie strony otrzymanego r贸wnania przez
(n + 1)(n + 2)
Cn+1 Cn 2n
= +
n + 2 n + 1 (n + 1)(n + 2)
i wprowadzmy ci膮g pomocniczy (Dn) okre艣lony wzorem
Cn
Dn =
n + 1
dla n = 0, 1, 2, . . . Mamy w贸wczas
2n 4 2
Dn+1 = Dn + = Dn + -
(n + 1)(n + 2) n + 2 n + 1
dla n = 0, 1, 2, . . . St膮d dostajemy
n-1 n-1

4 2
Dn = D0 + - .
k + 2 k + 1
k=0 k=0
Poniewa偶 C0 = 0, wi臋c D0 = 0. Przyjmijmy nast臋pnie oznaczenie
n

1
H0 = 0, Hn = dla n e" 0.
k
k=1
Liczby Hn nazywamy liczbami harmonicznymi. W贸wczas
n-1 n+1

4 1
= 4 = 4 (Hn+1 - 1)
k + 2 k
k=0 k=2
Wyk艂ady z kombinatoryki
20 Wyk艂ad 4
oraz
n-1 n

2 1
= 2 = 2Hn.
k + 1 k
k=0 k=1
St膮d wynika, 偶e
2
Dn = 4(Hn+1 - 1) - 2Hn = 2Hn+1 + 2(Hn+1 - Hn) - 4 = 2Hn+1 + - 4.
n + 1
1
Poniewa偶 Hn+1 = Hn + , wi臋c
n+1
4 4n
Dn = 2Hn + - 4 = 2Hn - .
n + 1 n + 1
St膮d ostatecznie otrzymujemy
Cn = (n + 1)Dn = 2(n + 1)Hn - 4n
dla n = 0, 1, 2, . . .
11. Ci膮g Fibonacciego
Ci膮g liczb Fibonacciego pojawi艂 si臋 po raz pierwszy w ksi膮偶ce Leonarda z Pizy (zwanego
Fibonaccim) Liber abaci przy okazji zadania o rozmna偶aniu kr贸lik贸w. Zobaczymy teraz
inne zadanie kombinatoryczne prowadz膮ce do tego samego ci膮gu.
Zadanie. 呕aba skacze z kamienia na kamie艅. Kamienie le偶膮 jeden za drugim i s膮 ponu-
merowane liczbami naturalnymi od zera; 偶aba startuje z kamienia zerowego. W jednym
skoku potrafi ona przeskoczy膰 z jednego kamienia na nast臋pny lub o dwa kamienie da-
lej. 呕aba mo偶e wykonywa膰 po sobie skoki r贸偶nych d艂ugo艣ci. Na przyk艂ad, na czwarty
kamie艅 mo偶e dosta膰 si臋 skacz膮c cztery razy na odleg艂o艣膰 jednego kamienia lub skacz膮c
dwa razy, za ka偶dym razem na odleg艂o艣膰 dw贸ch kamieni, lub te偶 skacz膮c raz na odleg艂o艣膰
dw贸ch kamieni i dwa razy na odleg艂o艣膰 jednego kamienia. T臋 ostatni膮 mo偶liwo艣膰 mo偶e
zrealizowa膰 na trzy sposoby, skok podw贸jny mo偶e by膰 pierwszym, drugim lub trzecim
skokiem. Oto mo偶liwe drogi 偶aby na czwarty kamie艅:
0 1 2 3 4
0 1 2 3 4
0 1 2 3 4
0 1 2 3 4
0 1 2 3 4
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 21
A膮cznie ma wi臋c pi臋膰 r贸偶nych sposob贸w dostania si臋 na czwarty kamie艅. A ile istnieje
sposob贸w dostania si臋 na n-ty kamie艅?
Oznaczmy przez Fn liczb臋 dr贸g 偶aby na n-ty kamie艅. Oczywi艣cie F1 = 1. Na kamie艅
z numerem 1 偶aba mo偶e dosta膰 si臋 tylko w jeden spos贸b  ma wykona膰 jeden pojedynczy
skok:
0 1
Nast臋pnie F2 = 2. Na kamie艅 z numerem 2 偶aba mo偶e dosta膰 si臋 dwoma sposobami 
wykona膰 dwa skoki pojedyncze lub jeden podw贸jny:
0 1 2
0 1 2
Zobaczmy teraz, na ile sposob贸w 偶aba mo偶e si臋 dosta膰 na kamie艅 o numerze n + 2.
Ma ona Fn r贸偶nych dr贸g na kamie艅 o numerze n i Fn+1 dr贸g na kamie艅 o numerze
n + 1. Poniewa偶 ostatni skok 偶aby jest skokiem podw贸jnym z kamienia o numerze n lub
pojedynczym z kamienia o numerze n + 1, wi臋c 艂膮cznie istnieje Fn + Fn+1 dr贸g 偶aby
na kamie艅 n + 2. A wi臋c Fn+2 = Fn+1 + Fn. Zatem na trzeci kamie艅 偶aba mo偶e dosta膰
si臋 na 1 + 2 = 3 sposoby, na czwarty na 2 + 3 = 5 sposob贸w i tak dalej. Zauwa偶my, 偶e
je艣li przyjmiemy F0 = 1 (co jest ca艂kiem naturalne: istnieje jeden spos贸b dostania si臋
na kamie艅 o numerze 0, mianowicie nie robi膰 nic), to oka偶e si臋, 偶e F2 = F0 + F1. Zatem
ci膮g (Fn) jest okre艣lony wzorami
F0 = 1, F1 = 1, Fn+2 = Fn+1 + Fn dla n e" 0.
Otrzymane r贸wnanie rekurencyjne jest r贸wnaniem drugiego rz臋du; widzieli艣my ju偶 ta-
kie r贸wnania przy okazji nieporz膮dk贸w. Jest to tzw. r贸wnanie liniowe (kolejny wyraz
jest kombinacj膮 liniow膮 poprzednich) jednorodne (nie ma  wyrazu wolnego ) o sta艂ych
wsp贸艂czynnikach (w powy偶szym wzorze s膮 one r贸wne 1). Istnieje do艣膰 prosta metoda
znajdowania wzoru og贸lnego dla ci膮g贸w okre艣lonych r贸wnaniami liniowymi jednorod-
nymi o sta艂ych wsp贸艂czynnikach. W nast臋pnym paragrafie poka偶emy t臋 metod臋 dla
ci膮g贸w okre艣lonych takimi r贸wnaniami drugiego rz臋du.
12. R贸wnania rekurencyjne liniowe jednorodne drugiego rz臋du o sta艂ych
wsp贸艂czynnikach
M贸wimy, 偶e ci膮g (tn) liczb zespolonych spe艂nia r贸wnanie rekurencyjne liniowe, jedno-
rodne o sta艂ych wsp贸艂czynnikach, je艣li istniej膮 liczby ak, ak-1, . . . , a1, a0 takie, 偶e ak = 0,

a0 = 0 oraz dla wszystkich liczb naturalnych n zachodzi r贸wno艣膰

ak tn+k + ak-1 tn+k-1 + . . . + a1 tn+1 + a0 tn = 0. (4.1)
M贸wimy te偶, 偶e to r贸wnanie rekurencyjne jest r贸wnaniem rz臋du k.
Wyk艂ady z kombinatoryki
22 Wyk艂ad 4
Je艣li ci膮g liczb zespolonych (tn) spe艂nia r贸wnanie rekurencyjne rz臋du k, to ka偶dy wyraz
tego ci膮gu, pocz膮wszy od ak, jest jednoznacznie okre艣lony za pomoc膮 k poprzednich
wyraz贸w. Na przyk艂ad, dla ci膮gu okre艣lonego r贸wnaniem (4.1) mamy
ak-1 a1 a0
tn+k = - tn+k-1 - . . . - tn+1 - tn. (4.2)
ak ak ak
Je艣li b臋dziemy znali pierwsze k wyraz贸w tego ci膮gu, to za pomoc膮 r贸wno艣ci (4.2) b臋-
dziemy mogli wyznaczy膰 wszystkie nast臋pne wyrazy tego ci膮gu. Zauwa偶my r贸wnie偶, 偶e
z warunku ak = 0 wynika, i偶 mo偶emy ograniczy膰 si臋 do rozpatrywania r贸wna艅 reku-

rencyjnych postaci (4.1), w kt贸rych ak = 1. Wystarczy bowiem obie strony naszego
r贸wnania rekurencyjnego podzieli膰 przez ak, by otrzyma膰 r贸wnanie r贸wnowa偶ne.
Zauwa偶amy nast臋pnie, 偶e je艣li dwa ci膮gi liczb zespolonych (tn) i (un) spe艂niaj膮 r贸wnanie
rekurencyjne (4.1), to ci膮g (vn) okre艣lony wzorem
vn = c tn + d un
(dla n = 0, 1, 2, . . .) te偶 spe艂nia to r贸wnanie. Mianowicie
akvn+k + ak-1 vn+k-1 + . . . + a1 vn+1 + a0 vn =
= c (aktn+k + ak-1 tn+k-1 + . . . + a1 tn+1 + a0 tn)+
+ d (akun+k + ak-1 un+k-1 + . . . + a1 un+1 + a0 un) =
= c 0 + d 0 = 0.
St膮d wynika, 偶e ci膮gi liczb zespolonych spe艂niaj膮ce r贸wnanie rekurencyjne (4.1) tworz膮
podprzestrze艅 liniow膮 przestrzeni wszystkich ci膮g贸w o wyrazach zespolonych. Poniewa偶
wyrazy t0, t1, . . . , tk-1 wyznaczaj膮 jednoznacznie ca艂y ci膮g, wi臋c ta podprzestrze艅 ma
wymiar k. St膮d wynika, 偶e je艣li znajdziemy k liniowo niezale偶nych rozwi膮za艅 r贸wnania
(4.1), to ka偶de rozwi膮zanie r贸wnania b臋dzie pewn膮 kombinacj膮 liniow膮 tych k rozwi膮za艅.
W przypadku k = 2 chcemy zatem znalez膰 dwa liniowo niezale偶ne rozwi膮zania.
Nietrudno zauwa偶y膰, 偶e r贸wnania rekurencyjne jednorodne rz臋du 1 definiuj膮 ci膮gi geo-
metryczne:
tn+1 = q tn.
Pr贸bujemy znalez膰 ci膮gi geometryczne spe艂niaj膮ce r贸wnanie rz臋du 2. Przypu艣膰my wi臋c,
偶e mamy dany ci膮g liczb zespolonych (tn) spe艂niaj膮cy r贸wnanie
tn+2 + a tn+1 + b tn = 0. (4.3)
Szukamy takiego ilorazu q, r贸偶nego od zera, by ci膮g okre艣lony wzorem tn = qn spe艂nia艂
r贸wnanie (4.3). Ten iloraz q musia艂by zatem spe艂nia膰 r贸wnanie:
qn+2 + aqn+1 + bqn = 0,
czyli
q2 + aq + b = 0. (4.4)
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 23
A zatem, je艣li liczba q jest ilorazem ci膮gu geometrycznego spe艂niaj膮cego r贸wnanie re-
kurencyjne (4.3), to jest ona pierwiastkiem r贸wnania kwadratowego (4.4). Nietrudno
zauwa偶y膰, 偶e i na odwr贸t, je艣li liczba q jest pierwiastkiem r贸wnania kwadratowego (4.4),
to ci膮g geometryczny okre艣lony wzorem tn = qn spe艂nia r贸wnanie rekurencyjne (4.3).
R贸wnanie
x2 + ax + b = 0 (4.5)
jest zwykle nazywane r贸wnaniem charakterystycznym r贸wnania rekurencyjnego
(4.3). Mamy teraz dwa przypadki w zale偶no艣ci od liczby rozwi膮za艅 r贸wnania charakte-
rystycznego.
Przypadek 1. R贸wnanie charakterystyczne (4.5) ma dwa r贸偶ne pierwiastki (rzeczywiste
lub zespolone) q1 i q2. Wtedy mamy dwa ci膮gi geometryczne spe艂niaj膮ce r贸wnanie (4.3).
Rozwi膮zanie og贸lne r贸wnania rekurencyjnego (4.3) ma zatem posta膰
n n
tn = c q1 + d q2
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d wyznaczamy z uk艂adu r贸wna艅 otrzymanego przez
wstawienie n = 0 i n = 1 do rozwi膮zania og贸lnego. Przyjmuj膮c n = 0, otrzymujemy
r贸wnanie
c + d = t0.
Przyjmuj膮c n = 1, otrzymujemy r贸wnanie
q1c + q2d = t1.
Uk艂ad r贸wna艅

c + d = t0
q1c + q2d = t1
zawsze ma rozwi膮zanie, gdy偶


1 1

= q2 - q1 = 0.


q1 q2
Zatem dwa pocz膮tkowe wyrazy ci膮gu (tn) pozwalaj膮 wyznaczy膰 jednoznacznie liczby c
i d, a wi臋c okre艣laj膮 jednoznacznie ca艂y ci膮g (tn).
Popatrzmy na kilka przyk艂ad贸w. Rozwi膮偶my najpierw r贸wnanie rekurencyjne
t0 = 3, t1 = 7, tn+2 - 5tn+1 + 6tn = 0 dla n e" 0.
R贸wnanie charakterystyczne x2 - 5x + 6 = 0 ma dwa pierwiastki rzeczywiste x1 = 2
oraz x2 = 3. St膮d wynika, 偶e ci膮g (tn) jest okre艣lony wzorem og贸lnym
tn = c 2n + d 3n
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d wyznaczamy z uk艂adu r贸wna艅 powsta艂ego przez
podstawienie n = 0 i n = 1:

c + d = 3
2c + 3d = 7
Wyk艂ady z kombinatoryki
24 Wyk艂ad 4
Rozwi膮zuj膮c ten uk艂ad r贸wna艅, otrzymujemy c = 2 i d = 1. Zatem
tn = 2n+1 + 3n
dla n = 0, 1, 2, . . .
Mo偶emy teraz wyznaczy膰 wz贸r og艂ny dla ci膮gu liczb Fibonacciego. R贸wnanie rekuren-
cyjne ci膮gu Fn ma posta膰
F0 = 1, F1 = 1, Fn+2 - Fn+1 - Fn = 0 dla n e" 0.
Jego r贸wnanie charakterystyczne
x2 - x - 1 = 0
ma dwa pierwiastki
" "
1 + 5 1 - 5
膮 = oraz  = .
2 2
Zatem rozwi膮zanie og贸lne rozwa偶anego r贸wnania rekurencyjnego ma posta膰
Fn = c 膮n + d n
dla pewnych wsp贸艂czynnik贸w c i d. Wsp贸艂czynniki te wyznaczamy z uk艂adu r贸wna艅

c + d = 1
膮c + d = 1
Ten uk艂ad r贸wna艅 ma nast臋puj膮ce rozwi膮zanie:
膮 
"
c = , d = -" .
5 5
St膮d otrzymujemy
肱 " n+1 " n+1雠
膮n+1 - n+1 1 1 + 5 1 - 5
砼 艂艂
"
Fn = " = - .
2 2
5 5
Otrzymany wz贸r og贸lny jest nazywany wzorem Bineta.
Rozwi膮偶my jeszcze jedno r贸wnanie rekurencyjne
t0 = 1, t1 = 4, tn+2 - 2tn+1 + 2tn = 0 dla n e" 0.
R贸wnanie charakterystyczne x2 - 2x + 2 = 0 ma dwa pierwiastki zespolone
x1 = 1 + i oraz x2 = 1 - i.
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 25
St膮d wynika, 偶e ci膮g (tn) jest okre艣lony wzorem og贸lnym
tn = c (1 + i)n + d (1 - i)n
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d wyznaczamy z uk艂adu r贸wna艅 powsta艂ego przez
podstawienie n = 0 i n = 1:

c + d = 2
(1 + i)c + (1 - i)d = 2
Rozwi膮zuj膮c ten uk艂ad r贸wna艅, otrzymujemy
1 - 3i 1 + 3i
c = oraz d = .
2 2
Zatem
1 - 3i 1 + 3i
tn = (1 + i)n + (1 - i)n
2 2
dla n = 0, 1, 2, . . .
Jest oczywiste, 偶e ci膮g (tn) ma wyrazy rzeczywiste (nawet ca艂kowite). Otrzymany wz贸r
odwo艂uje si臋 jednak do liczb urojonych. Okazuje si臋, 偶e do艣膰 艂atwo mo偶emy z powy偶szych
wzor贸w zespolonych otrzyma膰 posta膰 rzeczywist膮 rozwi膮zania. Mamy bowiem

"
膭 膭
1 + i = 2 cos + i sin ,
4 4

"
膭 膭
1 - i = 2 cos - i sin .
4 4
Ze wzoru de Moivre a otrzymujemy
1 - 3i 1 + 3i
tn = (1 + i)n + (1 - i)n =
2 2

" "
n n膭 n n膭
1 - 3i n膭 1 + 3i n膭
= 2 cos + i sin + 2 cos - i sin =
2 4 4 2 4 4
" n

2
n膭 n膭 n膭 n膭
= (1 - 3i) cos + i sin + (1 + 3i) cos - i sin =
2 4 4 4 4

"
n n膭
n膭
= 2 cos + 3 sin .
4 4
Poka偶emy teraz, 偶e t臋 posta膰 rzeczywist膮 mo偶emy uzyska膰 tak偶e nieco inn膮 metod膮.
Rozpatrujemy zatem przypadek, gdy r贸wnanie charakterystyczne (4.5) ma wsp贸艂czyn-
niki rzeczywiste, ale nie ma pierwiastk贸w rzeczywistych (czyli ma dwa sprz臋偶one pier-
wiastki zespolone). Oznacza to, 偶e w r贸wnaniu (4.5) mamy a2 < 4b. St膮d wynika, 偶e
b > 0. Niech wi臋c b = r2. Wtedy
2 a2
a
= < 1.
2r 4b
Wyk艂ady z kombinatoryki
26 Wyk艂ad 4
Zatem

a

< 1.

2r
St膮d wynika, 偶e istnieje liczba  taka, 偶e
a
= - cos .
2r
R贸wnanie rekurencyjne (4.3) przyjmuje teraz posta膰
tn+2 - 2r cos  tn+1 + r2tn = 0. (4.6)
Mo偶na teraz sprawdzi膰, 偶e ci膮g (tn) okre艣lony wzorem
tn = rn(c cos n + d sin n)
(dla n = 0, 1, 2, . . .) jest rozwi膮zaniem og贸lnym r贸wnania (4.6). W dowodzie korzysta
si臋 z nast臋puj膮cych to偶samo艣ci trygonometrycznych:
2 cos 膮 cos  = cos(膮 + ) + cos(膮 - )
oraz
2 cos 膮 sin  = sin(膮 + ) + sin( - 膮).
Szczeg贸艂y tego dowodu pozostawiamy jako 膰wiczenie.
Przypadek 2. R贸wnanie charakterystyczne (4.5) ma jeden pierwiastek podw贸jny q.
Mamy wtedy tylko jeden ci膮g geometryczny (qn) spe艂niaj膮cy r贸wnanie rekurencyjne
(4.3). Potrzebne jest drugie rozwi膮zanie. Sprawdzimy, 偶e takim drugim rozwi膮zaniem
jest ci膮g liczb postaci n qn. Mianowicie r贸wnanie charakterystyczne naszego r贸wnania
rekurencyjnego ma posta膰
x2 + ax + b = 0.
Takie r贸wnanie ma jeden pierwiastek podw贸jny, gdy a2 = 4b i ten pierwiastek jest r贸wny
a
x = - .
2
Poniewa偶 q jest tym pierwiastkiem podw贸jnym, wi臋c
2q + a = 0.
Teraz sprawdzamy, 偶e ci膮g (nqn) spe艂nia r贸wnanie rekurencyjne (4.3):
tn+2 + atn+1 + btn = 0,
czyli
(n + 2)qn+2 + a(n + 1)qn+1 + bnqn = 0.
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 27
Przekszta艂camy to r贸wnanie w spos贸b r贸wnowa偶ny:
4(n + 2)qn+2 + 4a(n + 1)qn+1 + 4bnqn = 0,
4(n + 2)qn+2 + 4a(n + 1)qn+1 + a2nqn = 0,

qn 4(n + 2)q2 + 4a(n + 1)q + a2n = 0,

qn n(4q2 + 4aq + a2) + 4q(2q + a) = 0,

qn n(2q + a)2 + 4q(2q + a) = 0,

qn (2q + a) n(2q + a) + 4q = 0.
Ostatnie r贸wnanie jest spe艂nione, gdy偶
2q + a = 0.
Teraz mamy ju偶 dwa niezale偶ne rozwi膮zania r贸wnania rekurencyjnego (4.3):
tn = qn oraz tn = nqn,
a wi臋c mamy rozwi膮zanie og贸lne:
tn = c qn + d nqn,
艁
czyli
tn = (c + dn) qn
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d wyznaczamy  podobnie, jak w przypadku 1  z
uk艂adu r贸wna艅 otrzymanego przez podstawienie n = 0 i n = 1 do wzoru og贸lnego:

c = t0
(c + d)q = t1
Zn贸w dowolne warto艣ci t0 i t1 wyznaczaj膮 jednoznacznie wsp贸艂czynniki c i d, a wi臋c
tym samym rozwi膮zanie r贸wnania rekurencyjnego.
Popatrzmy na jeden przyk艂ad. Rozwi膮偶my r贸wnanie rekurencyjne
t0 = 1, t1 = 6, tn+2 - 4tn+1 + 4tn = 0 dla n e" 0.
R贸wnanie charakterystyczne x2 -4x+4 = 0 ma jeden podw贸jny pierwiastek rzeczywisty
x = 2. St膮d wynika, 偶e ci膮g (tn) jest okre艣lony wzorem og贸lnym
tn = c 2n + d n 2n = (c + dn) 2n
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d wyznaczamy z uk艂adu r贸wna艅 powsta艂ego przez
podstawienie n = 0 i n = 1:

c = 3
(c + d) 2 = 6
Wyk艂ady z kombinatoryki
28 Wyk艂ad 4
Rozwi膮zuj膮c ten uk艂ad r贸wna艅, otrzymujemy c = 1 i d = 2. Zatem
tn = (2n + 1) 2n
dla n = 0, 1, 2, . . .
13. R贸wnania rekurencyjne liniowe jednorodne wy偶szych rz臋d贸w o sta艂ych
wsp贸艂czynnikach
Rozpatrzone wy偶ej dwa przypadki daj膮 w sumie pe艂n膮 analiz臋 r贸wnania rekurencyj-
nego (4.3)czyli r贸wnania liniowego jednorodnego o sta艂ych wsp贸艂czynnikach, rz臋du 2.
Przypadek og贸lny r贸wna艅 jednorodnych wy偶szych rz臋d贸w rozpatruje si臋 podobnie. Dla
r贸wnania (4.1) w analogiczny spos贸b definiujemy jego r贸wnanie charakterystyczne:
akxk + ak-1xk-1 + . . . + a1x + a0 = 0. (4.7)
Nast臋pnie znajdujemy jego wszystkie pierwiastki (uwzgl臋dniaj膮c pierwiastki zespolone
i wielokrotne)
r1, r2, . . . , rk.
Przypu艣膰my najpierw, 偶e wszystkie pierwiastki s膮 r贸偶ne (tzn. wszystkie maj膮 krotno艣膰
1). Wtedy rozwi膮zanie og贸lne ma posta膰
n n n
tn = c1r1 + c2r2 + . . . + ckrk . (4.8)
Przypu艣膰my nast臋pnie, 偶e niekt贸re pierwiastki r贸wnania (4.7) pokrywaj膮 si臋 (czyli mamy
do czynienia z pierwiastkiem wielokrotnym). Dla ustalenia uwagi, niech na przyk艂ad
r1 = r2 = . . . = rl = r, tzn. r jest pierwiastkiem krotno艣ci l. Wtedy zamiast sumy
n n
c1r1 + . . . + clrl
w rozwi膮zaniu (4.8) b臋dziemy mieli sum臋
rn(c1 + c2n + c3n2 + . . . + clnl-1).
W taki sam spos贸b post臋pujemy dla ka偶dego pierwiastka wielokrotnego, rzeczywistego
lub zespolonego. Szczeg贸艂owe sformu艂owanie tego twierdzenia i jego dowod od艂o偶ymy
do nast臋pnego wyk艂adu.
14. R贸wnania rekurencyjne liniowe niejednorodne drugiego rz臋du o sta艂ych
wsp贸艂czynnikach
Zajmiemy si臋 teraz r贸wnaniami niejednorodnymi. Przypu艣膰my wi臋c, 偶e mamy r贸wnanie
niejednorodne rz臋du k:
ak tn+k + ak-1 tn+k-1 + . . . + a1 tn+1 + a0 tn = f(n). (4.9)
Zajmiemy si臋 najpierw r贸wnaniami, w kt贸rych funkcja f ma szczeg贸ln膮 posta膰:
f(n) = cn w(n),
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 29
gdzie c jest liczb膮 zespolon膮, a w(n) jest wielomianem stopnia d zmiennej n. Wtedy ci膮g
(tn) spe艂nia pewne r贸wnanie rekurencyjne jednorodne rz臋du k+d+1, kt贸rego wielomian
charakterystyczny ma posta膰
(akxk + ak-1xk-1 + . . . + a1x + a0)(r - c)d+1 = 0.
Takie r贸wnania ju偶 potrafimy rozwi膮za膰. Musimy tylko zwr贸ci膰 uwag臋 na to, 偶e do
rozwi膮zania tego r贸wnania potrzebujemy k + d + 1 warto艣ci pocz膮tkowych. Mamy za艣
podane tylko k warto艣ci pocz膮tkowych (bo r贸wnanie (4.9) jest rz臋du k). Pozosta艂e d + 1
warto艣ci musimy sami wyznaczy膰 z r贸wnania (4.9). Pozostaje wi臋c tylko uzasadni膰,
偶e r贸wnanie (2) rzeczywi艣cie sprowadza si臋 w taki spos贸b do r贸wnania jednorodnego.
Nie przeprowadzimy tu dowodu w ca艂ej og贸lno艣ci, ograniczymy si臋 tylko do jednego
przypadku, gdy r贸wnanie (4.9) jest rz臋du 2 i wielomian w(n) jest stopnia 1. Mamy
zatem r贸wnanie
tn+2 + atn+1 + btn = cn(pn + q). (4.10)
Podstawiamy w nim za n kolejno n + 1 i n + 2:
tn+3 + atn+2 + btn+1 = cn+1(p(n + 1) + q). (4.11)
tn+4 + atn+3 + btn+2 = cn+2(p(n + 2) + q). (4.12)
Nast臋pnie mno偶ymy r贸wnanie (4.10) przez c2, r贸wnanie (4.11) przez (-2c) i dodajemy
otrzymane r贸wnania do r贸wnania (4.12). Nietrudno sprawdzi膰, 偶e po prawej stronie
otrzymamy zero i ca艂e r贸wnanie b臋dzie mia艂o posta膰
tn+4 + (a - 2c)tn+3 + (b - 2ac + c2)tn+2 + (ac2 - 2bc)tn+1 + bc2tn = 0. (4.13)
R贸wnanie charakterystyczne tego r贸wnania rekurencyjnego ma posta膰
x4 + (a - 2c)x3 + (b - 2ac + c2)x2 + (ac2 - 2bc)x + bc2 = 0. (4.14)
Teraz wystarczy zuwa偶y膰, 偶e lewa strona r贸wnania (4.14) rozk艂ada si臋 na czynniki
x4 + (a - 2c)x3 + (b - 2ac + c2)x2 + (ac2 - 2bc)x + bc2 = (x2 + ax + b)(x - c)2.
Zatem rzeczywi艣cie ci膮g (tn) spe艂nia r贸wnanie rekurencyjne jednorodne, kt贸rego r贸w-
nanie charakterystyczne ma 偶膮dan膮 posta膰.
W podobny spos贸b mo偶na rozwi膮za膰 nieco bardziej skomplikowane r贸wnania niejedno-
rodne. Je艣li funkcja f w r贸wnaniu (4.9) ma posta膰
f(n) = cn w1(n) + cn w2(n) + . . . ,
1 2
gdzie w1(n), w2(n), . . . s膮 wielomianami stopni odpowiednio d1, d2, . . ., to ci膮g (tn) spe艂-
nia r贸wnanie rekurencyjne jednorodne, kt贸rego r贸wnaniem charakterystycznym jest
1 2
(akxk + ak-1xk-1 + . . . + a1x + a0)(x - c1)d +1(x - c2)d +1 . . .
Wyk艂ady z kombinatoryki
30 Wyk艂ad 4
Dow贸d tego stwierdzenia pominiemy.
15. Uk艂ady r贸wna艅 rekurencyjnych
Rozwi膮zywanie uk艂ad贸w r贸wna艅 rekurencyjnych om贸wimy na jednym przyk艂adzie. Roz-
wi膮偶emy uk艂ad r贸wna艅
艅艂
t0 = 2




u0 = 3

tn+1 = 6tn + 4un


贸艂
un+1 = tn + 3un
Sprowadzimy ten uk艂ad r贸wna艅 do jednego r贸wnania liniowego drugiego rz臋du. Najpierw
w r贸wnaniu
tn+1 = 6tn + 4un
podstawimy n + 1 w miejsce n. Otrzymamy
tn+2 = 6tn+1 + 4un+1 = 6tn+1 + 4 (tn + 3un) = 6tn+1 + 4tn + 12un.
Teraz podstawiamy 4un = tn+1 - 6tn:
tn+2 = 6tn+1 + 4tn + 3 (tn+1 - 6tn) = 6tn+1 + 4tn + 3tn+1 - 18tn = 9tn+1 - 14tn.
Otrzymali艣my r贸wnanie rekurencyjne
tn+2 - 9tn+1 + 14tn = 0.
Jego r贸wnaniem charakterystycznym jest:
x2 - 9x + 14 = 0,
czyli
(x - 2)(x - 7) = 0.
St膮d wynika, 偶e ci膮g (tn) jest okre艣lony wzorem og贸lnym
tn = c 7n + d 2n
dla n = 0, 1, 2, . . . Wsp贸艂czynniki c i d obliczamy z uk艂adu r贸wna艅

c + d = t0 = 2
7c + 2d = t1 = 24
Otrzymujemy c = 4 i d = -2. A wi臋c
tn = 4 7n - 2 2n = 4 7n - 2n+1
dla n = 0, 1, 2, . . . Wz贸r og贸lny ci膮gu (un) otrzymujemy z r贸wnania tn+1 = 6tn + 4un:
4un = tn+1 - 6tn = 4 7n+1 - 2n+2 - 24 7n + 2n+1 = 4 7n + 4 2n+1,
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 31
czyli
un = 7n + 2n+1
dla n = 0, 1, 2, . . .
Ten uk艂ad r贸wna艅, dzi臋ki wyj膮tkowemu doborowi wsp贸艂czynnik贸w, mo偶na te偶 rozwi膮-
za膰 pro艣ciej, nie odwo艂uj膮c si臋 do rozwi膮zywania r贸wna艅 liniowych drugiego rz臋du. Za-
uwa偶my bowiem, 偶e

t0 + u0 = 5
tn+1 + un+1 = 7 (tn + un),
sk膮d dostajemy tn + un = 5 7n dla n = 0, 1, 2, . . . Nast臋pnie
tn+1 = 4(tn + un) + 2tn = 2tn + 20 7n.
Teraz zauwa偶amy, 偶e
tn+2 - 7tn+1 = 2tn+1 + 20 7n+1 - 14tn - 20 7n+1 = 2 (tn+1 - 7tn).
St膮d wynika, 偶e
tn+1 - 7tn = (t1 - 7t0) 2n = (24 - 14) 2n = 10 2n.
Zatem
tn+1 = 2tn + 20 7n = 7tn + 10 2n,
czyli
5tn = 20 7n - 10 2n.
Ostatecznie
tn = 4 7n - 2n+1
dla n = 0, 1, 2, . . . Wz贸r og贸lny ci膮gu (un) otrzymujemy teraz z r贸wno艣ci tn +un = 57n:
un = 5 7n - tn = 5 7n - 4 7n + 2n+1 = 7n + 2n+1
dla n = 0, 1, 2, . . .
16. Liczby Catalana
Przypomnijmy z wyk艂adu 1, 偶e liczb膮 Catalana Cn nazywamy liczb臋 funkcji niemalej膮-
cych f : [n] [n] spe艂niaj膮cych warunek
f(k) d" k dla k = 1, 2, . . . , n.
Warunek ten nazwiemy w skr贸cie warunkiem Catalana (spe艂nionym w zbiorze [n]).
Przyjmujemy ponadto, 偶e C0 = 1. Poznali艣my wz贸r og贸lny:

1 2n
Cn =
n + 1 n
dla n = 0, 1, 2, . . .
Wyk艂ady z kombinatoryki
32 Wyk艂ad 4
W tym paragrafie poznamy r贸wnanie rekurencyjne, za pomoc膮 kt贸rego mo偶na zdefi-
niowa膰 ci膮g liczb Catalana. G艂贸wny pomys艂 wyja艣nimy najpierw na wykresie. Niech
f : [n] [n] b臋dzie funkcj膮 niemalej膮c膮 spe艂niaj膮c膮 warunek Catalana. Oto wykres
takiej funkcji f (na rysunku przyj臋to n = 15).
y
n
k
1
n x
1 k
Warunek Catalana oznacza, 偶e punkty tworz膮ce ten wykres nie mog膮 le偶e膰 ponad prost膮
o r贸wnaniu y = x. Niech k b臋dzie najwi臋ksz膮 liczb膮 x tak膮, 偶e f(x) = x (na rysunku
mamy k = 10). Taka liczba istnieje, bo z warunku Catalana wynika, 偶e f(1) = 1. Prosta
pionowa o r贸wnaniu x = k dzieli ten wykres na dwie cz臋艣ci: na lewo od niej mamy
wykres funkcji niemalej膮cej f | [k - 1] : [k - 1] [k - 1] spe艂niaj膮cej warunek Catalana
(w zbiorze [k - 1]):
y
k
1
x
1 k
Oczywi艣cie istnieje Ck-1 takich funkcji. Zastan贸wmy si臋 teraz, co si臋 dzieje na prawo
od prostej x = k. Po pierwsze zauwa偶amy, 偶e f(k + 1) = k. Z warunku Catalana wynika
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 33
bowiem, 偶e f(k + 1) d" k + 1. Z drugiej strony liczba k by艂a najwi臋ksz膮 liczb膮 x tak膮, 偶e
f(x) = x. Zatem f(k + 1) < k + 1. Poniewa偶 funkcja f jest niemalej膮ca oraz f(k) = k,
wi臋c f(k+1) e" k. A膮cznie to daje f(k+1) = k. Poniewa偶 dla x > k mamy f(x) < x, wi臋c
punkty wykresu funkcji f le偶膮ce na prawo od prostej x = k nie mog膮 le偶e膰 nad prost膮
o r贸wnaniu y = x-1. Odpowiednio przesuwaj膮c osie uk艂adu wsp贸艂rz臋dnych, otrzymamy
wykres pewnej funkcji niemalej膮cej g : [n - k] [n - k] spe艂niaj膮cej warunek Catalana
(w zbiorze [n - k]):
y y
n
n-k
k 1
x
1 n-k
1
n x
1 k
Istnieje Cn-k takich funkcji. Zatem ka偶dy wykres funkcji niemalej膮cej f : [n] [n]
spe艂niaj膮cej warunek Catalana w zbiorze [n] wyznacza jednoznacznie par臋 funkcji nie-
malej膮cych spe艂niaj膮cych warunek Catalana: jedn膮 okre艣lon膮 w zbiorze [k - 1] i drug膮
okre艣lon膮 w zbiorze [n-k]. Odwrotnie, ka偶da taka para funkcji wyznacza jednoznacznie
funkcj臋 f. Musimy bowiem przyj膮膰 f(k) = k i umie艣ci膰 odpowiednio wysoko wykres
drugiej funkcji (wiemy przy tym, jak wysoko: pierwsza warto艣膰 jest bowiem r贸wna k).
Poniewa偶 k mo偶e by膰 dowoln膮 z liczb od 1 do n, wi臋c otrzymujemy r贸wnanie rekuren-
cyjne
n n-1

Cn = Ck-1 Cn-k = Ck Cn-k-1
k=1 k=0
dla n = 1, 2, 3, . . .
Podamy teraz 艣cis艂膮 definicj臋 obu funkcji wyznaczonych przez funkcj臋 f. Pierwsz膮 funk-
cj膮 jest oczywi艣cie f | [k - 1]. Drug膮 funkcj臋 g : [n - k] [n - k] definiujemy wzorem
g(x) = f(x + k) - k + 1 dla x " [n - k].
Oczywi艣cie funkcja g jest niemalej膮ca. Ponadto
g(x) < x + k - k + 1 = x + 1,
Wyk艂ady z kombinatoryki
34 Wyk艂ad 4
czyli g(x) d" x. To wynika z okre艣lenia liczby k: dla x e" 1 mamy bowiem f(x+k) < x+k.
Funkcja g spe艂nia wi臋c rzeczywi艣cie warunek Catalana w zbiorze [n - k]. Wyznaczenie
wzoru definiuj膮cego funkcj臋 f, gdy znane s膮 funkcje f | [k - 1] i g pozostawiamy jako
膰wiczenie.
Podsumowuj膮c, liczby Catalana mog膮 by膰 zdefiniowane nast臋puj膮cymi wzorami reku-
rencyjnymi:
n-1

C0 = 1, Cn = CkCn-k-1 dla n e" 1.
k=0
Korzystaj膮c z powy偶szego r贸wnania rekurencyjnego obliczymy kilka pocz膮tkowych liczb
Catalana:
C0 = 1,
2
C1 = C0 = 1,
C2 = C0C1 + C1C0 = 2C0C1 = 2,
C3 = C0C2 + C1C1 + C2C0 = 2 + 1 + 2 = 5,
C4 = C0C3 + C1C2 + C2C1 + C3C0 = 5 + 2 + 2 + 5 = 14,
C5 = C0C4 + C1C3 + C2C2 + C3C1 + C4C1 = 14 + 5 + 4 + 5 + 14 = 42.
Poka偶emy jeszcze jeden przyk艂ad zadania prowadz膮cego do liczb Catalana. Niech " b臋-
dzie dzia艂aniem nie艂膮cznym w pewnym zbiorze A. Wtedy wynik n-krotnego wykonania
tego dzia艂ania na elementach a1, a2, . . . , an+1 zale偶y od rozmieszczenia nawias贸w. Na
przyk艂ad dla n = 3 mamy 5 sposob贸w rozmieszczenia nawias贸w, gdy wykonujemy dzia-
艂anie " na elementach a, b, c, d " A:

a " b " (c " d) , a " (b " c) " d , (a " b) " (c " d), a " (b " c) " d, (a " b) " c " d.
Dla n = 4 mamy 14 sposob贸w rozmieszczenia nawias贸w:

a " " (c " (d " e)) (a " b) " " (d " e) " (b " c) " (d " e) " (b " (c " d)) " e
b c a a
a " " ((c " d) " e) (a " b) " (c " d) " e (a " b) " c " (d " e) " ((b " c) " d) " e
b a
a " " c) " (d " e) " e
(b (a " b) " (c " d)
a " " (c " d)) " e " e
(b (a " (b " c)) " d
a " ((b " c) " d) " e ((a " b) " c) " d " e
Domy艣lamy si臋, 偶e liczba rozmieszcze艅 nawias贸w jest liczb膮 Catalana. Wyka偶emy, 偶e
tak jest.
Niech Bn b臋dzie liczb膮 rozmieszcze艅 nawias贸w przy n wykonywanych dzia艂aniach. Przyj-
mujemy, 偶e B0 = 1. Mamy teraz n e" 1 i n + 1 element贸w a1, a2, . . . , an+1 zbioru A.
Ostatnie dzia艂anie, kt贸re mamy wykona膰 dzieli te n + 1 element贸w na dwie grupy:
(a1 . . . ak+1) " (ak+2 . . . an+1).
W pierwszej grupie musimy wykona膰 k dzia艂a艅, w drugiej n - k - 1 dzia艂a艅. Oczywi艣cie
mo偶e by膰 k = 0, gdy lewa grupa sk艂ada si臋 tylko z jednego elementu:
a1 " (a2 . . . an+1).
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 35
W prawej grupie musimy wykona膰 wtedy n - 1 dzia艂a艅. Z drugiej strony lewa grupa
mo偶e sk艂ada膰 si臋 z co najwy偶ej n element贸w; w prawej b臋dzie wtedy tylko jeden element:
(a1 . . . an) " an+1.
W lewej grupie mamy wtedy do wykonania n -1 dzia艂a艅, w prawej ani jednego. Podzia艂
(a1 . . . ak+1) " (ak+2 . . . an+1)
mo偶e by膰 dokonany na BkBn - k - 1 sposob贸w: mo偶emy rozmie艣ci膰 nawiasy w lewej
grupie na Bk sposob贸w i na Bn - k - 1 sposob贸w w prawej. St膮d dostajemy r贸wnanie
n-1

Bn = B0Bn-1 + B1Bn-2 + . . . + Bn-1B0 = BkBn-k-1
k=0
dla n = 1, 2, 3, . . . Otrzymali艣my zatem to samo r贸wnanie co w przypadku liczb Cata-
lana. St膮d wynika, 偶e Bn = Cn dla n = 0, 1, 2, . . .
Znamy wiele zada艅 prowadz膮cych do liczb Catalana. Oto jeszcze dwa z nich. Istnieje
14 drzew maj膮cych 4 wierzcho艂ki takich, 偶e ka偶dy wierzcho艂ek ma co najwy偶ej 2 le偶膮ce
bezpo艣rednio ni偶ej (mo偶na od niego i艣膰 w lewo, w prawo, w obie strony lub w 偶adn膮):
Og贸lnie: istnieje Cn drzew maj膮cych n wierzcho艂k贸w o powy偶szej w艂asno艣ci.
Liczby od 1 do 8 mo偶na na 14 sposob贸w ustawi膰 w tablicy o 4 kolumnach i dw贸ch
wierszach tak, by w ka偶dej kolumnie i w ka偶dym wierszu liczby by艂y ustawione malej膮co
(licz膮c od g贸ry i od lewej strony:

8 7 6 5 8 7 6 4 8 7 6 3 8 7 6 2 8 7 5 4
4 3 2 1 5 3 2 1 5 4 2 1 5 4 3 1 6 3 2 1

8 7 5 3 8 7 5 2 8 7 4 3 8 7 4 2 8 6 5 4
6 4 2 1 6 4 3 1 6 5 2 1 6 5 3 1 7 3 2 1

8 6 5 3 8 6 5 2 8 6 4 3 8 6 4 2
7 4 2 1 7 4 3 1 7 5 2 1 7 5 3 1
Wyk艂ady z kombinatoryki
36 Wyk艂ad 4
Og贸lnie: istnieje Cn tablic o n kolumnach i 2 wierszach, w kt贸rych liczby od 1 do 2n
s膮 ustawione zgodnie z powy偶szymi regu艂ami (tzn. w obu wierszach liczby tworz膮 ci膮gi
malej膮ce, a w ka偶dej kolumnie liczba wi臋ksza stoi nad mniejsz膮).
Wykazanie, 偶e w obu powy偶szych zadaniach poszukiwana liczba (drzew i tablic) jest
liczb膮 Catalana, jest nietrudnym 膰wiczeniem.
17. Zadanie olimpijskie
Na zawodach II stopnia XLIII Olimpiady Matematycznej zawodnicy mieli do rozwi膮za-
nia nast臋puj膮ce zadanie:
" Ci膮gi (xn) i (yn) s膮 okre艣lone nast臋puj膮co: x0 = y0 = 1,
2
xn + 2 yn + 2
xn+1 = , yn+1 = dla n = 0, 1, 2, . . .
xn + 1 2yn
n
Udowodnij, 偶e dla ka偶dej liczby ca艂kowitej n e" 0 zachodzi r贸wno艣膰 yn = x2 -1.
Jedna z metod rozwi膮zania tego zadania polega na znalezieniu wzor贸w og贸lnych obu
ci膮g贸w i por贸wnaniu tych wzor贸w dla odpowiednich indeks贸w. Wyznaczenie wzoru og贸l-
nego ci膮gu (xn) mo偶na sprowadzi膰 do r贸wnania rekurencyjnego liniowego. Zdefiniujmy
bowiem dwa ci膮gi (an) i (bn) wzorami: a0 = b0 = 1,
an+1 = an + 2bn, bn+1 = an + bn dla n = 0, 1, 2, . . .
W贸wczas 艂atwo dowodzimy przez indukcj臋, 偶e
an
xn = dla n = 0, 1, 2, . . .
bn
Podobnie jak w paragrafie 15 sprowadzamy uk艂ad r贸wna艅 rekurencyjnych do r贸wnania
drugiego rz臋du
an+2 - 2an+1 - an = 0.
R贸wnanie charakterystyczne x2 - 2x - 1 = 0 ma dwa pierwiastki
" "
x1 = 1 + 2, x2 = 1 - 2.
St膮d 艂atwo otrzymujemy rozwi膮zanie og贸lne
" "
(1 + 2)n+1 + (1 - 2)n+1
an =
2
oraz
" "
(1 + 2)n+1 - (1 - 2)n+1
bn = "
2 2
i ostatecznie otrzymujemy
" "
an " (1 + 2)n+1 + (1 - 2)n+1
xn = = 2 " " .
bn
(1 + 2)n+1 - (1 - 2)n+1
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 37
Uzyskanie wzoru og贸lnego dla ci膮gu (yn) jest bardziej skomplikowane. Ci膮g ten jest bo-
wiem zdefiniowany za pomoc膮 r贸wnania nieliniowego i nie wida膰 偶adnej og贸lnej metody
rozwi膮zywania takich r贸wna艅 rekurencyjnych. Pos艂u偶ymy si臋 nast臋puj膮cym pomys艂em.
Najpierw obliczamy
" "
2 2
" "
yn + 2 yn - 2 2yn + 2 (yn - 2)2
yn+1 - 2 = - 2 = =
2yn 2yn 2yn
i podobnie
"
"
(yn + 2)2
yn+1 + 2 = .
2yn
St膮d wynika, 偶e
2
" " "
yn+1 - 2 (yn - 2)2 yn - 2
" = " = " .
yn+1 + 2 (yn + 2)2 yn + 2
Zdefiniujmy ci膮g (cn) wzorem
"
yn - 2
cn = " .
yn + 2
W贸wczas
cn+1 = c2 ,
n
sk膮d wynika, 偶e
n
2
"
n 1 - 2
cn = c2 = " .
0
1 + 2
Teraz ju偶 艂atwo dostajemy
" "
n n
"
1 + cn " (1 + 2)2 + (1 - 2)2
yn = 2 = 2 " " .
n n
1 - cn
(1 + 2)2 - (1 - 2)2
n
Por贸wnuj膮c otrzymane wzory og贸lne dostajemy yn = x2 -1.
Zadanie mo偶na te偶 艂atwo rozwi膮za膰 bezpo艣rednio przez indukcj臋. Najpierw dowodzimy
przez indukcj臋 r贸wno艣膰 pomocnicz膮:
x2 + 2
n
x2n+1 =
2xn
dla n = 0, 1, 2, . . . Sprawdzenie warunku pocz膮tkowego (dla n = 0) jest oczywiste.
Przyjmijmy wi臋c, 偶e dla pewnego n mamy r贸wno艣膰
x2 + 2
n
x2n+1 =
2xn
i dowodzimy, 偶e
x2 + 2
n+1
x2n+3 = .
2xn+1
Wyk艂ady z kombinatoryki
38 Wyk艂ad 4
Przekszta艂camy najpierw lew膮 stron臋:
x2n+1+2
+ 2
x2n+2 + 2 (x2n+1 + 2) + 2(x2n+1 + 1)
x2n+1+1
x2n+3 = = = =
x2n+1+2
x2n+2 + 1 (x2n+1 + 2) + (x2n+1 + 1)
+ 1
x2n+1+1
x2 +2
m
3 + 4
3x2n+1 + 4 3(x2 + 2) + 8xm
2xm
m
= = = =
x2 +2
m
2x2n+1 + 3 2(x2 + 2) + 6xm
2 + 3 m
2xm
3x2 + 8xm + 6
m
= .
2x2 + 6xm + 4
m
Nast臋pnie przekszta艂camy praw膮 stron臋:
2
xm+2
+ 2
x2 + 2 xm+1 (xm + 2)2 + 2(xm + 1)2
m+1
= = =
xm+2
2xm+1 2(xm + 2)(xm + 1)
2
xm+1
x2 + 4xm + 4 + 2x2 + 4xm + 2 3x2 + 8xm + 6
m m m
= = .
2(x2 + 3xm + 2) 2x2 + 6xm + 4
m m
W ten spos贸b nasza r贸wno艣膰 pomocnicza zosta艂a udowodniona. Teraz dowodzimy przez
n
indukcj臋, 偶e yn = x2 -1. Zn贸w sprawdzenie warunku pocz膮tkowego (dla n = 0) jest
oczywiste. W kroku indukcyjnym mamy:
2
2
n
x2 -1 + 2
yn + 2
yn+1 = = = x2(2n = x2n+1 ,
-1)+1 -1
n
2yn 2x2 -1
co ko艅czy dow贸d.
18. Zadanie z zawod贸w matematycznych
Na XXI Austriacko-Polskich Zawodach Matematycznych zawodnicy rozwi膮zywali na-
st臋puj膮ce zadanie:
" Rozwa偶amy n punkt贸w P1, P2, . . . , Pn po艂o偶onych w tej kolejno艣ci na jednej linii
prostej. Malujemy ka偶dy z tych punkt贸w na jeden z nast臋puj膮cych kolor贸w: bia艂y,
czerwony, zielony, niebieski, fioletowy. Kolorowanie nazwiemy dopuszczalnym, je-
艣li dla dowolnych dw贸ch kolejnych punkt贸w Pi, Pi+1 (i = 1, 2, . . . , n - 1) oba s膮
tego samego koloru lub co najmniej jeden z nich jest bia艂y. Ile jest dopuszczalnych
kolorowa艅?
Najpierw ustalmy terminologi臋. Powiemy, 偶e punkt jest kolorowy, je艣li zosta艂 poma-
lowany na kolor r贸偶ny od bia艂ego; w przeciwnym razie nazywamy ten punkt bia艂ym.
Definiujemy dwa ci膮gi (bn) i (kn) w nast臋puj膮cy spos贸b: bn jest liczb膮 dopuszczalnych
kolorowa艅 n punkt贸w takich, 偶e punkt Pn jest bia艂y, kn za艣 jest liczb膮 dopuszczalnych
kolorowa艅 takich, 偶e punkt Pn jest kolorowy. W贸wczas oczywi艣cie
b1 = 1, k1 = 4.
Wyk艂ady z kombinatoryki
R贸wnania rekurencyjne 39
Nast臋pnie bn+1 = bn + kn, bo je艣li punkt Pn+1 jest bia艂y, to kolorowanie poprzednich
n punkt贸w jest dowolnym dopuszczalnym kolorowaniem zako艅czonym punktem bia艂ym
lub dowolnym kolorowym. Natomiast kn+1 = 4bn+kn, bo je艣li punkt Pn+1 jest kolorowy,
to kolorowanie poprzednich n punkt贸w jest kolorowaniem dopuszczalnym zako艅czonym
punktem bia艂ym (i wtedy mamy 4 mo偶liwo艣ci wyboru koloru dla Pn+1) lub kolorowym
tego samego koloru co Pn+1.
Uk艂ad r贸wna艅 rekurencyjnych
b1 = 1, k1 = 4, bn+1 = bn + kn, kn+1 = 4bn + kn
rozwi膮zujemy tak jak w paragrafie 15, otrzymuj膮c ostatecznie liczb臋 kolorowa艅 dopusz-
czalnych r贸wn膮
3n+1 + (-1)n+1
bn + kn = bn+1 = .
2
To zadanie mo偶na rozwi膮za膰 bez uk艂adania r贸wna艅 rekurencyjnych. Nazwijmy blokiem
ci膮g punkt贸w tego samego koloru. Kolorowanie dopuszczalne dzieli punkty P1, . . . , Pn
na k blok贸w (gdzie k = 1, 2, . . . , n), w艣r贸d kt贸rych co drugi jest bia艂y, pozosta艂e za艣
kolorowe. Chcemy policzy膰 wszystkie sposoby takiego podzia艂u na bloki. Zauwa偶my
n-1
najpierw, 偶e istnieje sposob贸w podzia艂u n punkt贸w na k blok贸w, bez uwzgl臋dnia-
k-1
nia kolor贸w. Musimy bowiem w wolne miejsca mi臋dzy punktami wstawi膰 k - 1 kresek
oddzielaj膮cych bloki od siebie. Teraz b臋dziemy rozpatrywa膰 dwa przypadki:
1. Przypu艣膰my najpierw, 偶e liczba n jest parzysta: n = 2m. Ten przypadek dzielimy
na dwa podprzypadki:
1a. Liczba blok贸w jest parzysta (k = 2l, gdzie l = 1, 2, . . . , m). Mamy wtedy l
blok贸w bia艂ych i l blok贸w kolorowych. Mo偶emy dla nich wybra膰 kolory na 4l
sposob贸w. Uwzgl臋dniaj膮c to, czy pierwszy blok jest bia艂y, czy kolorowy, mamy
w tym przypadku 2 4l sposob贸w wyboru kolor贸w blok贸w kolorowych.
1b. Liczba blok贸w jest nieparzysta (k = 2l-1, gdzie l = 1, 2, . . . , m). Je艣li pierwszy
blok jest bia艂y, to mamy 4l-1 mo偶liwo艣ci wyboru kolor贸w dla blok贸w koloro-
wych; je艣li za艣 pierwszy blok jest kolorowy, to mamy 4l mo偶liwo艣ci wyboru
5
kolor贸w. A膮cznie mamy w tym przypadku 4l mo偶liwo艣ci wyboru kolor贸w.
4
Aacznie liczba kolorowa艅 dopuszczalnych wynosi w tym przypadku

m m

2m - 1 2m - 1 5
2 4l + 4l.
2l - 1 2l - 2 4
l=1 l=1
Zauwa偶my teraz, 偶e
9 - 1 9 + (-1)2l-1
2 4l = 22l = 22l-1
4 2
oraz
5 9 + 1 9 + (-1)2l-2
4l = 22l = 22l-2.
4 8 2
Wyk艂ady z kombinatoryki
40 Wyk艂ad 4
St膮d wynika, 偶e w przypadku 1 mamy nast臋puj膮c膮 liczb臋 kolorowa艅 dopuszczalnych:

m m

2m - 1 2m - 1 5
2 4l + 4l =
2l - 1 2l - 2 4
l=1 l=1

m m

2m - 1 9 + (-1)2l-1 2m - 1 9 + (-1)2l-2
= 22l-1 + 22l-2 =
2l - 1 2 2l - 2 2
l=1 l=1

2m-1

2m - 1 9 + (-1)l
= 2l =
l 2
l=0

2m-1 2m-1

9 2m - 1 1 2m - 1
= 2l + (-2)l =
2 l 2 l
l=0 l=0
9 1 9 32m-1 - 1 3n+1 - 1
= (1 + 2)2m-1 + (1 - 2)2m-1 = = .
2 2 2 2
2. Przypu艣膰my nast臋pnie, 偶e liczba n jest nieparzysta: n = 2m + 1. Ten przypadek
zn贸w dzielimy na dwa podprzypadki:
2a. Liczba blok贸w jest parzysta (k = 2l, gdzie l = 1, 2, . . . , m). Mamy wtedy l
blok贸w bia艂ych i l blok贸w kolorowych. Mo偶emy dla nich wybra膰 kolory na 4l
sposob贸w. Uwzgl臋dniaj膮c to, czy pierwszy blok jest bia艂y, czy kolorowy, mamy
w tym przypadku 2 4l sposob贸w wyboru kolor贸w blok贸w kolorowych.
2b. Liczba blok贸w jest nieparzysta (k = 2l - 1, gdzie l = 1, 2, . . . , m + 1). Je艣li
pierwszy blok jest bia艂y, to mamy 4l-1 mo偶liwo艣ci wyboru kolor贸w dla blo-
k贸w kolorowych; je艣li za艣 pierwszy blok jest kolorowy, to mamy 4l mo偶liwo艣ci
5
wyboru kolor贸w. A膮cznie mamy w tym przypadku 4l mo偶liwo艣ci wyboru
4
kolor贸w.
Aacznie liczba kolorowa艅 dopuszczalnych wynosi w tym przypadku

m m+1

2m 2m 5
2 4l + 4l.
2l - 1 2l - 2 4
l=1 l=1
Podobnie jak w przypadku 1 pokazujemy, 偶e ta liczba jest r贸wna
3n+1 + 1
.
2
1
W obu przypadkach mamy zatem (3n+1 + (-1)n+1) kolorowa艅 dopuszczalnych.
2
Wyk艂ady z kombinatoryki


Wyszukiwarka

Podobne podstrony:
rekurencja
Rozwi zania kolokwium 2
PS rozwi zadan z kolokwium 2gie sty 2014
7 rekurencja
Cykl Hamiltona algorytm rekurencyjny
rekuren
W03 Indukcja i rekurencja
rekurencje
zliczanie rekurencyjne miniatura
Wyklad 12 rekurencja (1)
11 ROZWI
test zlozonosci rekurencji test zlozon
zliczanie rekurencyjne slajdy

wi臋cej podobnych podstron