In der Mathematik ist der
-te mittlere Binomialkoeffizient für eine nichtnegative ganze Zahl
gegeben durch
![{\displaystyle {2n \choose n}={\frac {(2n)!}{(n!)^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d268a166e451be9e141fecf714f5b2ba75f9e88f)
Der Name "mittlerer Binomialkoeffizient" kommt daher, dass diese Binomialkoeffizienten im pascalschen Dreieck genau in der Zeilenmitte liegen:
|
|
|
|
|
|
|
|
|
|
![{\displaystyle \mathbf {1} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/235ffc0f1788b720aef5caa7b97246a84421fd0e) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle \mathbf {2} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8db0cc42a494c9891ec4a9c91dc2c88d1fb65f1d) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/991e33c6e207b12546f15bdfee8b5726eafbbb2f) |
|
![{\displaystyle 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/991e33c6e207b12546f15bdfee8b5726eafbbb2f) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/295b4bf1de7cd3500e740e0f4f0635db22d87b42) |
|
![{\displaystyle \mathbf {6} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee8a5cef3798b0ef8704ea003512a42028b3cfa8) |
|
![{\displaystyle 4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/295b4bf1de7cd3500e740e0f4f0635db22d87b42) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29483407999b8763f0ea335cf715a6a5e809f44b) |
|
![{\displaystyle 10}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ec811eb07dcac7ea67b413c5665390a1671ecb0) |
|
![{\displaystyle 10}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ec811eb07dcac7ea67b413c5665390a1671ecb0) |
|
![{\displaystyle 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29483407999b8763f0ea335cf715a6a5e809f44b) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 6}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39d81124420a058a7474dfeda48228fb6ee1e253) |
|
![{\displaystyle 15}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea331af19ed2ccc36bb864409b6c305e18cff30f) |
|
![{\displaystyle \mathbf {20} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/57dbf44f7317344b0efbd337179de8cbc481e81e) |
|
![{\displaystyle 15}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea331af19ed2ccc36bb864409b6c305e18cff30f) |
|
![{\displaystyle 6}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39d81124420a058a7474dfeda48228fb6ee1e253) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 7}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee716ec61382a6b795092c0edd859d12e64cbba8) |
|
![{\displaystyle 21}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77ebb9ccf6080ba5c9a6ea8973cb2f26c50211cf) |
|
![{\displaystyle 35}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d9e1349d41046b756a2984168e74dec26cdcf2a) |
|
![{\displaystyle 35}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d9e1349d41046b756a2984168e74dec26cdcf2a) |
|
![{\displaystyle 21}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77ebb9ccf6080ba5c9a6ea8973cb2f26c50211cf) |
|
![{\displaystyle 7}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee716ec61382a6b795092c0edd859d12e64cbba8) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
|
|
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
![{\displaystyle 8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aaa997e6ad67716cfaa9a02c4df860bf60a95b5) |
|
![{\displaystyle 28}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c88f99b6131febe59de9aeeb35f429c94fa36e78) |
|
![{\displaystyle 56}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66031fbe6af1dc721e1366e8e4f8c31d789d0b75) |
|
![{\displaystyle \mathbf {70} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e090a2b328c6b99463f0929e76bba3eb05fdc1d) |
|
![{\displaystyle 56}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66031fbe6af1dc721e1366e8e4f8c31d789d0b75) |
|
![{\displaystyle 28}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c88f99b6131febe59de9aeeb35f429c94fa36e78) |
|
![{\displaystyle 8}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aaa997e6ad67716cfaa9a02c4df860bf60a95b5) |
|
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
|
|
Die ersten mittleren Binomialkoeffizienten sind also (Folge A000984 in OEIS):
- 1, 2, 6, 20, 70, 252, 924, 3432, 12870, 48620, …
Darstellungen
Es gilt
![{\displaystyle {2n \choose n}=2^{2n}\cdot {\frac {1\cdot 3\cdot 5\cdots (2n-1)}{2\cdot 4\cdot 6\cdots (2n)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a2fdd7b817cb56d79952062526d67ede5e95946)
Der Bruch ist verwandt mit dem Wallis-Produkt.
Nach der Vandermonde-Faltung gilt
![{\displaystyle {2n \choose n}=\sum _{k=0}^{n}{n \choose k}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67d4d1aa82f760524dcefd0c13840cbe36e4cf9f)
Abschätzungen
Mit Hilfe der Stirling-Formel erhält man für
die Abschätzung:
![{\displaystyle {\frac {1}{2}}{\frac {4^{n}}{\sqrt {\pi n}}}<{2n \choose n}<{\frac {4^{n}}{\sqrt {\pi n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62b0ccbc46cce771ceca39f5c39e774e3e921cea)
Also gilt (zur Notation siehe Landau-Symbol):
![{\displaystyle {2n \choose n}\in \Theta \left({\frac {4^{n}}{\sqrt {n}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4787111dc4df4756c0f58c0c20141a3208a4d7d9)
Genauer:
![{\displaystyle \lim _{n\rightarrow \infty }\left({2n \choose n}\left({\frac {4^{n}}{\sqrt {\pi n}}}\right)^{-1}\right)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c6672554bdc31a8f61c64971b789049d5dc58c6)
Erzeugende Funktion
Die erzeugende Funktion lautet
![{\displaystyle {\frac {1}{\sqrt {1-4x}}}=\mathbf {1} +\mathbf {2} x+\mathbf {6} x^{2}+\mathbf {20} x^{3}+\mathbf {70} x^{4}+\mathbf {252} x^{5}+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a06350bffb1445eef2879c41c4ecda84bcec1bc)
Zahlentheoretische Eigenschaften
Nach dem Satz von Wolstenholme gilt für Primzahlen
![{\displaystyle {2p \choose p}\equiv 2\mod p^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03606ca745582883e328912e2587f41fa744de9c)
(für die Symbolik siehe Kongruenz (Zahlentheorie)).
Außerdem kommen keine ungeraden Zahlen außer
vor.
Weiterhin gilt, dass die Zahlen für
nie quadratfrei sind, siehe Satz von Sárkőzy.
Integraldarstellung
Eine Integraldarstellung lautet wie folgt:
[1]
Darstellung mit Gammafunktion
![{\displaystyle {\binom {2n}{n}}=(-4)^{n}{\frac {\sqrt {\pi }}{\Gamma ({\frac {1}{2}}-n)\Gamma (1+n)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4e7e323a075cd2303bb9a2ecbbc56c3196f304)
Reihen
![{\displaystyle \sum _{n=0}^{\infty }{\frac {\binom {2n}{n}}{(-4)^{n}}}={\frac {1}{\sqrt {2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d23e8ff45c2dd9c59064f72b4378cba0dc1e348)
Allgemein gilt (bei Divergenz der Reihe für mit der Gammafunktion berechnete regularisierte Werte):
mit ![{\displaystyle q\in \mathbb {N} ,p\in \mathbb {Z} /\{0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/341bcbd82ef32582b1067c722c2033abf9b97319)
Zudem gilt für Partialsummen (Folge A285388 in OEIS):
![{\displaystyle \lim _{n\rightarrow \infty }\sum _{k=0}^{n^{2}-1}{\frac {2k \choose k}{4^{k}n}}=\lim _{n\rightarrow \infty }{\frac {n{2n^{2} \choose n^{2}}}{2^{2n^{2}-1}}}=\lim _{m\rightarrow \infty }{\frac {{\sqrt {m}}{2m \choose m}}{2^{2m-1}}}={\frac {2}{\sqrt {\pi }}}={\frac {1}{\Gamma ({\frac {3}{2}})}}=\sum _{n=0}^{\infty }{(-1)^{n}{\frac {\Gamma ({\frac {n+1}{2}})}{\Gamma (1+{\frac {n}{2}})}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2c6bb0e2bcc0293b50263d669d12425a6c11617)
Reihen der Kehrwerte
Es gilt:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{\binom {2n}{n}}}={\frac {1}{27}}(2\pi {\sqrt {3}}+9)=0{,}7363998587187\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c146276e990344a1c9300fce5b11571ec14f370a)
Die einzelnen Nachkommastellen bilden Folge A073016 in OEIS.
Einige weitere ähnliche Reihen sind:
![{\displaystyle {\begin{aligned}\sum _{n=1}^{\infty }{\frac {1}{n{\binom {2n}{n}}}}&={\frac {1}{9}}\pi {\sqrt {3}}&=&\,0{,}60459\ldots \\\sum _{n=1}^{\infty }{\frac {1}{n^{2}{\binom {2n}{n}}}}&={\frac {1}{18}}\pi ^{2}&=&\,0{,}54831\dots \\\sum _{n=1}^{\infty }{\frac {1}{n^{3}{\binom {2n}{n}}}}&={\frac {1}{18}}\pi {\sqrt {3}}\left(\psi _{1}({\tfrac {1}{3}})-\psi _{1}({\tfrac {2}{3}})\right)-{\frac {4}{3}}\zeta (3)&{}&{}\\\sum _{n=1}^{\infty }{\frac {1}{n^{4}{\binom {2n}{n}}}}&={\frac {17}{3240}}\pi ^{4}&=&\,0{,}51109\ldots \\\sum _{n=1}^{\infty }{\frac {1}{n^{5}{\binom {2n}{n}}}}&={\frac {1}{432}}\pi {\sqrt {3}}\left(\psi _{3}({\tfrac {1}{3}})-\psi _{3}({\tfrac {2}{3}})\right)-{\frac {19}{3}}\zeta (5)+{\frac {1}{9}}\zeta (3)\pi ^{2}&{}&{}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/795bb3a2058231f8898950bb09f5a70742f4e327)
vgl. Folge A073010 in OEIS, Folge A086463 in OEIS, -, Folge A086464 in OEIS, -.
Dabei bezeichnet
die Digamma-Funktion,
die Trigammafunktion und allgemein
die
-te Polygammafunktion;
die Riemannsche Zetafunktion und
die Kreiszahl.
Ganz allgemein gilt folgende Formel:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{k}{\binom {2n}{n}}}}={\frac {1}{2}}\,\cdot \,{}_{k+1}F_{k}\left(\underbrace {1,\ldots ,1} _{k+1};{\tfrac {3}{2}},\underbrace {2,\ldots ,2} _{k-1};{\tfrac {1}{4}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98ef5084dcb1c8278f966dad604f4c66588c1bdf)
für
, wobei
die verallgemeinerte hypergeometrische Funktion bezeichnet; vgl.[2]
Auch die entsprechenden alternierenden Reihen konvergieren, und zwar zu folgenden Grenzwerten:
![{\displaystyle {\begin{aligned}\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{\binom {2n}{n}}}&={\frac {1}{25}}\left(5+4{\sqrt {5}}\cdot \operatorname {arcsch} (2)\right)&=&\,0{,}37216357638560161555577\ldots \\\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n{\binom {2n}{n}}}}&={\frac {2}{5}}{\sqrt {5}}\cdot \operatorname {arcsch} (2)&=&\;0{,}430408940964\ldots \\\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{2}{\binom {2n}{n}}}}&=2\left(\operatorname {arcsch} (2)\right)^{2}&=&\;0{,}463129641154\ldots \\\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{3}{\binom {2n}{n}}}}&={\frac {2}{5}}\zeta (3)&=&\;0{,}48082276126\ldots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0616ef46e2ac1b5478801868ca151ee5d8f1a540)
vgl. Folge A086465 in OEIS, Folge A086466 in OEIS, Folge A086467 in OEIS, Folge A086468 in OEIS.
Analog lässt sich allgemein schreiben:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n^{k}{\binom {2n}{n}}}}={\frac {1}{2}}\,\cdot \,{}_{k+1}F_{k}\left(\underbrace {1,\ldots ,1} _{k+1};{\tfrac {3}{2}},\underbrace {2,\ldots ,2} _{k-1};{\tfrac {-1}{4}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ba390d5eea900bea19dfbac88a524839fd5ef6)
Verwandte Begriffe
Eng mit den mittleren Binomialkoeffizienten verwandt sind die Catalan-Zahlen
. Sie sind gegeben durch
![{\displaystyle C_{n}={\frac {1}{n+1}}{2n \choose n}={2n \choose n}-{2n \choose n+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee339e54ff249116a2035572b25fc1ed19d1172f)
Verallgemeinerung
Im pascalschen Dreieck haben nur die Zeilen mit geradzahligem Index einen eindeutigen mittleren Eintrag, die Zeilen mit ungeradzahligem Index haben dagegen zwei in der Mitte liegende Einträge. Da diese beiden Einträge jedoch stets übereinstimmen, werden sie gelegentlich in die Definition des mittleren Binomialkoeffizienten mit einbezogen, sie lautet dann:
für
.
Die erste Definition erhält man, wenn man hier die geraden Zahlen
betrachtet.
Weblinks
Einzelnachweise