Question

運行如圖所示的程序框圖，將輸出的a依次記作a₁，a₂，…，a_n；輸出的b依次記作b₁，b₂，…b_n；輸出的S依次記作S₁，S₂，…，S_n．（n∈N^*）
（1）求數列{a_n}的通項公式；
（2）求

bn+1

an+1

-

1+bn

an

(n∈N*，n≤2014)的值
（3）求證：(1+b1)(1+b2)…(1+bn)＜

10

3

b1b2…bn(n∈N*，n≤2014)．

Answer 1

分析：（1）由題意知：a_n=2a_n-1+1，a₁=1，從而易得a_n+1=2（a_n-1+1），利用等比數列的通項公式可求得數列{a_n}的通項公式；
（2）由題意，a₁=1，b₁=1，S₁=0，當2≤n≤2014時，S_n=S_n-1+

1

an-1

，b_n=a_n•S_n，而S_n=S₁+

1

a1

+

1

a2

+…+

1

an-1

，從而可得

bn

an

=

1

a1

+

1

a2

+…+

1

an-1

，

bn+1

an+1

=

1

a1

+

1

a2

+…+

1

an-1

+

1

an

，于是易求

bn+1

an+1

-

1+bn

an

（n∈N^*，n≤2014）的值；
（3）由（2）知，知

1+bn

bn+1

=

an

an+1

，b₁=a₁=1，b₂=3，a₂=3，于是易求

(1+b1)(1+b2)…(1+bn) b1•b2…bn

=2（

1

an

+

1

a1

+

1

a2

+…+

1

an-1

），將所證的關系式轉化為證明

1

a1

+

1

a2

+…+

1

an-1

+

1

an

＜

5

3

即可，即證1+

1

3

+

1

7

+…+

1

2n-1

＜

5

3

，利用放縮法可證得結論．

解答：解：（1）由題意知：a_n=2a_n-1+1，a₁=1，
∴a_n+1=2（a_n-1+1），
∴a_n+1=（a₁+1）•2^n-1=2ⁿ，
∴a_n=2ⁿ-1（n∈N^*，n≤2014）．
（2）由題意，a₁=1，b₁=1，S₁=0，
當2≤n≤2014時，S_n=S_n-1+

1

an-1

，b_n=a_n•S_n，
此時，S_n=S₁+

1

a1

+

1

a2

+…+

1

an-1

，
∴b_n=a_n（

1

a1

+

1

a2

+…+

1

an-1

），
∴

bn

an

=

1

a1

+

1

a2

+…+

1

an-1

，
∴

bn+1

an+1

=

1

a1

+

1

a2

+…+

1

an-1

+

1

an

，
∴

bn+1

an+1

-

bn

an

=

1

an

，
∴

bn+1

an+1

-

1+bn

an

=0，
當n=1時，

b2

a2

-

1+b1

a1

=

3

3

-

1+1

1

=-1，
綜上，

bn+1

an+1

-

1+bn

an

=

-1，n=1 0，2≤n≤2014

；
（3）當n=1時，左=1+b₁=2，右=

10

3

b₁=

10

3

，
此時，1+b₁＜

10

3

b₁，
當2≤n≤2014時，由（2）知

1+bn

bn+1

=

an

an+1

，
又b₁=a₁=1，b₂=3，a₂=3，
∴

(1+b1)(1+b2)…(1+bn) b1•b2…bn

=

1+b1

b1b2

•

1+b2

b3

•

1+b3

b4

…

1+bn-1

bn

•（1+b_n）
=

2

3

•

a2

a3

•

a3

a4

…

an-1

an

•（1+b_n）
=

2

3

•

a2

an

•（1+b_n）
=2•（

1

an

+

bn

an

）
=2（

1

an

+

1

a1

+

1

a2

+…+

1

an-1

）
即要證明的不等式轉化為證明：

1

a1

+

1

a2

+…+

1

an-1

+

1

an

＜

5

3

，
即證明1+

1

3

+

1

7

+…+

1

2n-1

＜

5

3

，
又a_n=2ⁿ-1=4•2^n-2-1＞3•2^n-2（n≥3），
∴1+

1

3

+

1

7

+…+

1

2n-1

＜1+

1

3

+

1

3•2

+

1

3•22

+…+

1

3•2n-2

=1+

1 3 (1- 1 2n-1 )

1- 1 2

=1+

2

3

（1-

1

2n-1

）＜1+

2

3

=

5

3

．
∴（1+b₁）（1+b₂）…（1+b_n）＜

10

3

b₁b₂…b_n．
綜上，（1+b₁）（1+b₂）…（1+b_n）＜

10

3

b₁b₂…b_n（n∈N^*，n≤2014）成立．

點評：本題考查數列的求和，著重考查數列的遞推式的應用，考查程序框圖的理解與應用，突出等價轉化思想與抽象思維能力的考查，屬于難題．