わかった
bn=(12 an^2-(-2)^(n+1))/2^(n+1)
とおくとbnは漸化式
b0=1,b1=2,b(n+2)=4b(n+1)-bn
を満たす
この時bnが4の倍数となるのはないので十分大きなnでanは整数ではない