Catalan-Zahlen - bnv-bamberg
Catalan-Zahlen - bnv-bamberg
Catalan-Zahlen - bnv-bamberg
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Aus (12) und (15) folgt eine kombinatorische Beziehung zwischen Binomialkoeffizienten:<br />
<br />
1 2n<br />
n + 1 n<br />
= 1<br />
<br />
2n − 2<br />
+<br />
n n − 1<br />
1<br />
<br />
2 1 2n − 4<br />
·<br />
+ ... +<br />
2 1 n − 1 n − 2<br />
1<br />
<br />
2n − 2<br />
= (21)<br />
n n − 1<br />
= 1<br />
<br />
2n − 2<br />
+<br />
n n − 1<br />
1<br />
<br />
2n − 4 1 2n − 6<br />
+ 2 ·<br />
+ ... +<br />
n − 1 n − 2 n − 2 n − 3<br />
1<br />
<br />
2n − 2<br />
n n − 1<br />
Wir können die n-te <strong>Catalan</strong>-Zahl Cn auch mit Hilfe der Gamma-Funktion ausdrücken<br />
(siehe <strong>Catalan</strong> [3]), da Γ(n + 1) = n · Γ(n) = n! für n ∈ IN gilt:<br />
Cn = 1<br />
<br />
2n (2n)!<br />
=<br />
n + 1 n (n + 1) · n! · n! =<br />
Γ(2n + 1)<br />
(n + 1) · Γ(n + 1) · Γ(n + 1) =<br />
Γ(2n + 1)<br />
Γ(n + 2) · Γ(n + 1)<br />
Cn =<br />
Γ(2n + 1)<br />
Γ(n + 2) · Γ(n + 1)<br />
Hiermit stoßen wir auf eine Integraldarstellung der <strong>Catalan</strong>-<strong>Zahlen</strong> (siehe <strong>Catalan</strong> [3]<br />
und Binet [4]):<br />
Cn = 22n+1<br />
π<br />
1<br />
0<br />
(22)<br />
1<br />
n−<br />
x 2 · (1 − x) 1<br />
2 dx (23)<br />
Beweis:<br />
Für den Beweis brauchen wir noch einige Identitäten, die für die Gamma-Funktion gelten:<br />
Γ( 3<br />
√<br />
π<br />
) =<br />
2 2<br />
Damit gilt<br />
Cn =<br />
Γ(2n)<br />
Γ(n)<br />
Γ(p) · Γ(q)<br />
Γ(p + q) =<br />
Γ(2n + 1)<br />
Γ(n + 2) · Γ(n + 1) =<br />
= 22n<br />
1 Γ(n + 2 √ ·<br />
π )<br />
Γ(n + 2)<br />
=<br />
2 2n<br />
√ π · √ π<br />
2<br />
= 22n+1<br />
π<br />
1<br />
0<br />
·<br />
1<br />
0<br />
= 22n<br />
√ π ·<br />
= 22n−1<br />
√ π · Γ(n + 1<br />
2 )<br />
1<br />
0<br />
x p−1 · (1 − x) q−1 dx<br />
1 2n · Γ(2n)<br />
·<br />
Γ(n + 2) n · Γ(n) =<br />
1 3<br />
Γ(n + ) · Γ( 2 2 )<br />
Γ(n + 2) · Γ( 3<br />
2<br />
1<br />
n−<br />
x 2 · (1 − x) 1<br />
2 dx =<br />
) =<br />
2 Γ(2n)<br />
·<br />
Γ(n + 2) Γ(n) =<br />
1<br />
n−<br />
x 2 · (1 − x) 1<br />
2 dx q.e.d.<br />
43