24.04.2015 Views

O ciężkiej pracy geodety i leśnika, czyli różne oblicza liczb Catalana

O ciężkiej pracy geodety i leśnika, czyli różne oblicza liczb Catalana

O ciężkiej pracy geodety i leśnika, czyli różne oblicza liczb Catalana

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

O CIEŻKIEJ ˛ PRACY GEODETY I LEŚNIKA,<br />

CZYLI RÓŻNE OBLICZA LICZB CATALANA<br />

Adam Doliwa<br />

doliwa@matman.uwm.edu.pl<br />

Uniwersytet Warmińsko-Mazurski w Olsztynie<br />

Wydział Matematyki i Informatyki<br />

SPOTKANIA Z MATEMATYK A˛<br />

Olsztyn, 27 marca 2012 r.<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 1 / 20


Plan<br />

1 Podział na trójkaty ˛ i liczenie drzew<br />

2 Wyznaczenie <strong>liczb</strong> <strong>Catalana</strong> - rekurencja<br />

3 Wyznaczenie <strong>liczb</strong> <strong>Catalana</strong> - funkcja tworzaca<br />

˛<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 2 / 20


O zliczaniu triangulacji wielokata<br />

˛<br />

Jaka jest <strong>liczb</strong>a podziałów na trójkaty ˛ wielokata ˛ wypukłego o n + 2<br />

bokach?<br />

n=1 C =1<br />

1<br />

n=2 C =2 2<br />

n=3 C =5 3<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 3 / 20


Liczba podziałów na trójkaty ˛ wielokata ˛ wypukłego o<br />

n + 2 = 6 bokach<br />

n=4 C 4 =14<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 4 / 20


Liczby <strong>Catalana</strong><br />

Eugène Charles Catalan (30.V.1814 - 14.II.1894)<br />

C 0 = 1, C 1 = 1, C 2 = 2, C 3 = 5, C 4 = 14, C 5 = 42, C 6 = 132,<br />

C 7 = 429, C 8 = 1 430, C 9 = 4 862, C 10 = 16 796, ...<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 5 / 20


Czym jest płaskie ukorzenione drzewo binarne<br />

lewe pod−drzewo<br />

lisc ’ ’<br />

galaz ’<br />

,<br />

wierzcholek wewnetrzny<br />

pien’<br />

,<br />

korzen’<br />

Ukorzenione płaskie drzewo binarne składa się z wyróżnionego<br />

wierzchołka (korzenia) oraz pary ukorzenionych płaskich drzew<br />

binarnych (lewego i prawego pod-drzewa). Z każdego wierzchołka, za<br />

wyjatkiem ˛ korzenia z którego wychodzi tylko pień, wychodza˛<br />

albo dwie<br />

gałęzie (lewa i prawa gałaź) ˛ albo nie wychodza˛<br />

gałęzie. W pierwszym<br />

przypadku wierzchołek jest nazywany wewnętrznym, w drugim<br />

przypadku jest nazywany zewnętrznym lub liściem.<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 6 / 20


Ile jest różnych drzew majacych ˛ n wierzchołków<br />

wewnętrznych?<br />

n=0<br />

n=1<br />

n=2<br />

n=3<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 7 / 20


Triangulacje wielokatów ˛ i drzewa binarne<br />

n=1<br />

n=0<br />

n=2<br />

n=3<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 8 / 20


Pierwsza rekurencja (wzór Segnera)<br />

Rozdzielmy (planarne ukorzenione) drzewo binarne majace ˛ n + 1<br />

wierzchołków wewnętrznych na lewe i prawe pod-drzewo<br />

Lewe pod−drzewo<br />

Prawe pod−drzewo<br />

k wierzcholkow ’ n−k wierzcholkow ’<br />

pierwszy wewnetrzny wierzcholek<br />

staje sie korzeniem obu pod−drzew<br />

,<br />

,<br />

Musimy wysumować po wszystkich możliwościach: lewe pod-drzewo<br />

ma k wierzchołków wewnętrznych i prawe pod-drzewo ma n − k<br />

wierzchołków wewnętrznych<br />

C n+1 = C 0 C n + C 1 C n−1 + C 2 C n−2 + · · · + C n−1 C 1 + C n C 0<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 9 / 20


Przed Catalanem<br />

