(1)证明见解析(2)S n=n·2 n+3
(1)证明 f(a n)=4+(n-1)×2=2n+2,
即log aa n="2n+2, " 2分
可得a n=a 2n+2.
∴
=
=
=a 2(n≥2)为定值. 4分
∴{a n}为等比数列. 6分
(2)解 b n=a nf(a n)=a 2n+2log aa 2n+2=(2n+2)a 2n+2.
当a=
时,b n=(2n+2)(
) 2n+2=(n+1)2 n+2. 8分
S n=2·2 3+3·2 4+4·2 5+…+(n+1)·2 n+2①
2S n=2·2 4+3·2 5+4·2 6+…+n·2 n+2+(n+1)·2 n+3②
①-②得
-S n=2·2 3+2 4+2 5+…+2 n+2-(n+1)·2 n+3
=16+
-(n+1)2 n+3
=16+2 n+3-2 4-n·2 n+3-2 n+3=-n·2 n+3.
∴S n=n·2 n+3. 14分