Equality involving cosine and binomial coefficients - check if true for every $n$ While doing some computations with complex numbers I think I proved that
$$(\cos{ \frac{n \cdot \pi}{4} )\cdot 2^{n/2}} = \binom{n}{0} - \binom{n}{2} + \binom{n}{4} - \binom{n}{6} + ... $$
How? Well, these are two different forms of
$$\frac{1}{2} \cdot ((1+i)^n + (1-i)^n)$$
But because of the late hour, I am not sure if I didn't make some mistake.
Is this equality really true for every natural n?
Also, I wonder how can one prove it without using complex numbers. I mean is these some sort of elementary (high-school) proof?

Without complex numbers, by induction, assume that for some integer $n\ge 0$,
$$\begin{align*}
2^{n/2}\cos\frac{n\pi}{4} = \binom{n}{0}-\binom n2+\binom{n}{4}-\binom n6+\cdots\\
2^{n/2}\sin\frac{n\pi}{4} = \binom{n}{1}-\binom n3+\binom{n}{5}-\binom n7+\cdots\\
\end{align*}$$
Then by compound angle formulae,
$$\begin{align*}
\cos\frac{(n+1)\pi}{4} &= \cos\frac{n\pi}{4}\cos\frac\pi 4 - \sin\frac{n\pi}{4}\sin\frac\pi 4\\
&= \frac1{\sqrt2} \left(\cos\frac{n\pi}{4} - \sin\frac{n\pi}{4}\right)\\
2^{(n+1)/2}\cos\frac{(n+1)\pi}{4} &= 2^{n/2} \left(\cos\frac{n\pi}{4} - \sin\frac{n\pi}{4}\right)\\
&= \left[\binom{n}{0}-\binom n2+\cdots\right] - \left[\binom{n}{1}-\binom n3+\cdots\right]\\
&= \binom n0 + \left[-\binom n2+\binom n4 -\cdots\right] + \left[-\binom{n}{1}+\binom n3-\cdots\right]\\
&= \binom{n+1}0 - \binom{n+1}2 + \binom{n+1}4-\cdots
\end{align*}$$
Similarly
$$\begin{align*}
\sin\frac{(n+1)\pi}{4} &= \frac1{\sqrt2} \left(\cos\frac{n\pi}{4} + \sin\frac{n\pi}{4}\right)\\
2^{(n+1)/2}\sin\frac{(n+1)\pi}{4} &= \left[\binom{n}{0}-\binom n2+\cdots\right] + \left[\binom{n}{1}-\binom n3+\cdots\right]\\
&= \binom{n+1}{1}-\binom {n+1}3+\binom{n+1}{5}-\cdots
\end{align*}$$
What remains is to prove that the base case when $n=0$ is true.
