MathNet 2003 — Part 02 Question 59

Let $m \gt n$ be positive integers. For every positive integer $k$ we define the number $a_k = (\sqrt{5} + 2)^k + (\sqrt{5} - 2)^k$. Show that $a_{m+n} + a_{m-n} = a_m \cdot a_n$.