Question

用e，f，g三個不同的字母組成一個含有n+1（n∈N⁺）個字母的字符串，要求由字母e開始，相鄰兩個字母不能相同，例如n=1時，排出的字符串為ef，eg：n=2時，排出的字符串是efe，ege，efg，egf，…在這種含有n+1個字母的字符串中，記排在最后一個的字母仍然是e的字符串的個數為a_n．
（1）求a₁，a₂，a₃；
（2）求數列{a_n}的通項公式；
（3）證明：

1

a2

+

1

a3

+…+

1

an-1

+

1

an

＜

3

2

（n≥2）

Answer 1

考點：數列與不等式的綜合

專題：等差數列與等比數列

分析：（1）由已知條件能求出a₁，a₂，a₃的值．
（2）由a_n-1的構成方式入手，由e開頭，n個字符組成的相鄰兩個字母不能相同的字符串的數目為2^n-1個，由已知得a_n+2-a_n=2ⁿ，由此能求出a_n=

2n 3 - 2 3 ，n為奇數 2n 3 + 2 3 ，n為偶數

．
（3）當n為偶數時，

1

an

+

1

an+1

＜

3

2n

+

3

2n+1

，由此利用分類討論思想能證明

1

a2

+

1

a3

+…+

1

an-1

+

1

an

＜

3

2

（n≥2）．

解答： （1）解：由已知得n=1時，排出的字符串為ef，eg，
∴a₁=0；
：n=2時，排出的字符串是efe，ege，efg，egf，
∴a₂=2；
n=3時，efge，egfe，efeg，egef，
∴a₃=2．
（2）解：由a_n-1的構成方式入手，由e開頭，
n個字符組成的相鄰兩個字線不能相同的字符串的數目為2^n-1個，
這2^n-1個字符串由三類構成，
①，e，…，e，個數為a_n-1，
②e，…，f，
③e，…，g，
其中后兩數的字符串的和為a_n個，
∴a_n-1+a_n=2^n-1（n≥2），
由a_n-1+a_n=2^n-1（n≥2），
得an+an+1=2n，an+1+an+2=2n+1，
作差，得a_n+2-a_n=2ⁿ，
當n為偶數時，a4-a2=22，a6-a4=24，…，an-an-2=2n-2，
∴a_n=

2n

3

+

2

3

，
當n為奇數時，a_n=2^n-1-a_n-1=

2n

3

-

2

3

，
∴a_n=

2n 3 - 2 3 ，n為奇數 2n 3 + 2 3 ，n為偶數

．
（3）證明：當n為偶數時，

1

an

+

1

an+1

＜

3

2n

+

3

2n+1

?

3

2n+2

+

3

2n+1-2

＜

3

2n

+

3

2n+1

?

1

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

＜

1

2n•2n+1

?2ⁿ•2ⁿ⁺¹＜（2ⁿ+2）（2ⁿ⁺¹-2）
?0＜2ⁿ⁺¹-4，
∵0＜2ⁿ⁺¹-4成立，∴

1

an

+

1

an+1

＜

3

2n

+

3

2n+1

．
當n為奇數時，

1

a2

+

1

a3

+…+

1

an-1

+

1

an

＜

3

22

+

3

23

+…+

3

2n

=

3

2

(1-

1

2n-1

)＜

3

2

，
當n為偶數時，

1

an

＜

3

2n+2

＜

3

2n

，

1

a2

+

1

a3

+…+

1

an-1

+

1

an

＜

3

22

+

3

23

+…+

3

2n

=

3

2

(1-

1

2n-1

)＜

3

2

，
∴

1

a2

+

1

a3

+…+

1

an-1

+

1

an

＜

3

2

（n≥2）．

點評：本題考查數列的通項公式的求法，考查不等式的證明，是中檔題，解題時要認真審題，注意分類討論思想的合理運用．