L'analisi algebrica e l'interpretazione fattoriale delle potenze. (Q1527399)

Es wird das Product \[ x(x+1)(x+2)\dots(x+n-1) = x^{\bar n} \] als die \(n^{\text{te}}\) factorielle Potenz von \(x\) bezeichnet, und folgende Eigenschaften desselben werden abgeleitet: \[ 1.\quad(x+y)^{\bar n} = x^{\bar n} + \binom n1x^{\overline{n-1}}y + \binom n2x^{\overline{n-2}}y^{\bar2} +\cdots+ \binom nn y^{\bar n}, \] \[ 2.\quad x^{\bar n} - y^{\bar n} = (x-y)\{y^{\overline{n-1}} + (x+n-1)y^{\overline{n-2}} + (x+n-1)^{\bar2}y^{\overline{n-3}} +\cdots+ (x+1)^{\overline{n-1}}\}, \] \[ 3.\quad x^{\bar n} - zx^{\overline{n-1}} + z^{\bar2}x^{\overline{n-2}} -\cdots+ (-1)^nz^{\bar n} = \frac{x^{\overline{n+1}}-(-z-n)^{\overline{n+1}}}{x-(-z-n)}. \] 4. Setzt man \[ f(x) = a_0x^{\bar n} + a_1x^{\overline{n-1}} + a_2x^{\overline{n-2}} +\cdots+ a_{n-1}x + a_n, \] so ist: \[ \frac{f(x)-f(y)}{x-y} = p_0x^{\overline{n-1}} + p_1x^{\overline{n-2}} + p_2x^{\overline{n-3}} +\cdots+ p_{n-2}x + p_{n-1}, \] \[ p_0 = a_0,\; p_1 = p_0(y+n-1)+a_1,\; p_2 = p_1(y+n-2)+a_2,\;\dots,\; p_{n-1} = p_{n-2}(y+1) + a_{n-1}. \] 5. Setzt man \[ \overline{f'(x)} = f(x) - f(x-1),\; \overline{f''(x)} = \overline{f'(x)} - \overline{f'(x-1)},\;\dots, \] so ist: \[ \begin{aligned} \overline{f''(x)} &= f(x) - 2f(x-1) + f(x-2);\\ \overline{f'''(x)} &= f(x) - 3f(x-1) + 3f(x-2) + f(x-3);\end{aligned} \] \[ 6.\quad \overline{f'(x)} + \overline{f'(x-1)} + \overline{f'(x-2)} +\cdots+ \overline{f'(x-h+1)} = f(x) - f(x-h); \] \[ 1^{\bar m} + 2^{\bar m} +\cdots+ n^{\bar m} = \frac{n^{\overline{m+1}}}{m+1}. \] 7. Es werden die Coefficienten der beiden Ausdrücke \[ \begin{aligned} f(x) &= a_0x^n + a_1x^{n-1} + a_2x^{n-2} +\cdots+ a_{n-1}x + a_n,\\ f(x) &= A_0x^{\bar n} + A_1x^{\overline{n-1}} + A_2x^{\overline{n-2}} +\cdots+ A_{n-1}x + A_n\end{aligned} \] mit einander verglichen und im besonderen die \(A_i\) durch die \(a_i\) ausgedrückt. \[ 8.\quad x^{\bar m}x^{\bar n} = x^{\overline{m+n}} + \sum_{i=1}^n (-1)^i i!\binom mi\binom ni x^{\overline{m+n-i}}. \] Schliesslich werden die Producte von 2 oder 3 Factoren \[ a_0 + a_1x + a_2x^{\bar2} +\cdots+ a_nx^{\bar n},\;b_0 + b_1x + b_2x^{\bar2} +\cdots+ b_nx^{\bar n},\;c_0 + c_1x + c_2x^{\bar2} +\cdots+ c_nx^{\bar n} \] entwickelt.