An extension of Vandermonde's theorem. (Q1525151)

Versteht man unter \(a_n\) das Product \[ a_n = a(a-1)(a-2)\dots(a-n+1), \] so hat Vandermonde gezeigt, dass \((a+b)_n\) eine Entwickelung zulässt, die der des binomischen Satzes völlig analog ist, nämlich: \[ (a+b)_n = a_n + na_{n-1}b_n + \binom n2 a_{n-2}b_2 +\cdots. \] Der Verfasser wünscht diese Entwickelung, ganz wie bei den Potenzen, auf die Fälle auszudehnen, wo \(n\) nicht mehr eine ganze positive Zahl ist. Zu dem Zwecke geht er von der bekannten Formel aus: \[ \lim_{k=\infty} \frac{(a-n+1)(a-n+2)\dots(a-n+k)}{(a+1)(a+2)\dots(a+k)}k^n \equiv \frac{\Gamma(a+1)}{\Gamma(a-n+1)}, \] deren rechte Seite sich für den Fall, dass \(n\) ganz und positiv ist, auf den Ausdruck \(a_n\) reducirt. Er definirt daher umgekehrt für ein beliebiges \(n\): \[ a_n = \frac{\Gamma(a+1)}{\Gamma(a-n+1)}, \] und erreicht so sein Ziel unter Berücksichtigung der Identität: \[ a_m.(a-m)_n = a_n.(a-n)_m = a_{m+n}. \]