A theorem in factorials. (Q1538001)

Es ist: \[ \prod_{\nu=0}^{n-1} (a-\nu d)= a^n+\varphi_1(n)a^{n-1} d+\varphi_2(n)a^{n-2}d^2+\dotsm +\varphi_{n-1}(n)ad^{n-1}. \] Setzt man nun für beliebige Werte von \(a, d, n\) \[ a^n+\varphi_1(n)a^{n-1}d+\varphi_2(n)a^{n-2}d^2+\dotsm=d^{a_n}, \] so gilt der Satz: \[ d^{(x+y)_n}= d^{x_n}+nd^{x_{n-1}}d^{y_1}+{n \choose 2} d^{x_{n-2}}d^{y_2}+\dotsm, \] vorausgesetzt, dass dem numerischen Werte nach \(y\) kleiner als \(x\) ist.