数列{a_n}は、次の漸化式で与えられる。
a_(n+3) = -a_(n+2) + 2a_(n+1) + 8a_n
a_1 = a_2 = a_3 = 1
この時a_nのすべての項は平方数であることを証明せよ。