Ein Beweis der Formel \[ \binom{2^{n+1}}{2^n}-\binom{2^n}{2^{n-1}}=2^{3n}H,\qquad (n\geqq 2). \] (Q5971539)

Verf. beweist, daß für alle \(n\geqq 2\) die Titelgleichung gilt, wo \(H\) eine ungerade Zahl bedeutet. Der Beweis wird durchgeführt teils durch elementararithmetische Schlüsse und teils durch kombinierte Anwendung der beiden Formeln \[ P_m(x)=\frac1{2^m}\sum_{p=0}^m\binom mp^2(x-1)^2(x+1)^{m-p} \] und \[ P_m(x)=\frac1\pi\int\limits_0^\pi(x+\cos\varphi\sqrt{x^2-1})^md\varphi, \] wo \(P_m(x)\) das Legendresche Polynom \(\dfrac1{2^m m!}\dfrac{d^m}{dx^m}(x^2-1)^m\) bedeutet.