（1）由已知得an+1+

1

4

=(an+

1

4

)+

an+ 1 4

+

1

4

，

即4an+1+1=4an+1+2

4an+1

+1，（2分）

所以b_n+1²=b_n²+2b_n+1，即b_n+1=b_n+1，

又b₁=1，所以数列{b_n}为等差数列，

通项公式为b_n=n（n∈N^*）．

（2）令c_n=Tn

bn+1

，

由Tn=

b1×b3×b5××b(2n-1)

b2×b4×b6×b2n

，

得

cn+1

cn

=

1×3×5××(2n+1) 2×4×6××(2n+2) n+2

1×3×5××(2n-1) 2×4×6××2n n+1

=

2n+1

2n+2

×

n+2

n+1

=

(n+2)(2n+1)2 (2n+2)2(n+1)

=

4n3+12n2+9n+2 4n3+12n2+12n+4

＜1

所以，数列{c_n}为单调递减数列，（8分）

所以数列{c_n}的最大项为c1=

2

2

，

若不等式Tn

bn+1

＜

2

log2(a+1)对一切n∈N^*都成立，只需

2

2

＜

2

log2(a+1)，

解得a＞

2

-1，

又a＞0，a≠1，

所以a的取值范围为(

2

-1，1)∪(1，+∞)．（12分）

（3）问题可转化为比较nⁿ⁺¹与（n+1）ⁿ的大小．

设函数f(x)=

lnx

x

，所以f′(x)=

1-lnx

x2

．

当0＜x＜e时，f'（x）＞0；

当x＞e时，f'（x）＜0．所以f（x）在（0，e）上为增函数；在（e，+∞）上为减函数．

当n=1，2时，显然有nⁿ⁺¹＜（n+1）ⁿ，

当n≥3时，f（n）＞f（n+1），即

lnn

n

＞

ln(n+1)

n+1

，

所以（n+1）lnn＞nln（n+1），即lnnⁿ⁺¹＞ln（n+1）ⁿ，

所以nⁿ⁺¹＞（n+1）ⁿ．

综上：当n=1，2时，nⁿ⁺¹＜（n+1）ⁿ，即bnbn+1＜bn+1bn；

当n≥3时，nⁿ⁺¹＞（n+1）ⁿ即bnbn+1＞bn+1bn．（16分）