Arithmetic identities (Q1564800)

I. Der Ausdruck \[ f(k)= (2n+1)^k+ T_1(2n-1)^k+ T_2(2n-3)^k+\cdots +T_{n-1}\cdot 3^k+T_n\cdot 1^k, \] worin \(n\) eine positive ganze Zahl und \(T_i\) den Coefficienten von \(x^i\) in der Entwickelung von \((1- x)^{2n+1}\) bedeutet, ist \(=0\), sobald \(k\) eine ungrade positive Zahl \(\overset{=}< 2n-1\); aber \(=2^{2n}\), wenn \(k=2n+1\). II. Der Ausdruck \[ \begin{aligned} f(k)= n^k&+ T_1(n-1)^k+ T_2(n-2)^k+\cdots+ T_i(n- i)^k+\cdots\\ &+T_{n-3}\cdot 3^k+ T_{n-2}\cdot 2^k+ T_{n-1}\cdot 1^k, \end{aligned} \] worin \(n\) eine ganze Zahl \(>1\), und \(T_i\) der Coefficient von \(x^i\) in der Entwickelung von \((1-x)^{2n}\), ist \(=0\), wenn \(k\) eine grade Zahl zwischen 0 und \(2n\); aber \(=\frac 12\) für \(k=2n\).