Question

已知函數f（x）是定義在N^*的函數，且滿足f（f（k））=3k，f（1）=2，設an=f(3n-1)，b₁=1，b_n-log₃f（a_n）=b₁-log₃f（a₁）．
（I）求b_n的表達式；
（II）求證：

b1

f(a1)

+

b2

f(a2)

+…+

bn

f(an)

＜

3

4

．

Answer 1

分析：（I）依題意．可求得f（a_n）=3ⁿ，從而可得log₃f（a_n）=n，繼而由b_n-log₃f（a_n）=b₁-log₃f（a₁）可得b_n的表達式；
（II）令S_n=

b1

f(a1)

+

b2

f(a2)

+…+

bn

f(an)

，由（I）可知，S_n=

1

3

+

2

32

+…+

n

3n

，利用錯位相減法即可求得S_n，從而可證結論．

解答：解：（I）∵a_n=f（3^n-1），
∴f（a_n）=f（f（3^n-1））=3•3^n-1=3ⁿ．
∴log₃f（a_n）=n，
同理，log₃f（a₁）=1，…（3分）
由b_n-log₃f（a_n）=b₁-log₃f（a₁）及b₁=1得b_n=n …（6分）
（II）證明：設S_n=

b1

f(a1)

+

b2

f(a2)

+…+

bn

f(an)

，
即S_n=

1

3

+

2

32

+…+

n

3n

…①
則

1

3

S_n=

1

32

+

2

33

+…+

n-1

3n

+

n

3n+1

…②…（9分）
①-②得 

2

3

S_n=

1

3

+

1

32

+

1

33

+…+

1

3n

-

n

3n+1

=

1 3 (1- 1 3n )

1- 1 3

-

n

3n+1

=

1

2

-（n+

3

2

）•

1

3n+1

＜

1

2

，
∴S_n＜

3

4

…（12分）

點評：本題考查數列的求和，著重考查錯位相減法的應用，考查數列與不等式的綜合應用，屬于難題．