Leonhard Euler<br />

15.IV.1707 – 18.IX.1783<br />

János Segner<br />

9.X.1704 – 5.X.1777<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 10 / 20


Druga rekurencja<br />

A<br />

k+1<br />

A<br />

k+2<br />

k+2<br />

n−k+2<br />

A<br />

2<br />

A<br />

A<br />

1 n+2<br />

A<br />

n+1<br />

dzielimy wielokat ˛ o n + 2 wierzchołkach przekatn ˛ a˛<br />

A 1 A k+2 na dwa<br />

wielokaty ˛ majace ˛ k + 2 wierzchołków i n − k + 2 wierzchołków;<br />

k = 1, 2, . . . , n − 1<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 11 / 20


Druga rekurencja<br />

dzielimy następnie oba nowe wielokaty ˛ na trójkaty ˛ otrzymujac<br />

˛<br />

C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1<br />

triangulacji używajacych przekatne ˛ wychodzace ˛ z A 1<br />

ponieważ A 1 może być dowolnym z n + 2 wierzchołków wielokata<br />

˛<br />

więc do wszystkich triangulacji używamy<br />

(n + 2) (C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1 )<br />

wierzchołków diagonal<br />

z drugiej strony, każda triangulacja używa n − 1 diagonal, a każdy<br />

wierzchołek jest liczony dwukrotnie (jako poczatek ˛ i koniec<br />

diagonali)<br />

2(n − 1)C n = (n + 2) (C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1 )<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 12 / 20


Trzecia rekurencja (wzór Eulera)<br />

ze wzoru Segnera, pamiętajac ˛ że C 0 = 1, mamy<br />

C n+1 − 2C n = C 1 C n−1 + C 2 C n−2 + . . . C n−2 C 2 + C n−1 C 1<br />

w połaczeniu ˛ z druga˛<br />

rekurencja˛<br />

daje to równanie<br />

rozwiazuj ˛ ac ˛ je otrzymujemy<br />

C n+1 − 2C n = 2n − 2<br />

n + 2 C n<br />

C n+1 = 4n + 2<br />

n + 2 C n<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 13 / 20


Liczby <strong>Catalana</strong> i współczynniki dwumianowe<br />

2(2n − 1)<br />

C n =<br />

n + 1 C n−1 = 22 (2n − 1)(2n − 3)<br />

C n−2 = . . .<br />

(n + 1)n<br />

= 2n (2n − 1)(2n − 3) . . . 3 · 1<br />

C 0 , C 0 = 1<br />

(n + 1)n . . . 3 · 2<br />

C n = 1<br />

n + 1<br />

( 2n<br />

n<br />

)<br />

( n<br />

k<br />

)<br />

=<br />

n(n − 1)(n − 2) . . . (n − k + 1)<br />

1 · 2 . . . (k − 1)k<br />

=<br />

(1 + x) n = 1 + nx +<br />

n(n − 1)<br />

x 2 + · · · + x n =<br />

2<br />

n∑<br />

( n<br />

k<br />

k=0<br />

)<br />

x k<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 14 / 20


Liczba możliwych rozmieszczeń nawiasów w iloczynie<br />

n + 1 czynników<br />

b<br />

c<br />

b<br />

c<br />

b<br />

c<br />

a<br />

d<br />

a<br />

d<br />

a<br />

d<br />

((ab)(cd))<br />

((a(bc))d)<br />

(a(b(cd)))<br />

b<br />

c<br />

b<br />

c<br />

a<br />

d<br />

a<br />

d<br />

(((ab)c)d)<br />

(a((bc)d))<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 15 / 20


Liczba dróg<br />

rozpatrzymy drogi w kwadracie n × n z dolnego lewego wierzchołka do<br />

górnego prawego, które nie przekraczaja˛<br />

przekatnej ˛ łacz ˛ acej ˛ te<br />

wierzchołki i sa˛<br />

monotoniczne<br />

Uwaga<br />

Liczac ˛ od lewej strony <strong>liczb</strong>a strzałek w prawa˛<br />

stronę nigdy nie jest<br />

mniejsza od <strong>liczb</strong>y strzałek do góry<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 16 / 20


Funkcja tworzaca ˛ <strong>liczb</strong> <strong>Catalana</strong><br />

