Problem

Source: China TST 2004 Quiz

Tags: algebra unsolved, algebra



Given sequence $ \{ c_n \}$ satisfying the conditions that $ c_0=1$, $ c_1=0$, $ c_2=2005$, and $ c_{n+2}=-3c_n - 4c_{n-1} +2008$, ($ n=1,2,3, \cdots$). Let $ \{ a_n \}$ be another sequence such that $ a_n=5(c_{n+1} - c_n) \cdot (502 - c_{n-1} - c_{n-2}) + 4^n \times 2004 \times 501$, ($ n=2,3, \cdots$). Is $ a_n$ a perfect square for every $ n > 2$?