\[\sum_{k=0}^{n}J_{k}\left(z\right)J_{n-k}\left(z\right)+2\sum_{k=1}^{\infty}(-1%
)^{k}J_{k}\left(z\right)J_{n+k}\left(z\right)=J_{n}\left(2z\right).\]