Zdefiniujmy funkcję<br />

C(x) = C 0 + C 1 x + C 2 x 2 + C 3 x 3 + · · · =<br />

∞∑<br />

C k x k<br />

k=0<br />

Znamy już funkcję tworzac ˛ a˛<br />

współczynników dwumianowych<br />

(1 + x) n =<br />

n∑<br />

( n<br />

k<br />

k=0<br />

)<br />

x k<br />

Twierdzenie<br />

Funkcja tworzaca ˛ <strong>liczb</strong> <strong>Catalana</strong> spełnia równanie<br />

x[C(x)] 2 − C(x) + 1 = 0<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 17 / 20


Dowód Twierdzenia<br />

[C(x)] 2 =<br />

= (C 0 + C 1 x + C 2 x 2 + C 3 x 3 + . . . )(C 0 + C 1 x + C 2 x 2 + C 3 x 3 + . . . ) =<br />

= C 2 0 + (C 0C 1 + C 1 C 0 )x + (C 0 C 2 + C 1 C 1 + C 2 C 0 )x 2 + . . .<br />

· · · + (C 0 C n + C 1 C n−1 + · · · + C n C 0 )x n + . . .<br />

Korzystajac ˛ ze wzoru Segnera otrzymujemy równanie<br />

[C(x)] 2 =C 1 + C 2 x + C 3 x 2 + · · · + C n+1 x n + . . .<br />

= C(x) − C 0<br />

x<br />

musimy jeszcze pamiętać, że C 0 = 1<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 18 / 20


Z równania kwadratowego możemy wyznaczyć funkcję tworzac ˛ a˛<br />

C(x) = 1 (1 ± (1 − 4x) 1/2)<br />

2x<br />

Okazuje się (pierwszy rok studiów), że standardowy wzór<br />

(1 + y) a = 1 + a a(a − 1)<br />

y +<br />

1 1 · 2 y 2 +<br />

a(a − 1)(a − 2)<br />

y 3 + . . .<br />

1 · 2 · 3<br />

ma sens także dla wszystkich <strong>liczb</strong> rzeczywistych a, jeśli ograniczymy<br />

się do zakresu zmiennej |y| < 1. W naszym przypadku mamy<br />

(1 + y) 1/2 = 1 +<br />

+<br />

( 1<br />

2<br />

( 1<br />

( 1<br />

) ( )<br />

2)<br />

1 y + 2 −<br />

1<br />

2<br />

1 · 2<br />

)<br />

) (<br />

−<br />

1<br />

2<br />

) (<br />

−<br />

3<br />

2<br />

1 · 2 · 3 · 4<br />

) (<br />

−<br />

5<br />

2<br />

y 2 +<br />

y 4 +<br />

( 1<br />

2<br />

( 1<br />

2<br />

) ( ) ( )<br />

−<br />

1<br />

2 −<br />

3<br />

2<br />

1 · 2 · 3<br />

) (<br />

−<br />

1<br />

2<br />

y 3 +<br />

) ( ) (<br />

−<br />

3<br />

2 −<br />

5<br />

2<br />

1 · 2 · 3 · 4 · 5<br />

) (<br />

−<br />

7<br />

2<br />

)<br />

y 5 + . . .<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 19 / 20


Ponowne wyznaczenie <strong>liczb</strong> <strong>Catalana</strong><br />

Podstawiajac ˛ y = −4x i wybierajac ˛ dolny znak w rozwiazaniu<br />

˛<br />

równania kwadratowego (żeby otrzymać C 0 = 1) otrzymujemy wzór<br />

C(x) = 1 + 1<br />

1 · 2 (2x) + 3 · 1<br />

1 · 2 · 3 (2x)2 + 5 · 3 · 1<br />

1 · 2 · 3 · 4 (2x)3 + . . .<br />

(2n − 1)(2n − 3) . . . 3 · 1<br />

· · · + (2x) n + . . .<br />

1 · 2 . . . n(n + 1)<br />

w którym przy x n mamy dobrze nam znane wyrażenie na n-ta˛<br />

<strong>liczb</strong>ę<br />

<strong>Catalana</strong> C n<br />

Adam Doliwa (UWM) Liczby <strong>Catalana</strong> 27-III-2012 20 / 20

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!