Discovering companion Pell numbers

In the last issue of Parabola, Randell Heyman showed that $c_n = (1 + \sqrt{2})^2 + (1-\sqrt{2})^n$ for each natural number $n$. This article explains how to discover nice and simple recursion identities for these sums.