Binomial theorem and modular arithmetic

[Quesadilla]

Homework Statement

From an old exam: Show that
\begin{equation*}
\sum_{0 \leq 2k \leq n} \binom{n}{2k}2^k = 0 (3) \text{ iff } n = 2 (4).
\end{equation*}
By $a = b (k)$ I mean that $a$ is congruent to $b$ modulo $k$.

Homework Equations

Binomial theorem: $(a + b)^m = \sum_{k=1}^m \binom{k}{m} a^k b^{m-k}$.

The Attempt at a Solution

A hint was provided to consider $\frac{1}{2}((1 + \sqrt{2})^n + (1 - \sqrt{2})^n)$.

I have taken some baby steps. Using the binomial theorem, I was able to establish
\begin{equation*}
\sum_{0 \leq 2k \leq n} \binom{n}{2k}2^k = \frac{1}{2}((1 + \sqrt{2})^n + (1 - \sqrt{2})^n).
\end{equation*}
Now in other words I need to find for exactly which $n$ the above is divisible by $3$, which I guess is equivalent to saying that $((1 + \sqrt{2})^n + (1 - \sqrt{2})^n)$ is divisible by $6$.

I would greatly appreciate some small hints.

 

[pasmith]

Homework Statement

From an old exam: Show that
\begin{equation*}
\sum_{0 \leq 2k \leq n} \binom{n}{2k}2^k = 0 (3) \text{ iff } n = 2 (4).
\end{equation*}
By $a = b (k)$ I mean that $a$ is congruent to $b$ modulo $k$.

Homework Equations

Binomial theorem: $(a + b)^m = \sum_{k=1}^m \binom{k}{m} a^k b^{m-k}$.

The Attempt at a Solution

A hint was provided to consider $\frac{1}{2}((1 + \sqrt{2})^n + (1 - \sqrt{2})^n)$.

I have taken some baby steps. Using the binomial theorem, I was able to establish
\begin{equation*}
\sum_{0 \leq 2k \leq n} \binom{n}{2k}2^k = \frac{1}{2}((1 + \sqrt{2})^n + (1 - \sqrt{2})^n).
\end{equation*}
Now in other words I need to find for exactly which $n$ the above is divisible by $3$, which I guess is equivalent to saying that $((1 + \sqrt{2})^n + (1 - \sqrt{2})^n)$ is divisible by $6$.

I would greatly appreciate some small hints.

Given that a_n = A\lambda_1^n + B\lambda_2^n is the general solution of the linear recurrence relation a_{n+2} - (\lambda_1 + \lambda_2)a_{n+1} + \lambda_1\lambda_2a_n = 0, I am motivated to view \frac12((1 + \sqrt{2})^n + (1 - \sqrt{2})^n) as being the solution of that recurrence relation with \lambda_{1} = 1 + \sqrt{2}, \lambda_2 = 1 - \sqrt{2} and initial conditions a_0 = a_1 = 1, and consider b_n = a_n \mod 3. I suspect you will find that b_n is periodic with period equal to some multiple of 4.

 

[Quesadilla]

Thank you, Pasmith.

It seems highly plausible that I was expected to identify the expression as the solution to that linear recurrence relation, which I assume is what you did by inspection.

Indeed, by considering $b_n = a_n (3)$ I use the recurrence relation to find that $b_n$ is periodic and $b_n = 0 (3)$ exactly when $n = 2 + 4m$.