We will prove by induction that for all n≥0, an≡−1(mod102n).
Base case: n=0. a0=9≡−1(mod10), since 9+1=10.
Inductive step: Assume an≡−1(mod102n).
Consider an+1=3an4+4an3.
Let m=102n. Then an≡−1(modm), so an=mt−1 for some integer t.
Compute an+1 modulo m2=102n+1:
an+1=3an4+4an3
Expand an3 and an4:
an3=(mt−1)3=m3t3−3m2t2+3mt−1
an4=(mt−1)4=m4t4−4m3t3+6m2t2−4mt+1
So:
3an4=3(m4t4−4m3t3+6m2t2−4mt+1)=3m4t4−12m3t3+18m2t2−12mt+3
4an3=4(m3t3−3m2t2+3mt−1)=4m3t3−12m2t2+12mt−4
Add:
3an4+4an3=
[3m4t4]
+[−12m3t3+4m3t3]=−8m3t3
+[18m2t2−12m2t2]=6m2t2
+[−12mt+12mt]=0
+[3−4]=−1
So:
an+1=3m4t4−8m3t3+6m2t2−1
Now, m2=102n+1, so all terms with m2 or higher are divisible by m2 and thus ≡0(modm2).
Therefore, an+1≡−1(modm2), i.e., an+1≡−1(mod102n+1).
By induction, an≡−1(mod102n) for all n.
For n=11, a11≡−1(mod10211), so the decimal representation of a11 ends with 211=2048 digits 9.
In particular, it ends with at least 2011 digits 9.