LinearRecursion
Difficult
Suppose sequence $\{F_n\}$ is defined as $$F_n=\frac{1}{\sqrt{5}}\Big[\Big(\frac{1+\sqrt{5}}{2}\Big)^n-\Big(\frac{1-\sqrt{5}}{2}\Big)^n\Big]$$
for all $n\in\mathbb{N}$. Let $$S_n=C_n^1\cdot F_1 + C_n^2\cdot F_2+\cdots +C_n^n\cdot F_n.$$
Find all positive integer $n$ such that $S_n$ is divisible by 8.
The solution for this problem is available for
$0.99.
You can also purchase a pass for all available solutions for
$99.