Consider the sequence of integers (bn) determined by
b0=1, b1=−1 and bn=6bn−1+2016bn−2 for all n≥2.
Clearly, for all n≥0, we have an≡bn(mod2011). (*)
The characteristic equation of sequence (bn): x2−6x−2016=0, or (x−48)(x+42)=0.
Consequently, the general term of (bn) has the form: bn=C1(−42)n+C248n.
By the initial conditions for sequence (bn), we obtain
{C1+C2=142C1−48C2=1.
Hence C1=9049 and C2=9041. Thus bn=9049(−42)n+41⋅48n∀n≥0.
Since 2011 is a prime, according to the little Fermat theorem we have:
(−42)2010≡482010≡1(mod2011).
Hence 90b2012=49⋅(−42)2012+41⋅482012=49⋅(−42)2+41⋅482=90b2(mod2011).
Consequently b2012≡b2(mod2011) (since (90,2011)=1).
But b2=6b1+2016b0=2010, hence b2012=2010(mod2011).
Thus a2012=2010(mod2011) (by means of (*)).