不妨设a==1(mod3),则b==2(mod3),且a[n]==f(n) (mod3)
那么,a[n](n从0开始) 的值为:1 2 0 2 2 1 0 1 1 2 0...
可以看到a[n]的最小正周期是8,且a[2]=a[6]=0
得证