Dunque se volete leggere la mia soluzione preparatevi all'artiglieria pesante! Altro che cannoni!
Sappiamo che
$ \displaystyle~\sum_{i=0}^{2n}(-1)^i(x^2)^{2n-i}\binom{2n}{i} $$ \displaystyle~=\sum_{i=0}^{2n}(-1)^{2n-i}x^{2i}\binom{2n}{i} $$ \displaystyle~=(x^2-1)^{2n}=(1-x^2)^{2n} $
Integrando, considerando che il membro di sinistra vale $ \displaystyle~0 $ calcolato in $ \displaystyle~x=0 $ otteniamo:
$ \displaystyle~\sum_{i=0}^{2n}\frac{(-1)^{2n-i}x^{2i+1}}{2i+1}\binom{2n}{i} $$ \displaystyle~=\int_0^x(z^2-1)^{2n}\, dz $ .
Sostituendo $ \displaystyle~z=\sin t $ :
$ \displaystyle~\sum_{i=0}^{2n}\frac{(-1)^{2n-i}x^{2i+1}}{2i+1}\binom{2n}{i} $$ \displaystyle~=\int_0^{\sin^{-1}x}\cos^{4n+1}(t) \, dt $ (tale identità è valida
solo se $ \displaystyle~|z| \le 1 $)
Abbiamo la
formula ricorsiva:
$ \displaystyle~\int\cos^a t \, dt=\frac{\cos^{a-1}t\sin t}{a}+\frac{a-1}{a}\int\cos^{a-2}t \, dt $
Cioè se $ \displaystyle~a $ è dispari:
$ \displaystyle~\int\cos^a t \, dt=\sum_{i=0}^{\frac{a-1}{2}}\frac{\prod_{j=1}^i (a-2j+1)}{\prod_{j=0}^i (a-2j)}\cdot(\cos^{a-2i-1}t\sin t)+D $, $ \forall D \in \mathbb{R} $.
Se $ \displaystyle~a = 4n+1 $:
$ \displaystyle~G(t)=\int\cos^{4n+1} t \, dt=\sum_{i=0}^{2n}\frac{\prod_{j=1}^i (4n-2j+2)}{\prod_{j=0}^i (4n-2j+1)}\cdot(\cos^{4n-2i}t\sin t)+D $, cioè
$ \displaystyle~\sum_{i=0}^{2n}\frac{(-1)^{2n-i}x^{2i+1}}{2i+1}\binom{2n}{i} $$ \displaystyle~=\int_0^{\sin^{-1}x}\cos^{4n+1}(t) \, dt=G(\sin^{-1}x)-G(0) $.
Ponendo $ ~x=1 $ (e di conseguenza $ \displaystyle~\sin (\sin^{-1}x)=1 $ e $ \displaystyle~\cos (\sin^{-1}x)=0 $) si ha $ \displaystyle~f(n)=\sum_{i=0}^{2n}\frac{\prod_{j=1}^i (4n-2j+2)}{\prod_{j=0}^i (4n-2j+1)}\cdot(\cos^{4n-2i}t\sin t) $
Ma $ \displaystyle~\sum_{i=0}^{2n-1}\frac{\prod_{j=1}^i (4n-2j+2)}{\prod_{j=0}^i (4n-2j+1)}\cdot(\cos^{4n-2i}t\sin t)=0 $, quindi rimane
$ \displaystyle~f(n)=\frac{\prod_{j=1}^{2n} (4n-2j+2)}{\prod_{j=0}^{2n}(4n-2j+1)}=\frac{(4n)!!}{(4n+1)!!} $
EDITATO CON LE CORREZIONI DI JORDAN E DI GEBEGB
(che non capisco come fa a chiamarsi così dato che non è ancora un utente) 