Ueber die Quadratsummen der Binomialcoefficienten. (Q1527372)

Der Verfasser ist der Meinung,, dass die Frage nach der Quadratsumme der Binomialcoefficienten, die zu einer Zahl gehören, noch nicht aufgeworfen sei. Thatsächlich hat dieselbe aber längst ihre Beantwortung gefunden, da der bekannte Lehrsatz für Binomialcoefficienten: \[ \binom{a+b}n = \sum_{\varkappa=0}^{\varkappa=n}\binom a{\varkappa}\binom b{n-\varkappa} \] als specielle Fälle die beiden vom Verf. aufgestellten Formeln liefert: \[ \binom{a+b}b = \sum_{\varkappa=0}^{\varkappa=b}\binom a{\varkappa}\binom b{\varkappa},\quad \binom{2a}a = \sum_{\varkappa=0}^{\varkappa=a}\binom a{\varkappa}^2. \] Die in den folgenden beiden Abschnitten aufgestellten Sätze über die Teilbarkeit der betrachteten Quadratsumme \(\binom{2a}a\) durch die Primzahlen \(p<2a\) sind ungenau, bez. unrichtig. Diese Sätze sind vielmehr, wenn \(E\fracwithdelims(){2a}p\) das grösste Ganze, welches in \(\frac{2a}p\) enthalten ist, bezeichnet, folgendermassen auszusprechen: ``\(\binom{2a}a\) enthält jede Primzahl \(p\) als Factor, welche entweder der einen Bedingung \[ \frac{2a}{2n+2}<p\leqq\frac{2a}{2n+1}\quad(n = 0,1,2,\dots,a-1), \] oder den beiden Bedingungen \[ \frac{2a}{2n+3}<p\leqq\frac{2a}{2n+2}\quad\text{und}\quad E\left(\frac{2a}{p^\nu}\right) > 2E\left(\frac{a}{p^\nu}\right), \] wo \(\nu\) irgend eine der Zahlen 2, 3, 4, ... ist, genügt''. Giebt man die Einschliessung von \(p\) in die obigen Intervalle auf, so kann man einfach sagen: ``\(\binom{2a}a\) enthält jede Primzahl \(p\) so viele Male als Factor, als in der Reihe der Zahlen \(\nu=1\), 2, 3, ... Werte des \(\nu\) sich befinden, für welche \(E\left(\frac{2a}{p^\nu}\right)\) eine ungerade Zahl ist.'' So wären z. B. nach des Verfassers Sätzen 2 und 5 in \(\binom{94}{47}\) nicht als Factoren enthalten, während thatsächlich dieser Binomialcoefficient durch \(2^5\) und 5 ohne Rest teilbar ist. Von Interesse ist die im letzten Abschnitte aufgestellte Formel: \[ \frac{\binom{2a}a\binom{2b}b}{\binom{a+b}a} = \sum_{\varkappa=-b}^{\varkappa=+b}(-1)^\varkappa\binom{2a}{a-\varkappa}\binom{2b}{b-\varkappa}, \] aus welcher direct der von Catalan aufgestellte Satz, dass \(\frac{(2a)!(2b)!}{a!(a+b)!b!}\) stets eine ganze Zahl ist, folgt.