2n?1?246?log2[???????]． ?2n?1?2n?1?1352n?1?246设f(n)???????， ??2n?1?2n?1?1352n2n?2?1?246则f(n?1)???????， ???2n?12n?1?2n?3?13524n2?8n?4f(n?1)2n?1?2n?2?(2n?2)2?2?1， 故?????4n?8n?3f(n)2n?3?2n?1?(2n?3)(2n?1)又f(n)?0，所以f(n?1)?f(n)．
4*所以对于任意 n?N 都有f(n)?f(1)??1，
3从而2Tn?log2(2an?1)?log2f(n)?0．
所以2Tn?log2(2an?1)，n?N*．
即 Tn?log2(2an?1) ?????????????????13分
222
第 11 页